2009-11-11から1日間の記事一覧
d:id:naruoga:20091108:1257683473 の続き。 第二部:テクニカルセッション (2) CL-MPI による大規模並列プログラミング (Alex Fukunaga/東京工業大学) イントロダクション 先攻はAI SAT問題の解決がテーマ 論理充足性の確認 (Wikipedia の定義 も参照) SUSE…
d:id:naruoga:20091108:1257683473 の続き。 第二部:テクニカルセッション (2) CL-MPI による大規模並列プログラミング (Alex Fukunaga/東京工業大学) イントロダクション 先攻はAI SAT問題の解決がテーマ 論理充足性の確認 (Wikipedia の定義 も参照) SUSE…