/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2012ホーム /

鍋島 英知

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2012 このエントリーをはてなブックマークに追加

氏名鍋島 英知
ふりがななべしま ひでとも
所属山梨大学大学院医学工学総合研究部

発表リスト

06月12日(Tue) 10:00〜12:20 E会場(-山口県教育会館/第四研修室(72))
題目1E1-R-1-2 結論発見システム SOLAR の分割統治法による高速化
著者寄特 勇紀 鍋島 英知
論文PDFファイル

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館/第四研修室(72))
題目1E3-OS-4-7 高速充足可能性判定器を用いた命題論理の結論発見器の実装
著者村松 匠 鈴木 健士郎 鍋島 英知 岩沼 宏治
論文PDFファイル

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館/第四研修室(72))
題目1E3-OS-4-4 学習節評価尺度LBDに基づく並列SATソルバーの提案
著者大橋 弘幸 鍋島 英知
論文PDFファイル