Refereed, Electronic Notes in Theoretical Computer Science, Effective Dini's theorem on effectively Compact metric spaces, Hiroyasu Kamo, We show that if a computable sequence of real-valued functions on an effectively compact metric space converges pointwise monotonically to a computable function, then the sequence converges effectively uniformly to the function. This is an effectivized version of Dini's Theorem. © 2005 Elsevier B.V., 03 Feb. 2005, 120, 73, 82, International conference proceedings, 10.1016/j.entcs.2004.06.035

Refereed, Informatik Berichte --- Computability and Complexity in Analysis, Computability and computable uniqueness of Urysohn's universal metric space, KAMO Hiroyasu, 2005, 326, 149-159

Refereed, INFORMATIK BERICHTE-Computability and Complexity in Analysis, Effective Contraction Theorem and its Application, KAMO Hiroyasu, 2000, 272, 9, 157-164

Refereed, MATHEMATICAL LOGIC QUARTERLY, WILEY-V C H VERLAG GMBH, Computability of self-similar sets, H Kamo; K Kawamura, We investigate computability of a self-similar set on a Euclidean space. A nonempty compact subset of a Euclidean space is called a self-similar set if it equals to the union of the images of itself by some set of contractions. The main result in this paper is that if all of the contractions are computable, then the self-similar set is a recursive compact set. A further result on the case that the self-similar set forms a curve is also discussed., 1999, 45, 1, 23, 30, Scientific journal

Not Refereed, arXiv.org, Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles, KAMO Hiroyasu, Apr. 2013

Not Refereed, 自己相似集合の計算可能性について-計算量をめざして-, KAMO Hiroyasu, 1997, 17-22

Not Refereed, Annual Reports of Graduate School of Human Culture, Nara Women's University, Nara Women's University, Computability of Self-affine Sets (共著), KAMO Hiroyasu, 1996, 12, 12, 135-150, 150

Not Refereed, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Computability of Koch Curve and Koch Island(共著), KAMO Hiroyasu, Koch curve is known as a typical self-similar set on Euclidean plane. Koch 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., 1996, 96, 100, 1-8, 8

Not Refereed, Declarative Semantics for Modularized Prolog with Herbrand models, KAMO Hiroyasu, 1991, 91, 93

新版 情報処理ハンドブック(情報処理学会編、共著), KAMO Hiroyasu, 1995, Not Refereed

KAMO Hiroyasu, ユークリッド幾何の問題への数式処理システムの応用, Aug. 2015, Tottori, False

KAMO Hiroyasu, 三角形に関する平面ユークリッド幾何への数式処理の応用, May 2014, False

KAMO Hiroyasu, 三角形に関する平面ユークリッド幾何への数式処理の応用, Sep. 2012

KAMO Hiroyasu, 三角形に関する平面ユークリッド幾何への数式処理の応用, Sep. 2012