研究者総覧

鴨 浩靖 (カモ ヒロヤス)

  • 研究院生活環境科学系生活情報通信科学領域 准教授
メールアドレス:
wdics.nara-wu.ac.jp
Last Updated :2021/06/02

researchmap

学位

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

研究キーワード

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

研究分野

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

学歴

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

論文

  • 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日, Electronic Notes in Theoretical Computer Science, 120, 73 - 82, doi

    研究論文(国際会議プロシーディングス)

  • Computability and computable uniqueness of Urysohn's universal metric space

    鴨浩靖

    2005年, Informatik Berichte --- Computability and Complexity in Analysis, 326, 149-159

  • Effective Contraction Theorem and its Application

    鴨浩靖

    2000年, INFORMATIK BERICHTE-Computability and Complexity in Analysis, 272 (9), 157-164

  • 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年, MATHEMATICAL LOGIC QUARTERLY, 45 (1), 23 - 30, web_of_science

    研究論文(学術雑誌)

MISC

  • Schellbach-style Formulae for the Derousseau-Pampuch Generalizations of the Malfatti Circles

    鴨浩靖

    2013年04月, arXiv.org

  • 自己相似集合の計算可能性について-計算量をめざして-

    鴨浩靖; 河邑紀子

    1997年, 電気学会情報処理研究会資料IP-97-15, 17-22

  • Computability of Self-affine Sets (共著)

    鴨浩靖

    1996年, Annual Reports of Graduate School of Human Culture, Nara Women's University, (12), 135-150

  • Computability of Koch Curve and Koch Island(共著)

    鴨浩靖

    1996年, 96 (100), 1-8

  • モジュールを入れたPrologのHerbrandモデルによる宣言的意味論

    鴨浩靖

    1991年, 信学技報, 91, 93

書籍等出版物

  • 新版 情報処理ハンドブック(情報処理学会編、共著)

    鴨浩靖

    オーム社, 1995年

講演・口頭発表等

  • ユークリッド幾何の問題への数式処理システムの応用

    春山 栞; 鴨浩靖; 酒井千尋; 萩尾由貴子

    代数, 論理, 幾何と情報科学研究集会 (ALGI26), 2015年08月, 鳥取, false

  • 三角形に関する平面ユークリッド幾何への数式処理の応用

    鴨浩靖; 萩尾由貴子

    SLACS 2014 (記号論理と情報科学 研究集会), 2014年05月, 記号論理と情報科学 研究集会, 東京工業大学, false

  • 三角形に関する平面ユークリッド幾何への数式処理の応用

    萩尾由貴子; 鴨浩靖; 溝口涼子

    第二十三回 ALGI(代数,論理,幾何と情報科学研究集会), 2012年09月

  • 三角形に関する平面ユークリッド幾何への数式処理の応用

    鴨浩靖; 萩尾由貴子; 溝口涼子

    SLACS 2012 (記号論理と情報科学 研究集会), 2012年09月

担当経験のある科目(授業)

  • 計算理論特論演習 (奈良女子大学)

  • アルゴリズム特論演習 (奈良女子大学)

  • 計算理論特論 (奈良女子大学)

  • キャリアデザイン・ゼミナールB(45) (奈良女子大学)

  • 数値解析 (奈良女子大学)

  • プログラミング言語1 (奈良女子大学)

  • キャリアデザイン・ゼミナールB(28) (奈良女子大学)

  • アルゴリズムとデータ構造 (奈良女子大学)

  • 離散数学 (奈良女子大学)

  • キャリアデザイン・ゼミナールB(28) (奈良女子大学)

  • 情報処理技術1 (奈良女子大学)

  • プログラミング言語演習 (奈良女子大学)

  • プログラミング言語Ⅰ (奈良女子大学)

  • 情報処理入門Ⅰ(D) (奈良女子大学)

  • キャリアデザイン・ゼミナールA(27) (奈良女子大学)

  • アルゴリズム特論 (奈良女子大学)

  • ビジブル・サイエンス (奈良女子大学)

  • 計算理論 (奈良女子大学)

  • プログラミング演習2 (奈良女子大学)

  • プログラミング言語2 (奈良女子大学)

  • ボリュームレンダリング (奈良女子大学)

  • アルゴリズム演習 (奈良女子大学)

  • アルゴリズム (奈良女子大学)

  • 計算機システム特論 (奈良女子大学)

  • 情報科学実験1 (奈良女子大学)



Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.