2010年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
F-019BOINCによるSATソルバーの並列実行

力 規晃,  越村 三幸,  藤田 博,  長谷川 隆三,  

F-021基数制約を用いたMax-SATソルバーの試作

張 彤,  越村 三幸,  藤田 博,  長谷川 隆三,  

F-022人間関係を利用した誤送信メール防止システムの試作

辻野 友孝,  白松 俊,  大囿 忠親,  新谷 虎松,  

F-023制約充足問題のためのランク付け機能を有するACOの局所探索による解候補育成

早川 大貴,  水野 一徳,  長澤 圭孝,  佐々木 整,  西原 清一,  小野 智司,  

RF-002架空名義操作不可能な組合せオークションメカニズム : VCGメカニズムの改良

毛利 貴之,  東藤 大樹,  岩崎 敦,  横尾 真,