*[[SeijiWiki&bigsmile;:http://www.ueda.info.waseda.ac.jp/~seiji/wiki/]] [#c9e59281]
seijiのページです。
-早稲田大学大学院 基幹理工学研究科 情報理工学専攻 上田研究室
--2011年3月卒業
***研究日誌 [#tb1215b6]
研究に関することを中心に載せていきます
-[[M2(研究日誌とうめき)>研究日誌とうめき]]
-[[M1(研究日誌とぼやき)>研究日誌とぼやき]]
-[[B4(研究日誌とつぶやき)>研究日誌とつぶやき]]
***公開サイト [#nd623cd8]
-[[すっきりCHR>http://www.ueda.info.waseda.ac.jp/~seiji/trychr/index.php?TopPage]]
--CHRプログラミング入門サイト
***執筆論文, 発表など [#s92ab44c]
-主著
小川誠司, 目黒学, 上田和紀:
階層グラフ書換えモデルを拡張したHyperLMNtal の実現,
第25回人工知能学会全国大会, 発表予定.
第25回人工知能学会全国大会, 2I1-4, 2011.
--[[階層グラフ書換えモデルを拡張したHyperLMNtal の実現:https://kaigi.org/jsai/webprogram/2011/pdf/283.pdf]]
小川誠司, 上田和紀:
LMNtal グラフのハイパーグラフへの拡張,
第4 回63 号館ハイテクリサーチセンターシンポジウム, P10, 2010.
--&ref(./highTechResearch2010.pdf,LMNtalグラフのハイパーグラフへの拡張);
小川誠司, 綾野貴之, 上田和紀:
LMNtalを用いた状態空間探索,
第23回人工知能学会全国大会, 2H2--3, 2009.
--[[LMNtalを用いた状態空間探索:https://kaigi.org/jsai/webprogram/2009/pdf/251.pdf]]
&br;
小川誠司:
階層グラフ書換えモデルを拡張したHyperLMNtal の実現,
早稲田大学大学院基幹理工学研究科, 修士論文, 2010.
--[[ID,Pass必要:http://www.ueda.info.waseda.ac.jp/~seiji/thesis_master/]]
小川誠司:
LMNtal実行時処理系 SLIMへのuniq 制約の導入,
早稲田大学理工学部, 卒業論文, 2008.
--[[ID,Pass必要:http://www.ueda.info.waseda.ac.jp/~seiji/thesis_test/]]
&br;
-共著
綾野貴之, 堀秦祐, 岩澤宏希, 小川誠司, 上田和紀:
統合開発環境による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.
//--統合開発環境によるLMNtalモデル検査
//---[[PPL2009版(ID,Pass必要):http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?plugin=attach&openfile=ppl2009.pdf&refer=PPL2009]]
//---[[JSSST2009版(ID,Pass必要):http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?plugin=attach&openfile=jssst2009_lmntal.pdf&refer=jssst2009]]
***研究関連ページ [#b397381f]
-[[hyperlink仕様まとめ]]
-[[言語班ローカル/CHR encoding:http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?CHR%20encoding]]
***その他 [#u2336f71]
-[[vista - ubuntu8.04(on VMware)間での共有フォルダ設定]]
-[[Vistaで自動シャットダウン]]
***トップページ更新履歴 [#m37b68a9]
-2011/02/17 執筆論文の一覧を更新しました。
-2008/09/03 Wikiのスキンを変更しました。Simple is Best.
//&br;
//&br;
//-[[実験TA シフト表]]
//&br;
//&br;
//*ラウンジ [#la883ad4]
//コメントなどあればご自由にどうぞ。
//
//- test -- [[seiji]] &new{2008-06-10 (火) 19:40:35};
//- 足跡。ぺた -- [[gocho]] &new{2008-06-13 (金) 18:20:48};
//- gochoもコメント欄作ってくれよ＾＾ -- [[seiji]] &new{2008-06-14 (土) 10:10:08};
//- 俺もあしあとー。 -- [[ayano]] &new{2008-06-14 (土) 23:57:33};
//- コメント欄作ったよv -- [[gocho]] &new{2008-06-16 (月) 14:59:24};
//- 一番にぎわってるな。足跡オンリーだけどｗ -- [[seiji]] &new{2008-06-16 (月) 23:17:18};
//- ぺたぺたぺたぺた･･･ -- [[gocho]] &new{2008-06-20 (金) 21:57:18};
//#comment
//あなたは本日&counter(today);人目のお客様です。
