• 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) 2025: 京都大学, 人間・環境学研究科, 教授
Affiliation (based on the past Project Information) *help 2016 – 2024: 京都大学, 人間・環境学研究科, 教授
2012 – 2015: 京都大学, 人間・環境学研究科(研究院), 教授
2013: 京都大学, 人間・環境学研究科, 教授
2013: 京都大学, 大学院人間環境学研究科, 教授
2011: 京都大学, 人間・環境学研究科, 教授 … More
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 / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Basic Section 60010:Theory of informatics-related / Theory of informatics / Intelligent informatics
Except Principal Investigator
Geometry / Intelligent informatics / Science and Engineering … More / Basic Section 60010:Theory of informatics-related / Informatics / General mathematics (including Probability theory/Statistical mathematics) / Basic analysis / General mathematics (including Probability theory/Statistical mathematics) / Algebra Less
Keywords
Principal Investigator
実数計算 / グレイコード / 位相空間論 / ボトム入り文字列 / 不定元 / ドメイン理論 / 計算可能解析学 / プログラム抽出 / bottom / フラクタル … More / full-folding map / 計算可能性解析学 / Gray code / 計算可能性 / 実数 / 総称関数 / 計算複雑さ / 厳密実数計算 / 余代数 / タイリング / コンパクト集合の表現 / 表現空間 / T^omega / コンパクト集合 / Lattice Puzzle / Adequacy / Fixed Point Logic / totality / nondeterminism / Program Extraction / Coq / シェルピンスキー四面体 / Amb / CFP / IFP / 余帰納法 / 実現可能性解釈 / 並列計算 / 非決定性 / domain theory / subbase / Real number computation / Topology / Gray-code / 表現 / 並列論理型言語 / 位相空間 / グレイ・コード / ストリーム / サブベース / ボトム / 論理型言語 / 関数型言語 / 部分基 / admissibility condition / real number computation / dynamical system / unimodal map / full-flipping map / PCF / Kneading Theory / プログラミング言語理論 / 力学系 / 計算構造 / 位相構造 / 解析学における計算可能性 / ボトム入り文字列表現 / 距離空間 / 有限時間計算可能性 / 独立部分基 / グレイコ-ド / independent subbase / Lawson位相 / 双曲位相 / 次元 / 実数プログラミング / 次元論 / Exact Real Number / GHC / ポリモルフィズム / 多相 / パラメトリシティ / オブジェクト指向 / モデル / 正規化性 / マージ / パーセプトロン / 仮名漢字変換 / ニューラル・ネットワーク … More
Except Principal Investigator
計算可能性 / 実数計算 / Domain / Manifolds / Formal balls / Transfinite dimension / Metric spaces / Topological dimension / 微分方程式 / ドメイン理論 / Freudenthal quartics / フラクタル / 閉集合 / 機械学習 / 位相次元 / 超空間位相 / 形式的球体 / 次元 / ドメイン / 距離空間 / 帰納論理 / 極限同定 / 始祖学習 / 数値計算 / 複雑度 / 厳密数値計算 / 平均計算量 / コルモゴロフ量 / 情報量規準 / ランダム性 / 計算複雑度 / 精度保証 / 厳密計算 / 複素解析 / プログラム理論 / 形式証明 / 到達可能性 / ホロノミック列 / 連分数 / 実数表現 / プログラム抽出 / パラメタ計算量 / 線形時間 / 計算量 / 計算可能解析 / Langnagl / Executable Specification / Distributed System / Knowledge-representation / Real-time Process-control / Formal Program Specification / Tense Logic / Modal Logic / ユーザ・インターフェース / 人工知能 / ソフトウェアの仕様 / ハイパ-テキスト / 分散オペレ-ティング・システム / 形式的仕様 / 実行可能仕様 / プロセス制御 / 実時間システム / 論理プログラミング / 実行可能仕様言語 / 分散システム / 知識表現 / 実時間制御システム / 形式的プログラム仕様 / 時制論理 / 様相論理 / Compactness degree / Cohomological diemnsion / Cohomoloical dimension / Formal ball / Topology / Locally compact / Metric space / Continuous domain / Topological spaces / Dimension / compactness degree / Cohomological dimension / Fractals with infinite bases / Proof animation / Limit recursion / Effective Fine convergence of function sequences / Effective sequence of Fine continuous functions / limit / Effective sequence of uniformities / Effective continuity / Computable analysis / Fine-空間 / アナログ計算 / 逆数学 / コーディング / Fine位相 / 列計算可能性 / 無限のベースのフラクタル / 無限ベースのフラクタル / 証明アニメーション / 極限再帰性 / 関数列の実効的Fine収束 / 実効的Fine連続関数列 / 実効的一様位相列・極限 / 実効的連続性 / 計算可能解析学 / Wegner Estimates / Differential Equations / Random Field / Anderson Localization / Spectrum / Operator Theory / Stochastic Analysis / Random Schrodinger Operators / random Shrodinger作用素 / 状態密度関数 / Wenger評価 / Wegner評価 / 確率場 / Anderson局在 / スペクトル / 作用素論 / 確率解析 / random Schrodinger作用素 / Constructive logic / Linear operator / Domain theory / Limit computability / Uniform space / Piecewise continuous function / Effectivity / Computability structure / 排中律 / 連続体 / 型2マシン / Σ^0_1-排中律 / グレーコード / 関数空間 / 不連続関数 / 構成的理論 / 構成的論理 / 線形作用素 / 極限計算可能性 / 一様位相空間 / 区分的不連続関数 / 実効性 / 計算可能性構造 / Shintani function / theta correspondence / Siegel cusp form / degenerate Whittaker vector / explicit formula / zeta function / prehomogeneous vector space / 旗多様体 / 球関数 / 対称空間 / ベルンシュタイン次数 / 半単純リー群 / Siegel保型形式 / エンドスコピー / 退化Whittakerベクトル / nonsaturated概均質ベクトル空間 / 概均質ベクトル空間のゼータ関数 / 絶対ガロア群 / 写像類群 / Yoshida lifting / Kocher-Maass級数 / unsaturated概均質ベクトル空間 / 新谷関数 / テータ対応 / ジーゲル保型形式 / 退化ホイッタカベクトル / フロイデンタール4次式 / 明示公式 / ゼータ関数 / 概均質ベクトル空間 / 帰納的次元 / 被覆次元 / 選択関数 / 集合値関数 / コンパクト化 / Scott位相 / 半順序集合 / 位相空間 / 粗いトポロジー / 半順序構造 / Sorgenfrey型位相 / Alexandroff 空間 / Khalimsky 空間 / 小帰納次元 / Sorgenfrey位相 / Martin位相 / 分離次元 / 離散構造データ / 形式概念解析 / 知識発見 / フラクタルアトラクタ / 数理論理学 / 計算論的学習 / ボレル集合 / ノルム空間 / 双曲型位相 / ボレルクラス / 超限次元 / 情報基礎 / トポロジー / 精密化 / 実数の表現 / 帰納的学習 / メタ論理プログラミング / 帰納推論 Less
  • Research Projects

    (23 results)
  • Research Products

    (139 results)
  • Co-Researchers

    (52 People)
  •  連続な空間上の計算とその複雑さの研究Principal Investigator

    • Principal Investigator
      立木 秀樹
    • Project Period (FY)
      2023 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60010:Theory of informatics-related
      Basic Section 60020:Mathematical informatics-related
      Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
    • Research Institution
      Kyoto University
  •  Computational complexity of continuous systems

    • Principal Investigator
      Kawamura Akitoshi
    • 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
  •  Combinatorial and computational structures of approximations of spacesPrincipal Investigator

    • Principal Investigator
      Tsuiki Hideki
    • Project Period (FY)
      2015 – 2022
    • 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 2023 2022 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] Concurrent Gaussian Elimination2023

    • Author(s)
      Berger Ulrich、Seisenberger Monika、Spreen Dieter、Tsuiki Hideki
    • Journal Title

      M. Benini, O. Beyersdorff, M. Rathjen, P. Schuster (eds), Mathematics for Computation

      Volume: - Pages: 223-250

    • DOI

      10.1142/9789811245220_0009

    • ISBN
      9789811245213, 9789811245220
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Journal Article] Extracting total Amb programs from proofs2022

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

      Programming Languages and Systems (Proc. ESOP 2022, LNCS 13240)

      Volume: - Pages: 85-113

    • DOI

      10.1007/978-3-030-99336-8_4

    • ISBN
      9783030993351, 9783030993368
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Journal Article] Intuitionistic fixed point logic2021

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

      Annals of Pure and Applied Logic

      Volume: 172 Issue: 3 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 Issue: 1 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 Issue: 4 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] Extracting total Amb programs from proofs2022

    • Author(s)
      Ulrich Berger, Hideki Tsuiki
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Induction / coinduction and projections of fractals2022

    • Author(s)
      Hideki Tsuiki
    • Organizer
      Proof and Computation 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Induction and coindution for computing exact overlaps of fractals2022

    • Author(s)
      H. Tsuiki
    • Organizer
      Continuity, Computability, Constructivity (CCC)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03203
  • [Presentation] Induction / coinduction and projections of fractals2022

    • Author(s)
      H. Tsuiki
    • Organizer
      Proof and Computation
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03203
  • [Presentation] Extracting total Amb programs from proofs2022

    • Author(s)
      Ulrich Berger, Hideki Tsuiki
    • Organizer
      31st European Symposium on Programming
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Some steps toward program extraction in a type-theoretical interpretation of IFP2022

    • Author(s)
      Ulrich Berger, Sewon Park, Holger Thies and Hideki Tsuiki
    • Organizer
      CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Induction and coindution for computing exact overlaps of fractals2022

    • Author(s)
      Hideki Tsuiki
    • Organizer
      CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] Some steps toward program extraction in a type-theoretical interpretation of IFP2022

    • Author(s)
      U. Berger, S. Park, H. Thies and H. Tsuiki
    • Organizer
      Continuity, Computability, Constructivity (CCC)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03203
  • [Presentation] IFP style proofs in the Coq proof assistant2021

    • Author(s)
      Sewon Park, Holger Thies and Hideki Tsuiki
    • Organizer
      CCC 2021 Continuity, Computability, Constructivity From Logic to Algorithms
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [Presentation] シェルピンスキー四面体および関連したフラクタル の 2 次元射影について2021

    • Author(s)
      立木 秀樹
    • Organizer
      RIMS Symposium Recent Developments in Dynamical Systems and their Application
    • Data Source
      KAKENHI-PROJECT-15K00015
  • [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.  Kawamura Akitoshi (20600117)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  大田 春外
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  NOGURA Tsugunori (00036419)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  FURUMOCHI Tetsuo (40039128)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  HIRATA Kouich (20274558)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  TOKUNAGA Hiroo (30211395)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  YOSHINAKA Ryo (80466424)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  SUGIYAMA Mahito (10733876)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 22.  MATSUHASHI Eiichi (60558518)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  SAITO Hiroshi (20025464)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  MATSUKII Toshihiko (20157283)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  NISHIYAMA Kyo (70183085)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  KATO Shinichi (90114438)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  MATSUMOTO Makoto (70231602)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  YAMAUCHI Masatoshi (30022651)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  YOSHIKAWA Aisushi (80001866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  UEKI Naomasa (80211069)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  MORIMOTO Yoshinori (30115646)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  NISHIWADA Kimimasa (60093291)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  KOTANI Shin-ichi (10025463)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  KONO Norio (90028134)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  KOYAMA Akira (40116158)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  NAKAJIMA Reiji (60109080)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  HAGINO Masaya (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  中戸川 孝治 (20237316)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  鷲原 雅子 (40065800)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  小田 秀典 (40224240)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  日置 尋久 (70293842)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  山崎 武 (30336812)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  THIES HOLGER (50839107)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  木原 貴行 (80722701)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  IKEDA Madori
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  OTAKI Keisuke
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  HATTORI Takashi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  八杉 真理子
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  竹内 泉
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  塚本 靖之
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 51.  寺山 慧
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 52.  CHATYRKO Vitalij
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi