講演番号 | 題目/著者 |
---|---|
F-019 | BOINCによるSATソルバーの並列実行 力 規晃, 越村 三幸, 藤田 博, 長谷川 隆三, |
F-021 | 基数制約を用いたMax-SATソルバーの試作 張 彤, 越村 三幸, 藤田 博, 長谷川 隆三, |
F-022 | 人間関係を利用した誤送信メール防止システムの試作 辻野 友孝, 白松 俊, 大囿 忠親, 新谷 虎松, |
F-023 | 制約充足問題のためのランク付け機能を有するACOの局所探索による解候補育成 早川 大貴, 水野 一徳, 長澤 圭孝, 佐々木 整, 西原 清一, 小野 智司, |
RF-002 | 架空名義操作不可能な組合せオークションメカニズム : VCGメカニズムの改良 毛利 貴之, 東藤 大樹, 岩崎 敦, 横尾 真, |