/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2011ホーム /

上田 和紀

氏名上田 和紀
ふりがなうえだ かずのり
所属早稲田大学理工学術院情報理工学科

発表リスト

06月02日(Thu) 10:35〜11:55 I会場(30名-学習室4(県大7F))
題目2I1-4 階層グラフ書換えモデルを拡張したHyperLMNtalの実現
著者小川 誠司 目黒 学 上田 和紀
論文PDFファイル

06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目3J1-OS7-4 基数制約の概念を持つSATソルバの設計と評価
著者山根 裕二 徐 暁雋 上田 和紀
論文PDFファイル