Hiroyasu KAMO

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
  • Derousseau's generalization of the Malfatti circles
• Obsolete
  • How to install OpenBSD on Libretto