潜在帰納法と書換え帰納法の比較
スポンサーリンク
概要
- 論文の詳細を見る
潜在帰納法と書き換え帰納法は、数学的帰納法を直接適用せずに帰納的な定理を自動証明する手法として広く使われている。本論文では、統一された抽象的な枠組の中で潜在帰納法と書き換え帰納法の関係を考察する。潜在帰納法ではチャーチ・ロッサ性と到達可能性が本質的であるのに対し、書き換え帰納法では退行性と強正規性が本質的であることが明らかにされる。したがって、両者の能力は一致しない。さらに、反駁証明と組み合わせると両者の能力が一致することも示される。
- 1998-11-20
論文 | ランダム
- 病院薬剤師の糖尿病領域に関する業務の実態調査
- 素片の相対的なF_0を利用した波形選択手法
- 2000-SLP-31-9 喉頭機構のなまけ現象を含む基本周波数の時間変化パターン分析
- 大阪方言合成のための基本周波数生成手法
- 個人性を考慮した顔動画像と音声合成(マルチモーダルIF (3),「マルチモーダルと音声HI」およびヒューマンインタフェース/音声言語情報処理一般)