• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

立木 秀樹  TSUIKI Hideki

ORCIDORCID連携する *注記
研究者番号 10211377
その他のID
外部サイト
所属 (現在) 2020年度: 京都大学, 人間・環境学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2018年度: 京都大学, 人間・環境学研究科, 教授
2012年度 – 2015年度: 京都大学, 人間・環境学研究科(研究院), 教授
2013年度: 京都大学, 人間・環境学研究科, 教授
2013年度: 京都大学, 大学院人間環境学研究科, 教授
2011年度: 京都大学, 人間・環境学研究科, 教授 … もっと見る
2011年度: 京都大学, 人間・環境研究科, 准教授
2010年度: 京都大学, 人間・環境学研究科(研究院), 准教授
2007年度 – 2010年度: 京都大学, 人間・環境学研究科, 准教授
2009年度: 京都大学, 大学院・人間・環境学研究科, 准教授
2007年度: 京都大学, 大学院・人間・環境学研究科, 准教授
2005年度 – 2006年度: 京都大学, 大学院人間・環境学研究科, 助教授
2005年度: 京都大学, 人間・環境学研究科, 助教授
2003年度 – 2005年度: 京都大学, 人間環境学研究科, 助教授
2003年度 – 2005年度: 京都大学, 大学院・人間・環境学研究科, 助教授
1998年度 – 2002年度: 京都大学, 総合人間学部, 助教授
1994年度 – 1996年度: 京都産業大学, 理学部, 講師
1989年度: 京都大学, 数理解析研究所, 助手 隠す
審査区分/研究分野
研究代表者
計算機科学 / 情報学基礎 / 知能情報学 / 情報学基礎理論
研究代表者以外
幾何学 / 理工系 / 知能情報学 / 代数学 / 数学一般(含確率論・統計数学) / 基礎解析学 / 数学一般(含確率論・統計数学) / 情報学
キーワード
研究代表者
実数計算 / 位相空間論 / グレイコード / ドメイン理論 / 不定元 / ボトム入り文字列 / 総称関数 / 実数 / 計算可能性 / 計算可能性解析学 … もっと見る / full-folding map / フラクタル / bottom / ニューラル・ネットワーク / 仮名漢字変換 / パーセプトロン / マージ / 正規化性 / モデル / オブジェクト指向 / パラメトリシティ / 多相 / ポリモルフィズム / GHC / Gray code / 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 / IFP / コンパクト集合 / T^omega / 計算可能解析学 / プログラム抽出 / 並列計算 / 表現空間 / コンパクト集合の表現 / タイリング / 余代数 … もっと見る
研究代表者以外
計算可能性 / 始祖学習 / 極限同定 / 帰納論理 / 距離空間 / ドメイン / 次元 / 形式的球体 / 超空間位相 / 位相次元 / 機械学習 / 実数計算 / 閉集合 / 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 隠す
  • 研究課題

    (21件)
  • 研究成果

    (117件)
  • 共同研究者

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

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      京都大学
  •  離散値・数値混用データからの閉集合を利用した知識発見方式

    • 研究代表者
      山本 章博
    • 研究期間 (年度)
      2010 – 2013
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      京都大学
  •  表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2010 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      京都大学
  •  計算可能性と粗いトポロジーに関する距離空間の次元様相

    • 研究代表者
      服部 泰直
    • 研究期間 (年度)
      2010 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      幾何学
    • 研究機関
      島根大学
  •  距離空間の計算構造と次元及び解析集合論的複雑性の研究

    • 研究代表者
      服部 泰直
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      幾何学
    • 研究機関
      島根大学
  •  論理式による実数の近似表現を用いた数値データからの機械学習手法

    • 研究代表者
      山本 章博
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知能情報学
    • 研究機関
      京都大学
  •  不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2006 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      京都大学
  •  表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成

    • 研究代表者
      山本 章博
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      京都大学
  •  不連続関数の計算可能性-そのパラダイムを目指して-

    • 研究代表者
      八杉 満利子
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      京都産業大学
  •  距離空間における次元、距離及び計算可能性理論に関する研究

    • 研究代表者
      服部 泰直
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      幾何学
    • 研究機関
      島根大学
  •  始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

    • 研究代表者
      山本 章博
    • 研究期間 (年度)
      2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      京都大学
  •  実数のグレイコード表現とそれにより導かれる計算構造の研究研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      京都大学
  •  RandomなSchrodinger作用素に関連する問題の研究

    • 研究代表者
      上木 直昌
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      基礎解析学
    • 研究機関
      京都大学
  •  実数プログラミングと実関数の計算可能性研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  連続体上の計算可能性問題の多角的研究

    • 研究代表者
      八杉 満利子
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      京都産業大学
  •  概均質ベクトル空間のゼータ関数とその応用

    • 研究代表者
      斎藤 裕
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      代数学
    • 研究機関
      京都大学
  •  コンピュータ上での無限精度実数の実現研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  Lax Trans formationを用いたPolymorphismの意味づけ研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      1996
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  マージの機構によるオブジェクト指向言語の型システムの研究研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  ニューラルネットを用いた仮名漢字変換の研究研究代表者

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      1994
    • 研究種目
      奨励研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      京都産業大学
  •  様相論理とその実時間制御及び人工知能への応用

    • 研究代表者
      中島 玲二
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      京都大学

すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb2017

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Proceedings, bridges 2017

      巻: - ページ: 147-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00015
  • [雑誌論文] Logic for Gray-code computation2016

    • 著者名/発表者名
      U. Berger, K. Miyamoto, H. Schwichtenberg and H. Tsuiki.
    • 雑誌名

      D. Probst and P. Schuster (eds), Concepts of Proof in Mathematics, Philosophy, and Computer Science

      巻: -

    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [雑誌論文] Properties of domain representations of spaces through dyadic subbases2015

    • 著者名/発表者名
      Yasuyuki Tsukamoto, Hideki Tsuiki
    • 雑誌名

      Mathematical Structures in Computer Science

      巻: 未定

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-22500014
  • [雑誌論文] Domain Representations Induced by Dyadic Subbases2014

    • 著者名/発表者名
      Hideki Tsuiki and Yasuyuki Tsukamoto
    • 雑誌名

      Logical Methods in Computer Science

      巻: 未定

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22500014
  • [雑誌論文] Learning figures with the Hausdorff metric by fractals towards computable binary classification2013

    • 著者名/発表者名
      Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A
    • 雑誌名

      Journal of Machine Learning

      巻: 90 ページ: 91-126

    • データソース
      KAKENHI-PROJECT-22240010
  • [雑誌論文] Learning figures with the Hausdorff metric by fractals;towards computable binary classification2013

    • 著者名/発表者名
      Mahito Sugiyama, Hirowatari, E., Tsuiki, H., Yamamoto, A.
    • 雑誌名

      Journal of Machine Learning

      巻: 90 ページ: 91-126

    • DOI

      10.1007/s10994-012-5301-z

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22240010
  • [雑誌論文] A Stream Calculus of Bottomed Sequences for Real Number Computation2013

    • 著者名/発表者名
      Kei Terayama and Hideki Tsuiki
    • 雑誌名

      Electr. Notes Theor. Comput. Sci.

      巻: 298 ページ: 383-402

    • DOI

      10.1016/j.entcs.2013.09.023

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22500014
  • [雑誌論文] Unimodal maps as boundary restrictions of two-dimensional full-folding maps2012

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Topology and Its Applications

      巻: 159 ページ: 1266-1275

    • DOI

      10.1016/j.topol.2011.11.002

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22500014
  • [雑誌論文] Learning Figures with the Haussdorff Metric by Fractals2011

    • 著者名/発表者名
      Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
    • 雑誌名

      Lecture Note in Artificial Intelligence

      巻: 6331 ページ: 315-329

    • データソース
      KAKENHI-PROJECT-22240010
  • [雑誌論文] Random Iteration Algorithm for Graph-Directed Sets.2010

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      Schloss Dagstuhl-Leibniz Center for Informatics(Andrej Bauer, Peter Hertling, Ker-I Ko) (to appear)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Random Iteration Algorithm for Graph-Directed Sets2010

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      6th International Conference on Computability and Complexity in Analysis Proceedings 2275

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Hyperbolic topology of normed linear spaces.2010

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki
    • 雑誌名

      Topology and its applications 157

      ページ: 77-82

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Hyperbolic topology of normed linear spaces2010

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki
    • 雑誌名

      Topology and its Applications Vol.157

      ページ: 77-82

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540086
  • [雑誌論文] Independent Subbases of the Sierpinski Gasket2010

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

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

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Independent Subbases of the Sierpinski Gasket2010

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

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

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions.2009

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      Lecture Notes in Computer Science 5489

      ページ: 109-125

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] On Finite-time Computability Preserving Conversions.2009

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

      Journal of Universal Computer Science 15(6)

      ページ: 1365-1380

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] The hyperbolic topology of L_p(\Omega, \Sigma, \mu)2009

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki
    • 雑誌名

      Topology and its applications (掲載予定確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] On Finite-time Computability Preserving Conversions2009

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

      Journal of Universal Computer Science (掲載予定確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Fine-continuous functions and fractals defined by infinite systems of contractions2009

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      Proceedings of IIC2007, LNCS series (掲載予定確定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions2009

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      Lecture Notes in Computer Science 5489

      ページ: 109-125

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008

    • 著者名/発表者名
      Hideki Tsuiki, Yasunao Hattori
    • 雑誌名

      Theoretical Computer Science vol. 405

      ページ: 198-205

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008

    • 著者名/発表者名
      H. Tsuiki, Y. Hattori
    • 雑誌名

      Theoretical Computer Science 405

      ページ: 198-205

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540086
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008

    • 著者名/発表者名
      Hideki Tsuiki, Yasunao Hattori
    • 雑誌名

      Theoretical Computer Science 405

      ページ: 198-205

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology.2008

    • 著者名/発表者名
      Hideki Tsuiki, Yasunao Hattori.
    • 雑誌名

      Theoretical Computer Science 405(1-2)

      ページ: 198-205

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008

    • 著者名/発表者名
      Hideki Tsuiki, Yasunao Hattori
    • 雑誌名

      Theoretical Computer Science (To appear)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] On Finite-time Computability Preserving Conversions2008

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

      Electric Notes in Theoretical Computer Science 221

      ページ: 299-308

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology2008

    • 著者名/発表者名
      Hideki Tsuiki, Yasunao Hattori
    • 雑誌名

      Theoretical Comp. Sci. Vol.405

      ページ: 198-205

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540086
  • [雑誌論文] グレイコードとモデル推論を利用した実数値関数の学習,2006

    • 著者名/発表者名
      杉山麿人, 廣渡栄寿, 立木秀樹, 山本章博
    • 雑誌名

      人工知能学会人工知能基本問題研究会(第62回)資料 SIG-FPAI-A504

      ページ: 47-54

    • データソース
      KAKENHI-PROJECT-16016246
  • [雑誌論文] Streams with a bottom in functional languages2005

    • 著者名/発表者名
      Hideki Tsuiki, Keiji Sugihara
    • 雑誌名

      Proceedings ESOP 2005 : The European Symposium on Programming LNCS 3444

      ページ: 201-216

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Real number computation with committed choice logic programming languages2005

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      J.Log.Algebr.Program. 64・1

      ページ: 61-84

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540166
  • [雑誌論文] Streams with a bottom in functional languages2005

    • 著者名/発表者名
      Tsuiki, Hideki
    • 雑誌名

      Lecture Notes in Computer Science 3444

      ページ: 201-216

    • データソース
      KAKENHI-PROJECT-16340028
  • [雑誌論文] Real number computation with committed choice logic programming languages2005

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      J.Log.Algebr.Program. 64(1)

      ページ: 61-84

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15540166
  • [雑誌論文] Streams with a bottom in functional languages2005

    • 著者名/発表者名
      H.Tsuiki, et al.
    • 雑誌名

      Lecture Notes in Computer Science 3444

      ページ: 201-216

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16340028
  • [雑誌論文] Streams with a bottom in functional languages2005

    • 著者名/発表者名
      Hideki Tsuiki, Keiji Sugihara
    • 雑誌名

      Proceedings ESOP 2005 : The European Symposium on Programming, LNCS 3444

      ページ: 201-216

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Real Number Computation with Committed Choice Logic Programming Languages2005

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Journal of Logic and Algebraic Programming 64

      ページ: 61-84

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Streams with a bottom in functional languages2005

    • 著者名/発表者名
      Hideki Tsuiki, Keiji Sugihara
    • 雑誌名

      Prodeegings of ESOP 2005, LNCS 3444

      ページ: 201-216

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Dyadic Subbases and Representations of Topological Spaces2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      数学解析の理論的展開の計算機による支援・遂行可能性、京都大学数理解析研究所講究録 1381

      ページ: 90-98

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Uniform Domains and Uniform Spaces2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 73

      ページ: 213-215

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Dyadic subbases and efficiency properties of the induced {0,1,⊥}ω-representations2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Topology Proc. 28

      ページ: 673-687

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16540066
  • [雑誌論文] Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Mathmatical Structures in Computer Science 14(6)

      ページ: 853-878

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004

    • 著者名/発表者名
      Tsuiki, Hideki
    • 雑誌名

      Mathematical Structures in Computer Science 14(6)

      ページ: 853-878

    • データソース
      KAKENHI-PROJECT-16340028
  • [雑誌論文] Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Mathematical Structures in Computer Science 14(6)

      ページ: 853-878

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Dyadic subbases and efficiency properties of the induced (0. 1. bot) ^omega-representations2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Topology Proceedings 28(2)

      ページ: 673-687

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Dyadic subbases and efficiency properties of the induced (0, 1, bot) ^omega-representations2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Topology Proceedings 28(2)

      ページ: 673-687

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences bottomed sequences2004

    • 著者名/発表者名
      H.Tsuiki, et al.
    • 雑誌名

      Mathematical Structures in Computer Science 14(6)

      ページ: 853-878

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16340028
  • [雑誌論文] Dyadic subbases and efficiency properties of the induced (0,1,⊥)ω-representations2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Topology Proc. 28

      ページ: 673-687

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16540066
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Math. Structures of Computer Sci. 14

      ページ: 853-878

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16540066
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Mathematical Structures of Computer Sciences 14

      ページ: 853-878

    • データソース
      KAKENHI-PROJECT-16540066
  • [雑誌論文] Dyadic subbases and efficiency properties of the induced {0,1,bot)^omega$-representations2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Topology Proceedings 28(2)

      ページ: 673-687

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Mathematical Structures in Computer Science 14(6)

      ページ: 853-878

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed seauences2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Mathematical Structures in Computer Science 14・6

      ページ: 853-878

    • データソース
      KAKENHI-PROJECT-15540166
  • [雑誌論文] Compact metric spaces as minimal-limit sets in domains of bottomed sequences2004

    • 著者名/発表者名
      H.Tsuiki
    • 雑誌名

      Math.Structures of Computer Sci. 14

      ページ: 853-878

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16540066
  • [雑誌論文] A Domain Theoretic Semantics of LAX generic functions2003

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Theoretical Computer Science 294

      ページ: 307-331

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15540166
  • [雑誌論文] A Domain-theoretic Semantics of Lax Generic Functions2003

    • 著者名/発表者名
      Hideki Tsuiki
    • 雑誌名

      Theoretical Computer Science 294

      ページ: 307-331

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] Lawson topology of the space of formal balls and the hyperbolic topology

    • 著者名/発表者名
      H. Tsuiki and Y. Hattori
    • 雑誌名

      Theoretical Computer Sciences (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540086
  • [雑誌論文] Streams with a bottom in functional languages

    • 著者名/発表者名
      Hideki Tsuiki, Keiji Sugihara
    • 雑誌名

      Proceedings of ESOP 2005, LNCS (To appear)

    • データソース
      KAKENHI-PROJECT-15500010
  • [雑誌論文] On Finite-time Computability Preserving Conversions

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 雑誌名

      Journal of Universal Computer Science (to appear)

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] The hyperbolic topology of L_p(\Omega, \Sigma, \mu)

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki
    • 雑誌名

      Topology and its applications (to Appear in)

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Fine-continuous functions and fractals defined by infinite systems of contractions

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 雑誌名

      to appear in proceedings of ILC2007

    • データソース
      KAKENHI-PROJECT-18500013
  • [雑誌論文] Hyperbolic topology of normed linear spaces

    • 著者名/発表者名
      Y. Hattori, H. Tsuiki
    • 雑誌名

      Topology and its Applications (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540086
  • [学会発表] Infinite Adequacy Theorem through Coinductive Definitions2019

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Third Workshop on Mathematical Logic and its Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Adequacy for infinite data2018

    • 著者名/発表者名
      Hideki Tsuiki and Ulrich Berger
    • 学会等名
      CCC 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] T^ω-representations of compact sets through dyadic subbases2018

    • 著者名/発表者名
      Hideki Tsuiki and Arno Pauly
    • 学会等名
      Workshop Domains '2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Gray code and extractions of concurrent executions of partial programs2018

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Workshop: Constructive Mathematics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb2017

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Bridges 2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Concurrent program extraction2017

    • 著者名/発表者名
      Ulrich Berger and Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] イマジナリーキューブ・タイリングと16-cell タイリングの切断面2017

    • 著者名/発表者名
      立木 秀樹
    • 学会等名
      Workshop「数論とエルゴード理論」
    • 発表場所
      金沢大学サテライト・プラザ(石川県・金沢市)
    • 年月日
      2017-02-11
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Computable dyadic subbases2017

    • 著者名/発表者名
      Arno Pauly and Hideki Tsuiki
    • 学会等名
      Second Workshop on Mathematical Logic and its Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] T^omega-representations of compact sets2016

    • 著者名/発表者名
      Arno Pauly, Hideki Tsuiki
    • 学会等名
      Thirteenth International Conference on Computability and Complexity in Analysis
    • 発表場所
      Faro, ポルトガル
    • 年月日
      2016-06-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] full-folding map が生成するコードの再帰性について2016

    • 著者名/発表者名
      立木 秀樹
    • 学会等名
      数論とエルゴート理論
    • 発表場所
      金沢大学サテライト・プラザ(石川県)
    • 年月日
      2016-02-06
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Gray/pre-Gray code and program extraction based on pre-Gray code2016

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      BIRS Workshop 「Interval Analysis and Constructive Mathematics」
    • 発表場所
      Oaxaca, メキシコ
    • 年月日
      2016-11-13
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Domains with recursive structures representing a space2015

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      1st Pan Pacific International Conference on Topology and Applications (PPICTA)
    • 発表場所
      Hangzhou(中国)
    • 年月日
      2015-11-25
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Computing with Compact Sets - the Gray Code Case2015

    • 著者名/発表者名
      Dieter Spreen, Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2015)
    • 発表場所
      Kochel (ドイツ連邦共和国)
    • 年月日
      2015-09-14
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Logic for Gray code computation2015

    • 著者名/発表者名
      Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg and Hideki Tsuiki
    • 学会等名
      CCA:Twelfth International Conference on Computability and Complexity in Analysis
    • 発表場所
      明治大学 (東京)
    • 年月日
      2015-06-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00015
  • [学会発表] Dyadic subbases derived from dynamical systems2014

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Correctness by Construction CORCON 2014 Workshop
    • 発表場所
      Genoa, Italy
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] full-folding mapの kneading theory と 2次有理関数2013

    • 著者名/発表者名
      立木 秀樹
    • 学会等名
      2012年度冬の力学系研究集会
    • 発表場所
      軽井沢
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Admissible domain representations induced by proper dyadic subbases2013

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      International Conference on Topology and Geometry 2013
    • 発表場所
      Shimane University, Matue, Japan
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] ペンローズ・タイリング上でとぶグライダー2013

    • 著者名/発表者名
      塚本 靖之, 宮崎 雄平, 立木 秀樹
    • 学会等名
      LA Symposium 2012
    • 発表場所
      京都
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] A Hausdorff space with a strongly independent dyadic subbase2013

    • 著者名/発表者名
      Yasuyuki Tsukamoto and Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity; From Logic to Algorithms Workshop
    • 発表場所
      Swansea University, UK
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] A Stream Calculus of Bottomed Sequences for Real Number Computation2013

    • 著者名/発表者名
      Kei Terayama and Hideki Tsuiki
    • 学会等名
      Mathematical Foundations of Programming Semantics Twenty-ninth Conference
    • 発表場所
      Tulane University New Orleans, Louisiana, USA
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Hausdorff and adhesive spaces with independent subbases2012

    • 著者名/発表者名
      立木秀樹, 塚本靖之
    • 学会等名
      一般位相幾何学および幾何学的トポロジーの現状と諸問題
    • 発表場所
      京都
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Multi-Head Extension of the Turing Machine for Computation over Continuous Spaces2012

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Computability in Europe 2012 Conference
    • 発表場所
      Cambridge, UK
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Real Number Computation with a Calculus of Bottomed Sequences2012

    • 著者名/発表者名
      Satoru Terayama, Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity -- From Logic to Algorithms, workshop
    • 発表場所
      Trier, Germany
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] X-PCF---{0,1,⊥}-無限列を表現とした実数上の形式計算体系2012

    • 著者名/発表者名
      寺山慧, 立木秀樹
    • 学会等名
      第14回ブログラミングおよびプログラミング言語ワークショップ(PPL2012)
    • 発表場所
      南紀白浜、和歌山
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Kneading Theory via Two-Dimensional Full-Folding Maps2012

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      27th SUMMER TOPOLOGY and its APPLICATIONS
    • 発表場所
      Mankato, USA
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Domain Representations induced by Dyadi Subbases2012

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity -- From Logic to Algorithms, workshop
    • 発表場所
      Trier, Germany
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Self-homeomorphic tiling of the disk generated by full-folding maps2011

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      京都大学数理解析研究所研究集会「自己相似タイリングの剛性定理とその周辺」
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] A stream program that takes margin in recursive calls2011

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
    • 発表場所
      Dagstuhl, Germany
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Kneading Theory via Two-Dimensional Full-Folding Maps2011

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      京都大学数理解析研究所研究集会「力学系とトポロジーのフロンティア」
    • 発表場所
      京都大学理学部
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Full-flipping mapを用いて導かれるUnimodal map の adraissibility condition2011

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      京都大学数理解析研究所研究集会「一般及び幾何学的トポロジーとその応用」
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Computation over Topological Spaces via Embeddings in Streams with a Bottom2011

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      The 5th International Workshop on Data-Mining and Statistical Science and 7th Workshop on Learning with Logics and Logics for Learning
    • 発表場所
      大阪大学(招待講演)
    • 年月日
      2011-03-30
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] テント写像の2次元への拡張と単峰写像について2010

    • 著者名/発表者名
      立木秀樹
    • 学会等名
      2010 General Topologyシンポジウム
    • 発表場所
      筑波大学
    • 年月日
      2010-12-21
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Domain Representations Derived from Dyadic Subbases2010

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Workshop on Constructive Aspects of Logic and Mathematics
    • 発表場所
      Kanazawa, Japan
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] ハウスドルフ距離を用いたフラクタルによる図形の学習2009

    • 著者名/発表者名
      杉山麿人, 廣渡栄寿, 立木秀樹, 山本章博
    • 学会等名
      第74回人工知能基本問題研究会
    • 発表場所
      広島
    • 年月日
      2009-09-14
    • データソース
      KAKENHI-PROJECT-19650029
  • [学会発表] Finite-time Computability Preserving Conversions2009

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      5th International Symposium on Domain Theory
    • 発表場所
      Shanghai, China
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Learning Figures with the Hausdorff Metric by Self-similar Sets2009

    • 著者名/発表者名
      Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A.
    • 学会等名
      Sixth Workshop on Learning with Logics and Logics for Learning
    • 発表場所
      京都
    • 年月日
      2009-07-06
    • データソース
      KAKENHI-PROJECT-19650029
  • [学会発表] {0, 1, ⊥} ω-Codings Derived from Dynamical Systems2009

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity Workshop.
    • 発表場所
      Koeln, Germany
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Finite-time Computability Preserving Conversions2009

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      5^<th> International Symposium on Domain Theory
    • 発表場所
      Shanghai, Chaina
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] On Finite-time Computability Preserving Conversions.2009

    • 著者名/発表者名
      立木秀樹, 山田修司
    • 学会等名
      題11回日本ソフトウェア科学会プログラミング及びプログラミング言語ワークショップ(PPL2009)
    • 発表場所
      高山
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Random Iteration Algorithm for Graph-Directed Sets.2009

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 学会等名
      6th International Conference on Computability and Complexity in Analysis
    • 発表場所
      Ljubljana, Slovenia
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Independent Subbases of the Sierpinski Gasket2009

    • 著者名/発表者名
      立木秀樹
    • 学会等名
      RIMS研究集会「一般位相幾何学及び幾何学的トポロジーに関する研究」
    • 発表場所
      京都
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] {0, 1, ⊥}ω-codings Derived from Dynamical Systems.2009

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity Workshop
    • 発表場所
      Koeln, Germany
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Lawson topology of the space of formal balls and the hyperbolic topology of a metric space2008

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki, 服部泰直
    • 学会等名
      The 23th Summer Conference on Topology and its Applications, University of National Autonomous of Mexico
    • 発表場所
      Mexico City
    • 年月日
      2008-07-30
    • データソース
      KAKENHI-PROJECT-19540086
  • [学会発表] On Finite-time Computability Preserving Conversions.2008

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 発表場所
      Hagen, Germany
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] On Finite-time Computability Preserving Conversions2008

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 学会等名
      5th International conference on Computability and Complexity in Analysis
    • 発表場所
      Hagen, Germany
    • 年月日
      2008-08-23
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Lawson topology of the space of formal balls and the hyperbolic topology of a metric space2008

    • 著者名/発表者名
      Y. Hattori, H. Tsuiki (presented by Y. Hattori)
    • 学会等名
      The 23th Summer Conference on Topology and its Applications
    • 発表場所
      メキシコ国立自治大学、メキシコシティー
    • 年月日
      2008-07-30
    • データソース
      KAKENHI-PROJECT-19540086
  • [学会発表] The hyperbolic topology of normed linear spaces, International Conferences in Topology and its Applications 2007 at Kyoto2007

    • 著者名/発表者名
      Yasunao Hattori, Hideki Tsuiki, 服部泰直
    • 学会等名
      Jointly with 4th Japan- Mexico Topology Conference
    • 発表場所
      京都大学
    • 年月日
      2007-12-05
    • データソース
      KAKENHI-PROJECT-19540086
  • [学会発表] On Finite-time Computable Functions2007

    • 著者名/発表者名
      Hideki Tsuiki, Shuji Yamada
    • 学会等名
      International Conference on Infinity in Logic & Computation
    • 発表場所
      Cape Town, South Africa University of Cape Town
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Fractals Defined by Infinite Contractions and Mutual-Recursive Sets2007

    • 著者名/発表者名
      Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
    • 発表場所
      Cape Town, South Africa University of Cape Town
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Lawson Topology of the space of formal balls and the hyperbolic subbase2006

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      International Conference on Topology and its Applications
    • 発表場所
      Aegion, Greece
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Lawson topology of the space of formal balls and the hyperbolic subbase2006

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      International Conference on Topology and its application
    • 発表場所
      Aegion, Greece
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Lawson Topology of the space of formal balls and the hyperbolic subbase2006

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Dagstuhl Seminar 06341, Computational Structures for Modelling Space
    • 発表場所
      Time and Causality Dagstuhl, Germany
    • データソース
      KAKENHI-PROJECT-18500013
  • [学会発表] Strong properness of dyadic subbases

    • 著者名/発表者名
      Yasuyuki Tsukamoto and Hideki Tsuiki
    • 学会等名
      Domains XI International workshop on domain theory and applications
    • 発表場所
      Paris (フランス)
    • 年月日
      2014-09-08 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Domain representations of spaces derived from dyadic subbases (Tutorial)

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Constructivism and Computability
    • 発表場所
      しいのき迎賓館(金沢市)
    • 年月日
      2015-03-02 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Bottomed stream representations derived from dynamical systems

    • 著者名/発表者名
      Hideki Tsuiki
    • 学会等名
      Continuity, Computability, Constructivity -From Logic to Algorithms
    • 発表場所
      Ljubljana (スロベニア)
    • 年月日
      2014-09-15 – 2014-09-19
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22500014
  • [学会発表] Strong properness of dyadic subbases

    • 著者名/発表者名
      Yasuyuki Tsukamoto and Hideki Tsuiki
    • 学会等名
      Eleventh International Conference on Computability and Complexity in Analysis
    • 発表場所
      Darmstadt (ドイツ)
    • 年月日
      2014-06-21 – 2014-06-24
    • データソース
      KAKENHI-PROJECT-22500014
  • 1.  山本 章博 (30230535)
    共同の研究課題数: 4件
    共同の研究成果数: 6件
  • 2.  服部 泰直 (20144553)
    共同の研究課題数: 4件
    共同の研究成果数: 8件
  • 3.  林 晋 (40156443)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  廣渡 栄寿 (60274429)
    共同の研究課題数: 3件
    共同の研究成果数: 6件
  • 5.  横井 勝弥 (90240184)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  木村 真琴 (30186332)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  森 隆一 (00065880)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  辻井 芳樹 (90065871)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  山田 修司 (30192404)
    共同の研究課題数: 3件
    共同の研究成果数: 1件
  • 10.  櫻川 貴司 (60196136)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  前田 定廣 (40181581)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  山内 貴光 (00403444)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  八杉 満利子 (90022277)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  大田 春外
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  野倉 嗣紀 (00036419)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  古用 哲夫 (40039128)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  平田 耕一 (20274558)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  徳永 浩雄 (30211395)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  吉仲 亮 (80466424)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  杉山 麿人 (10733876)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 21.  松橋 英市 (60558518)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  斎藤 裕 (20025464)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  松木 敏彦 (20157283)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  西山 享 (70183085)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  加藤 信一 (90114438)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  松本 眞 (70231602)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  山内 正敏 (30022651)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  吉川 敦 (80001866)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  上木 直昌 (80211069)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  森本 芳則 (30115646)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  西和田 公正 (60093291)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  小谷 眞一 (10025463)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  河野 敬雄 (90028134)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  小山 晃 (40116158)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  中島 玲二 (60109080)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  萩谷 昌己 (30156252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  中戸川 孝治 (20237316)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  鷲原 雅子 (40065800)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  小田 秀典 (40224240)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  日置 尋久 (70293842)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  山崎 武 (30336812)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  池田 真土里
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  大滝 啓介
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  服部 隆志
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  八杉 真理子
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  竹内 泉
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 47.  塚本 靖之
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 48.  寺山 慧
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 49.  CHATYRKO Vitalij
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi