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

竹内 聖悟

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

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

氏名竹内 聖悟
ふりがなたけうち しょうご
所属JST ERATO 湊離散構造処理系プロジェクト

発表リスト

05月30日(Sat) 10:20〜11:40 E会場(5F北-中講義室 (593))
題目1E2-4 BDD簡約化アルゴリズムの並列化
著者竹内 聖悟 藤本 武彦 安田 宜仁 湊 真一
論文PDFファイル