2011-04-23から1日間の記事一覧

第15回FormalMethods勉強会に行ってきた

技術 Monad 数学

Coqのお勉強をしたくて出席してきました！非常〜にわかりやすいチュートリアルで、おかげさまで概要がわかるようになりました。やはりこういう抽象的な内容は、文章より実際にレクチャーして頂いた方が掴みやすいですね。