国内研究会での発表

  1. 伊藤祐太, 菊池健太郎, 外山芳人,
    完備化手続きにおける関数記号導入の戦略,
    電気関係学会東北支部連合大会，平成28年度 1H09.
  2. 神野祐磨, 菊池健太郎, 青戸等人, 外山芳人,
    項書き換えシステムの基底合流性の自動検証,
    第18回プログラミングおよびプログラミング言語ワークショップ(ポスター・デモ), 2016.
  3. 小野沢倖太, 菊池健太郎, 青戸等人, 外山芳人,
    高階書き換えシステムの合流性自動検証ツール,
    第18回プログラミングおよびプログラミング言語ワークショップ(ポスター・デモ), 2016.
  4. 菊池健太郎, 青戸等人, 外山芳人,
    文脈移動法によるプログラム変換の正当性について,
    日本ソフトウェア科学会第32回大会, PPL4-4, 2015.
  5. 神野祐磨, 菊池健太郎, 青戸等人, 外山芳人,
    項書き換えシステムの基底合流性の自動検証,
    電気関係学会東北支部連合大会，平成27年度 2D14.
  6. 小野沢倖太, 菊池健太郎, 青戸等人, 外山芳人,
    高階書き換えシステムの合流性,
    電気関係学会東北支部連合大会，平成27年度 2D15.
  7. 島貫健太郎, 青戸等人, 外山芳人,
    書き換え規則の重なりに基づく到達可能性判定法,
    第17回プログラミングおよびプログラミング言語ワークショップ論文集, S12-2, pp.1-16, 2015.
  8. 佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人,
    帰納的定理自動証明のための項書き換えシステム自動変換,
    第16回プログラミングおよびプログラミング言語ワークショップ論文集, S6-2, pp.1-17, 2014.
  9. 四方駿作, 青戸等人, 外山芳人,
    閉包操作に基づく右基底項書き換えシステムの到達可能性判定,
    第16回プログラミングおよびプログラミング言語ワークショップ論文集, S10-1, pp.1-18, 2014.
  10. 内田和真, 青戸等人, 外山芳人,
    永続性と減少ダイアグラム法に基づく合流性自動証明,
    第16回プログラミングおよびプログラミング言語ワークショップ論文集, S10-2, pp.1-18, 2014.
  11. 鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人,
    名目書き換えシステムの合流性について,
    第16回プログラミングおよびプログラミング言語ワークショップ論文集, S10-3, pp.1-15, 2014.
  12. 内田和真, 青戸等人, 外山芳人,
    永続性と減少ダイアグラム法に基づく合流性証明法,
    日本ソフトウェア科学会第30回大会, PPL4-1, 2013.
  13. 四方駿作, 青戸等人, 外山芳人,
    閉包操作に基づく項書き換えシステムの到達可能性判定,
    日本ソフトウェア科学会第30回大会, PPL5-4, 2013.
  14. 佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人,
    自動検証のためのプログラム変換,
    日本ソフトウェア科学会第30回大会, PPL5-5, 2013.
  15. 高橋翔大, 青戸等人, 外山芳人,
    ボトムアップ書き換えに基づく最内書き換え到達可能性判定,
    第15回プログラミングおよびプログラミング言語ワークショップ論文集, S9-1, pp.1-15, 2013.
  16. 中嶋辰成, 青戸等人, 外山芳人,
    書き換え帰納法に基づく帰納的定理の決定可能性,
    第15回プログラミングおよびプログラミング言語ワークショップ論文集, S9-2, pp.1-15, 2013.
  17. 佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人,
    文脈移動法に基づく項書き換えシステムの自動変換,
    第15回プログラミングおよびプログラミング言語ワークショップ(ポスター・デモ), 2013.
  18. 鈴木貴樹, 菊池健太郎, 青戸等人, 外山芳人,
    束縛変数を考慮した名目書き換えシステムの実現法,
    第15回プログラミングおよびプログラミング言語ワークショップ(ポスター・デモ), 2013.
  19. 内田和真, 菊池健太郎, 青戸等人, 外山芳人,
    等式付き項書き換えシステムの完備化,
    電気関係学会東北支部連合大会，平成24年度 2C18.
  20. 四方駿作, 菊池健太郎, 青戸等人, 外山芳人,
    木オートマトンをもちいた交差不能性判定,
    電気関係学会東北支部連合大会，平成24年度 2C19.
  21. 中嶋辰成, 青戸等人, 外山芳人,
    書き換え帰納法に基づく帰納的定理の決定手続き,
    日本ソフトウェア科学会第29回大会, 3B-2, 2012.
  22. 高橋翔大, 青戸等人, 外山芳人,
    ボトムアップ書き換えに基づく到達可能性の判定法,
    日本ソフトウェア科学会第29回大会, 3B-3, 2012.
  23. 椛澤涼, 青戸等人, 外山芳人,
    木オートマトンに基づく項書き換えシステムの逆計算,
    日本ソフトウェア科学会第29回大会, 3B-4, 2012.
  24. 的場正樹, 青戸等人, 外山芳人,
    片側減少ダイアグラム法による項書き換えシステムの可換性証明法,
    第14回プログラミングおよびプログラミング言語ワークショップ論文集, pp.168-182, 2012.
  25. 鈴木翼, 青戸等人, 外山芳人,
    永続性にもとづく項書き換えシステムの合流性証明,
    第14回プログラミングおよびプログラミング言語ワークショップ論文集, pp.153-167, 2012.
  26. 岩見宗弘, 青戸等人,
    無限項書き換えシステムにおける性質に関する考察,
    「代数と言語のアルゴリズムと計算理論」研究集会報告集,
    数理解析研究所講究録, Vol.1769, pp.153-157, 京都大学数理解析研究所, 2011.
  27. 鈴木翼, 青戸等人, 外山芳人,
    永続性にもとづく項書き換えシステムの合流性証明,
    日本ソフトウェア科学会第28回大会, 1A-2, 2011.
  28. 的場正樹, 青戸等人, 外山芳人,
    減少ダイアグラム法による項書き換えシステムの可換性証明法,
    日本ソフトウェア科学会第28回大会, 1A-3, 2011.
  29. 椛澤涼, 青戸等人, 外山芳人,
    等式理論と組み合わせた書き換え帰納法,
    電気関係学会東北支部連合大会，平成23年度 2D18, p.148.
  30. 高橋翔大, 青戸等人, 外山芳人,
    項書き換えシステムの到達可能性自動証明法,
    電気関係学会東北支部連合大会，平成23年度 2D19, p.149.
  31. 磯部耕己，青戸等人，外山芳人，
    多項式サイズ正規形を保証する項書き換えシステムの経路順序，
    第13回プログラミングおよびプログラミング言語ワークショップ論文集, pp.99-113, 2011.
  32. 村井正勝，青戸等人，外山芳人，
    基底項書き換え系の多項式時間合流性判定法の改良，
    第13回プログラミングおよびプログラミング言語ワークショップ論文集, pp.84-98, 2011.
  33. 的場正樹, 青戸等人，外山芳人,
    SMTソルバを用いた項書き換えシステムの合流性自動判定
    電気関係学会東北支部連合大会，平成22年度 2C17, p.102.
  34. 鈴木翼, 青戸等人，外山芳人,
    文脈移動法による項書き換えシステムの変換，
    電気関係学会東北支部連合大会，平成22年度 2C18, p.103.
  35. 道又淳一，青戸等人，外山芳人，
    拡大手法に基づく項書き換え系の合流性自動証明，
    第12回プログラミングおよびプログラミング言語ワークショップ論文集, pp.274-285, 2010.
  36. 岩見宗弘，青戸等人，
    無限項書き換えシステムにおける強頭部正規化可能性の反証手続き，
    第12回プログラミングおよびプログラミング言語ワークショップ論文集, pp.261-273, 2010.
  37. 村井正勝，青戸等人，外山芳人，
    基底項書き換え系の合流性自動判定，
    第8回情報科学技術フォーラム(FIT2009)講演論文集, A-034，2009.
  38. 磯部耕己，青戸等人，外山芳人，
    S式書き換えシステムの停止性を保証するカリー化について，
    第8回情報科学技術フォーラム(FIT2009)講演論文集, A-033，2009.
  39. 道又淳一，青戸等人，外山芳人，
    多重Knuth-Bendix完備化における危険対除去手法の導入，
    第8回情報科学技術フォーラム(FIT2009)講演論文集, A-032，2009.
  40. 磯部耕己，青戸等人，外山芳人，
    S式書換え系の停止性を保証するカリー化について，
    第11回プログラミングおよびプログラミング言語ワークショップ論文集, ショート プレゼンテーション, p.180, 2009.
  41. 道又淳一，青戸等人，外山芳人，
    多重Knuth-Bendix完備化における効率化手法の導入，
    第11回プログラミングおよびプログラミング言語ワークショップ論文集, ショート プレゼンテーション, p.180, 2009.
  42. 村井正勝，青戸等人，外山芳人，
    基底項書換え系の合流性判定手続きの効率化，
    第11回プログラミングおよびプログラミング言語ワークショップ論文集, ショート プレゼンテーション, p.180, 2009.
  43. 千葉勇輝，青戸等人，外山芳人，
    RAPT: 項書き換えに基づくプログラム変換システム，
    第10回プログラミングおよびプログラミング言語ワークショップ論文集, ポスター・デモ, p.202, 2008.
  44. 嶌津聡志，青戸等人，外山芳人,
    反証機能付き書き換え帰納法のための補題自動生成法,
    第10回プログラミングおよびプログラミング言語ワークショップ論文集, pp.141-151, 2008.
  45. 吉田順一，青戸等人，外山芳人,
    項書き換えシステムの合流性判定,
    第10回プログラミングおよびプログラミング言語ワークショップ論文集, pp.126-140, 2008.
  46. 外山芳人,
    帰納的経路関係に基づくS式書き換えシステムの停止性証明,
    日本ソフトウェア科学会第24回大会, 3C-3, 2007.
  47. 青戸等人,
    停止性検証器を利用した書き換え帰納法手続き,
    日本ソフトウェア科学会第24回大会, 3C-2, 2007.
  48. 五十嵐圭一，青戸等人, 外山芳人,
    項書き換えシステム停止性検証におけるSATソルバ利用のための新しい符号化法,
    日本ソフトウェア科学会第24回大会, 3C-1, 2007.
  49. 千葉勇輝, 青戸等人, 外山芳人,
    項書き換えシステム自動変換のための2階一般化アルゴリズムについて,
    日本ソフトウェア科学会第24回大会, 2C-2, 2007.
  50. 千葉勇輝, 青戸等人, 外山芳人,
    プログラム変換パターンの自動生成,
    第64回プログラミング研究会(PRO-2007-1), 2007.
  51. 青戸等人,
    抽象原理に基づく書き換え帰納法の健全性,
    第64回プログラミング研究会(PRO-2007-1), 2007.
  52. 嶌津聡志, 青戸等人，外山芳人,
    補題自動発見機構をもつ書き換え帰納法
    電気関係学会東北支部連合大会，平成18年度 1E-8, p.165.
  53. 瀬古寛幸, 青戸等人，外山芳人,
    自動順序付けに基づく完備化手続き
    電気関係学会東北支部連合大会, 平成18年度 1E-9, p.166.
  54. 千葉勇輝, 青戸等人, 外山芳人,
    Program Transformation by Templates: A Rewriting Framework,
    第59回プログラミング研究会(PRO-2006-1), 2006.
  55. Yuki Chiba, Takahito Aoto, and Yoshihito Toyama,
    RAPT: A Program Transformation System based on Term Rewriting,
    The 8th JSSST Workshop on Programming and Programming Languages, pp.60-74, 2006.
  56. 青戸等人，
    書き換え帰納法における向き付け不能な等式の証明，
    第8回プログラミングおよびプログラミング言語ワークショップ論文集, pp.75-89, 2006.
  57. 落合秀幸, 青戸等人, 外山芳人
    修正AC単調意味論経路順序によるAC停止性
    信学技報 COMP2004-76 (2005-3), pp.23-31, 2005.
  58. 千葉勇輝，青戸等人，外山芳人，
    パターンに基づくプログラム変換システム,
    日本ソフトウェア科学会第22回大会, 3A-1, 2005.
  59. 坂本邦彦，青戸等人，外山芳人，
    書き換え帰納法に基づくプログラム融合変換，
    日本ソフトウェア科学会第21回大会, 2B-3, 2004.
  60. 千葉勇輝，青戸等人，外山芳人，
    木準同型写像を用いた項パターンマッチング，
    第49回プログラミング研究会(PRO-2004-1), 2004.
  61. 千葉勇輝，青戸等人，外山芳人，
    プログラム変換のための項書き換え系照合アルゴリズム，
    第6回プログラミングおよびプログラミング言語ワークショップ論文集,
    ショートセッション，P91, 2004.
  62. 坂本邦彦，青戸等人，外山芳人，
    書き換え帰納法によるプログラム融合変換，
    第6回プログラミングおよびプログラミング言語ワークショップ論文集,
    ショートセッション，P91, 2004.
  63. 落合秀幸，青戸等人，外山芳人，
    AC単調意味論経路順序に関する反例，
    第6回プログラミングおよびプログラミング言語ワークショップ論文集,
    ショートセッション，P91, 2004.
  64. 秋谷賢司，青戸等人，外山芳人
    優先順位付き書き換えの計算モデル,
    信学技報 COMP2003-85 (2004-3), pp.31-38, 2004.
  65. 坂本邦彦, 伊藤貴康,
    タスク遅延生成と関数遅延評価に基づく並列関数型言語
    電気関係学会東北支部連合大会, 平成15年度 1G-1, p.225.
  66. 千葉勇輝, 草刈圭一朗, 外山芳人,
    高階書き換え系に基づく完備化手続き
    電気関係学会東北支部連合大会 平成15年度 1G-2, p.226.
  67. 秋谷賢司, 青戸等人, 外山芳人,
    補代入を用いた書き換えシステムの等価変換
    電気関係学会東北支部連合大会 平成15年度 1G-3, p.227.
  68. 本多洋平, 青戸等人, 外山芳人,
    完備化手続きにおける関数記号の自動導入機構
    電気関係学会東北支部連合大会 平成15年度 1G-4, p.228.
  69. 落合秀幸, 青戸等人, 外山芳人,
    AC-完備化手続きに基づくプログラム融合変換
    電気関係学会東北支部連合大会 平成15年度 1G-5, p.229.
  70. 外山 芳人,
    S式書き換えシステムの停止性,
    2003年度夏のLAシンポジウム, pp.22-1 - 22-2, 2003.
  71. 伊藤芳浩，草刈圭一朗，外山芳人
    完備化手続きによるプログラム融合変換の停止条件，
    信学技報 COMP2002-84 (2003-3), pp.69-76, 2003.
  72. 鶴川敏孝，草刈圭一朗，外山芳人
    変換パターンに基づく高階プログラム変換，
    信学技報 COMP2002-83 (2003-3), pp.61-68, 2003.
  73. Yoshihito Toyama,
    Decision procedure for inductive theorems by rewriting induction,
    Proc. of the 36th MLG meeting, (2002-12), pp.36-37.
  74. 外山 芳人，
    書き換え帰納法による帰納的定理の決定手続き，
    信学技報 COMP2002-45 (2002-11), pp.41-45, 2002.
  75. 外山 芳人，
    書き換え帰納法による帰納的定理の決定手続き，
    日本ソフトウェア科学会第１９回大会論文集 (2002-9) 3A-2.
  76. 鶴川敏孝, 草刈圭一朗, 外山芳人,
    変換パターンに基づく高階プログラム変換,
    電気関係学会東北支部連合大会, 平成14年度 2D-11, p.141.
  77. 伊藤芳浩, 草刈圭一朗, 外山芳人,
    完備化手続きによるプログラム融合変換の停止条件,
    電気関係学会東北支部連合大会, 平成14年度 2D-10, p.140.
  78. 秋谷賢司, 草刈圭一朗, 外山芳人,
    項書き換え系の高速実行と柔軟実行の融合,
    電気関係学会東北支部連合大会, 平成14年度 2D-09, p.139.
  79. 外山芳人,
    書き換え帰納法による帰納的定理の決定手続き,
    2001年度冬のLAシンポジウム, pp.11.1-11.2, 2002.
  80. 福井信一, 外山芳人,
    帰納的定理の決定可能クラスについて,
    信学技報 COMP2001-81 (2002-1), pp.57-64, 2002.
  81. K.Kusakari,
    Path Orders in Simply-Typed Term Rewriting Systems,
    第14回情報基礎理論ワークショップ (LA Symposium 2001), pp.19.1-19.8, 2001.
 

北陸先端科学技術大学院大学 外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)における講演論文は国内の学会やワークショップ等における講演論文(JAIST)へ．

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