初等平面幾何学における補助線問題のための幾何推論
スポンサーリンク
概要
- 論文の詳細を見る
我々は幾何学的情報処理に関する研究の一環として、幾何推論の研究を行っている。先の研究では、初等平面幾何学における定理の自動証明問題をとりあげ、論理的推論と代数的推論を有機的に統合した融合推論方式を提案した。本報告では、補助線問題を対象とし、その自動証明のための幾何推論方式を提案する。なお、本方式は、論理的推論及び代数的推論の新たな接点を提示するものであり、融合推論を有用性を改めて示唆している。
- 社団法人電子情報通信学会の論文
- 1995-03-27
著者
関連論文
- Image Understanding Environment(IUE)プロジェクト (<特別論説>情報処理最前線)
- Dempster-Shaferの確率モデルに基づくパターン分類 : 観測情報からの信念の形成と仮想信念空間を用いた信念の統合
- 多重絞りカラー画像の解析
- イメージスキャナを用いた書籍表面の3次元形状復元(II) : 相互反射を考慮した近接光源下の Shape from Shading
- イメージスキャナを用いた書籍表面の3次元形状復元(1) : 近接照明下でのShape from Shading
- 逆投影ぼけモデルを用いた遮へいエッジの光学的性質の解析
- 多重フォーカス画像を用いたエッジ検出と距離計測
- 多重フォーカス画像を用いたエッジ検出と距離計測
- Hough変換とパターンマッチング (コンピュータビジョンにおける手法)
- ディジタル直線の幾何学的特性に基づいたγ-ωハフ変換の高精度化
- ディジタル直線の幾何学的特性に基づいたγ-ωHough変換の高精度化
- 再帰トーラス結合アーキテクチャ
- 再帰トーラス結合アーキテクチャにおけるスイッチ制御機構
- 再帰トーラス結合アーキテクチャにおける並列対象認識のためのデータレベル並列プロセスの構成
- 初等平面幾何学における補助線問題のための幾何推論
- γ-ωハフ変換 - 可変標本化によるρ-θパラメータ空間のひずみの除去と投票軌跡の直線化 -
- 小特集「並列・分散協調画像理解」にあたって
- 分散協調処理による画像の領域分割法
- 代数的制約記述に基づく配色デザインシステム
- 再帰トーラス結合アーキテクチャ上での並列画像解析アルゴリズムの構成