Proof Summit - メンバー一覧

管理者（4人）

名前・プロフィール	参加回数	最新参加イベント開催日時	グループ登録日
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...	5 回	2025/06/28(土) 18:00	2017/06/01(木)
YutakaNg	3 回	2025/06/28(土) 18:00	2025/04/07(月)
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。	2 回	2017/07/23(日) 11:00	2015/06/08(月)
turgenev	0 回		2025/04/03(木)

他のメンバー（276人）

名前・プロフィール	参加回数	最新参加イベント開催日時	グループ登録日
よんたよんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる...	6 回	2025/06/28(土) 18:00	2015/08/25(火)
tanaka_akr	5 回	2025/06/28(土) 18:00	2017/06/01(木)
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...	5 回	2025/06/28(土) 09:00	2015/06/26(金)
κeen プログラミング言語に興味がある人。	5 回	2025/06/28(土) 09:00	2015/06/09(火)
masterq	4 回	2025/06/28(土) 18:00	2015/06/23(火)
jx7548469 数学とジャニーズが好きです。	4 回	2025/06/28(土) 18:00	2017/07/04(火)
tanimocchi http://www.slideshare.net/mocchi_	4 回	2025/06/28(土) 09:00	2015/06/10(水)
rkyymmt	4 回	2025/06/28(土) 09:00	2015/06/08(月)
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...	4 回	2025/06/28(土) 09:00	2015/06/08(月)
eldesh アレゲを目指すC++, ML, VeriFastプログラマ	4 回	2025/06/28(土) 09:00	2015/06/20(土)
mizoken001 没個性的な一般の会社員です。	4 回	2019/09/29(日) 11:00	2015/06/15(月)
mzp 気づいたらSKKを作ってた。	4 回	2019/09/29(日) 11:00	2015/06/08(月)
sakamoto_desu	4 回	2019/09/29(日) 11:00	2015/06/09(火)
sat0_da	4 回	2019/09/29(日) 11:00	2015/07/30(木)
OKU_K 熊本/京都/神奈川/Coq/SSReflect/	4 回	2019/09/29(日) 11:00	2016/07/10(日)
notogawa Agda つらい	4 回	2019/09/29(日) 11:00	2015/06/09(火)
t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https...	4 回	2019/09/29(日) 11:00	2015/06/09(火)
lion	4 回	2019/09/29(日) 11:00	2016/07/16(土)
チェシャ猫著名ねこみみエンジニア	4 回	2018/09/02(日) 11:00	2015/06/08(月)
erutuf13 つぶやきません	4 回	2018/09/02(日) 11:00	2015/06/08(月)
dec9ue セキュリティ、FP、いろいろ	3 回	2025/06/28(土) 18:00	2015/09/01(火)
梅崎直也 https://umezakinaoya.com/	3 回	2025/06/28(土) 18:00	2018/06/12(火)
gyu-don	3 回	2025/06/28(土) 18:00	2019/08/11(日)
nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式検証...	3 回	2025/06/28(土) 18:00	2019/09/08(日)
golden_lucky 鹿野桂一郎。抽象的なものが好き。計算機と数学の本を作るお手伝いをする仕事	3 回	2019/09/29(日) 11:00	2017/06/01(木)
KanSAKAMOTO	3 回	2019/09/29(日) 11:00	2015/09/10(木)
ruicc エンジニア。Haskell, Vim, Classical musicを好む。Violin少々...	3 回	2019/09/29(日) 11:00	2015/06/15(月)
nagaet 数学の本を主に読んでます。また、最近は物理の本も読むようになってきました。	3 回	2019/09/29(日) 11:00	2015/06/08(月)
haiju The mofs-cats without borders. I love gothic cu...	3 回	2019/09/29(日) 11:00	2015/06/09(火)
hatsugai	3 回	2019/09/29(日) 11:00	2015/09/16(水)
1123sodium 数学/都数/トポロジー	3 回	2019/09/29(日) 11:00	2017/06/27(火)
yamagc	3 回	2019/09/29(日) 11:00	2017/07/22(土)
fumieval 鳥	3 回	2018/09/02(日) 11:00	2016/07/09(土)
cojna はすけるすきー	3 回	2018/09/02(日) 11:00	2015/06/09(火)
ksknac Tree Transducers/Functional Programming/Coq/OCa...	3 回	2018/09/02(日) 11:00	2015/06/10(水)
athos Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コ...	3 回	2017/07/23(日) 11:00	2015/06/13(土)
dico_leque 自然言語と計算機言語、ごはん	3 回	2017/07/23(日) 11:00	2015/06/08(月)
chiguri 東京工業大学の助教。	3 回	2017/07/23(日) 11:00	2015/06/08(月)
yugawara	3 回	2017/07/23(日) 11:00	2015/06/08(月)
__pandaman64__ Ｄ言語かわいい	2 回	2025/06/28(土) 18:00	2025/04/25(金)
Satoshi Takimoto	2 回	2025/06/28(土) 18:00	2025/04/22(火)
akusto プログラミング言語にまつわるアレコレやオープンソースソフトウェアが好きな学生です	2 回	2025/06/28(土) 18:00	2025/05/18(日)
yreb	2 回	2025/06/28(土) 18:00	2025/05/06(火)
Minchao Wu	2 回	2025/06/28(土) 18:00	2025/04/30(水)
objectx You'll never learn if you don't see the dark si...	2 回	2019/09/29(日) 11:00	2018/06/11(月)
sm0kym0nkey Scala / Haskell	2 回	2019/09/29(日) 11:00	2017/06/01(木)
giantneco うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし...	2 回	2019/09/29(日) 11:00	2016/07/09(土)
takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ...	2 回	2019/09/29(日) 11:00	2015/06/09(火)
fetburner MLしか書けない	2 回	2019/09/29(日) 11:00	2018/06/12(火)
kento	2 回	2019/09/29(日) 11:00	2018/08/11(土)
Haochen Kotoi-Xie (謝昊辰)	2 回	2019/09/29(日) 11:00	2016/07/09(土)
cedretaber Ruby / Scala / OCaml / Erlang / D language	2 回	2019/09/29(日) 11:00	2018/09/01(土)
bd_gfngfn	2 回	2019/09/29(日) 11:00	2018/09/01(土)
yf0fyf	2 回	2019/09/29(日) 11:00	2016/06/29(水)
tkatsu	2 回	2019/09/29(日) 11:00	2018/09/01(土)
na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k...	2 回	2019/09/29(日) 11:00	2018/07/07(土)
fujiy Haskell好き．	2 回	2019/09/29(日) 11:00	2018/06/28(木)
asinus	2 回	2019/09/29(日) 11:00	2018/08/04(土)
todesking スカラエンジニアーヴィム	2 回	2018/09/02(日) 11:00	2017/07/12(水)
yuga	2 回	2018/09/02(日) 11:00	2015/06/08(月)
fadis_ 組み込みから*NIXシステム、HPCまで、計算機をこよなく愛するゲームプログラマ。C++11と...	2 回	2018/09/02(日) 11:00	2016/07/09(土)
秋津早苗	2 回	2018/09/02(日) 11:00	2017/06/03(土)
kikenpin	2 回	2017/07/23(日) 11:00	2015/06/08(月)
msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht...	2 回	2017/07/23(日) 11:00	2015/06/08(月)
sakas--	2 回	2017/07/23(日) 11:00	2015/09/08(火)
Ryo Ishigaki 石垣良, ISGK Instruments, Hamamatsu.rb, Make: Com...	2 回	2016/09/25(日) 11:00	2015/06/08(月)
mnagaku かつては死神と呼ばれたコード書き。今や多方面に進出し、そのナチュラルボーンなダメっぷりで、被害...	1 回	2025/06/28(土) 09:00	2025/04/24(木)
charlie_rebirth mona:MVfvXYbPi7w51J3whjCic61FLozj8cRHaT PN:佐藤達弘...	1 回	2025/06/28(土) 09:00	2019/07/29(月)
t-iwabuchi	1 回	2025/06/28(土) 09:00	2025/04/30(水)
Kitamado	1 回	2025/06/28(土) 09:00	2025/04/20(日)
sigridjin_eth ✯ @thisissigrid ★ ☄ 	1 回	2025/06/28(土) 09:00	2025/05/02(金)
tukamilano	1 回	2025/06/28(土) 09:00	2025/04/23(水)
krxross	1 回	2019/09/29(日) 11:00	2019/07/29(月)
kappa	1 回	2019/09/29(日) 11:00	2019/07/28(日)
omanuke programmer	1 回	2019/09/29(日) 11:00	2019/07/29(月)
びしょ〜じょ https://nymphium.github.io	1 回	2019/09/29(日) 11:00	2019/07/29(月)
Ryo KAJI ＞そっとしておこう	1 回	2019/09/29(日) 11:00	2018/09/02(日)
wat_aro Haskell楽しすなあ	1 回	2019/09/29(日) 11:00	2019/07/29(月)
saito	1 回	2019/09/29(日) 11:00	2019/08/01(木)
roadrunner	1 回	2019/09/29(日) 11:00	2017/07/23(日)
kerfume	1 回	2019/09/29(日) 11:00	2019/07/29(月)
totomaru	1 回	2019/09/29(日) 11:00	2019/07/30(火)
NogikuchiKBYS	1 回	2019/09/29(日) 11:00	2017/06/09(金)
ryo	1 回	2019/09/29(日) 11:00	2018/08/06(月)
tkr	1 回	2019/09/29(日) 11:00	2019/07/29(月)
higashino	1 回	2019/09/29(日) 11:00	2019/07/29(月)
てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...	1 回	2019/09/29(日) 11:00	2019/07/28(日)
kajiwara	1 回	2019/09/29(日) 11:00	2019/08/02(金)
airazami	1 回	2019/09/29(日) 11:00	2019/07/29(月)
ポリモニーポストLLM時代の教育、オフライン勉強会の在り方について興味があります。ゲーミングPCのA...	1 回	2019/09/29(日) 11:00	2019/05/29(水)
nh2	1 回	2019/09/29(日) 11:00	2019/07/28(日)
jbking Biz: http://yarch.jp/ Priv: http://www.jbking.org/	1 回	2018/09/02(日) 11:00	2017/06/01(木)
badecafe	1 回	2018/09/02(日) 11:00	2018/07/30(月)
taketo1024 大学院生・トポロジー専攻。元 iOSアプリ開発者。「プログラマのための数学勉強会」主催。 ht...	1 回	2018/09/02(日) 11:00	2018/07/01(日)
yuji_mizobuch	1 回	2018/09/02(日) 11:00	2018/07/20(金)
ぽんこつ色々書きます。Scala得意です	1 回	2018/09/02(日) 11:00	2018/09/01(土)
ゆで卵ぷろぐらむ	1 回	2018/09/02(日) 11:00	2018/08/04(土)
pogin503	1 回	2018/09/02(日) 11:00	2018/06/11(月)
あふたまーと Rust競プロer（AtCoder青）	1 回	2018/09/02(日) 11:00	2018/08/29(水)
cutsea110 ヒゲ生やしたハゲのおっさんです。少し泳ぎます。 swimmer Haskell Agda S...	1 回	2018/09/02(日) 11:00	2017/07/20(木)

1
2
3
次へ>>