著者

鴨 浩靖 河邑紀子

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告アルゴリズム(AL) (ISSN:09196072)

巻号頁・発行日

vol.1996, no.100, pp.1-8, 1996-10-17

---

Koch曲線はEuclid平面上の典型的な自己相似集合として知られている.Koch島はKoch曲線の三つのコピーで囲まれる閉集合である。これらをを計算可能性の観点から調べる.本論文では,古典的計算可能性解析の応用として,Euclid空間上の曲線の計算可能性と閉集合の計算可能性を定義し,Koch曲線は計算可能な曲線であり,Koch曲線もKoch島も計算可能な閉集合であることを示す.Koch curve is known as a typical self-similar set on Euclidean plane. Kochi island is a closed set surrounded by three copies of Koch curve. We investigate them from the viewpoint of computability. In this paper, we define computability of a curve and that of a closed set as an application of classical computable analisys to Euclidean spaces and show that Koch curve is a computable curve and both Koch curve and Koch island are computable closed sets.