国内の学会・ワークショップ等における講演論文(JAIST)

北陸先端科学技術大学院大学 外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)における講演論文です．

1. 松本利雅, 外山芳人,
   左線形項書換え系の合流条件の解析,
   99年 夏のLAシンポジウム予稿, pp. 3.1-3.3.
2. K. Kusakari, Y. Toyama,
   Designing a Weak AC-Reduction Pair by Argument Filtering Method,
   第１２回情報基礎理論ワークショップ (LA Symposium '99), 1999.
3. 吉政洋美, 外山芳人,
   完備化手続きを用いたプログラム合成,
   電気関係学会 北陸支部連合大会, 平成10年度 E-7, 257.
4. 中村正樹, 外山芳人,
   置換消去法による項書換え系の停止性判定について,
   電気関係学会 北陸支部連合大会, 平成10年度 E-8, 258.
5. 安藤欣司, 鈴木太朗, 外山芳人,
   項書換え系の到達可能性の決定問題,
   電気関係学会 北陸支部連合大会, 平成10年度 E-9, 259.
6. 小池広高, 外山芳人,
   潜在帰納法と書換え帰納法の比較,
   電気関係学会 北陸支部連合大会, 平成10年度 E-10, 260.
7. 村島康哲, 外山芳人,
   先行評価言語のプログラム変換の正当性,
   電気関係学会 北陸支部連合大会, 平成10年度 E-11, 261.
8. 成島雅幸, 鈴木太朗, 外山芳人,
   トレースからのＰｅｒｌプログラムの自動合成,
   電気関係学会 北陸支部連合大会, 平成10年度 E-28, 278.
9. 木村敦夫, 外山芳人,
   幾何学定理自動証明における問題記述の簡略化,
   電気関係学会 北陸支部連合大会, 平成10年度 F-72, 376.
10. 佐賀正芳, 外山芳人,
    リスト生成法に基づくプログラム変換,
    電気関係学会 北陸支部連合大会, 平成9年度 E-22, p. 287.
11. 草刈 圭一朗, 外山芳人,
    項書換え系の停止性自動証明法の提案,
    日本ソフトウェア科学会 第14回大会, pp. 361-364, 1997.
12. 岩見 宗弘, 外山芳人,
    項書換え系の停止性の順序ソートに関する永続性について,
    日本ソフトウェア科学会 第14回大会, pp. 357-360, 1997.
13. 青戸 等人, 外山芳人,
    Tree lifting orderings for termination transformations of term rewriting systems,
    情報基礎理論ワークショップ, pp. 109-114, 1997 (in English).
14. 松野 吉宏, 酒井 正彦, 外山芳人,
    ナローイングの効率的実現について,
    電気関係学会 北陸支部連合大会, 平成8年度 E-11, p. 271.
15. 関 康夫, 酒井 正彦, 外山芳人,
    正規化戦略に基づくTRSコンパイラ,
    電気関係学会 北陸支部連合大会, 平成8年度 E-10, p. 270.
16. 青戸 等人, 外山芳人,
    Top-down labelling and modularity of term rewriting systems,
    情報基礎理論ワークショップ, pp. 166-171, 1996 (in English).
17. 草刈 圭一朗, 酒井 正彦, 外山芳人,
    Church-Rosser property of finite ranked terms of non-linear term rewriting systems,
    情報基礎理論ワークショップ, pp. 160-165, 1996 (in English).
18. 長谷 崇, 酒井 正彦, 外山芳人,
    Index reduction of overlapping strong sequential systems,
    情報基礎理論ワークショップ, pp. 154-159, 1996 (in English).
19. 中野 賢司, 酒井 正彦, 外山芳人,
    項書換え系のAC停止性について,
    情報基礎理論ワークショップ, pp. 61-66, 1996.
20. 岩見 宗弘, 酒井 正彦, 外山芳人,
    高階項書換え系の停止性について,
    情報基礎理論ワークショップ, pp. 55-60, 1996.
21. 長谷 崇, 酒井 正彦, 外山芳人,
    NVNF-sequentiality of left-linear term rewriting systems,
    「計算モデルと計算の複雑さに関する研究」研究集会, 数理解析研究所講究録, Vol. 950, pp. 153-159, 1996 (in English).
22. 佐藤 隆厳, 酒井 正彦, 外山芳人,
    制約論理プログラミムの停止性について,
    電気関係学会 北陸支部連合大会, 平成7年度 E-31, p. 317.
23. 高島 正敏, 酒井 正彦, 外山芳人,
    優先順位付き項書き換え系の計算戦略,
    電気関係学会 北陸支部連合大会, 平成7年度 E-30, p. 316.
24. 中野 賢司, 酒井 正彦, 外山芳人,
    AC規則を含む項書換え系の研究,
    電気関係学会 北陸支部連合大会, 平成7年度 E-29, p. 315.
25. 岩見 宗弘, 酒井 正彦, 外山芳人,
    高階項書換え系における停止性について,
    電気関係学会 北陸支部連合大会, 平成7年度 E-28, p. 314.
26. 井上 直, 酒井 正彦, 外山芳人,
    Rigid E単一化の効率的実現に関する考察,
    電気関係学会 北陸支部連合大会, 平成7年度 E-27, p. 313.
27. 草刈 圭一朗, 酒井 正彦, 外山芳人,
    非線型項書換え系の合流性について,
    電気関係学会 北陸支部連合大会, 平成7年度 E-26, p. 312.
28. 大山口 通夫, 外山芳人
    Church-Rosser property and unique normal form property of non-duplicating term rewriting systems,
    「書き換えシステムの理論とその応用」研究集会, 数理解析研究所講究録, Vol. 918, pp. 139-149, 1995 (in English).
29. 長谷 崇, 酒井 正彦, 外山芳人,
    NVNF-sequentiality of left-linear term rewriting systems,
    「書き換えシステムの理論とその応用」研究集会, 数理解析研究所講究録, Vol. 918, pp. 109-117, 1995 (in English).
30. 酒井 正彦,
    Let-incompatible term rewriting systems and its normalizing strategy,
    「書き換えシステムの理論とその応用」研究集会, 数理解析研究所講究録, Vol. 918, pp. 16-23, 1995 (in English).
31. 長谷 崇, 酒井 正彦, 外山芳人,
    項書換え系におけるNV逐次系の拡張について,
    電気関係学会 北陸支部連合大会, 平成6年度 E-31, p. 325.
32. 高橋 宣孝, 酒井 正彦, 外山芳人,
    条件付き項書換え系の合流性について,
    電気関係学会 北陸支部連合大会, 平成6年度 E-30, p. 324.
33. 鈴木 康博, 酒井 正彦, 外山芳人,
    並行ナローイングの提案,
    電気関係学会 北陸支部連合大会, 平成6年度 E-29, p. 323.
34. 北原 彰, 酒井 正彦, 外山芳人,
    項書換え系の合流性を保存した合併条件について,
    電気関係学会 北陸支部連合大会, 平成6年度 E-28, p. 322.
35. 川連 嘉晃, 酒井 正彦, 外山芳人,
    高階書き換えシステムにおける到達可能性について,
    電気関係学会 北陸支部連合大会, 平成6年度 E-27, p. 321.
36. 酒井 正彦, 粕谷 英人, 山本 晋一郎, 阿草 清滋,
    On term set rewriting system,
    情報基礎理論ワークショップ, pp. 45-48, 1994 (in English).