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

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

サークル名
Stricter.org
日時・場所
2日目 西 し-31a

頒布物リスト

頒布物詳細

今回の新刊「Coq による定理証明 - Coq でスタック指向プログラミング」は PostScript のようなスタック指向のプログラミング言語を定理証明器 Coq を用いて形式化し、その上で意味のある計算を構成し、証明を付けることを目的とした本です。A5サイズ50ページです。対象読者としては、Coq である程度プログラムや証明を記述できる方を想定しています。本文のサンプルPDFを公開しています。

既刊「Algorithm W 入門」は Hindley-Milner の型推論アルゴリズムの解説本です。B5サイズ46ページです。