"ベーシック圏論" 読書会 #18 - 参加者・申込者一覧

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

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

readcoqart枠参加者 5人
readcoqart枠参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 "ベーシック圏論" 読書会 #18 に参加を申し込みました！
readcoqart枠参加者 Miura Kosuke Interested in Automobile, Linux and Mathematics... "ベーシック圏論" 読書会 #18に参加を申し込みました！
readcoqart枠参加者 saka_bar (Sakaki) "ベーシック圏論" 読書会 #18 に参加を申し込みました！
readcoqart枠参加者 florets1 "ベーシック圏論" 読書会 #18に参加を申し込みました！
readcoqart枠参加者 naca_nyan 音楽が好き "ベーシック圏論" 読書会 #18 に参加を申し込みました！

参加枠2 キャンセル 1人
参加枠2 キャンセル Pal テキストも購入したのですか、今回は時間的に厳しいのでキャンセルさせていただきます。