等式論理と関数7個で作る証明検査器 - 参加者・申込者一覧

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

管理者1人
hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS...

一般参加者 3人
一般参加者 Kuniwak (~♥︎~) 等式論理と関数7個で作る証明検査器に参加を申し込みました！
一般参加者 totomaru 等式論理と関数7個で作る証明検査器に参加を申し込みました！
一般参加者 TakeshiHori すみません。セミナには出席できないのですが、資料だけでも……と思い申し込みました。