昨日から情報証明論をやっている。 http://markun.cs.shinshu-u.ac.jp/learn/iproof/index-j.htmlMizarという、よくわからない難しい言語である。 電子工作で74シリーズとか使う人には、論理チェックをしてくれるので、 設計の支援になりそうな感じがする…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。