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

山本 泰生

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

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

氏名山本 泰生
ふりがなやまもと よしたか
所属山梨大学大学院医学工学総合研究部

発表リスト

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館/第四研修室(72))
題目1E3-OS-4-6 効率的なSMTソルバの実現を目指した等号組み合わせの削減
著者福田 寿志 岩沼 宏治 山本 泰生
論文PDFファイル

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館/第四研修室(72))
題目1E3-OS-4-5 時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて
著者宮城 智輝 山本 泰生 岩沼 宏治
論文PDFファイル

06月13日(Wed) 09:00〜12:00 B会場(-山口県教育会館/第一研修室(141))
題目2B1-R-3-2 負の相関ルールの完全かつ効率的な抽出法
著者井出 典子 岩沼 宏治 山本 泰生
論文PDFファイル