鴨 浩靖
| 研究院生活環境科学系生活情報通信科学領域 | 准教授 |
Last Updated :2025/04/23
■researchmap
プロフィール情報
プロフィール
ガウスの弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子です。姓
鴨, カモ名
浩靖, ヒロヤス
学歴
担当経験のある科目（授業）
- 計算理論特論演習, 奈良女子大学
- アルゴリズム特論演習, 奈良女子大学
- 計算理論特論, 奈良女子大学
- キャリアデザイン・ゼミナールＢ（４５）, 奈良女子大学
- 数値解析, 奈良女子大学
- プログラミング言語１, 奈良女子大学
- キャリアデザイン・ゼミナールＢ（２８）, 奈良女子大学
- アルゴリズムとデータ構造, 奈良女子大学
- 離散数学, 奈良女子大学
- キャリアデザイン・ゼミナールB（２８）, 奈良女子大学
- 情報処理技術１, 奈良女子大学
- プログラミング言語演習, 奈良女子大学
- プログラミング言語Ⅰ, 奈良女子大学
- 情報処理入門Ⅰ（Ｄ）, 奈良女子大学
- キャリアデザイン・ゼミナールＡ（２７）, 奈良女子大学
- アルゴリズム特論, 奈良女子大学
- ビジブル・サイエンス, 奈良女子大学
- 計算理論, 奈良女子大学
- プログラミング演習2, 奈良女子大学
- プログラミング言語2, 奈良女子大学
- ボリュームレンダリング, 奈良女子大学
- アルゴリズム演習, 奈良女子大学
- アルゴリズム, 奈良女子大学
- 計算機システム特論, 奈良女子大学
- 情報科学実験1, 奈良女子大学
■Ⅱ．研究活動実績
論文
- 査読あり, 英語, Electronic Notes in Theoretical Computer Science, Effective Dini's theorem on effectively Compact metric spaces, Hiroyasu Kamo, 2005年02月03日, 120, 73, 82, 研究論文（国際会議プロシーディングス）, 10.1016/j.entcs.2004.06.035
- 査読あり, 英語, 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, WILEY-V C H VERLAG GMBH, Computability of self-similar sets, H Kamo; K Kawamura, 1999年, 45, 1, 23, 30, 研究論文（学術雑誌）
MISC
- 査読無し, 英語, 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
- 査読無し, 日本語, 信学技報, モジュールを入れたPrologのHerbrandモデルによる宣言的意味論, 鴨浩靖, 1991年, 91, 93
講演・口頭発表等
- 鴨浩靖, 第41回 記号論理と情報科学 研究集会（SLACS 2024）, 近藤・斎藤・竹島の線形写像法による連立代数方程式の実数解の厳密解法のSingularでの実装, 2024年08月22日, 2024年08月21日 - 2024年08月22日, 日本語
- 春山 栞; 鴨浩靖; 酒井千尋; 萩尾由貴子, 代数, 論理, 幾何と情報科学研究集会 (ALGI26), ユークリッド幾何の問題への数式処理システムの応用, 2015年08月, 日本語, 鳥取, 国内会議
- 鴨浩靖; 萩尾由貴子, SLACS 2014 (記号論理と情報科学 研究集会), 三角形に関する平面ユークリッド幾何への数式処理の応用, 2014年05月, 日本語, 記号論理と情報科学 研究集会, 東京工業大学, 国内会議
- 萩尾由貴子; 鴨浩靖; 溝口涼子, 第二十三回 ALGI（代数，論理，幾何と情報科学研究集会）, 三角形に関する平面ユークリッド幾何への数式処理の応用, 2012年09月, 日本語
- 鴨浩靖; 萩尾由貴子; 溝口涼子, SLACS 2012 (記号論理と情報科学 研究集会), 三角形に関する平面ユークリッド幾何への数式処理の応用, 2012年09月, 日本語
