TSUIKI Hideki 立木秀樹

… Alternative Names

Researcher Number	10211377
Other IDs
External Links
Affiliation (Current)	2020: 京都大学, 人間・環境学研究科, 教授
Affiliation (based on the past Project Information) *help	2016 – 2018: 京都大学, 人間・環境学研究科, 教授 2012 – 2015: 京都大学, 人間・環境学研究科(研究院), 教授 2013: 京都大学, 人間・環境学研究科, 教授 2013: 京都大学, 大学院人間環境学研究科, 教授 2011: 京都大学, 人間・環境学研究科, 教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Fundamental theory of informatics / Intelligent informatics / Theory of informatics Except Principal Investigator Geometry / Science and Engineering / Intelligent informatics / Algebra / General mathematics (including Probability theory/Statistical mathematics) / Basic analysis / General mathematics (including Probability theory/Statistical mathematics) / Informatics
Keywords	Principal Investigator 実数計算 / 位相空間論 / グレイコード / ドメイン理論 / 不定元 / ボトム入り文字列 / 総称関数 / 実数 / 計算可能性 / 計算可能性解析学 … More Except Principal Investigator 計算可能性 / 始祖学習 / 極限同定 / 帰納論理 / 距離空間 / ドメイン / 次元 / 形式的球体 / 超空間位相 / 位相次元 / 機械学習 / 実数計算 / 閉集合 / 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 Less

空間の近似のなす組合せ的構造とそれに基づく計算Principal InvestigatorOngoing
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
Data Mining Methods Based on Closed Sets for Data Which Are Combination of Discrete and Continuous Attributes
- Principal Investigator
  
  YAMAMOTO Akihiro
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto University
Studies on representation-based computational structures of spaces and figures, and on related structures like fractalsPrincipal Investigator
- Principal Investigator
  
  TSUIKI Hideki
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
Computability, corse topology and the dimensions of metric spaces
- Principal Investigator
  
  HATTORI Yasunao
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Shimane University
On the structure of computability on metric spaces, dimension and the complexities of descriptive set theory
- Principal Investigator
  
  HATTORI Yasunao
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Shimane University
論理式による実数の近似表現を用いた数値データからの機械学習手法
- Principal Investigator
  
  山本章博
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto University
Research on computable structures of continuous spaces like the real number through representation in bottomed sequencesPrincipal Investigator
- Principal Investigator
  
  TSUIKI Hideki
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
- Principal Investigator
  
  山本章博
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Computability of discontinuous functions-Towards its paradigm
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Dimension, metrics and computability in metric spaces
- Principal Investigator
  
  HATTORI Yasunao
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Shimane University
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- Principal Investigator
  
  YAMAMOTO Akihiro
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Gray-code representation of real number and the induced computability structurePrincipal Investigator
- Principal Investigator
  
  TSUIKI Hideki
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
Research on Problems Related to Random Schrodinger Operators
- Principal Investigator
  
  UEKI Naomasa
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Basic analysis
- Research Institution
  Kyoto University
実数プログラミングと実関数の計算可能性Principal Investigator
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Multilateral Researches on Computability Problems on the Continuum
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
On zeta functions of prehomogeneous vector spaces
- Principal Investigator
  
  SAITO Hiroshi
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  KYOTO UNIVERSITY
コンピュータ上での無限精度実数の実現Principal Investigator
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Lax Trans formationを用いたPolymorphismの意味づけPrincipal Investigator
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto Sangyo University
マージの機構によるオブジェクト指向言語の型システムの研究Principal Investigator
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto Sangyo University
ニューラルネットを用いた仮名漢字変換の研究Principal Investigator
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto Sangyo University
Modal Logic and its Applications to Real-Time Systems and A. I.
- Principal Investigator
  
  NAKAJIMA Reiji
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Kyoto University

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

1. YAMAMOTO Akihiro (30230535)

# of Collaborated Projects: 4 results

# of Collaborated Products: 6 results
2. HATTORI Yasunao (20144553)

# of Collaborated Projects: 4 results

# of Collaborated Products: 8 results
3. HAYASHI Susumu (40156443)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. HIROWATARI Eiju (60274429)

# of Collaborated Projects: 3 results

# of Collaborated Products: 6 results
5. YOKOI Katsuya (90240184)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. KIMURA Makoto (30186332)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. MORI Takakazu (00065880)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. TSUJII Yoshiki (90065871)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. YAMADA Shuji (30192404)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
10. SAKURAGAWA Takashi (60196136)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. MAEDA Sadahiro (40181581)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. YAMAUCHI Takamitsu (00403444)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. YASUGI Mariko (90022277)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 大田春外

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. NOGURA Tsugunori (00036419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. FURUMOCHI Tetsuo (40039128)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. HIRATA Kouich (20274558)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. TOKUNAGA Hiroo (30211395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. YOSHINAKA Ryo (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. SUGIYAMA Mahito (10733876)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
21. MATSUHASHI Eiichi (60558518)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. SAITO Hiroshi (20025464)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. MATSUKII Toshihiko (20157283)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. NISHIYAMA Kyo (70183085)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KATO Shinichi (90114438)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. MATSUMOTO Makoto (70231602)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. YAMAUCHI Masatoshi (30022651)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. YOSHIKAWA Aisushi (80001866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. UEKI Naomasa (80211069)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. MORIMOTO Yoshinori (30115646)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. NISHIWADA Kimimasa (60093291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. KOTANI Shin-ichi (10025463)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. KONO Norio (90028134)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. KOYAMA Akira (40116158)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. NAKAJIMA Reiji (60109080)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. HAGINO Masaya (30156252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 中戸川孝治 (20237316)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 鷲原雅子 (40065800)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 小田秀典 (40224240)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 日置尋久 (70293842)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 山崎武 (30336812)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. IKEDA Madori

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. OTAKI Keisuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. HATTORI Takashi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 八杉真理子

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. 竹内泉

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. 塚本靖之

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
48. 寺山慧

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
49. CHATYRKO Vitalij

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TSUIKI Hideki 立木 秀樹

立木 秀樹 ツイキ ヒデキ

Research Projects

Research Products

Co-Researchers

空間の近似のなす組合せ的構造とそれに基づく計算Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on representation-based computational structures of spaces and figures, and on related structures like fractalsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on computable structures of continuous spaces like the real number through representation in bottomed sequencesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Gray-code representation of real number and the induced computability structurePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

実数プログラミングと実関数の計算可能性Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

TSUIKI Hideki 立木秀樹

立木秀樹ツイキヒデキ