コミックマーケット83出展情報
コミックマーケット83に参加します。
- サークル名
- Stricter.org
- 日時・場所
- 3日目(2012-12-31) 東 Y-18a
頒布物
- Coq による定理証明 - コンビネータ論理 C83版 (新刊, 300円)
- コンビネータ論理の弱簡約関係の合流性を定理証明器 Coq で証明する本
- Coq による定理証明 - Coq でスタック指向プログラミング (既刊, 500円)
- Coq で PostScript のサブセットを定義して証明付きのプログラムを書く本
- Algorithm W 入門 (既刊, 500円, 在庫僅少)
- Hindley-Milner の型推論アルゴリズムの本