プログラミング + アカデミック + 何か面白いこと。 記載されているものは基本的に私が所属する団体とは関係がありません。

  1. 最近の記事
  1. テスト
  2. 1 view

Coqによる 証明駆動開発 超入門

証明駆動開発 とは証明駆動開発 とは証明によってプログラムが期待通りの性質を有しているかを確かめながら開発する手法のこと。ユニットテストの一部で使用可能…

PAGE TOP