/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ 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ファイル