確率的探索手法を用いた集合間の合理的な対応写像探索

スポンサーリンク

概要

論文の詳細を見る
帰納法を有する問題、たとえば無限級数の恒等式証明では、その両辺の間に存在する帰納的手続きを予め仮説として知る必要がある。その為には、第1ステップとして、両辺の対応写像を探索し、第2ステップとしで対応写像を記号化しなければならない。我々は、2つの集合間に、帰納的手続きが存在する場合に、適切な制約条件を課すことで、合理的な対応写像が、比較的効率的に確率的探索可能ではないかと考えた。そこで、本研究では、第1ステップに相当するものとして、形式的べき級数の恒等式両辺に成立する合理的な対応写像の探索を、例題として取り上げた。本稿では、その試行結果について報告する。
一般社団法人情報処理学会の論文
1997-03-12

著者

関連論文

もっと見る

スポンサーリンク