Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2018/08/10 479 users エンジニアHub エンジニア 若手Webエンジニア ご存知

みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する... 続きを読む

『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記

2012/07/15 355 users みずぴー日記 EPUB版 ソフトウェア 基礎 和訳

「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。今回は、その「ソフトウェアの基礎」のePub版... 続きを読む