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版... 続きを読む

Coq を始めよう

2011/04/05 99 users OCaml Haskell チュートリアル 性質 関数型言語

このチュートリアルでは定理証明支援系言語である Coq について解説をします。プログラムの性質を Coq で証明できるようになることが目標です。読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたこ... 続きを読む