/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2012ホーム
/
鈴木 健士郎
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2012
氏名
鈴木 健士郎
ふりがな
すずき けんしろう
所属
山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻
発表リスト
06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館/第四研修室(72))
題目
1E3-OS-4-7 高速充足可能性判定器を用いた命題論理の結論発見器の実装
著者
村松 匠
鈴木 健士郎
鍋島 英知
岩沼 宏治
論文
PDFファイル