サクサク読めて、アプリ限定の機能も多数!
anztec のブックマーク 2018/08/10 18:08
Coqで学ぶ証明プログラミング! テストだけでなく「証明」で安全性を保証する - エンジニアHub|Webエンジニアのキャリアを考える![coq][プログラミング][数学]2018/08/10 18:08
このブックマークにはスターがありません。 最初のスターをつけてみよう!
eh-career.com2018/08/10
Coqで学ぶ証明プログラミング! テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだ...
471 人がブックマーク・23 件のコメント
\ コメントが サクサク読める アプリです /
anztec のブックマーク 2018/08/10 18:08
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqで学ぶ証明プログラミング! テストだけでなく「証明」で安全性を保証する - エンジニアHub|Webエンジニアのキャリアを考える!
eh-career.com2018/08/10
Coqで学ぶ証明プログラミング! テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだ...
471 人がブックマーク・23 件のコメント
\ コメントが サクサク読める アプリです /