エンジニアHubPowered by エン転職

若手Webエンジニアのための情報メディア

2018-08-10から1日間の記事一覧

Coqで学ぶ証明プログラミング! テストだけでなく「証明」で安全性を保証する

プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう! coqtokyoを主催する今井宜洋さんの解説です。