Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
Jacques Garrigue の講義情報
オフィスアワー (2023年秋学期) 場所：多元数理科学研究棟 405号室 日時：水曜日 12時〜13時 セミナー 少人数クラス 卒業研究 2023年度 2023年度秋・数学展望II Perspectives in Mathematical Sciences IV/II (Fall 2023) 2023年度春・数理解析・計算機数学III 2022年度 2022年度秋・Affeldt氏集中講 義 2021年度 2021年度秋・数理解析・計算機数学IV 2021年度前期・九州大学集中講義 2020年度 2020年度後期・数理解析・計算機数学II 2020年度後期・数学展望II 2019年度 2019年度前期・数理解析・計算機数学II 2019年度前期・微分積分学I 2018年度 2018年度後期・数理解析・計算機数学II Perspectives in Mathematical Science
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Proof Summit 2014 Opensslの話