研究者
J-GLOBAL ID：200901013182023356
更新日: 2025年04月15日 鴨 浩靖
カモ ヒロヤス | Kamo Hiroyasu
奈良女子大学
奈良女子大学 について
職名： 准教授
その他の所属（所属・部署名・職名） (2件)：
ホームページURL (1件)： http://taurus.ics.nara-wu.ac.jp/staff/kamo/
競争的資金等の研究課題 (4件)：
- 位相空間での計算可能性解析学
- 論理プログラム言語の意味論に関する研究
- Computable Analysis on Topological Spaces
- Study on Semantics of Logic Programming Languages
- Hiroyasu Kamo. Effective Dini's theorem on effectively Compact metric spaces. Electronic Notes in Theoretical Computer Science. 2005. 120. 73-82
- 鴨浩靖. Computability and computable uniqueness of Urysohn's universal metric space. 2005. 326. 149-159
- 鴨浩靖. Effective Contraction Theorem and its Application. 2000. 272. 9. 157-164
- H Kamo, K Kawamura. Computability of self-similar sets. MATHEMATICAL LOGIC QUARTERLY. 1999. 45. 1. 23-30
- 鴨浩靖. Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles. 2013
- 鴨浩靖, 河邑紀子. 自己相似集合の計算可能性について-計算量をめざして-. 電気学会情報処理研究会資料IP-97-15. 1997. 17-22
- 鴨浩靖. Computability of Self-affine Sets (共著). 人間文化研究科年報. 1996. 12. 12. 135-150-150
- 鴨浩靖. Computability of Koch Curve and Koch Island(共著). 情報処理学会研究報告アルゴリズム(AL). 1996. 96. 100. 1-8-8
- 鴨浩靖. モジュールを入れたPrologのHerbrandモデルによる宣言的意味論. 信学技報. 1991. 91. 93
- 新版 情報処理ハンドブック(情報処理学会編、共著)
オーム社 1995
-
近藤・斎藤・竹島の線形写像法による連立代数方程式の実数解の厳密解法のSingularでの実装
(第41回 記号論理と情報科学 研究集会(SLACS 2024) 2024) -
ユークリッド幾何の問題への数式処理システムの応用
(代数, 論理, 幾何と情報科学研究集会 (ALGI26) 2015) -
三角形に関する平面ユークリッド幾何への数式処理の応用
(SLACS 2014 (記号論理と情報科学 研究集会) 2014) -
三角形に関する平面ユークリッド幾何への数式処理の応用
(第二十三回 ALGI(代数,論理,幾何と情報科学研究集会) 2012) -
三角形に関する平面ユークリッド幾何への数式処理の応用
(SLACS 2012 (記号論理と情報科学 研究集会) 2012)
- 1991 - 1992 京都大学 理学研究科 数理解析専攻
- 1989 - 1991 京都大学 理学研究科 数理解析専攻
- - 1989 京都大学 理学部
- 博士(情報学) (京都大学)
- 理学修士 (京都大学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
