外山研究室の博士・修士・卒業論文

博士論文

  1. A Term Rewriting Approach to Program Transformation by Templates,
    Yuki Chiba, Ph.D. Thesis, Tohoku University, March 2008.

修士論文

  1. 関数自動導入を用いた定理自動証明,
    伊藤 佑太, 2018年3月, 修士論文.
  2. 高階書き換えシステムの合流性自動検証法,
    小野沢 倖太, 2017年3月, 修士論文.
  3. 項書き換えシステムの基底合流性の自動検証,
    神野 祐磨, 2017年3月, 修士論文.
  4. プログラム変換を利用した自動証明法,
    佐藤 洸一, 2015年3月, 修士論文.
  5. 木オートマトンに基づく項書き換え系の到達可能性判定,
    島貫 健太郎, 2015年3月, 修士論文.
  6. 名目書き換えシステムの合流性について,
    鈴木 貴樹, 2015年3月, 修士論文.
  7. 永続性と減少ダイアグラム法に基づく合流性証明,
    内田 和真， 2014年3月, 修士論文.
  8. 閉包操作に基づく項書き換えシステムの到達可能性判定,
    四方 駿作， 2014年3月, 修士論文.
  9. 木オートマトンに基づく項書き換えシステムの逆計算,
    椛澤 涼, 2013年3月, 修士論文.
  10. ボトムアップ書き換えに基づく到達可能性判定法,
    高橋 翔大, 2013年3月, 修士論文.
  11. 書き換え帰納法に基づく帰納的定理の決定手続き,
    中嶋 辰成, 2013年3月, 修士論文.
  12. 名目書き換えに基づく高階定理自動証明,
    鈴木 聖耶, 2012年3月, 修士論文.
  13. 永続性とメンバーシップ条件を組み合わせた合流性判定法,
    鈴木 翼, 2012年3月, 修士論文.
  14. 減少ダイヤグラム法に基づく可換性判定法,
    的場 正樹, 2012年3月, 修士論文.
  15. 項書き換えシステムの計算ステップ数について,
    磯部 耕己, 2011年3月, 修士論文.
  16. 柔軟な照合機構を備えたパターンを用いたプログラム変換,
    大川 雄哉, 2011年3月, 修士論文.
  17. 木オートマトンを用いた停止性自動判定法,
    鈴木 貴志, 2011年3月, 修士論文.
  18. 等式項書き換え系の合流性判定法,
    道又 淳一, 2010年3月, 修士論文.
  19. 項書き換え系の合流性判定手続き,
    村井 正勝, 2010年3月, 修士論文.
  20. 多項式解釈による順序付けを用いた書き換え帰納法,
    瀬古 寛幸, 2009年3月, 修士論文.
  21. 項書き換えシステムの合流性自動判定法,
    吉田 順一, 2009年3月, 修士論文.
  22. 書き換え帰納法のための補題自動生成法,
    嶌津 聡志, 2008年3月, 修士論文.
  23. プロトコル自動検証のための近似オートマトン自動生成法,
    徳橋 三知夫, 2008年3月, 修士論文.
  24. XML文書の項書き換え手法による検証,
    後藤 晃, 2006年3月, 修士論文.
  25. Program Transformation based on Templates,
    Yuki Chiba, March 2005, Master's Thesis.
  26. 定理自動証明手法を用いたプログラム融合変換,
    坂本 邦彦, 2005年3月, 修士論文.
  27. 結合律と交換律をもつ項書き換え系の停止性,
    落合 秀幸, 2005年3月, 修士論文.
  28. 優先順位付き項書き換えシステムの等価変換,
    秋谷 賢司, 2004年3月, 修士論文.
  29. 完備化手続きによるプログラム融合変換の停止条件,
    伊藤 芳浩, 2003年3月, 修士論文.
  30. 変換パターンに基づく高階プログラム変換,
    鶴川 敏孝, 2003年3月, 修士論文.
  31. テスト集合を用いた帰納的定理の自動証明について,
    福井 信一, 2002年3月, 修士論文.

卒業論文

  1. 完備化手続きにおける関数記号自動導入,
    伊藤 佑太, 2016年3月, 卒業論文.
  2. 部分関数に対するプログラム変換法,
    田端 勇士, 2016年3月, 卒業論文.
  3. 変換に基づく項書き換え系の合流性検証法,
    古川 克貴, 2016年3月, 卒業論文.
  4. 高階書き換えシステムの合流性,
    小野沢 倖太, 2015年3月, 卒業論文.
  5. 基底合流性の自動検証,
    神野 祐磨, 2015年3月, 卒業論文.
  6. 項書き換えシステムに基づくラムダ式の評価,
    大澤 弘基, 2014年3月, 卒業論文.
  7. 自動検証のためのプログラム変換法,
    佐藤 洸一, 2013年3月, 卒業論文.
  8. 名目書き換えシステムに関する研究,
    鈴木 貴樹, 2013年3月, 卒業論文.
  9. 等式付き項書き換えシステムの完備化,
    内田 和真, 2012年3月, 卒業論文.
  10. 木オートマトンをもちいた交差不能性判定,
    四方 駿作, 2012年3月, 卒業論文.
  11. 理論と組み合わせた書き換え帰納法,
    椛澤 涼, 2011年3月, 卒業論文.
  12. 定理自動証明のための到達可能性判定法,
    高橋 翔大, 2011年3月, 卒業論文.
  13. 文脈移動法をもちいたプログラム変換,
    鈴木 翼, 2010年3月, 卒業論文.
  14. SMTソルバをもちいた合流性判定,
    的場 正樹, 2010年3月, 卒業論文.
  15. λμ計算の合流性に関する研究,
    小川 雅記子, 2009年3月, 卒業論文.
  16. 無向完備化に基づく自動証明に関する研究,
    PHAM TUONG VAN, 2009年3月, 卒業論文.
  17. 高階書き換え系の完備化手続きの研究,
    磯部 耕己, 2008年3月, 卒業論文.
  18. 書き換え帰納法に基づく定理自動証明法,
    佐藤 弥生, 2008年3月, 卒業論文.
  19. 項書換え系の合流性自動判定方法の研究,
    村井 正勝, 2008年3月, 卒業論文.
  20. SAT-解決機に基づく項書き換え系の検証,
    五十嵐 圭一, 2007年3月, 卒業論文.
  21. 項書き換えシステムの合流性の自動検証,
    吉田 順一, 2007年3月, 卒業論文.
  22. 組化技法を用いたプログラム自動変換の研究,
    守屋 弘平, 2007年3月, 卒業論文.
  23. 組化技法をもちいたプログラム変換,
    小滝 翼, 2006年3月, 卒業論文.
  24. 完備化における等式順序付けの自動化,
    瀬古 寛幸, 2006年3月, 卒業論文.
  25. 補題自動発見機構をもつ書き換え帰納法の研究,
    嶌津 聡志, 2006年3月, 卒業論文.
  26. 項書き換えシステムに基づくプロトコルの自動検証に関する研究,
    徳橋 三知夫, 2005年3月, 卒業論文.
  27. 項書換え系における部分計算,
    板垣 馨, 2004年3月, 卒業論文.
  28. 関数記号の自動導入を用いた完備化手続きの研究,
    駒木 健太, 2004年3月, 卒業論文.
  29. 書換え帰納法を用いたプログラム変換の研究,
    柴崎 純一, 2004年3月, 卒業論文.
  30. グラフ書き換えシステムに関する研究,
    童子 淳, 2004年3月, 卒業論文.
  31. AC完備化手続きに基づくプログラム融合変換の研究,
    落合 秀幸, 2003年3月, 卒業論文.
  32. 高階書換え系の完備化手続きの研究,
    千葉 勇輝, 2003年3月, 卒業論文.
  33. 関数型プログラムと項書き換えシステムの相互変換,
    横手 智和, 2003年3月, 卒業論文.
  34. 項書換え系の高速実行と柔軟実行の融合,
    秋谷 賢司, 2002年3月, 卒業論文.
  35. 書き換えモデルによるScheme解釈系の実現について,
    濱田 浩平, 2002年3月, 卒業論文.
  36. 関数型プログラムから項書換え系への自動変換,
    丹野 真敬, 2002年3月, 卒業論文.
  37. 自動証明に適した公理の表現方法の研究,
    天地 康雄, 2001年3月, 卒業論文.
  38. 融合変換によるプログラム合成の研究,
    千葉 晃, 2001年3月, 卒業論文.
  39. 変換パターンに基づくプログラム変換法,
    鶴川 敏孝, 2001年3月, 卒業論文.
 

北陸先端科学技術大学院大学における外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)における博士論文・修士論文は博士論文・修士論文(JAIST)へ．

[外山研究室] [電気通信研究所] [東北大学]
ご意見お問い合わせは webmaster まで．