KAMO Hiroyasu
| Faculty Division of Human Life and Environmental Sciences Research Group of Information and Communication Technology for Life | Associate Professor |
Last Updated :2025/06/13
■researchmap
Profile Information
Name (Japanese)
KamoName (Kana)
Hiroyasu
Education
■Ⅱ．研究活動実績
Published Papers
- Refereed, Electronic Notes in Theoretical Computer Science, Effective Dini's theorem on effectively Compact metric spaces, Hiroyasu Kamo, 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, Computability of self-similar sets, H Kamo; K Kawamura, 1999, 45, 1, 23, 30, Scientific journal
MISC
- 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
Presentations
