2010-01-27 トップエスイーチュートリアル「基礎理論」 Formal Methods 会員でも120000円するが・・・ http://www.topse.or.jp/docs/?q=node/8 基礎理論はめんどくさくなって 結局勉強しないことになりがちなので受講を検討中。成果は後ほど勉強会で共有したい。