研究課題
1. 実際の数学でよく表れる距離空間において、距離位相と双曲位相が一致するかどうかしらべた。特に、測度空間Lpにおいては、双曲位相と距離空間が一致するための必要十分な条件を与えることができた。それの特別な場合として、無限列のなす空間では、11においては両者一致するが、p2および1については一致しないことを示した。2. グレイコード、および、グレイコード変換を拡張して有限時間計算可能関数、および、有限時間計算可能性を保存するコード変換の概念を導入し、全域的に定義された有限時間計算可能性を保存するコード変換は、拡張されたスライディングブロック関数と同値であることを示した。有限時間計算可能性を保存するコード変換は、接尾辞一致性も保存する。しかし、前者よりも後者の方が、より一般的な概念であることを示した。3. 計算可能な不連続関数であり、ファイン一様連続ではない関数の代表例であるVascoの関数のグラフがなすフラクタル構造について調べた。特に、それは、無限個の縮小写像からなるフラクタルとして表現できることを示し、そのようなフラクタルのハウスドルフ次元および測度について調べた。4. 独立部分基は、ボトム入り文字列によっる効率よい表現に対応する位相概念である。どのような距離空間が独立部分基を持つか調べ、独立部分基をもつこととdense in itselfであることが同値であることを示した。
すべて 2009 2008
すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (1件)
Topology and its applications (掲載予定確定)
Journal of Universal Computer Science (掲載予定確定)
Proceedings of IIC2007, LNCS series (掲載予定確定)
Theoretical Computer Science 405
ページ: 198-205
