ログイン・新規登録
オンライン コンピュータと圏論 勉強会
イベント
メンバー
資料
メンバーになる
管理者（1人）
名前・プロフィール
参加回数
最新参加イベント開催日時
グループ登録日
shinichi__
0 回
2020/03/10(火)
他のメンバー（2人）
名前・プロフィール
参加回数
最新参加イベント開催日時
グループ登録日
hatsugai
並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS...
0 回
2020/08/09(日)
a1101101
0 回
2020/09/22(火)
