日本語
 Faculty
 Division of Human Life and Environmental Sciences
 Research Group of Information and Communication Technology for Life
Associate Professor
KAMO   Hiroyasu

My website is here.

Other faculty or department / position
Faculty of Human Life and Environment Department ofComputer Science and Clothing Environment Courses of Information and Communication Technology for Life
Graduate School of Humanities and Sciences Master's Course Department of Information and Computer Sciences

Graduate school
Kyoto University  Master course  Graduate School, Division of Natural Science  数理解析専攻  1991/03/31  Completed  Domestic   
Kyoto University  Doctor later  Graduate School, Division of Natural Science  数理解析専攻  1992/04/30  Withdrawn before completion  Domestic   

School
Kyoto University  Faculty of Science    1989    Domestic   

Academic degrees
博士(情報学)  Kyoto University  2006/03/23 
(BLANK)  Kyoto University   

Current research field
Fundamental Informatics 

Research keywords
Computability in Analysis 

Subject of research
Study on Semantics of Logic Programming Languages  Formal Semantics,Logic Programming   
Computable Analysis on Topological Spaces  Computability, Computational complexity, metric space   

Books
新版 情報処理ハンドブック(情報処理学会編、共著)  1995  オーム社         
View details...

Papers
Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles  arXiv.org  Other  Only    2013/04         
Computability and computable uniqueness of Urysohn's universal metric space  Informatik Berichte --- Computability and Complexity in Analysis  Other  Only  326, 149-159  2005         
Effective Dini's theorem on effectively compact metric spaces  Electronic Notes on Theoretical Compututer Science  Academic Journal  Only  120, 73--82  2005         
Effective Contraction Theorem and its Application  INFORMATIK BERICHTE-Computability and Complexity in Analysis  Other  Only  272/ 9, 157-164  2000         
Computability of Self-Similar Sets  Mathematical Logic Quarterly  Academic Journal  Only  45/ 1, 23-30  1999         
View details...

Research presentations
Etc.  ユークリッド幾何の問題への数式処理システムの応用  代数, 論理, 幾何と情報科学研究集会 (ALGI26)  2015/08/31 
Etc.  三角形に関する平面ユークリッド幾何への数式処理の応用  SLACS 2014 (記号論理と情報科学 研究集会)  2014/05/26 
Etc.  三角形に関する平面ユークリッド幾何への数式処理の応用  SLACS 2012 (記号論理と情報科学 研究集会)  2012/09/15 
Etc.  三角形に関する平面ユークリッド幾何への数式処理の応用  第二十三回 ALGI(代数,論理,幾何と情報科学研究集会)  2012/09/07 
View details...

Alloted class
計算理論 
プログラミング言語Ⅰ 
プログラミング言語演習 
キャリアデザイン・ゼミナールB(28) 
アルゴリズム特論 
View details...

Social cooperation and an international exchange activity
ACM International Collegiate Programming Contest  2014/03-2014/10/20  ACM  Judge, Asia Regional Contest 2011 in Tokyo 
ACM International Collegiate Programming Contest  2013/03-2013/11  ACM  Judge, Asia Regional Contest 2011 in Tokyo 
ACM International Collegiate Programming Contest  2012/03-2012/11  ACM  Judge, Asia Regional Contest 2011 in Tokyo 
ACM International Collegiate Programming Contest  2011/03-2011/11  ACM  Judge, Asia Regional Contest 2011 in Fukuoka 
ACM International Collegiate Programming Contest  2010/03-2010/12  ACM  Judge, Asia Regional Contest 2010 in Tokyo 
View details...