お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2005-12-20 10:15
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems
Keiichirou KusakariMasahiko SakaiNagoya Univ.
抄録 (和) 依存対法と呼ばれる再帰構造解析による停止性証明法を,型付き$\lambda$計算の停止性証明で導入された強計算性の概念を用いることにより改良する.取り扱いの困難な高階変数の解析を排除でき,強力でかつ効率的な手法を得る.強計算性は型の上で帰納的に定義され依存対は項の構造に従って定義されているので,型と項の構造の整合を保つために我々の手法は適切な制限を必要とする.このような制限として直接関数渡しの概念を提案する.ほとんどの人工的でない関数プログラムは直接関数渡しであるので我々の手法の汎用性は失われない. 
(英) We enhance the dependency pair method to prove termination by recursive structure analysis in the simply-typed term rewriting system, which is one of the computational models of functional programs. The primary advantage of our method is that one can avoid analyzing higher-order variables, which are difficult to analyze theoretically. The key idea of our method is to show its strong computability, which was introduced for proving termination of typed $\lambda$-calculus, and is a stronger property than the termination. This strong computability is not closed under the subterm relation, because it is inductively defined on type structure. This breaks a correspondence between the strong computability and the recursive structure of programs. As a restriction to guarantee the correspondence,
we provide the notion of plain function-passing, in which most non-artificial functional programs can still be represented.
キーワード (和) 停止性 / 単純型項書換え系 / 直接関数渡し / 依存対 / 強計算性 / / /  
(英) Termination / Simply-Typed Term Rewriting System / Plain Function-Passing / Dependency Pair / Strong Computability / / /  
文献情報 信学技報, vol. 105, no. 491, SS2005-65, pp. 13-18, 2005年12月.
資料番号 SS2005-65 
発行日 2005-12-13 (SS) 
ISSN Print edition: ISSN 0913-5685
PDFダウンロード

研究会情報
研究会 SS  
開催期間 2005-12-19 - 2005-12-20 
開催地(和) 高知女子大 
開催地(英) Kochi Women's University 
テーマ(和) 一般 
テーマ(英) general 
講演論文情報の詳細
申込み研究会 SS 
会議コード 2005-12-SS 
本文の言語 英語 
タイトル(和)  
サブタイトル(和)  
タイトル(英) Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems 
サブタイトル(英)  
キーワード(1)(和/英) 停止性 / Termination  
キーワード(2)(和/英) 単純型項書換え系 / Simply-Typed Term Rewriting System  
キーワード(3)(和/英) 直接関数渡し / Plain Function-Passing  
キーワード(4)(和/英) 依存対 / Dependency Pair  
キーワード(5)(和/英) 強計算性 / Strong Computability  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ
第1著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第2著者 氏名(和/英/ヨミ) 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ
第2著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2005-12-20 10:15:00 
発表時間 30分 
申込先研究会 SS 
資料番号 SS2005-65 
巻番号(vol) vol.105 
号番号(no) no.491 
ページ範囲 pp.13-18 
ページ数
発行日 2005-12-13 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会