昨日から情報証明論をやっている。 http://markun.cs.shinshu-u.ac.jp/learn/iproof/index-j.htmlMizarという、よくわからない難しい言語である。 電子工作で７４シリーズとか使う人には、論理チェックをしてくれるので、 設計の支援になりそうな感じがする…