/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2016ホーム
/
楢崎 修二
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai30th
氏名
楢崎 修二
ふりがな
楢崎 修二
所属
長崎大学 大学院 工学研究科
発表リスト
06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
題目
1F3-2 関数型言語HaskellによるSATソルバーの実装と比較
著者
楢崎 修二
論文
PDFファイル