/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2015ホーム
/
竹内 聖悟
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2015
氏名
竹内 聖悟
ふりがな
たけうち しょうご
所属
JST ERATO 湊離散構造処理系プロジェクト
発表リスト
05月30日(Sat) 10:20〜11:40 E会場(5F北-中講義室 (593))
題目
1E2-4 BDD簡約化アルゴリズムの並列化
著者
竹内 聖悟
藤本 武彦
安田 宜仁
湊 真一
論文
PDFファイル