石井 大輔 | 早稲田大学理工学術院
スポンサーリンク
概要
関連著者
-
上田 和紀
早稲田大学理工学部情報学科
-
石井 大輔
早稲田大学理工学術院
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
細部 博史
国立情報学研究所
-
廣瀬 賢一
早稲田大学大学院基幹理工学研究科情報理工学専攻
-
廣瀬 賢一
早稲田大学大学院
-
細部博史
国立情報学研究所
-
大谷 順司
早稲田大学大学院
著作論文
- 微分制約論理式によるハイブリッドシステムのモデリングと検証
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- A-007 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化(モデル・アルゴリズム・プログラミング,一般論文)
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)