トップ   編集 凍結解除 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

TopPage

Last-modified: 2011-03-26 (土) 17:40:44 (4779d)

SeijiWiki [bigsmile] †

seijiのページです。

  • 早稲田大学大学院　基幹理工学研究科　情報理工学専攻　上田研究室
    • 2011年3月卒業
↑

研究日誌 †

研究に関することを中心に載せていきます

↑

公開サイト †

↑

執筆論文, 発表など †

  • 主著
小川誠司, 目黒学, 上田和紀:
 階層グラフ書換えモデルを拡張したHyperLMNtal の実現, 
 第25回人工知能学会全国大会, 2I1-4, 2011.
小川誠司, 上田和紀:
 LMNtal グラフのハイパーグラフへの拡張, 
 第4 回63 号館ハイテクリサーチセンターシンポジウム, P10, 2010.
小川誠司, 綾野貴之, 上田和紀:
 LMNtalを用いた状態空間探索, 
 第23回人工知能学会全国大会, 2H2--3, 2009.


小川誠司:
 階層グラフ書換えモデルを拡張したHyperLMNtal の実現,
 早稲田大学大学院基幹理工学研究科, 修士論文, 2010.
小川誠司:
 LMNtal実行時処理系 SLIMへのuniq 制約の導入,
 早稲田大学理工学部, 卒業論文, 2008.


  • 共著
綾野貴之, 堀秦祐, 岩澤宏希, 小川誠司, 上田和紀:
 統合開発環境によるLMNtalモデル検査, 
 コンピュータソフトウェア, Vol. 27, No. 4 (2010), pp. 197--214.
Ueda, K., Ayano, T., Hori, T., Iwasawa, H. and Ogawa, S.:
 Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and
 Understanding Nondeterministic Systems, 
 International Confederation for Thermal Analysis and Calorimetry,
 LNCS5684, Springer-Verlag, 2009, pp.349--355.
綾野貴之, 堀秦祐, 岩澤宏希, 小川誠司, 上田和紀:
 統合開発環境によるLMNtalモデル検査, 
 第11回プログラミングおよびプログラミング言語ワークショップ論文集,
 2009, pp. 1--15.
↑

研究関連ページ †

↑

その他 †

↑

トップページ更新履歴 †

  • 2011/02/17 執筆論文の一覧を更新しました。
  • 2008/09/03 Wikiのスキンを変更しました。Simple is Best.