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