コミックマーケット83出展情報

コミックマーケット83に参加します。

サークル名
Stricter.org
日時・場所
3日目(2012-12-31) 東 Y-18a

頒布物

Coq による定理証明 - コンビネータ論理 C83版 (新刊, 300円)
コンビネータ論理の弱簡約関係の合流性を定理証明器 Coq で証明する本
Coq による定理証明 - Coq でスタック指向プログラミング (既刊, 500円)
Coq で PostScript のサブセットを定義して証明付きのプログラムを書く本
Algorithm W 入門 (既刊, 500円, 在庫僅少)
Hindley-Milner の型推論アルゴリズムの本