2012-02-12から1日間の記事一覧
kencobaの与太話 Alloy Analyzerの話は、後ほど時間のあるときにしましょう。 Coq Tutorialやってます。 数学基礎論の勉強もやってます。 Coq tutorial 話す内容は倍くらいあったんだけど、時間が足りなかったなぁ。 次回は=を含む証明、帰納法の証明、List…
kencobaの与太話 Alloy Analyzerの話は、後ほど時間のあるときにしましょう。 Coq Tutorialやってます。 数学基礎論の勉強もやってます。 Coq tutorial 話す内容は倍くらいあったんだけど、時間が足りなかったなぁ。 次回は=を含む証明、帰納法の証明、List…