/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2013ホーム
/
松本 翔太
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2013
氏名
松本 翔太
ふりがな
まつもと しょうた
所属
早稲田大学大学院基幹理工学研究科情報理工学専攻
発表リスト
06月05日(Wed) 09:00〜10:40 J会場(-市民プラザ2F ギャラリーB)
題目
2J1-1 制約の静的解析を用いたHydLa処理系の最適化
著者
河野 文彦
松本 翔太
上田 和紀
論文
PDFファイル
06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
題目
2E4-OS-09a-7 Literal Block Distanceに基づく学習節共有を行う並列SATソルバGlucans
著者
徐 暁雋
松本 翔太
上田 和紀
論文
PDFファイル