/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2014ホーム
/
松本 翔太
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2014
氏名
松本 翔太
ふりがな
まつもと しょうた
所属
早稲田大学大学院基幹理工学研究科情報理工学専攻
発表リスト
05月14日(Wed) 09:00〜10:40 O会場(-ひめぎんホール 3F会議室ロビー他)
題目
3O1-3in ハイブリッド制約言語HydLaを用いたハイブリッドシステムの解析
著者
松本 翔太
河野 文彦
上田 和紀
論文
PDFファイル
05月15日(Thu) 09:00〜10:40 C会場(48人-ひめぎんホール 第2会議室)
題目
4C1-2 フェーズ間の制約差分情報および制約-変数間の依存関係を用いたHydLa処理系の最適化
著者
小林 輝哉
河野 文彦
松本 翔太
上田 和紀
論文
PDFファイル
