研究課題
基盤研究(C)
実数空間などの連続な構造をもつ位相空間上の計算的構造について、不定元⊥(ボトム)を含む文字列集合への埋め込みなどの手法で研究を行った。計算的に自然な埋め込みが持つべき性質(定義の再帰性や冗長性のなさなど)を考え、そのような埋め込みを表す位相空間論的な概念を導入し、それがどのような位相空間において存在するかなどの問題について調べた。定数時間計算可能性を保存するコード変換、formal ballのなす空間のLawson位相と距離空間の双曲位相の関係などについても調べた。
すべて 2010 2009 2008 2007 2006
すべて 雑誌論文 (7件) (うち査読あり 6件) 学会発表 (11件)
京都大学数理解析研究所講究録 (to appear)
Schloss Dagstuhl-Leibniz Center for Informatics(Andrej Bauer, Peter Hertling, Ker-I Ko) (to appear)
Topology and its applications 157
ページ: 77-82
Journal of Universal Computer Science 15(6)
ページ: 1365-1380
Lecture Notes in Computer Science 5489
ページ: 109-125
Electric Notes in Theoretical Computer Science 221
ページ: 299-308
Theoretical Computer Science 405(1-2)
ページ: 198-205