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