[English]
[Japanese]
Hiroyasu KAMO
Associate Professor
wd@ics.nara-wu.ac.jp
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
documents
Laboratory of Foundation of Computer Science
the Department of Information and Computer Sciences
Nara Women's University
wd@ics.nara-wu.ac.jp