yabaitech.tokyo vol.8:ヤバイテックトーキョー
yabaitech.tokyoはコンピュータオタクどもが好き勝手に記事を書くゆるゆるコンセンプトの合同誌です。 vol.8にはこんな記事が集まりました。 * トポスの内部論理で定理証明支援系を作る : 構成的基礎から非構成的公理まで by wasabiz * FalCAuN によるブラックボックス検査 ― 形式仕様に対する自動テスト ― by MasWag * ハードウェアの事情から理解する...
techbookfest.org