[English]
[Japanese]
Hiroyasu KAMO
Associate Professor
Papers
-
Kamo, Hiroyasu; Kawamura, Kiko: Computability of self-similar sets.
Mathematical Logic Quarterly Vol.~45 No.~1, 23--30, (1999).
-
Kamo, Hiroyasu; Kawamura, Kiko; Takeuti, Izumi:
Computational complexity of fractal sets.
Real Analysis Exchange Vol.~26 No.~2, 773--793, (2000).
-
Kamo, Hiroyasu: Effective contraction theorem and its application.
Computability and complexity in analysis (Swansea, 2000),
Lecture Notes in Compututer Science, Springer, Berlin, Vol.~2064, 88--100,
(2001).
-
Kamo, Hiroyasu: Effective Dini's Theorem on Effectively Compact
Metric Spaces,
Electronic Notes in Theoretical Computer Science Vol.~120, 73--82 (2005).
-
Kamo, Hiroyasu:
Computability and Computable Uniqueness of Urysohn's Universal Metric Space,
Proceedings of the Second International Conference on Computability and
Complexity in Analysis, Informatik Berichte,
FernUniversität in Hagen, Vol.~326, 149--159 (2005).
-
Ishikawa, Chisato; Kamo, Hiroyasu; Nide, Naoyuki; Joe, Kazuki:
Design of an Integrated Database System for Short-Term
Earthquake Prediction, The 2006 International Conference on
Parallel and Distributed Processing Techniques and Applications,
853--859 (2006).
-
Touma, Eriko; Yamauchi, Kazuko; Kamo, Hiroyasu; Nide, Naoyuki;
Hayashida, Sachiko; Joe, Kazuki:
Gateau: A 3D Visualization
System for Intuitive Analysis of Atmospheric Science, The 2006
International Conference on Parallel and Distributed Processing
Techniques and Applications, 860--866 (2006).
-
Yamauchi, Kazuko; Touma, Eriko; Kamo, Hiroyasu; Nide, Naoyuki;
Hayashida, Sachiko; Joe, Kazuki:
Design and Implementation of
Gateau API for HDF-EOS, The 2006 International Conference on
Parallel and Distributed Processing Techniques and Applications,
867--873 (2006).
-
Hara, Satomi; Kamo, Hiroyasu; Nide, Naoyuki; Joe, Kazuki:
Another RSS Reader with Visualization of Structured Documents and
Effective Navigation, The 2006 International Conference on Parallel
and Distributed Processing Techniques and Applications, 874--880
(2006).
-
Ashida, Naomi; Takata, Masami; Sasaki, Akira; Kamo, Hiroyasu;
Nide, Naoyuki; Joe, Kazuki: Construction of a Paper Classification
System Using SVM, The 2007 International Conference on Parallel and
Distributed Processing Techniques and Applications, accepted (2007).
-
Komatsubara,Miho; Ishikawa, Chisato; Takata, Masami;
Kamo, Hiroyasu; Nide, Naoyuki; Joe, Kazuki: Auto Classification of
Feces for Health Condition Analysis, The 2007 International
Conference on Parallel and Distributed Processing Techniques and
Applications, accepted (2007).
-
Touma, Eriko; Noguchi, Katsuyuki; Takata, Masami; Kamo, Hiroyasu;
Nide, Naoyuki; Joe, Kazuki: 3D Visualization System Gateau for
Atmospheric Science: Design Concept and Practical Evaluation, The
2007 International Conference on Parallel and Distributed Processing
Techniques and Applications, accepted (2007).
Products
- Research on computable analysis (temporary unavailable)
- A patch for kterm 6.2.0 with additional ISO 646 character sets (temporary unavailable)
- WIDE DHCP on OpenBSD (temporary unavailable)
- known Mersenne primes
Documents
- Book reviews (in Japanese)
- Research-related
- Obsolete
- How to install OpenBSD on Libretto
Nara Women's University