mixiで趣味の話をしよう
mixiコミュニティには270万を超える趣味コミュニティがあるよ ログインもしくは登録をして同じ趣味の人と出会おう♪
ログインして参加する
コミュ内全体
プルーフチェッカー/アシスタントについてのコミュ。 Mizar、Prolog、Isabelle、HOL等。
コミュニティにつぶやきを投稿
Proof Checker / Assistant たった今
もっと見る
6628日間運営
編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!
mixiに参加して、コミュニティをもっと楽しもう
パスワード・メールアドレスを忘れた方
オススメゲーム
もっとゲームを探す
メンバーの参加コミュニティ
関数型言語
λの会
形式意味論
ソフトウェア工学
Prolog
SICP
一覧へ
人気コミュニティランキング
困ったときには