おがさわらなるひこのオープンソースとかプログラミングとか印刷技術とか

おがさわらなるひこ @naru0ga が技術系で興味を持ったりなんだりしたことをたまーに書くブログです。最近はてなダイアリー放置しすぎて記事書くたびにはてな記法忘れるのではてなブログに移行しました。

クリエイティブ・コモンズ・ライセンス
特に断りがない場合は、本ブログの筆者によるコンテンツは クリエイティブ・コモンズ 表示 - 継承 4.0 国際 ライセンスの下に提供されています。

2009-11-11から1日間の記事一覧

2009.11.7 Shibuya.lisp TT #4 (その2)

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