@kururu_goedel: なんか教育関係のセミナーとやらに出てくる2010-09-01 04:18:47 via Seesmic Desktop @kururu_goedel: とりあえず形式手法と形式的検証についての参考文献をwikipediaからたどって適当にダウン、印刷2010-09-01 03:09:12 via Seesmic Deskto…