WEKO3
アイテム
LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)
https://ipsj.ixsq.nii.ac.jp/records/147847
https://ipsj.ixsq.nii.ac.jp/records/147847a5b5023c-0d36-4422-8df8-a625e0a0cdef
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006438604.pdf (532.6 kB)
|
Copyright (c) 2005 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2005-08-22 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング) | |||||||||||||||
| タイトル | ||||||||||||||||
| 言語 | en | |||||||||||||||
| タイトル | LA-001 Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||
| 著者所属 | ||||||||||||||||
| 名古屋大学大学院情報科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 名大名古屋大学大学院情報科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 名古屋大学大学院情報科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 名古屋大学大学院情報科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 名古屋大学大学院情報科学研究科 | ||||||||||||||||
| 著者名 |
櫻井, 敬大
× 櫻井, 敬大
× 草刈, 圭一郎
× 西田, 直樹
× 酒井, 正彦
× 坂部, 俊樹
|
|||||||||||||||
| 論文抄録 | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | 十分完全性を持つ関数プログラムは任意の入力値に対して出力値の存在が保証されるため,十分完全性の証明法の研究は重要である.本論文では,依存対法と呼ばれる停止性証明法を土台にした再帰構造の静的解析に基づく十分完全性の証明法を与える.本手法はプログラマーの直感に合致し,それゆえに適用範囲も広く強力な手法である.また,提案した手法の正当性を,型付きλ計算の停止性証明で導入された強計算性の概念を用いて示す.本手法は,依存対法に強計算性を組み合わせる事に成功した初めての成果である. | |||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AA1197723X | |||||||||||||||
| 書誌情報 |
情報科学技術レターズ 巻 4, p. 1-4, 発行日 2005-08-22 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
