• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TSUIKI Hideki  立木 秀樹

ORCIDConnect your ORCID iD *help
… Alternative Names

立木 秀樹  ツイキ ヒデキ

Less
Researcher Number 10211377
Other IDs
External Links
Affiliation (Current) 2022: 京都大学, 人間・環境学研究科, 教授
Affiliation (based on the past Project Information) *help 2022: 京都大学, 人間・環境学研究科, 教授
2016 – 2020: 京都大学, 人間・環境学研究科, 教授
2012 – 2015: 京都大学, 人間・環境学研究科(研究院), 教授
2013: 京都大学, 人間・環境学研究科, 教授
2013: 京都大学, 大学院人間環境学研究科, 教授 … More
2011: 京都大学, 人間・環境学研究科, 教授
2011: 京都大学, 人間・環境研究科, 准教授
2010: 京都大学, 人間・環境学研究科(研究院), 准教授
2007 – 2010: 京都大学, 人間・環境学研究科, 准教授
2009: 京都大学, 大学院・人間・環境学研究科, 准教授
2007: Kyoto University, 大学院・人間・環境学研究科, 准教授
2005 – 2006: Kyoto University, Graduate School of Human and Environmental Studies, associate professor, 大学院人間・環境学研究科, 助教授
2005: Kyoto University, Graduate School of Human and Environmental Studies, Associate Professor, 人間・環境学研究科, 助教授
2003 – 2005: 京都大学, 人間環境学研究科, 助教授
2003 – 2005: 京都大学, 大学院・人間・環境学研究科, 助教授
1998 – 2002: 京都大学, 総合人間学部, 助教授
1994 – 1996: 京都産業大学, 理学部, 講師
1989: 京都大学, 数理解析研究所, 助手 Less
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 / Basic Section 60010:Theory of informatics-related
Keywords
Principal Investigator
実数計算 / 位相空間論 / グレイコード / ドメイン理論 / 不定元 / ボトム入り文字列 / 総称関数 / 実数 / 計算可能性 / Gray code … More / 計算可能性解析学 / full-folding map / フラクタル / bottom / ニューラル・ネットワーク / 仮名漢字変換 / パーセプトロン / マージ / 正規化性 / モデル / オブジェクト指向 / パラメトリシティ / 多相 / ポリモルフィズム / GHC / Exact Real Number / 次元論 / 実数プログラミング / 次元 / 双曲位相 / Lawson位相 / independent subbase / グレイコ-ド / 独立部分基 / 有限時間計算可能性 / 距離空間 / ボトム入り文字列表現 / 解析学における計算可能性 / 位相構造 / 計算構造 / 力学系 / プログラミング言語理論 / Kneading Theory / PCF / full-flipping map / unimodal map / dynamical system / real number computation / admissibility condition / 部分基 / 関数型言語 / 論理型言語 / ボトム / サブベース / ストリーム / グレイ・コード / 位相空間 / 並列論理型言語 / 表現 / Gray-code / Topology / Real number computation / subbase / domain theory / Amb / Program Extraction / IFP / nondeterminism / totality / Fixed Point Logic / Adequacy / Lattice Puzzle / コンパクト集合 / T^omega / 計算可能解析学 / プログラム抽出 / 並列計算 / 表現空間 / コンパクト集合の表現 / タイリング / 余代数 … 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
  • Research Projects

    (22 results)
  • Research Products

    (127 results)
  • Co-Researchers

    (50 People)
  •  Computational complexity of continuous systems

    • Principal Investigator
      河村 彰星
    • Project Period (FY)
      2018 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      Kyoto University
      Kyushu University
  •  空間の近似のなす組合せ的構造とそれに基づく計算Principal Investigator

    • Principal Investigator
      立木 秀樹
    • Project Period (FY)
      2015 – 2021
    • 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

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation

  • [Journal Article] Intuitionistic fixed point logic2021

    • Author(s)
      Berger Ulrich、Tsuiki Hideki
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 172 Pages: 1-56

    • DOI

      10.1016/j.apal.2020.102903

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Journal Article] Prawf: An interactive proof system for program extraction2020

    • Author(s)
      Ulrich Berger, Olga Petrovska and Hideki Tsuiki
    • Journal Title

      proceedings of CIE 2020, Lecture Notes in Computer Science

      Volume: -

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Journal Article] On the Complexity of Lattice Puzzles.2019

    • Author(s)
      Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara
    • Journal Title

      Proceedings of 30th International Symposium on Algorithms and Computation, {ISAAC}

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [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)
      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] 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] 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] Independent Subbases of the Sierpinski Gasket2010

    • Author(s)
      Hideki Tsuiki, Shuji Yamada
    • Journal Title

      京都大学数理解析研究所講究録 (to appear)

    • 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] 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

      京都大学数理解析研究所講究録 (印刷中)

    • 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 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] 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] 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] 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] 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] 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)
      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 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 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 (To appear)

    • 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] 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] グレイコードとモデル推論を利用した実数値関数の学習,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

      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)
      Hideki Tsuiki, Keiji Sugihara
    • Journal Title

      Prodeegings of ESOP 2005, LNCS 3444

      Pages: 201-216

    • Data Source
      KAKENHI-PROJECT-15500010
  • [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] 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] 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)
      Tsuiki, Hideki
    • Journal Title

      Lecture Notes in Computer Science 3444

      Pages: 201-216

    • Data Source
      KAKENHI-PROJECT-16340028
  • [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)
      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 seauences2004

    • Author(s)
      H.Tsuiki
    • Journal Title

      Mathematical Structures in Computer Science 14・6

      Pages: 853-878

    • Data Source
      KAKENHI-PROJECT-15540166
  • [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. bot) ^omega-representations2004

    • Author(s)
      Hideki Tsuiki
    • Journal Title

      Topology Proceedings 28(2)

      Pages: 673-687

    • 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] 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 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] 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)
      Hideki Tsuiki
    • Journal Title

      Mathematical Structures in Computer Science 14(6)

      Pages: 853-878

    • 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,⊥}ω-representations2004

    • Author(s)
      H.Tsuiki
    • Journal Title

      Topology Proc. 28

      Pages: 673-687

    • 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

      Math.Structures of Computer Sci. 14

      Pages: 853-878

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540066
  • [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, 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 sequences2004

    • Author(s)
      H.Tsuiki
    • Journal Title

      Mathematical Structures of Computer Sciences 14

      Pages: 853-878

    • Data Source
      KAKENHI-PROJECT-16540066
  • [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] 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
  • [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] 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] 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] 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
  • [Presentation] Intuitionistic Fixed Point Logic2021

    • Author(s)
      立木 秀樹, ウーリッヒ ベルガー
    • Organizer
      PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Prawf: An Interactive Proof System for Program Extraction2020

    • Author(s)
      Ulrich Berger, Olga Petrovska, Hideki Tsuiki
    • Organizer
      Conference on Computability in Europe (CiE 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Combining partial maps into a correct total map through program extraction2020

    • Author(s)
      Hideki Tsuiki
    • Organizer
      CCC 2020: Continuity, Computability, Constructivity --- From Logic to Algorithms
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] On the Complexity of Lattice Puzzles2019

    • Author(s)
      Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara
    • Organizer
      ISAAC 2019
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [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] Partial program extractions in IFP2019

    • Author(s)
      Hideki Tsuiki
    • Organizer
      Mathematical Logic and Constructivity: The Scope and Limits of Neutral Constructivism
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] IFPと、その並列プログラム抽出への拡張2019

    • Author(s)
      立木 秀樹
    • Organizer
      The 15th Theorem Proving and Provers meeting (TPP 2019)
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] 非構成的対象を扱った証明からのプログラム抽出2019

    • Author(s)
      立木秀樹
    • Organizer
      代数・論理・幾何と情報科学――理論から実世界への展開
    • 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] 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] 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] 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] イマジナリーキューブ・タイリングと16-cell タイリングの切断面2017

    • Author(s)
      立木 秀樹
    • Organizer
      Workshop「数論とエルゴード理論」
    • Place of Presentation
      金沢大学サテライト・プラザ(石川県・金沢市)
    • Year and Date
      2017-02-11
    • 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] 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] full-folding map が生成するコードの再帰性について2016

    • Author(s)
      立木 秀樹
    • Organizer
      数論とエルゴート理論
    • Place of Presentation
      金沢大学サテライト・プラザ(石川県)
    • Year and Date
      2016-02-06
    • 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] 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] 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] 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] 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] 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] 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] ペンローズ・タイリング上でとぶグライダー2013

    • Author(s)
      塚本 靖之, 宮崎 雄平, 立木 秀樹
    • Organizer
      LA Symposium 2012
    • Place of Presentation
      京都
    • 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] full-folding mapの kneading theory と 2次有理関数2013

    • Author(s)
      立木 秀樹
    • Organizer
      2012年度冬の力学系研究集会
    • Place of Presentation
      軽井沢
    • 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] 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] 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] 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] 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] X-PCF---{0,1,⊥}-無限列を表現とした実数上の形式計算体系2012

    • Author(s)
      寺山慧, 立木秀樹
    • Organizer
      第14回ブログラミングおよびプログラミング言語ワークショップ(PPL2012)
    • 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] Kneading Theory via Two-Dimensional Full-Folding Maps2011

    • 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] 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] Full-flipping mapを用いて導かれるUnimodal map の adraissibility condition2011

    • 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] {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] {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] 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] On Finite-time Computability Preserving Conversions.2009

    • Author(s)
      立木秀樹, 山田修司
    • Organizer
      題11回日本ソフトウェア科学会プログラミング及びプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山
    • Data Source
      KAKENHI-PROJECT-18500013
  • [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] 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] 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] On Finite-time Computability Preserving Conversions.2008

    • Author(s)
      Hideki Tsuiki, Shuji Yamada
    • Place of Presentation
      Hagen, Germany
    • Data Source
      KAKENHI-PROJECT-18500013
  • [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 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] 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] 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] 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] 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.  河村 彰星 (20600117)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  IKEDA Madori
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  OTAKI Keisuke
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  HATTORI Takashi
    # 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: 0 results
  • 48.  塚本 靖之
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 49.  寺山 慧
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 50.  CHATYRKO Vitalij
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi