研究者
J-GLOBAL ID:200901037433304682   更新日: 2024年01月31日

立木 秀樹

ツイキ ヒデキ | Tsuiki Hideki
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www.i.h.kyoto-u.ac.jp/~tsuiki
研究分野 (1件): 情報学基礎論
研究キーワード (2件): 計算機科学 ,  Computer Science
競争的資金等の研究課題 (28件):
  • 2018 - 2023 連続系の複雑さを解明する計算理論
  • 2015 - 2023 空間の近似のなす組合せ的構造とそれに基づく計算
  • 2010 - 2015 表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究
  • 2010 - 2014 計算可能性と粗いトポロジーに関する距離空間の次元様相
  • 2010 - 2014 離散値・数値混用データからの閉集合を利用した知識発見方式
全件表示
論文 (52件):
  • 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
もっと見る
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
もっと見る
書籍 (4件):
  • 理論計算機科学事典
    朝倉書店 2022 ISBN:9784254122633
  • すべての人のための Java プログラミング 第3版
    共立出版 2017
  • イマジナリーキューブ・パズル 3H=6T
    京都大学総合博物館ミュゼップ 2012
  • すべての人のためのJavaプログラミング
    共立出版 2000
講演・口頭発表等 (2件):
  • Combining partial maps into a correct total map through program extraction
    (CCC 2020: Continuity, Computability, Constructivity - From Logic to Algorithms 2020)
  • Partial program extractions in IFP
    (Mathematical Logic and Constructivity 2019)
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 -
  • イマジナリーキューブパズル 3H=6T (木鏡社)
    立木 秀樹 2021 -
  • Fractal SUDOKU Sculpture (at Bridges conference art exhibition)
    Yasuyuki Tsukamoto, Hideki Tsuiki 2017 -
もっと見る
学歴 (4件):
  • - 1988 京都大学 理学研究科 数理解析
  • - 1988 京都大学
  • - 1986 京都大学 理学部
  • - 1986 京都大学
学位 (1件):
  • 博士(理学) (慶應義塾大学)
経歴 (9件):
  • 1998 - 2003 京都大学総合人間学部助教授
  • 1997 - 1998 京都産業大学理学部助教授
  • 1997 - 1998 Kyoto Sangyo Univevsity, Faculty of Science, Associate Professon.
  • 1994 - 1997 京都産業大学理学部講師
  • 1994 - 1997 京都産業大学
全件表示
受賞 (1件):
  • 1994 - 情報処理学会山下記念研究賞
所属学会 (4件):
形の科学会 ,  日本数学会 ,  ソフトウエア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る