Coq ゼミ
Coq のインストール, 関数, 大域的変数, Specification の定義
命題論理
関数の拡張, 述語論理
implication (ならば, →) 以外の論理演算, 等式の証明
帰納的なデータ型 (再帰を含まないもの/含むもの) , 再帰関数の定義, 帰納法
リスト, 帰納的な命題の定義
演習
演習(続き)
トップ
研究内容など
メンバー
今年度の授業
過去のニュース
書籍
インタプリタゼミ
Coqゼミ
shift/reset付きMinCamlコンパイラ
情報科学科
理学部
お茶の水女子大学