ソフトウェアの基礎を読む – 1

ソフトウェアの基礎の「Basics_J: 関数プログラミングとプログラムの証明」完了しました。
コードはこちら

この章で学んだこと。

  • Coqでの関数の定義方法
  • Coqでの証明の流れ
  • 基本的なタクティックの使い方

次は、「Lists_J: 直積、リスト、オプション」をやります。明日から仕事なのであまりかけそうにない…

広告

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト / 変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト / 変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト / 変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト / 変更 )

%s と連携中