著者

鴨 浩靖 河邑紀子

出版者

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

雑誌

情報処理学会研究報告アルゴリズム(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.

著者

鴨 浩靖

出版者

京都大学

巻号頁・発行日

2006

---

授与名簿の並列タイトル: 関数解析学および一般位相空間論のいくつかの基本定理における計算可能性

著者

笹山 琴由 野口 真理子 藤本 尚子 鴨 浩靖 新出 尚之

雑誌

第47回プログラミング・シンポジウム予稿集

巻号頁・発行日

vol.2006, pp.161-166, 2006-01-10

---

makeは、依存関係の定義をもとに、ターゲットの更新に必要となる動作を行うツールで、ソフトウェア開発に広く用いられている。makeの動作は、依存関係のルールを記述したファイルに基づき、ターゲットを構築するためのルールを見つけ出し、必要なアクションを再帰的に起こすというものである。これは、論理プログラミング言語であるPrologの動作と類似している。そこで我々は、makeのPrologによる再実装を行うプロジェクトを進行している。動作の検証を行う対象としてはNetBSDのシステム全体のmakeを選び、ある程度大規模なソフトウェア開発に対してもこのプロジェクトが有効であることを示す。本発表では、我々のプロジェクトの紹介と、現在の進行状況について述べる。