ログインしてさらにmixiを楽しもう
コメントを投稿して情報交換!更新通知を受け取って、最新情報をゲット!
ログインして参加する
コミュ内全体
第6回 CSP研究会 プログラム(改定版-1)<予定>
mixiユーザー 2010年11月10日 15:28
コメント(0)
まだ何もありません
星印の数は、共通して参加しているメンバーが多いほど増えます。
SPIN MODEL CHECKER
形式手法
ソフトウェア工学
Gauche
関数型言語
ソフトウェアの原価計算
Haskell
ソフトウェアの品質
最小OS(operating system)
Proof Checker / Assistant
システム工学
圏論勉強会
SICP
Squeak
Meadow
Simulink
未踏ソフトウェア
情報処理学会
emacs
アジャイルソフトウェア開発
CSPについて
mixiに参加して、コミュニティをもっと楽しもう
パスワード・メールアドレスを忘れた方
人気コミュニティランキング
困ったときには
関連ワード