kencoba https://blog.hatena.ne.jp/kencoba/ kencobaの日記 https://kencoba.hatenadiary.org/ Formal Methods kencobaの与太話 Alloy Analyzerの話は、後ほど時間のあるときにしましょう。 Coq Tutorialやってます。 数学基礎論の勉強もやってます。 Coq tutorial 話す内容は倍くらいあったんだけど、時間が足りなかったなぁ。 次回は=を含む証明、帰納法の証明、Listの証明。 inversion使えると、初心者卒業かな。 機能的定義 いろんな定義の仕方があるけど、Coqでは機能的な定義をするのが望ましい。 証明が簡単になる。 決定可能な述語 必ず結果がどちらかに決まるのであれば、証明するのが望ましい。 清楚帰納法の話はCoq Tutorialではできなかった。 割り算… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkencoba.hatenadiary.org%2Fentry%2F20120212%2F1329022221" title="第18回Formal Methods勉強会 - kencobaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-02-12 13:50:21 rich https://kencoba.hatenadiary.org/entry/20120212/1329022221 1.0 100%