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