-->

« 2012年7 月 | メイン | 2012年9 月 »

2 posts from 2012年8 月

2012年8 月20日 (月)

第三百三十二回 定理証明支援系言語って何よ!?

写真

定理証明支援型言語Coqってのがあるらしい!?何なのそれ?

というお話!

<<-- MP3 -->>

2012年8 月10日 (金)

第三百三十二回 夏だ一番!!電脳空間カウボーイズ祭り 後編

P1140435

ロボットレントランがスゴイ!という話で延々盛り上がったり、盛り下がったりする俺たち!サイバースペースカウボーイズ!

<<-- MP3 -->>

関連書籍-Kindle

iTunesStoreで評価する

フォトアルバム

他のサービス

Twitter
powered by TypePad
登録年月 2005年10月