鴨　浩靖KAMO Hiroyasuカモ　ヒロヤス

researchmap

プロフィール情報

• プロフィール

  ガウスの弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子です。

• 姓

  鴨, カモ

• 名

  浩靖, ヒロヤス

学位

• 博士(情報学), 京都大学
• 理学修士, 京都大学

研究キーワード

• 計算可能性解析学
• 数理論理学
• ウリゾーンの万有距離空間

研究分野

• 情報通信, 情報学基礎論
• 自然科学一般, 数学基礎

学歴

• 1991年04月, 1992年04月, 京都大学, 理学研究科, 数理解析専攻
• 1989年04月, 1991年03月, 京都大学, 理学研究科, 数理解析専攻
• 1989年, 京都大学, 理学部

担当経験のある科目（授業）

• 計算理論特論演習, 奈良女子大学
• アルゴリズム特論演習, 奈良女子大学
• 計算理論特論, 奈良女子大学
• キャリアデザイン・ゼミナールＢ（４５）, 奈良女子大学
• 数値解析, 奈良女子大学
• プログラミング言語１, 奈良女子大学
• キャリアデザイン・ゼミナールＢ（２８）, 奈良女子大学
• アルゴリズムとデータ構造, 奈良女子大学
• 離散数学, 奈良女子大学
• キャリアデザイン・ゼミナールB（２８）, 奈良女子大学
• 情報処理技術１, 奈良女子大学
• プログラミング言語演習, 奈良女子大学
• プログラミング言語Ⅰ, 奈良女子大学
• 情報処理入門Ⅰ（Ｄ）, 奈良女子大学
• キャリアデザイン・ゼミナールＡ（２７）, 奈良女子大学
• アルゴリズム特論, 奈良女子大学
• ビジブル・サイエンス, 奈良女子大学
• 計算理論, 奈良女子大学
• プログラミング演習2, 奈良女子大学
• プログラミング言語2, 奈良女子大学
• ボリュームレンダリング, 奈良女子大学
• アルゴリズム演習, 奈良女子大学
• アルゴリズム, 奈良女子大学
• 計算機システム特論, 奈良女子大学
• 情報科学実験1, 奈良女子大学

Ⅱ．研究活動実績

論文

• 査読あり, 英語, Electronic Notes in Theoretical Computer Science, Effective Dini's theorem on effectively Compact metric spaces, Hiroyasu Kamo, We show that if a computable sequence of real-valued functions on an effectively compact metric space converges pointwise monotonically to a computable function, then the sequence converges effectively uniformly to the function. This is an effectivized version of Dini's Theorem. © 2005 Elsevier B.V., 2005年02月03日, 120, 73, 82, 研究論文（国際会議プロシーディングス）, 10.1016/j.entcs.2004.06.035

  DOI URL
• 査読あり, 英語, Informatik Berichte --- Computability and Complexity in Analysis, Computability and computable uniqueness of Urysohn's universal metric space, 鴨浩靖, 2005年, 326, 149-159
• 査読あり, 英語, INFORMATIK BERICHTE-Computability and Complexity in Analysis, Effective Contraction Theorem and its Application, 鴨浩靖, 2000年, 272, 9, 157-164
• 査読あり, 英語, MATHEMATICAL LOGIC QUARTERLY, Computability of self-similar sets, H Kamo; K Kawamura, We investigate computability of a self-similar set on a Euclidean space. A nonempty compact subset of a Euclidean space is called a self-similar set if it equals to the union of the images of itself by some set of contractions. The main result in this paper is that if all of the contractions are computable, then the self-similar set is a recursive compact set. A further result on the case that the self-similar set forms a curve is also discussed., 1999年, 45, 1, 23, 30, 研究論文（学術雑誌）

MISC

• 査読無し, 英語, arXiv.org, Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles, 鴨浩靖, 2013年04月
• 査読無し, 日本語, 電気学会情報処理研究会資料IP-97-15, 自己相似集合の計算可能性について-計算量をめざして-, 鴨浩靖; 河邑紀子, 1997年, 17-22
• 査読無し, 英語, 人間文化研究科年報, 奈良女子大学, Computability of Self-affine Sets (共著), 鴨浩靖, 1996年, 12, 12, 135-150, 150
• 査読無し, 英語, 情報処理学会研究報告アルゴリズム（AL）, 一般社団法人情報処理学会, Computability of Koch Curve and Koch Island(共著), 鴨浩靖, Koch曲線はEuclid平面上の典型的な自己相似集合として知られている．Koch島はKoch曲線の三つのコピーで囲まれる閉集合である。これらをを計算可能性の観点から調べる．本論文では，古典的計算可能性解析の応用として，Euclid空間上の曲線の計算可能性と閉集合の計算可能性を定義し，Koch曲線は計算可能な曲線であり，Koch曲線もKoch島も計算可能な閉集合であることを示す．Koch curve is known as a typical self-similar set on Euclidean plane. Kochi island is a closed set surrounded by three copies of Koch curve. We investigate them from the viewpoint of computability. In this paper, we define computability of a curve and that of a closed set as an application of classical computable analisys to Euclidean spaces and show that Koch curve is a computable curve and both Koch curve and Koch island are computable closed sets., 1996年, 96, 100, 1-8, 8

  Permalink
• 査読無し, 日本語, 信学技報, モジュールを入れたPrologのHerbrandモデルによる宣言的意味論, 鴨浩靖, 1991年, 91, 93

書籍等出版物

• 新版 情報処理ハンドブック(情報処理学会編、共著), オーム社, 鴨浩靖, 1995年, 日本語, 査読無し, その他

講演・口頭発表等

• 春山 栞; 鴨浩靖; 酒井千尋; 萩尾由貴子, 代数, 論理, 幾何と情報科学研究集会 (ALGI26), ユークリッド幾何の問題への数式処理システムの応用, 2015年08月, 日本語, 鳥取, 国内会議
• 鴨浩靖; 萩尾由貴子, SLACS 2014 (記号論理と情報科学 研究集会), 三角形に関する平面ユークリッド幾何への数式処理の応用, 2014年05月, 日本語, 記号論理と情報科学 研究集会, 東京工業大学, 国内会議
• 萩尾由貴子; 鴨浩靖; 溝口涼子, 第二十三回 ALGI（代数，論理，幾何と情報科学研究集会）, 三角形に関する平面ユークリッド幾何への数式処理の応用, 2012年09月, 日本語
• 鴨浩靖; 萩尾由貴子; 溝口涼子, SLACS 2012 (記号論理と情報科学 研究集会), 三角形に関する平面ユークリッド幾何への数式処理の応用, 2012年09月, 日本語

共同研究・競争的資金等の研究課題

• 位相空間での計算可能性解析学, 0, 0, 0, 競争的資金
• 論理プログラム言語の意味論に関する研究, 0, 0, 0, 競争的資金
• Computable Analysis on Topological Spaces, 0, 0, 0, 競争的資金
• Study on Semantics of Logic Programming Languages, 0, 0, 0, 競争的資金