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