発表履歴
- 高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀, ハイブリッドシステムモデリング言語HydLa の統合処理系, 第12 回プログラミングおよびプログラミング言語ワークショップ. 2010.
- 大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀, ハイブリッドシステムモデリング言語HydLa の区間制約に基づく全解シミュレーション実行処理系, 情報処理学会創立50周年記念全国大会(第72 回全国大会), 1M-1, 2010.
- 大谷順司, 廣瀬賢一, 石井大輔, 上田和紀, 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法, 第6回ディペンダブルシステムシンポジウム, pp.145--153, 2009.
- 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀, 制約階層によるハイブリッドシステムのモデリング手法, 日本ソフトウェア科学会第26回大会, 2D-2, 2009.
- 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀, 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装, 第11回プログラミングおよびプログラミング言語ワークショップ, C3, 2009.
- 廣瀬賢一, 石井大輔, 上田和紀, 区間演算を用いたODE Solver における任意精度演算の導入とパラメタ最適化, FIT2008(第7回情報科学技術フォーラム), A-007, 2008.
