-->

« 第三百三十二回 夏だ一番!!電脳空間カウボーイズ祭り 後編 | メイン | 第三百三十三回 Windows8ってどうなんですかね? »

2012年8 月20日 (月)

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

写真

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

というお話!

<<-- MP3 -->>

このエントリーをはてなブックマークに追加

トラックバック

この記事のトラックバックURL:
https://www.typepad.com/services/trackback/6a0120a713b5fd970b017c315edf95970b

Listed below are links to weblogs that reference 第三百三十二回 定理証明支援系言語って何よ!?:

関連書籍-Kindle

iTunesStoreで評価する

フォトアルバム

他のサービス

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