立木秀樹 TSUIKI Hideki

研究者番号	10211377
その他のID
外部サイト
所属 (現在)	2020年度: 京都大学, 人間・環境学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2018年度: 京都大学, 人間・環境学研究科, 教授 2012年度 – 2015年度: 京都大学, 人間・環境学研究科(研究院), 教授 2013年度: 京都大学, 人間・環境学研究科, 教授 2013年度: 京都大学, 大学院人間環境学研究科, 教授 2011年度: 京都大学, 人間・環境学研究科, 教授 … もっと見る
審査区分/研究分野	研究代表者計算機科学 / 情報学基礎 / 知能情報学 / 情報学基礎理論研究代表者以外幾何学 / 理工系 / 知能情報学 / 代数学 / 数学一般(含確率論・統計数学) / 基礎解析学 / 数学一般(含確率論・統計数学) / 情報学
キーワード	研究代表者実数計算 / 位相空間論 / グレイコード / ドメイン理論 / 不定元 / ボトム入り文字列 / 総称関数 / 実数 / 計算可能性 / 計算可能性解析学 … もっと見る研究代表者以外計算可能性 / 始祖学習 / 極限同定 / 帰納論理 / 距離空間 / ドメイン / 次元 / 形式的球体 / 超空間位相 / 位相次元 / 機械学習 / 実数計算 / 閉集合 / Freudenthal quartics / ドメイン理論 / Topological dimension / Metric spaces / Transfinite dimension / Formal balls / Manifolds / Domain / 帰納推論 / メタ論理プログラミング / 帰納的学習 / 実数の表現 / 精密化 / トポロジー / 情報基礎 / 超限次元 / ボレルクラス / 双曲型位相 / ノルム空間 / ボレル集合 / 計算論的学習 / 数理論理学 / フラクタルアトラクタ / 知識発見 / 形式概念解析 / 離散構造データ / フラクタル / 分離次元 / Martin位相 / Sorgenfrey位相 / 小帰納次元 / Khalimsky 空間 / Alexandroff 空間 / Sorgenfrey型位相 / 半順序構造 / 粗いトポロジー / 位相空間 / 半順序集合 / Scott位相 / コンパクト化 / 集合値関数 / 選択関数 / 被覆次元 / 帰納的次元 / 概均質ベクトル空間 / ゼータ関数 / 明示公式 / フロイデンタール4次式 / 退化ホイッタカベクトル / ジーゲル保型形式 / テータ対応 / 新谷関数 / unsaturated概均質ベクトル空間 / Kocher-Maass級数 / Yoshida lifting / 写像類群 / 絶対ガロア群 / 概均質ベクトル空間のゼータ関数 / nonsaturated概均質ベクトル空間 / 退化Whittakerベクトル / エンドスコピー / Siegel保型形式 / 半単純リー群 / ベルンシュタイン次数 / 対称空間 / 球関数 / 旗多様体 / prehomogeneous vector space / zeta function / explicit formula / degenerate Whittaker vector / Siegel cusp form / theta correspondence / Shintani function / 計算可能性構造 / 実効性 / 区分的不連続関数 / 一様位相空間 / 極限計算可能性 / 線形作用素 / 構成的論理 / 構成的理論 / 不連続関数 / 関数空間 / グレーコード / Σ^0_1-排中律 / 型2マシン / 連続体 / 排中律 / Computability structure / Effectivity / Piecewise continuous function / Uniform space / Limit computability / Domain theory / Linear operator / Constructive logic / random Schrodinger作用素 / 確率解析 / 作用素論 / スペクトル / Anderson局在 / 確率場 / 微分方程式 / Wegner評価 / Wenger評価 / 状態密度関数 / random Shrodinger作用素 / Random Schrodinger Operators / Stochastic Analysis / Operator Theory / Spectrum / Anderson Localization / Random Field / Differential Equations / Wegner Estimates / 計算可能解析学 / 実効的連続性 / 実効的一様位相列・極限 / 実効的Fine連続関数列 / 関数列の実効的Fine収束 / 極限再帰性 / 証明アニメーション / 無限ベースのフラクタル / 無限のベースのフラクタル / 列計算可能性 / Fine位相 / コーディング / 逆数学 / アナログ計算 / Fine-空間 / Computable analysis / Effective continuity / Effective sequence of uniformities / limit / Effective sequence of Fine continuous functions / Effective Fine convergence of function sequences / Limit recursion / Proof animation / Fractals with infinite bases / Cohomological dimension / compactness degree / Dimension / Topological spaces / Continuous domain / Metric space / Locally compact / Topology / Formal ball / Cohomoloical dimension / Cohomological diemnsion / Compactness degree / 様相論理 / 時制論理 / 形式的プログラム仕様 / 実時間制御システム / 知識表現 / 分散システム / 実行可能仕様言語 / 論理プログラミング / 実時間システム / プロセス制御 / 実行可能仕様 / 形式的仕様 / 分散オペレ-ティング・システム / ハイパ-テキスト / ソフトウェアの仕様 / 人工知能 / ユーザ・インターフェース / Modal Logic / Tense Logic / Formal Program Specification / Real-time Process-control / Knowledge-representation / Distributed System / Executable Specification / Langnagl 隠す

空間の近似のなす組合せ的構造とそれに基づく計算研究代表者継続中
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2015 – 2019
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
離散値・数値混用データからの閉集合を利用した知識発見方式
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  知能情報学
- 研究機関
  京都大学
表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2010 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
計算可能性と粗いトポロジーに関する距離空間の次元様相
- 研究代表者
  
  服部泰直
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  島根大学
距離空間の計算構造と次元及び解析集合論的複雑性の研究
- 研究代表者
  
  服部泰直
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  島根大学
論理式による実数の近似表現を用いた数値データからの機械学習手法
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  知能情報学
- 研究機関
  京都大学
不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
不連続関数の計算可能性-そのパラダイムを目指して-
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
距離空間における次元、距離及び計算可能性理論に関する研究
- 研究代表者
  
  服部泰直
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  島根大学
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- 研究代表者
  
  山本章博
- 研究期間 (年度)
  2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  京都大学
実数のグレイコード表現とそれにより導かれる計算構造の研究研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
RandomなSchrodinger作用素に関連する問題の研究
- 研究代表者
  
  上木直昌
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  基礎解析学
- 研究機関
  京都大学
実数プログラミングと実関数の計算可能性研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
連続体上の計算可能性問題の多角的研究
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
概均質ベクトル空間のゼータ関数とその応用
- 研究代表者
  
  斎藤裕
- 研究期間 (年度)
  1999 – 2001
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  京都大学
コンピュータ上での無限精度実数の実現研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
Lax Trans formationを用いたPolymorphismの意味づけ研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都産業大学
マージの機構によるオブジェクト指向言語の型システムの研究研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都産業大学
ニューラルネットを用いた仮名漢字変換の研究研究代表者
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  知能情報学
- 研究機関
  京都産業大学
様相論理とその実時間制御及び人工知能への応用
- 研究代表者
  
  中島玲二
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  京都大学

[雑誌論文] Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb2017
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Proceedings, bridges 2017
  
  巻: - ページ: 147-152
- 査読あり
- データソース
  KAKENHI-PROJECT-15K00015
[雑誌論文] Logic for Gray-code computation2016
- 著者名/発表者名
  U. Berger, K. Miyamoto, H. Schwichtenberg and H. Tsuiki.
- 雑誌名
  
  D. Probst and P. Schuster (eds), Concepts of Proof in Mathematics, Philosophy, and Computer Science
  
  巻: -
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[雑誌論文] Properties of domain representations of spaces through dyadic subbases2015
- 著者名/発表者名
  Yasuyuki Tsukamoto, Hideki Tsuiki
- 雑誌名
  
  Mathematical Structures in Computer Science
  
  巻: 未定
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-22500014
[雑誌論文] Domain Representations Induced by Dyadic Subbases2014
- 著者名/発表者名
  Hideki Tsuiki and Yasuyuki Tsukamoto
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: 未定
- 査読あり
- データソース
  KAKENHI-PROJECT-22500014
[雑誌論文] Learning figures with the Hausdorff metric by fractals towards computable binary classification2013
- 著者名/発表者名
  Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A
- 雑誌名
  
  Journal of Machine Learning
  
  巻: 90 ページ: 91-126
- データソース
  KAKENHI-PROJECT-22240010
[雑誌論文] Learning figures with the Hausdorff metric by fractals;towards computable binary classification2013
- 著者名/発表者名
  Mahito Sugiyama, Hirowatari, E., Tsuiki, H., Yamamoto, A.
- 雑誌名
  
  Journal of Machine Learning
  
  巻: 90 ページ: 91-126
- DOI
  10.1007/s10994-012-5301-z
- 査読あり
- データソース
  KAKENHI-PROJECT-22240010
[雑誌論文] A Stream Calculus of Bottomed Sequences for Real Number Computation2013
- 著者名/発表者名
  Kei Terayama and Hideki Tsuiki
- 雑誌名
  
  Electr. Notes Theor. Comput. Sci.
  
  巻: 298 ページ: 383-402
- DOI
  10.1016/j.entcs.2013.09.023
- 査読あり
- データソース
  KAKENHI-PROJECT-22500014
[雑誌論文] Unimodal maps as boundary restrictions of two-dimensional full-folding maps2012
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Topology and Its Applications
  
  巻: 159 ページ: 1266-1275
- DOI
  10.1016/j.topol.2011.11.002
- 査読あり
- データソース
  KAKENHI-PROJECT-22500014
[雑誌論文] Learning Figures with the Haussdorff Metric by Fractals2011
- 著者名/発表者名
  Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
- 雑誌名
  
  Lecture Note in Artificial Intelligence
  
  巻: 6331 ページ: 315-329
- データソース
  KAKENHI-PROJECT-22240010
[雑誌論文] Random Iteration Algorithm for Graph-Directed Sets.2010
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  Schloss Dagstuhl-Leibniz Center for Informatics(Andrej Bauer, Peter Hertling, Ker-I Ko) (to appear)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Random Iteration Algorithm for Graph-Directed Sets2010
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  6th International Conference on Computability and Complexity in Analysis Proceedings 2275
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Hyperbolic topology of normed linear spaces.2010
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki
- 雑誌名
  
  Topology and its applications 157
  
  ページ: 77-82
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Hyperbolic topology of normed linear spaces2010
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki
- 雑誌名
  
  Topology and its Applications Vol.157
  
  ページ: 77-82
- 査読あり
- データソース
  KAKENHI-PROJECT-19540086
[雑誌論文] Independent Subbases of the Sierpinski Gasket2010
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  京都大学数理解析研究所講究録 (印刷中)
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Independent Subbases of the Sierpinski Gasket2010
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  京都大学数理解析研究所講究録 (to appear)
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions.2009
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  Lecture Notes in Computer Science 5489
  
  ページ: 109-125
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] On Finite-time Computability Preserving Conversions.2009
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  Journal of Universal Computer Science 15(6)
  
  ページ: 1365-1380
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] The hyperbolic topology of L_p(\Omega, \Sigma, \mu)2009
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki
- 雑誌名
  
  Topology and its applications (掲載予定確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] On Finite-time Computability Preserving Conversions2009
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  Journal of Universal Computer Science (掲載予定確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Fine-continuous functions and fractals defined by infinite systems of contractions2009
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  Proceedings of IIC2007, LNCS series (掲載予定確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions2009
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  Lecture Notes in Computer Science 5489
  
  ページ: 109-125
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008
- 著者名/発表者名
  Hideki Tsuiki, Yasunao Hattori
- 雑誌名
  
  Theoretical Computer Science vol. 405
  
  ページ: 198-205
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008
- 著者名/発表者名
  H. Tsuiki, Y. Hattori
- 雑誌名
  
  Theoretical Computer Science 405
  
  ページ: 198-205
- 査読あり
- データソース
  KAKENHI-PROJECT-19540086
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008
- 著者名/発表者名
  Hideki Tsuiki, Yasunao Hattori
- 雑誌名
  
  Theoretical Computer Science 405
  
  ページ: 198-205
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology.2008
- 著者名/発表者名
  Hideki Tsuiki, Yasunao Hattori.
- 雑誌名
  
  Theoretical Computer Science 405(1-2)
  
  ページ: 198-205
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008
- 著者名/発表者名
  Hideki Tsuiki, Yasunao Hattori
- 雑誌名
  
  Theoretical Computer Science (To appear)
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] On Finite-time Computability Preserving Conversions2008
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  Electric Notes in Theoretical Computer Science 221
  
  ページ: 299-308
- 査読あり
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008
- 著者名/発表者名
  Hideki Tsuiki, Yasunao Hattori
- 雑誌名
  
  Theoretical Comp. Sci. Vol.405
  
  ページ: 198-205
- 査読あり
- データソース
  KAKENHI-PROJECT-19540086
[雑誌論文] グレイコードとモデル推論を利用した実数値関数の学習,2006
- 著者名/発表者名
  杉山麿人, 廣渡栄寿, 立木秀樹, 山本章博
- 雑誌名
  
  人工知能学会人工知能基本問題研究会(第62回)資料 SIG-FPAI-A504
  
  ページ: 47-54
- データソース
  KAKENHI-PROJECT-16016246
[雑誌論文] Streams with a bottom in functional languages2005
- 著者名/発表者名
  Hideki Tsuiki, Keiji Sugihara
- 雑誌名
  
  Proceedings ESOP 2005 : The European Symposium on Programming LNCS 3444
  
  ページ: 201-216
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Real number computation with committed choice logic programming languages2005
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  J.Log.Algebr.Program. 64・1
  
  ページ: 61-84
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540166
[雑誌論文] Streams with a bottom in functional languages2005
- 著者名/発表者名
  Tsuiki, Hideki
- 雑誌名
  
  Lecture Notes in Computer Science 3444
  
  ページ: 201-216
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Real number computation with committed choice logic programming languages2005
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  J.Log.Algebr.Program. 64(1)
  
  ページ: 61-84
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15540166
[雑誌論文] Streams with a bottom in functional languages2005
- 著者名/発表者名
  H.Tsuiki, et al.
- 雑誌名
  
  Lecture Notes in Computer Science 3444
  
  ページ: 201-216
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Streams with a bottom in functional languages2005
- 著者名/発表者名
  Hideki Tsuiki, Keiji Sugihara
- 雑誌名
  
  Proceedings ESOP 2005 : The European Symposium on Programming, LNCS 3444
  
  ページ: 201-216
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Real Number Computation with Committed Choice Logic Programming Languages2005
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Journal of Logic and Algebraic Programming 64
  
  ページ: 61-84
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Streams with a bottom in functional languages2005
- 著者名/発表者名
  Hideki Tsuiki, Keiji Sugihara
- 雑誌名
  
  Prodeegings of ESOP 2005, LNCS 3444
  
  ページ: 201-216
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Dyadic Subbases and Representations of Topological Spaces2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  数学解析の理論的展開の計算機による支援・遂行可能性、京都大学数理解析研究所講究録 1381
  
  ページ: 90-98
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Uniform Domains and Uniform Spaces2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science 73
  
  ページ: 213-215
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Dyadic subbases and efficiency properties of the induced {0,1,⊥}ω-representations2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Topology Proc. 28
  
  ページ: 673-687
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16540066
[雑誌論文] Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Mathmatical Structures in Computer Science 14(6)
  
  ページ: 853-878
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004
- 著者名/発表者名
  Tsuiki, Hideki
- 雑誌名
  
  Mathematical Structures in Computer Science 14(6)
  
  ページ: 853-878
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Mathematical Structures in Computer Science 14(6)
  
  ページ: 853-878
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Dyadic subbases and efficiency properties of the induced (0. 1. bot) ^omega-representations2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Topology Proceedings 28(2)
  
  ページ: 673-687
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Dyadic subbases and efficiency properties of the induced (0, 1, bot) ^omega-representations2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Topology Proceedings 28(2)
  
  ページ: 673-687
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences bottomed sequences2004
- 著者名/発表者名
  H.Tsuiki, et al.
- 雑誌名
  
  Mathematical Structures in Computer Science 14(6)
  
  ページ: 853-878
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16340028
[雑誌論文] Dyadic subbases and efficiency properties of the induced (0,1,⊥)ω-representations2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Topology Proc. 28
  
  ページ: 673-687
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16540066
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Math. Structures of Computer Sci. 14
  
  ページ: 853-878
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16540066
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Mathematical Structures of Computer Sciences 14
  
  ページ: 853-878
- データソース
  KAKENHI-PROJECT-16540066
[雑誌論文] Dyadic subbases and efficiency properties of the induced {0,1,bot)^omega$-representations2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Topology Proceedings 28(2)
  
  ページ: 673-687
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Mathematical Structures in Computer Science 14(6)
  
  ページ: 853-878
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed seauences2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Mathematical Structures in Computer Science 14・6
  
  ページ: 853-878
- データソース
  KAKENHI-PROJECT-15540166
[雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004
- 著者名/発表者名
  H.Tsuiki
- 雑誌名
  
  Math.Structures of Computer Sci. 14
  
  ページ: 853-878
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16540066
[雑誌論文] A Domain Theoretic Semantics of LAX generic functions2003
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Theoretical Computer Science 294
  
  ページ: 307-331
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540166
[雑誌論文] A Domain-theoretic Semantics of Lax Generic Functions2003
- 著者名/発表者名
  Hideki Tsuiki
- 雑誌名
  
  Theoretical Computer Science 294
  
  ページ: 307-331
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology
- 著者名/発表者名
  H. Tsuiki and Y. Hattori
- 雑誌名
  
  Theoretical Computer Sciences (印刷中)
- 査読あり
- データソース
  KAKENHI-PROJECT-19540086
[雑誌論文] Streams with a bottom in functional languages
- 著者名/発表者名
  Hideki Tsuiki, Keiji Sugihara
- 雑誌名
  
  Proceedings of ESOP 2005, LNCS (To appear)
- データソース
  KAKENHI-PROJECT-15500010
[雑誌論文] On Finite-time Computability Preserving Conversions
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 雑誌名
  
  Journal of Universal Computer Science (to appear)
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] The hyperbolic topology of L_p(\Omega, \Sigma, \mu)
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki
- 雑誌名
  
  Topology and its applications (to Appear in)
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Fine-continuous functions and fractals defined by infinite systems of contractions
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 雑誌名
  
  to appear in proceedings of ILC2007
- データソース
  KAKENHI-PROJECT-18500013
[雑誌論文] Hyperbolic topology of normed linear spaces
- 著者名/発表者名
  Y. Hattori, H. Tsuiki
- 雑誌名
  
  Topology and its Applications (印刷中)
- 査読あり
- データソース
  KAKENHI-PROJECT-19540086
[学会発表] Infinite Adequacy Theorem through Coinductive Definitions2019
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Third Workshop on Mathematical Logic and its Applications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Adequacy for infinite data2018
- 著者名/発表者名
  Hideki Tsuiki and Ulrich Berger
- 学会等名
  CCC 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] T^ω-representations of compact sets through dyadic subbases2018
- 著者名/発表者名
  Hideki Tsuiki and Arno Pauly
- 学会等名
  Workshop Domains '2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Gray code and extractions of concurrent executions of partial programs2018
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Workshop: Constructive Mathematics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb2017
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Bridges 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Concurrent program extraction2017
- 著者名/発表者名
  Ulrich Berger and Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] イマジナリーキューブ・タイリングと16-cell タイリングの切断面2017
- 著者名/発表者名
  立木秀樹
- 学会等名
  Workshop「数論とエルゴード理論」
- 発表場所
  金沢大学サテライト・プラザ(石川県・金沢市)
- 年月日
  2017-02-11
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Computable dyadic subbases2017
- 著者名/発表者名
  Arno Pauly and Hideki Tsuiki
- 学会等名
  Second Workshop on Mathematical Logic and its Applications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] T^omega-representations of compact sets2016
- 著者名/発表者名
  Arno Pauly, Hideki Tsuiki
- 学会等名
  Thirteenth International Conference on Computability and Complexity in Analysis
- 発表場所
  Faro, ポルトガル
- 年月日
  2016-06-15
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] full-folding map が生成するコードの再帰性について2016
- 著者名/発表者名
  立木秀樹
- 学会等名
  数論とエルゴート理論
- 発表場所
  金沢大学サテライト・プラザ(石川県)
- 年月日
  2016-02-06
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Gray/pre-Gray code and program extraction based on pre-Gray code2016
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  BIRS Workshop 「Interval Analysis and Constructive Mathematics」
- 発表場所
  Oaxaca, メキシコ
- 年月日
  2016-11-13
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Domains with recursive structures representing a space2015
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  1st Pan Pacific International Conference on Topology and Applications (PPICTA)
- 発表場所
  Hangzhou(中国)
- 年月日
  2015-11-25
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Computing with Compact Sets - the Gray Code Case2015
- 著者名/発表者名
  Dieter Spreen, Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2015)
- 発表場所
  Kochel (ドイツ連邦共和国)
- 年月日
  2015-09-14
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Logic for Gray code computation2015
- 著者名/発表者名
  Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg and Hideki Tsuiki
- 学会等名
  CCA:Twelfth International Conference on Computability and Complexity in Analysis
- 発表場所
  明治大学 (東京)
- 年月日
  2015-06-12
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00015
[学会発表] Dyadic subbases derived from dynamical systems2014
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Correctness by Construction CORCON 2014 Workshop
- 発表場所
  Genoa, Italy
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] full-folding mapの kneading theory と 2次有理関数2013
- 著者名/発表者名
  立木秀樹
- 学会等名
  2012年度冬の力学系研究集会
- 発表場所
  軽井沢
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Admissible domain representations induced by proper dyadic subbases2013
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  International Conference on Topology and Geometry 2013
- 発表場所
  Shimane University, Matue, Japan
- 招待講演
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] ペンローズ・タイリング上でとぶグライダー2013
- 著者名/発表者名
  塚本　靖之, 宮崎　雄平, 立木　秀樹
- 学会等名
  LA Symposium 2012
- 発表場所
  京都
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] A Hausdorff space with a strongly independent dyadic subbase2013
- 著者名/発表者名
  Yasuyuki Tsukamoto and Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity; From Logic to Algorithms Workshop
- 発表場所
  Swansea University, UK
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] A Stream Calculus of Bottomed Sequences for Real Number Computation2013
- 著者名/発表者名
  Kei Terayama and Hideki Tsuiki
- 学会等名
  Mathematical Foundations of Programming Semantics Twenty-ninth Conference
- 発表場所
  Tulane University New Orleans, Louisiana, USA
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Hausdorff and adhesive spaces with independent subbases2012
- 著者名/発表者名
  立木秀樹, 塚本靖之
- 学会等名
  一般位相幾何学および幾何学的トポロジーの現状と諸問題
- 発表場所
  京都
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Multi-Head Extension of the Turing Machine for Computation over Continuous Spaces2012
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Computability in Europe 2012 Conference
- 発表場所
  Cambridge, UK
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Real Number Computation with a Calculus of Bottomed Sequences2012
- 著者名/発表者名
  Satoru Terayama, Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity -- From Logic to Algorithms, workshop
- 発表場所
  Trier, Germany
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] X-PCF---{0,1,⊥}-無限列を表現とした実数上の形式計算体系2012
- 著者名/発表者名
  寺山慧, 立木秀樹
- 学会等名
  第14回ブログラミングおよびプログラミング言語ワークショップ(PPL2012)
- 発表場所
  南紀白浜、和歌山
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Kneading Theory via Two-Dimensional Full-Folding Maps2012
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  27th SUMMER TOPOLOGY and its APPLICATIONS
- 発表場所
  Mankato, USA
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Domain Representations induced by Dyadi Subbases2012
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity -- From Logic to Algorithms, workshop
- 発表場所
  Trier, Germany
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Self-homeomorphic tiling of the disk generated by full-folding maps2011
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  京都大学数理解析研究所研究集会「自己相似タイリングの剛性定理とその周辺」
- 発表場所
  京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] A stream program that takes margin in recursive calls2011
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
- 発表場所
  Dagstuhl, Germany
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Kneading Theory via Two-Dimensional Full-Folding Maps2011
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  京都大学数理解析研究所研究集会「力学系とトポロジーのフロンティア」
- 発表場所
  京都大学理学部
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Full-flipping mapを用いて導かれるUnimodal map の adraissibility condition2011
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  京都大学数理解析研究所研究集会「一般及び幾何学的トポロジーとその応用」
- 発表場所
  京都大学数理解析研究所
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Computation over Topological Spaces via Embeddings in Streams with a Bottom2011
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  The 5th International Workshop on Data-Mining and Statistical Science and 7th Workshop on Learning with Logics and Logics for Learning
- 発表場所
  大阪大学(招待講演)
- 年月日
  2011-03-30
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] テント写像の2次元への拡張と単峰写像について2010
- 著者名/発表者名
  立木秀樹
- 学会等名
  2010 General Topologyシンポジウム
- 発表場所
  筑波大学
- 年月日
  2010-12-21
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Domain Representations Derived from Dyadic Subbases2010
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Workshop on Constructive Aspects of Logic and Mathematics
- 発表場所
  Kanazawa, Japan
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] ハウスドルフ距離を用いたフラクタルによる図形の学習2009
- 著者名/発表者名
  杉山麿人, 廣渡栄寿, 立木秀樹, 山本章博
- 学会等名
  第74回人工知能基本問題研究会
- 発表場所
  広島
- 年月日
  2009-09-14
- データソース
  KAKENHI-PROJECT-19650029
[学会発表] Finite-time Computability Preserving Conversions2009
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  5th International Symposium on Domain Theory
- 発表場所
  Shanghai, China
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Learning Figures with the Hausdorff Metric by Self-similar Sets2009
- 著者名/発表者名
  Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A.
- 学会等名
  Sixth Workshop on Learning with Logics and Logics for Learning
- 発表場所
  京都
- 年月日
  2009-07-06
- データソース
  KAKENHI-PROJECT-19650029
[学会発表] {0, 1, ⊥} ω-Codings Derived from Dynamical Systems2009
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity Workshop.
- 発表場所
  Koeln, Germany
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Finite-time Computability Preserving Conversions2009
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  5^<th> International Symposium on Domain Theory
- 発表場所
  Shanghai, Chaina
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] On Finite-time Computability Preserving Conversions.2009
- 著者名/発表者名
  立木秀樹, 山田修司
- 学会等名
  題11回日本ソフトウェア科学会プログラミング及びプログラミング言語ワークショップ(PPL2009)
- 発表場所
  高山
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Random Iteration Algorithm for Graph-Directed Sets.2009
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 学会等名
  6th International Conference on Computability and Complexity in Analysis
- 発表場所
  Ljubljana, Slovenia
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Independent Subbases of the Sierpinski Gasket2009
- 著者名/発表者名
  立木秀樹
- 学会等名
  RIMS研究集会「一般位相幾何学及び幾何学的トポロジーに関する研究」
- 発表場所
  京都
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] {0, 1, ⊥}ω-codings Derived from Dynamical Systems.2009
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity Workshop
- 発表場所
  Koeln, Germany
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Lawson topology of the space of formal balls and the hyperbolic topology of a metric space2008
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki, 服部泰直
- 学会等名
  The 23th Summer Conference on Topology and its Applications, University of National Autonomous of Mexico
- 発表場所
  Mexico City
- 年月日
  2008-07-30
- データソース
  KAKENHI-PROJECT-19540086
[学会発表] On Finite-time Computability Preserving Conversions.2008
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 発表場所
  Hagen, Germany
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] On Finite-time Computability Preserving Conversions2008
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 学会等名
  5th International conference on Computability and Complexity in Analysis
- 発表場所
  Hagen, Germany
- 年月日
  2008-08-23
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Lawson topology of the space of formal balls and the hyperbolic topology of a metric space2008
- 著者名/発表者名
  Y. Hattori, H. Tsuiki (presented by Y. Hattori)
- 学会等名
  The 23th Summer Conference on Topology and its Applications
- 発表場所
  メキシコ国立自治大学、メキシコシティー
- 年月日
  2008-07-30
- データソース
  KAKENHI-PROJECT-19540086
[学会発表] The hyperbolic topology of normed linear spaces, International Conferences in Topology and its Applications 2007 at Kyoto2007
- 著者名/発表者名
  Yasunao Hattori, Hideki Tsuiki, 服部泰直
- 学会等名
  Jointly with 4th Japan- Mexico Topology Conference
- 発表場所
  京都大学
- 年月日
  2007-12-05
- データソース
  KAKENHI-PROJECT-19540086
[学会発表] On Finite-time Computable Functions2007
- 著者名/発表者名
  Hideki Tsuiki, Shuji Yamada
- 学会等名
  International Conference on Infinity in Logic & Computation
- 発表場所
  Cape Town, South Africa University of Cape Town
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Fractals Defined by Infinite Contractions and Mutual-Recursive Sets2007
- 著者名/発表者名
  Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
- 発表場所
  Cape Town, South Africa University of Cape Town
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Lawson Topology of the space of formal balls and the hyperbolic subbase2006
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  International Conference on Topology and its Applications
- 発表場所
  Aegion, Greece
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Lawson topology of the space of formal balls and the hyperbolic subbase2006
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  International Conference on Topology and its application
- 発表場所
  Aegion, Greece
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Lawson Topology of the space of formal balls and the hyperbolic subbase2006
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Dagstuhl Seminar 06341, Computational Structures for Modelling Space
- 発表場所
  Time and Causality Dagstuhl, Germany
- データソース
  KAKENHI-PROJECT-18500013
[学会発表] Strong properness of dyadic subbases
- 著者名/発表者名
  Yasuyuki Tsukamoto and Hideki Tsuiki
- 学会等名
  Domains XI International workshop on domain theory and applications
- 発表場所
  Paris (フランス)
- 年月日
  2014-09-08 – 2014-09-10
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Domain representations of spaces derived from dyadic subbases (Tutorial)
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Constructivism and Computability
- 発表場所
  しいのき迎賓館（金沢市）
- 年月日
  2015-03-02 – 2015-03-06
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Bottomed stream representations derived from dynamical systems
- 著者名/発表者名
  Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity -From Logic to Algorithms
- 発表場所
  Ljubljana (スロベニア)
- 年月日
  2014-09-15 – 2014-09-19
- 招待講演
- データソース
  KAKENHI-PROJECT-22500014
[学会発表] Strong properness of dyadic subbases
- 著者名/発表者名
  Yasuyuki Tsukamoto and Hideki Tsuiki
- 学会等名
  Eleventh International Conference on Computability and Complexity in Analysis
- 発表場所
  Darmstadt (ドイツ)
- 年月日
  2014-06-21 – 2014-06-24
- データソース
  KAKENHI-PROJECT-22500014

1. 山本章博 (30230535)

共同の研究課題数: 4件

共同の研究成果数: 6件
2. 服部泰直 (20144553)

共同の研究課題数: 4件

共同の研究成果数: 8件
3. 林晋 (40156443)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 廣渡栄寿 (60274429)

共同の研究課題数: 3件

共同の研究成果数: 6件
5. 横井勝弥 (90240184)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 木村真琴 (30186332)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 森隆一 (00065880)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 辻井芳樹 (90065871)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 山田修司 (30192404)

共同の研究課題数: 3件

共同の研究成果数: 1件
10. 櫻川貴司 (60196136)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 前田定廣 (40181581)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 山内貴光 (00403444)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 八杉満利子 (90022277)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 大田春外

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 野倉嗣紀 (00036419)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 古用哲夫 (40039128)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 平田耕一 (20274558)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 徳永浩雄 (30211395)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 吉仲亮 (80466424)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 杉山麿人 (10733876)

共同の研究課題数: 1件

共同の研究成果数: 3件
21. 松橋英市 (60558518)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 斎藤裕 (20025464)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 松木敏彦 (20157283)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 西山享 (70183085)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 加藤信一 (90114438)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 松本眞 (70231602)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 山内正敏 (30022651)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 吉川敦 (80001866)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 上木直昌 (80211069)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 森本芳則 (30115646)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 西和田公正 (60093291)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 小谷眞一 (10025463)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 河野敬雄 (90028134)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 小山晃 (40116158)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 中島玲二 (60109080)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 萩谷昌己 (30156252)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 中戸川孝治 (20237316)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 鷲原雅子 (40065800)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 小田秀典 (40224240)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 日置尋久 (70293842)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 山崎武 (30336812)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 池田真土里

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 大滝啓介

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 服部隆志

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 八杉真理子

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 竹内泉

共同の研究課題数: 1件

共同の研究成果数: 0件
47. 塚本靖之

共同の研究課題数: 1件

共同の研究成果数: 2件
48. 寺山慧

共同の研究課題数: 1件

共同の研究成果数: 1件
49. CHATYRKO Vitalij

共同の研究課題数: 1件

共同の研究成果数: 0件

立木 秀樹 TSUIKI Hideki

研究課題

研究成果

共同研究者

空間の近似のなす組合せ的構造とそれに基づく計算研究代表者継続中

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

実数のグレイコード表現とそれにより導かれる計算構造の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

実数プログラミングと実関数の計算可能性研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

立木秀樹 TSUIKI Hideki