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

楢崎 修二

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

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

氏名楢崎 修二
ふりがな楢崎 修二
所属長崎大学 大学院 工学研究科

発表リスト

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
題目1F3-2 関数型言語HaskellによるSATソルバーの実装と比較
著者楢崎 修二
論文PDFファイル