2009-08-18から1日間の記事一覧
暇なのと、FLTVのネタ蒐集を兼ねてJSSST読んでました。http://www.jstage.jst.go.jp/browse/jssst/25/3/_contents/-char/ja/ここの 「モデル生成型定理証明と要素技術」と「論理・制約プログラミングと並行計算」。あと気になったのは(つまり読んでない)のは…
暇なのと、FLTVのネタ蒐集を兼ねてJSSST読んでました。http://www.jstage.jst.go.jp/browse/jssst/25/3/_contents/-char/ja/ここの 「モデル生成型定理証明と要素技術」と「論理・制約プログラミングと並行計算」。あと気になったのは(つまり読んでない)のは…