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

Tsuiki Hideki

ツイキ ヒデキ | Tsuiki Hideki
Affiliation and department：
Kyoto University Graduate School of Human and Environmental Studies, Department of Human Coexistence, Graduate School of Human and Environmental Studies Department of Human Coexistence

About Kyoto University Graduate School of Human and Environmental Studies, Department of Human Coexistence, Graduate School of Human and Environmental Studies Department of Human Coexistence


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
ｍore...
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
ｍore...
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)
ｍore...
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 -
ｍore...
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

TOP

BOTTOM