English
 研究院
 生活環境科学系
 生活情報通信科学領域
准教授
鴨   浩靖
KAMO Hiroyasu


個人ウェブサイトはこちら

その他の所属・職名
生活環境学部 情報衣環境学科 生活情報通信科学コース
人間文化研究科 博士前期課程 情報科学専攻

出身大学院
京都大学  修士  理学研究科  数理解析専攻  1991/03/31  修了  国内   
京都大学  博士後期  理学研究科  数理解析専攻  1992/04/30  中退  国内   

出身学校
京都大学  理学部    1989    国内   

取得学位
博士(情報学)  京都大学  2006/03/23 
理学修士  京都大学   

研究分野
情報学基礎 

キーワード
計算可能性解析学 

研究テーマ
論理プログラム言語の意味論に関する研究  形式的意味,論理プログラミング   
位相空間での計算可能性解析学  計算可能性,計算量,距離空間   

著書
新版 情報処理ハンドブック(情報処理学会編、共著)  1995  オーム社         
詳細表示...

論文
Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles  arXiv.org  その他  単著    2013/04         
Computability and computable uniqueness of Urysohn's universal metric space  Informatik Berichte --- Computability and Complexity in Analysis  その他  単著  326, 149-159  2005         
Effective Dini's theorem on effectively compact metric spaces  Electronic Notes on Theoretical Compututer Science  学術雑誌  単著  120, 73--82  2005         
Effective Contraction Theorem and its Application  INFORMATIK BERICHTE-Computability and Complexity in Analysis  その他  単著  272/ 9, 157-164  2000         
Computability of Self-Similar Sets  Mathematical Logic Quarterly  学術雑誌  単著  45/ 1, 23-30  1999         
詳細表示...

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

担当授業科目
計算理論 
プログラミング言語Ⅰ 
プログラミング言語演習 
キャリアデザイン・ゼミナールB(28) 
アルゴリズム特論 
詳細表示...

社会連携・国際交流活動
ACM国際大学対抗プログラミングコンテスト  2014/03-2014/10/20  ACM(計算機学会)  アジア地区予選 東京大会 審判 
ACM国際大学対抗プログラミングコンテスト  2013/03-2013/11  ACM(計算機学会)  アジア地区予選 東京大会 審判 
ACM国際大学対抗プログラミングコンテスト  2012/03-2012/11  ACM(計算機学会)  アジア地区予選 東京大会 審判 
ACM国際大学対抗プログラミングコンテスト  2011/03-2011/11  ACM(計算機学会)  アジア地区予選 福岡大会 審判 
ACM国際大学対抗プログラミングコンテスト  2010/03-2010/12  ACM(計算機学会)  アジア地区予選 東京大会 審判 
詳細表示...