"Category theory in context" 読書会 #4 - 参加者・申込者一覧

イベント参加者・申込者一覧

管理者1人
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

readcoqart枠参加者 5人
readcoqart枠参加者 eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined "Category theory in context" 読書会 #4!
readcoqart枠参加者 tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。 "Category theory in context" 読書会 #4 に参加を申し込みました！
readcoqart枠参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 "Category theory in context" 読書会 #4 に参加を申し込みました！
readcoqart枠参加者 florets1 "Category theory in context" 読書会 #4に参加を申し込みました！
readcoqart枠参加者 ke_ta3 数学科、情報科学研究科を経て医学部。確率シミュレーションとか画像解析とかのお仕事もちょこちょこ... "Category theory in context" 読書会 #4 に参加を申し込みました！

参加枠2 参加者 3人
参加枠2 参加者 zhanpon 名古屋で集合論を勉強しているM1。あとモデル理論が好きです。最近の趣味はジョギングと、ヨーロッ... "Category theory in context" 読書会 #4 に参加を申し込みました！
参加枠2 参加者 Sho Kohara "Category theory in context" 読書会 #4に参加を申し込みました！
参加枠2 参加者 UkyoSuzuki "Category theory in context" 読書会 #4に参加を申し込みました！