研究者
J-GLOBAL ID：200901013182023356   更新日: 2023年08月05日

鴨 浩靖

カモ ヒロヤス | Kamo Hiroyasu
所属機関・部署：
奈良女子大学

奈良女子大学 について


職名： 准教授
その他の所属（所属・部署名・職名） (2件)：
  • 奈良女子大学
  • 奈良女子大学
ホームページURL (1件)： http://taurus.ics.nara-wu.ac.jp/staff/kamo/
研究分野 (2件)： 数学基礎 ,  情報学基礎論
研究キーワード (3件)： 数理論理学 ,  ウリゾーンの万有距離空間 ,  計算可能性解析学
競争的資金等の研究課題 (4件)：
  • 位相空間での計算可能性解析学
  • 論理プログラム言語の意味論に関する研究
  • Computable Analysis on Topological Spaces
  • Study on Semantics of Logic Programming Languages
論文 (4件)：
MISC (5件)：
書籍 (1件)：
  • 新版 情報処理ハンドブック(情報処理学会編、共著)
    オーム社 1995
講演・口頭発表等 (4件)：
  • ユークリッド幾何の問題への数式処理システムの応用
    (代数, 論理, 幾何と情報科学研究集会 (ALGI26) 2015)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (SLACS 2014 (記号論理と情報科学 研究集会) 2014)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (第二十三回 ALGI(代数,論理,幾何と情報科学研究集会) 2012)
  • 三角形に関する平面ユークリッド幾何への数式処理の応用
    (SLACS 2012 (記号論理と情報科学 研究集会) 2012)
学歴 (3件)：
  • 1991 - 1992 京都大学 理学研究科 数理解析専攻
  • 1989 - 1991 京都大学 理学研究科 数理解析専攻
  • - 1989 京都大学 理学部
学位 (2件)：
  • 博士(情報学) (京都大学)
  • 理学修士 (京都大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM