/
プログラム
/
発表一覧
/
著者一覧
/
jsai2008 ホーム
上田 和紀
名前
上田 和紀
ふり仮名
うえだ かずのり
所属
早稲田大学 理工学術院
発表リスト
6月11日(水) 09:40～10:00 D会場
題目
1D1-03 数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法
著者
大野 善之
石井 大輔
上田 和紀
論文
PDFファイル
6月13日(金) 09:20～09:40 J会場
題目
3J1-02 マルチコアクラスタ環境での並列SATソルバの評価
著者
大村 圭
上田 和紀
論文
PDFファイル
/
プログラム
/
発表一覧
/
著者一覧
/
jsai2008 ホーム