Coq ゼミ

  1. Coq のインストール, 関数, 大域的変数, Specification の定義
  2. 命題論理
  3. 関数の拡張, 述語論理
  4. implication (ならば, →) 以外の論理演算, 等式の証明
  5. 帰納的なデータ型 (再帰を含まないもの/含むもの) , 再帰関数の定義, 帰納法
  6. リスト, 帰納的な命題の定義
  7. 演習
  8. 演習(続き)

  • トップ
  • 研究内容など
  • メンバー
  • 今年度の授業
  • 過去のニュース
  • 書籍



  • インタプリタゼミ
  • Coqゼミ


  • shift/reset付きMinCamlコンパイラ


  • 情報科学科
  • 理学部
  • お茶の水女子大学

Copyright © 2025 Asai Laboratory All rights reserved.