/
プログラム
/
発表一覧
/
著者一覧
/
jsai2008 ホーム
石井 大輔
名前
石井 大輔
ふり仮名
いしい だいすけ
所属
早稲田大学 理工学研究科
発表リスト
6月11日(水) 09:40〜10:00 D会場
題目
1D1-03 数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法
著者
大野 善之
石井 大輔
上田 和紀
論文
PDFファイル
/
プログラム
/
発表一覧
/
著者一覧
/
jsai2008 ホーム