Rchr
J-GLOBAL ID:200901037433304682   Update date: Sep. 13, 2024

Tsuiki Hideki

ツイキ ヒデキ | Tsuiki Hideki
Affiliation and department:
Homepage URL  (1): http://www.i.h.kyoto-u.ac.jp/~tsuiki
Research field  (1): Information theory
Research keywords  (2): 計算機科学 ,  Computer Science
Research theme for competitive and other funds  (30):
  • 2024 - 2028 連続な空間上の計算とその複雑さの研究
  • 2023 - 2028 連続な空間上の計算とその複雑さの研究
  • 2018 - 2023 Computational complexity of continuous systems
  • 2015 - 2023 空間の近似のなす組合せ的構造とそれに基づく計算
  • 2010 - 2015 Studies on representation-based computational structures of spaces and figures, and on related structures like fractals
Show all
Papers (54):
  • Hideki Tsuiki. Constructing Sierpinski Tetrahedrons from Connector Pieces. Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture. 2023. 299-306
  • Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki. Concurrent Gaussian Elimination. Mathematics for Computation (M4C). 2023. 223-250
  • Ulrich Berger, Hideki Tsuiki. Extracting total Amb programs from proofs. Programming Languages and Systems. 2022. 85-113
  • Ulrich Berger, Hideki Tsuiki. Intuitionistic fixed point logic. Annals of Pure and Applied Logic. 2021. 172. 3. 102903-102903
  • Gouta Hayashi, Hideki Tsuiki. Augmented Reality for Zome Construction. Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. 2020. 403-406
more...
MISC (19):
  • 立木 秀樹. イマジナリーキューブパズルの楽しみ方. オペレーションズ・リサーチ. 2023. 68. 3. 123-127
  • 立木 秀樹. エレガントな解答をもとむ(解答). 数学セミナー, 日本評論社. 2021. 80-85
  • 立木 秀樹. エレガントな解答をもとむ(出題). 数学セミナー, 日本評論社. 2021. 6-6
  • 立木 秀樹. 数学教室だより:アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」. 数学通信. 2020. 25. 3. 41-47
  • Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, Hideki Tsuiki. Preface to the special issue: Computing with infinite data: topological and logical foundations. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 2015. 25. 7. 1463-1465
more...
Books (4):
  • Encyclopedia of theoretical computer science
    2022 ISBN:9784254122633
  • すべての人のための Java プログラミング 第3版
    共立出版 2017
  • イマジナリーキューブ・パズル 3H=6T
    京都大学総合博物館ミュゼップ 2012
  • すべての人のためのJavaプログラミング
    共立出版 2000
Lectures and oral presentations  (6):
  • Constructing Sierpinski Tetrahedrons from Connector Pieces
    (Bridges 2023 2023)
  • Induction and coindution for computing exact overlaps of fractals
    (CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms) 2022)
  • Some steps toward program extraction in a type-theoretical interpretation of IFP
    (CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms) 2022)
  • Induction / coinduction and projections of fractals
    (Proof and Computation 2022 2022)
  • Combining partial maps into a correct total map through program extraction
    (CCC 2020: Continuity, Computability, Constructivity - From Logic to Algorithms 2020)
more...
Works (8):
  • Constructions of the Sierpinski tetrahedron / triangle from connector pieces (at Bridges conference art exhibition)
    Hideki Tsuiki 2023 -
  • Shadows of fractal imaginary cubes (at Bridges conference Short FIlm Festival)
    Hideki Tsuiki 2023 -
  • Fractal Imaginary Cubes (at Joint Mathematics Meetings Art Exhibition)
    Hideki Tsuiki 2023 -
  • Imaginary Cube Puzzle
    Hideki Tsuiki 2021 -
  • Fractal SUDOKU Sculpture (at Bridges conference art exhibition)
    Yasuyuki Tsukamoto, Hideki Tsuiki 2017 -
more...
Education (4):
  • - 1988 Kyoto University
  • - 1988 Kyoto University Graduate School, Division of Natural Science
  • - 1986 Kyoto University Faculty of Science
  • - 1986 Kyoto University Faculty of Science
Professional career (1):
  • Doctor of Science (Keio University)
Work history (9):
  • 1998 - 2003 京都大学総合人間学部助教授
  • 1997 - 1998 Kyoto Sangyo University Faculty of Science
  • 1997 - 1998 Kyoto Sangyo Univevsity, Faculty of Science, Associate Professon.
  • 1994 - 1997 Kyoto Sangyo University Faculty of Science
  • 1994 - 1997 Kyoto Sangyo University, Faculty of Science, Lecturer.
Show all
Awards (1):
  • 1994 - 情報処理学会山下記念研究賞
Association Membership(s) (4):
形の科学会 ,  日本数学会 ,  ソフトウエア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page