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

鍋島 英知

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

発表リスト

06月01日(Wed) 14:55〜16:35 J会場(30名-学習室5(県大7F))
題目1J3-3 結論発見手続き SOL タブロー計算法の分割統治法に基づく効率化
著者寄特 勇紀 鍋島 英知
論文PDFファイル

06月02日(Thu) 09:00〜10:20 I会場(30名-学習室4(県大7F))
題目2I1-3 ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善
著者村松 匠 鍋島 英知
論文PDFファイル

06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目3J1-OS7-8 SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現
著者鈴木 健士郎 鍋島 英知
論文PDFファイル

06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目3J1-OS7-9 一般双対化問題における冗長節生成の抑制法とその評価
著者山本 泰生 鍋島 英知 岩沼 宏治
論文PDFファイル