4月以降のやりたいこと 参加者を増やしたいなぁ 勉強会でシリーズ化して「話すこと」をあらかじめ広告しておく。 Software Foundation(by 候補いなければ、_tmiyaさん) 「プログラミング言語の基礎概念」毎月1章で1年(by 候補いなければ、_tmiyaさん) Alloy…

CoqでMonad 当日発表資料 http://study-func-prog.blogspot.com/2011/06/coq-type-class-in-coq.html Polymorphism "On Understanding Types, Data Abstruction, and Polymorphism" adhoc polymorphismで実装 モナド 「不完全にしておよそ正しくないプログラ…