立木 秀樹

Last Update: 2021/09/02 12:14:04

Print

Name(Kanji/Kana/Abecedarium Latinum)
立木 秀樹/ツイキ ヒデキ/Tsuiki, Hideki
Primary Affiliation(Org1/Job title)
Graduate School of Human and Environmental Studies/Professor
Faculty
Org1 Job title
総合人間学部
Contact Address
Type Address(Japanese) Address(English)
Office 606-8501 京都市左京区吉田二本松町 606-8501, Sakyo-ku, Kyoto, Japan
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
ソフトウエア科学会 Japan Society for Software Science and Technology
日本数学会 The Mathematical Society of Japan
形の科学会 Society for Science on Form
情報処理学会 Information Processing Society of Japan
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
理学修士 京都大学
博士(理学) 慶應義塾大学
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
京都大学 大学院理学研究科修士課程数理解析専攻 修了
Academic Resume (Undergraduate School/Majors)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Completion Status
京都大学 理学部 卒業
Personal Profile
(Japanese)
計算と数学の境界分野において、数学の中に現れる計算的な現象について、および、計算機科学の基礎となる数学についての研究を行っている。計算機科学における計算が止まらないという概念と、数理論理学,そして,数学における位相空間論、力学系、フラクタルなどとの関係に興味がある。このような理論的な研究に加えて、立体図形に関する研究も行っている。
(English)
I am working on the boundary between computer science and mathematics, that is, computational notions which appear in mathematics and mathematical foundation of computer science. I am particularly interested in the relation between the notion of non-termination in computer science and the following notions in mathematics; topology, dynamics, and fractals. In addition to these theoretical studies, I am also working on three-dimensional figures.
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
Personal Website(s) (URL(s))
URL
http://www.i.h.kyoto-u.ac.jp/~tsuiki
ORCID ID
https://orcid.org/0000-0003-0854-948X
researchmap URL
https://researchmap.jp/read0181216
Research Topics
(Japanese)
理論計算機科学
(English)
Theoretical Computer Science
Overview of the research
(Japanese)
計算機科学において、計算が止まらないということを示すボトムという概念がある。一方で、位相構造を持った空間について考える時には、境界が基本概念となる。この両者の関係について調べることにより、位相構造を持ったものの上に計算概念を拡張する、あるいは、計算的な考え方との関係で、位相、力学系、フラクタルなどの構造について調べることを、研究の柱としている。
Fields of research (key words)
Key words(Japanese) Key words(English)
計算機科学 Computer Science
プログラミング言語理論 programming language theory
計算可能性解析学 Computable Analysis
位相空間論 general topology
力学系 dynamical systems
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Ulrich Berger, Hideki Tsuiki Ulrich Berger, Hideki Tsuiki Ulrich Berger, Hideki Tsuiki Intuitionistic fixed point logic Intuitionistic fixed point logic Intuitionistic fixed point logic Annals of Pure and Applied Logic, 172, 3, 102903-102903 Annals of Pure and Applied Logic, 172, 3, 102903-102903 Annals of Pure and Applied Logic, 172, 3, 102903-102903 2021/03 Refereed Research paper(scientific journal) Disclose to all
Gouta Hayashi, Hideki Tsuiki Gouta Hayashi, Hideki Tsuiki Augmented Reality for Zome Construction Augmented Reality for Zome Construction Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture, 403-406 Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture, 403-406 , 403-406 2020 Refereed English Research paper(international conference proceedings) Disclose to all
Ulrich Berger, Olga Petrovska, Hideki Tsuiki Ulrich Berger, Olga Petrovska, Hideki Tsuiki Prawf: An Interactive Proof System for Program Extraction Prawf: An Interactive Proof System for Program Extraction Proceedings, Conference on Computability in Europe, LNCS 12098, 137-148 Proceedings, Conference on Computability in Europe, LNCS 12098, 137-148 , 137-148 2020 Refereed English Research paper(international conference proceedings) Disclose to all
Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara On the complexity of lattice puzzles On the complexity of lattice puzzles On the complexity of lattice puzzles Leibniz International Proceedings in Informatics, LIPIcs, 149 Leibniz International Proceedings in Informatics, LIPIcs, 149 Leibniz International Proceedings in Informatics, LIPIcs, 149 2019/12 Refereed Research paper(international conference proceedings) Disclose to all
Yasuyuki Tsukamoto, Hideki Tsuiki Yasuyuki Tsukamoto, Hideki Tsuiki Yasuyuki Tsukamoto, Hideki Tsuiki Properties of domain representations of spaces through dyadic subbases Properties of domain representations of spaces through dyadic subbases Properties of domain representations of spaces through dyadic subbases MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27, 8, 1625-1638 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27, 8, 1625-1638 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27, 8, 1625-1638 2017/12 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb Conference Proceedings of Bridges, 147-152 Conference Proceedings of Bridges, 147-152 , 147-152 2017 Refereed English Research paper(international conference proceedings) Disclose to all
Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Hideki Tsuiki Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Hideki Tsuiki Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Hideki Tsuiki Logic for Gray-code Computation Logic for Gray-code Computation Logic for Gray-code Computation CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6, 69-110 CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6, 69-110 CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6, 69-110 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Sudoku Colorings of a 16-Cell Pre-fractal Sudoku Colorings of a 16-Cell Pre-fractal Sudoku Colorings of a 16-Cell Pre-fractal DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015, 9943, 265-276 DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015, 9943, 265-276 DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015, 9943, 265-276 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Iiideki Tsuiki, Yasuyuki Tsijkamoto Iiideki Tsuiki, Yasuyuki Tsijkamoto Iiideki Tsuiki, Yasuyuki Tsijkamoto DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES LOGICAL METHODS IN COMPUTER SCIENCE, 11, 1, 1-17 LOGICAL METHODS IN COMPUTER SCIENCE, 11, 1, 1-17 LOGICAL METHODS IN COMPUTER SCIENCE, 11, 1, 1-17 2015 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Imaginary Hypercubes Imaginary Hypercubes Imaginary Hypercubes DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013, 8845, 173-184 DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013, 8845, 173-184 DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013, 8845, 173-184 2014 Refereed English Research paper(international conference proceedings) Disclose to all
Kei Terayama, Hideki Tsuiki Kei Terayama, Hideki Tsuiki Kei Terayama, Hideki Tsuiki A stream calculus of bottomed sequences for real number computation A stream calculus of bottomed sequences for real number computation A stream calculus of bottomed sequences for real number computation Electronic Notes in Theoretical Computer Science, 298, 383-402 Electronic Notes in Theoretical Computer Science, 298, 383-402 Electronic Notes in Theoretical Computer Science, 298, 383-402 2013/11/04 Refereed English Research paper(international conference proceedings) Disclose to all
Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto Learning figures with the Hausdorff metric by fractals-towards computable binary classification Learning figures with the Hausdorff metric by fractals-towards computable binary classification Learning figures with the Hausdorff metric by fractals-towards computable binary classification MACHINE LEARNING, 90, 1, 91-126 MACHINE LEARNING, 90, 1, 91-126 MACHINE LEARNING, 90, 1, 91-126 2013/01 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Imaginary cubes and their puzzles Imaginary cubes and their puzzles Imaginary cubes and their puzzles Algorithms, 5, 2, 273-288 Algorithms, 5, 2, 273-288 Algorithms, 5, 2, 273-288 2012/06 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Unimodal maps as boundary restrictions of two-dimensional full-folding maps Unimodal maps as boundary restrictions of two-dimensional full-folding maps Unimodal maps as boundary restrictions of two-dimensional full-folding maps TOPOLOGY AND ITS APPLICATIONS, 159, 4, 1266-1275 TOPOLOGY AND ITS APPLICATIONS, 159, 4, 1266-1275 TOPOLOGY AND ITS APPLICATIONS, 159, 4, 1266-1275 2012/03 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki, Yohei Yokota Hideki Tsuiki, Yohei Yokota Hideki Tsuiki, Yohei Yokota Enumerating 3D-Sudoku solutions over cubic prefractal objects Enumerating 3D-Sudoku solutions over cubic prefractal objects Enumerating 3D-Sudoku solutions over cubic prefractal objects Journal of Information Processing, 20, 3, 667-671 Journal of Information Processing, 20, 3, 667-671 Journal of Information Processing, 20, 3, 667-671 2012 Refereed English Research paper(scientific journal) Disclose to all
Haruto Ohta, Hideki Tsuiki, Shuji Yamada Haruto Ohta, Hideki Tsuiki, Shuji Yamada Haruto Ohta, Hideki Tsuiki, Shuji Yamada Independent subbases and non-redundant codings of separable metrizable spaces Independent subbases and non-redundant codings of separable metrizable spaces Independent subbases and non-redundant codings of separable metrizable spaces TOPOLOGY AND ITS APPLICATIONS, 158, 1, 1-14 TOPOLOGY AND ITS APPLICATIONS, 158, 1, 1-14 TOPOLOGY AND ITS APPLICATIONS, 158, 1, 1-14 2011/01 Refereed English Research paper(scientific journal) Disclose to all
TSUIKI, HIDEKI, YAMADA, SHUJI TSUIKI, HIDEKI, YAMADA, SHUJI TSUIKI, HIDEKI, YAMADA, SHUJI Independent Subbases of the Sierpinski Gasket (Research on general and geometric topology and related topics) Independent Subbases of the Sierpinski Gasket (Research on general and geometric topology and related topics) Independent Subbases of the Sierpinski Gasket (Research on general and geometric topology and related topics) 数理解析研究所講究録, 1681, 23-32 数理解析研究所講究録, 1681, 23-32 数理解析研究所講究録, 1681, 23-32 2010/04 English Research paper(research society, symposium, etc.) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Imaginary Cubes-Objects with Three Square Projection Images Imaginary Cubes-Objects with Three Square Projection Images Imaginary Cubes-Objects with Three Square Projection Images Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 159-166 Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 159-166 Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 159-166 2010 Refereed English Research paper(international conference proceedings) Disclose to all
Yasunao Hattori, Hideki Tsuiki Yasunao Hattori, Hideki Tsuiki Yasunao Hattori, Hideki Tsuiki Hyperbolic topology of normed linear spaces Hyperbolic topology of normed linear spaces Hyperbolic topology of normed linear spaces TOPOLOGY AND ITS APPLICATIONS, 157, 1, 77-82 TOPOLOGY AND ITS APPLICATIONS, 157, 1, 77-82 TOPOLOGY AND ITS APPLICATIONS, 157, 1, 77-82 2010/01 Refereed English Research paper(scientific journal) Disclose to all
M. Sugiyama, E. Hirowatari, H. Tsuiki, A. Yamamoto M. Sugiyama, E. Hirowatari, H. Tsuiki, A. Yamamoto M. Sugiyama, E. Hirowatari, H. Tsuiki, A. Yamamoto Learning figures with the hausdorff metric by fractals Learning figures with the hausdorff metric by fractals Learning figures with the hausdorff metric by fractals Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6331 LNAI, 315-329 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6331 LNAI, 315-329 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6331 LNAI, 315-329 2010 Refereed English Research paper(international conference proceedings) Disclose to all
S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura, M. mitsunaga S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura, M. mitsunaga S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura, M. mitsunaga Fractal dimension of trees and turbulent transfer of heat and moisture Fractal dimension of trees and turbulent transfer of heat and moisture Fractal dimension of trees and turbulent transfer of heat and moisture Proceedings of the Sixth International Symposium on Turbulence, Heat and Mass Transfer, 881-884 Proceedings of the Sixth International Symposium on Turbulence, Heat and Mass Transfer, 881-884 Proceedings of the Sixth International Symposium on Turbulence, Heat and Mass Transfer, 881-884 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki Random Iteration Algorithm for Graph-Directed Sets Random Iteration Algorithm for Graph-Directed Sets Random Iteration Algorithm for Graph-Directed Sets 6th International Conference on Computability and Complexity in Analysis Proceedings, Schloss Dagstuhl - Leibniz Center for Informatics. 6th International Conference on Computability and Complexity in Analysis Proceedings, Schloss Dagstuhl - Leibniz Center for Informatics. 6th International Conference on Computability and Complexity in Analysis Proceedings, Schloss Dagstuhl - Leibniz Center for Informatics. 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Y. Tsujii, T. Mori, M. Yasugi, H. Tsuiki Y. Tsujii, T. Mori, M. Yasugi, H. Tsuiki Y. Tsujii, T. Mori, M. Yasugi, H. Tsuiki Fine-continuous functions and fractals defined by infinite systems of contractions Fine-continuous functions and fractals defined by infinite systems of contractions Fine-continuous functions and fractals defined by infinite systems of contractions Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5489 LNAI, 109-125 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5489 LNAI, 109-125 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5489 LNAI, 109-125 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki, Shuji Yamada Hideki Tsuiki, Shuji Yamada Hideki Tsuiki, Shuji Yamada On Finite-time Computability Preserving Conversions On Finite-time Computability Preserving Conversions On Finite-time Computability Preserving Conversions JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 15, 6, 1365-1380 JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 15, 6, 1365-1380 JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 15, 6, 1365-1380 2009 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki, Shuji Yamada Hideki Tsuiki, Shuji Yamada Hideki Tsuiki, Shuji Yamada On Finite-time Computability Preserving Conversions On Finite-time Computability Preserving Conversions On Finite-time Computability Preserving Conversions Electronic Notes in Theoretical Computer Science, 221, C, 299-308 Electronic Notes in Theoretical Computer Science, 221, C, 299-308 Electronic Notes in Theoretical Computer Science, 221, C, 299-308 2008/12/25 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki, Yasunao Hattori Hideki Tsuiki, Yasunao Hattori Hideki Tsuiki, Yasunao Hattori Lawson topology of the space of formal balls and the hyperbolic topology Lawson topology of the space of formal balls and the hyperbolic topology Lawson topology of the space of formal balls and the hyperbolic topology THEORETICAL COMPUTER SCIENCE, 405, 1-2, 198-205 THEORETICAL COMPUTER SCIENCE, 405, 1-2, 198-205 THEORETICAL COMPUTER SCIENCE, 405, 1-2, 198-205 2008/10 Refereed English Research paper(scientific journal) Disclose to all
H. Tsuiki H. Tsuiki H. Tsuiki SUDOKU colorings of the hexagonal bipyramid fractal SUDOKU colorings of the hexagonal bipyramid fractal SUDOKU colorings of the hexagonal bipyramid fractal Lecture Notes in Computer Science, 4535, 224-235 Lecture Notes in Computer Science, 4535, 224-235 Lecture Notes in Computer Science, 4535, 224-235 2008 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Does it look square? Hexagonal Bipyramids, Triangular Antiprismoids, and their Fractals Does it look square? Hexagonal Bipyramids, Triangular Antiprismoids, and their Fractals Does it look square? Hexagonal Bipyramids, Triangular Antiprismoids, and their Fractals Conference Proceedings of Bridges Donostia. Mathematical Connection in Art, Music, and Science, Reza Sarhangi and Javier Barrallo, editors, Tarquin publications, 277-287 Conference Proceedings of Bridges Donostia. Mathematical Connection in Art, Music, and Science, Reza Sarhangi and Javier Barrallo, editors, Tarquin publications, 277-287 Conference Proceedings of Bridges Donostia. Mathematical Connection in Art, Music, and Science, Reza Sarhangi and Javier Barrallo, editors, Tarquin publications, 277-287 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Sugiyama, M, Hirowatari, E, Tsuiki, H, Yamamoto, A Sugiyama, M, Hirowatari, E, Tsuiki, H, Yamamoto, A Sugiyama, M, Hirowatari, E, Tsuiki, H, Yamamoto, A Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding Proceedings of LLLL 2006,31-37, JSAI , Tokyo Proceedings of LLLL 2006,31-37, JSAI , Tokyo Proceedings of LLLL 2006,31-37, JSAI , Tokyo 2006 Refereed English Research paper(international conference proceedings) Disclose to all
H Tsuiki H Tsuiki H Tsuiki Real number computation with committed choice logic programming languages Real number computation with committed choice logic programming languages Real number computation with committed choice logic programming languages JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 64, 1, 61-84 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 64, 1, 61-84 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 64, 1, 61-84 2005/07 Refereed English Research paper(scientific journal) Disclose to all
H. Tsuiki, K. Sugihara H. Tsuiki, K. Sugihara H. Tsuiki, K. Sugihara Streams with a bottom in functional languages Streams with a bottom in functional languages Streams with a bottom in functional languages Lecture Notes in Computer Science, 3444, 201-216 Lecture Notes in Computer Science, 3444, 201-216 Lecture Notes in Computer Science, 3444, 201-216 2005 Refereed English Research paper(international conference proceedings) Disclose to all
H Tsuiki H Tsuiki H Tsuiki Compact metric spaces as minimal-limit sets in domains of bottomed sequences Compact metric spaces as minimal-limit sets in domains of bottomed sequences Compact metric spaces as minimal-limit sets in domains of bottomed sequences MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 14, 6, 853-878 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 14, 6, 853-878 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 14, 6, 853-878 2004/12 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Dyadic subbases and efficiency properties of the induced {0,1,bot}^omega-representations Dyadic subbases and efficiency properties of the induced {0,1, ⊥}^ω representations Dyadic subbases and efficiency properties of the induced {0,1,bot}^omega-representations Topology Proceedings, 28, 2, 673-687 Topology Proceedings, 28, 2, 673-687 Topology Proceedings, 28, 2, 673-687 2004 Refereed English Research paper(scientific journal) Disclose to all
H Tsuiki H Tsuiki H Tsuiki A domain-theoretic semantics of lax generic ftmctions A domain-theoretic semantics of lax generic ftmctions A domain-theoretic semantics of lax generic ftmctions THEORETICAL COMPUTER SCIENCE, 294, 1-2, 307-331 THEORETICAL COMPUTER SCIENCE, 294, 1-2, 307-331 THEORETICAL COMPUTER SCIENCE, 294, 1-2, 307-331 2003/02 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Representations of complete uniform spaces via uniform domains Representations of complete uniform spaces via uniform domains Representations of complete uniform spaces via uniform domains Electronic Notes in Theoretical Computer Science, 66, 183-195 Electronic Notes in Theoretical Computer Science, 66, 183-195 Electronic Notes in Theoretical Computer Science, 66, 183-195 2002/07 Refereed English Research paper(international conference proceedings) Disclose to all
H Tsuiki H Tsuiki H Tsuiki Real number computation through Gray code embedding Real number computation through Gray code embedding Real number computation through Gray code embedding THEORETICAL COMPUTER SCIENCE, 284, 2, 467-485 THEORETICAL COMPUTER SCIENCE, 284, 2, 467-485 THEORETICAL COMPUTER SCIENCE, 284, 2, 467-485 2002/07 Refereed English Research paper(scientific journal) Disclose to all
立木 秀樹 立木 秀樹 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語) 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語) コンピュータソフトウェア, 18, 2, 282-295 コンピュータソフトウェア, 18, 2, 282-295 , 18, 2, 282-295 2001/03 Refereed Japanese Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Computational Dimension of Topological Spaces Computational Dimension of Topological Spaces Computational Dimension of Topological Spaces Computability and Complexity in Analysis 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers, LNCS 2064, 323-336 Computability and Complexity in Analysis 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers, LNCS 2064, 323-336 Computability and Complexity in Analysis 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers, LNCS 2064, 323-336 2001 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki A domain-theoretic semantics of lax generic functions A domain-theoretic semantics of lax generic functions A domain-theoretic semantics of lax generic functions Electronic Notes in Theoretical Computer Science, 29, 301-324 Electronic Notes in Theoretical Computer Science, 29, 301-324 Electronic Notes in Theoretical Computer Science, 29, 301-324 1999 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki A computationally adequate model for overloading via domain-valued functors A computationally adequate model for overloading via domain-valued functors A computationally adequate model for overloading via domain-valued functors Math. Struct in Comp. Science,8/,321-349 Math. Struct in Comp. Science,8/,321-349 Math. Struct in Comp. Science,8/,321-349 1998 Refereed English Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Currying multi methods in a merge calculus Currying multi methods in a merge calculus Currying multi methods in a merge calculus 2nd Int. Workshop on Functional and Logic Programming, World Scientific Publishing, 266-285 2nd Int. Workshop on Functional and Logic Programming, World Scientific Publishing, 266-285 2nd Int. Workshop on Functional and Logic Programming, World Scientific Publishing, 266-285 1996 Refereed English Research paper(international conference proceedings) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki A Normalizing Calculus with Overloading and Subtyping A Normalizing Calculus with Overloading and Subtyping A Normalizing Calculus with Overloading and Subtyping 2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295 2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295 2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295 1994 Refereed English Research paper(international conference proceedings) Disclose to all
H Tsuiki H Tsuiki H Tsuiki On typed calculi with a merge operator On typed calculi with a merge operator On typed calculi with a merge operator FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 880, 101-112 FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 880, 101-112 FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 880, 101-112 1994 Refereed English Research paper(scientific journal) Disclose to all
立木 秀樹 立木 秀樹 マージオペレータを持つレコード計算 マージオペレータを持つレコード計算 情報処理学会論文誌, 34, 5, 954-962 情報処理学会論文誌, 34, 5, 954-962 , 34, 5, 954-962 1993/05 Refereed Japanese Research paper(scientific journal) Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki A Record Calculus with a Merge Operator A Record Calculus with a Merge Operator A Record Calculus with a Merge Operator Ph. D. thesis, Keio University Ph. D. thesis, Keio University Ph. D. thesis, Keio University 1993 English Doctoral Thesis Disclose to all
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki A Reflective Domain Construction for Type Inheritance and Higher-order Generics A Reflective Domain Construction for Type Inheritance and Higher-order Generics A Reflective Domain Construction for Type Inheritance and Higher-order Generics Advances in Software Science and Technology, 4/,151-162 Advances in Software Science and Technology, 4/,151-162 Advances in Software Science and Technology, 4/,151-162 1992 Refereed English Research paper(scientific journal) Disclose to all
Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Overview of GMW+Wnn System Overview of GMW+Wnn System Overview of GMW+Wnn System Advances in Software Science and Technology, 1/,133-156 Advances in Software Science and Technology, 1/,133-156 Advances in Software Science and Technology, 1/,133-156 1989 Refereed English Research paper(scientific journal) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
立木 秀樹 立木 秀樹 エレガントな解答をもとむ(解答) エレガントな解答をもとむ(解答) 数学セミナー, 日本評論社, 80-85 数学セミナー, 日本評論社, 80-85 , 80-85 2021/06 Disclose to all
立木 秀樹 立木 秀樹 エレガントな解答をもとむ(出題) エレガントな解答をもとむ(出題) 数学セミナー, 日本評論社, 6-6 数学セミナー, 日本評論社, 6-6 , 6-6 2021/03 Disclose to all
立木 秀樹 立木 秀樹 数学教室だより:アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」 数学教室だより:アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」 数学通信, 25, 3, 41-47 数学通信, 25, 3, 41-47 , 25, 3, 41-47 2020/11 Disclose to all
Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, Hideki Tsuiki Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, Hideki Tsuiki Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, Hideki Tsuiki Preface to the special issue: Computing with infinite data: topological and logical foundations Preface to the special issue: Computing with infinite data: topological and logical foundations Preface to the special issue: Computing with infinite data: topological and logical foundations MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 7, 1463-1465 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 7, 1463-1465 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 7, 1463-1465 2015/10 English Other Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
Combining partial maps into a correct total map through program extraction[Invited] Combining partial maps into a correct total map through program extraction [Invited] Combining partial maps into a correct total map through program extraction [Invited] CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms 2020/09/01 Oral presentation(invited, special) Disclose to all
Partial program extractions in IFP[Invited] Partial program extractions in IFP [Invited] Mathematical Logic and Constructivity Mathematical Logic and Constructivity 2019/08/21 Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 すべての人のための Java プログラミング 第3版 すべての人のための Java プログラミング 第3版 共立出版 共立出版 2017/09 Disclose to all
立木 秀樹 立木 秀樹 イマジナリーキューブ・パズル 3H=6T イマジナリーキューブ・パズル 3H=6T 京都大学総合博物館ミュゼップ 京都大学総合博物館ミュゼップ 2012/04 Disclose to all
立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング 共立出版 共立出版 共立出版 2000/10 English Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
情報処理学会山下記念研究賞 IPSJ Yamashita SIG Research Award 情報処理学会 Information Processing Society of Japan 1994
Newspaper articles
Title Media name Column name Date
木製パズル --- 京都大 日本経済新聞 キャンパス発この一品 2018/01/31
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
基盤研究(C) Representative 実数のグレイコード表現とそれにより導かれる計算構造の研究 Gray-code representation of real number and the induced computability structure 2003-2006
基盤研究(C) Representative 不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究 Research on computable structures of continuous spaces like the real number through representation in bottomed sequences 2006-2009
基盤研究(C) Assignment 距離空間の計算構造と次元及び解析集合論的複雑性の研究( 2008より連携研究者) 2007-2009
基盤研究(A) Assignment 離散値・数値混用データからの閉集合を利用した知識発見方式 2010-2013
基盤研究(C) Representative 表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究 2010/10/20-2015/03/31
基盤研究 (C) Representative 空間の近似のなす組合せ的構造とそれに基づく計算 2015/04/01-2020/03/31
基盤研究(C) Representative 空間の近似のなす組合せ的構造とそれに基づく計算 (2020年度分) 2020/04/01-2021/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
数理論理学B Mathematical Logic B 後期 全学共通科目 2011/04-2012/03
情報科学A Information Sciences A 前期 全学共通科目 2011/04-2012/03
プログラミングの基礎II Fundamentals of Programming II 前期 全学共通科目 2011/04-2012/03
数学とプログラミング Mathematics and Programming 後期 全学共通科目 2011/04-2012/03
計算と位相 前期 総合人間学部 2011/04-2012/03
数理科学論講究 通年集中 総合人間学部 2011/04-2012/03
情報科学B Information Sciences B 後期 全学共通科目 2011/04-2012/03
言語・数理情報科学入門 前期 総合人間学部 2011/04-2012/03
情報基礎論2 後期 人間・環境学研究科 2011/04-2012/03
情報基礎論1 前期 人間・環境学研究科 2011/04-2012/03
数理情報論演習2 後期 人間・環境学研究科 2011/04-2012/03
数理情報論演習1 前期 人間・環境学研究科 2011/04-2012/03
プログラミングの基礎II Fundamentals of Programming II 前期 全学共通科目 2012/04-2013/03
情報科学A Information Sciences A 前期 全学共通科目 2012/04-2013/03
数学とプログラミング Mathematics and Programming 後期 全学共通科目 2012/04-2013/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2012/04-2013/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2012/04-2013/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2012/04-2013/03
計算論 Computational Theory 前期 総合人間学部 2012/04-2013/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2013/04-2014/03
計算と位相 Topology and Computation 前期 総合人間学部 2013/04-2014/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2013/04-2014/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2013/04-2014/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2013/04-2014/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2013/04-2014/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2013/04-2014/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2013/04-2014/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2013/04-2014/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2013/04-2014/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2013/04-2014/03
情報の科学(全学向) Information Science(General) 前期 全学共通科目 2013/04-2014/03
プログラミング演習(数学への応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2013/04-2014/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2013/04-2014/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2014/04-2015/03
計算論 Computational Theory 前期 総合人間学部 2014/04-2015/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2014/04-2015/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2014/04-2015/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2014/04-2015/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2014/04-2015/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2014/04-2015/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2014/04-2015/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2014/04-2015/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2014/04-2015/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2014/04-2015/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2014/04-2015/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2014/04-2015/03
情報の科学(全学向) Information Science(General) 前期 全学共通科目 2014/04-2015/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2014/04-2015/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2014/04-2015/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2015/04-2016/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2015/04-2016/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2015/04-2016/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2015/04-2016/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2015/04-2016/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2015/04-2016/03
情報の科学(全学向) Information Science(General) 前期 全学共通科目 2015/04-2016/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2015/04-2016/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2015/04-2016/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2015/04-2016/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2015/04-2016/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2015/04-2016/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2015/04-2016/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2015/04-2016/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2015/04-2016/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2015/04-2016/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2015/04-2016/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2015/04-2016/03
計算と位相 Topology and Computation 前期 総合人間学部 2015/04-2016/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2016/04-2017/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2016/04-2017/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2016/04-2017/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2016/04-2017/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2016/04-2017/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2016/04-2017/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2016/04-2017/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2016/04-2017/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2016/04-2017/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2016/04-2017/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2016/04-2017/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2016/04-2017/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2016/04-2017/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2016/04-2017/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2016/04-2017/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2016/04-2017/03
計算基礎論1 Foundation of Computation 1 前期 人間・環境学研究科 2016/04-2017/03
計算論 Computational Theory 前期 総合人間学部 2016/04-2017/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2017/04-2018/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2017/04-2018/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2017/04-2018/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2017/04-2018/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2017/04-2018/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2017/04-2018/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2017/04-2018/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2017/04-2018/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2017/04-2018/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2017/04-2018/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2017/04-2018/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2017/04-2018/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2017/04-2018/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2017/04-2018/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2017/04-2018/03
計算と位相 Topology and Computation 前期 総合人間学部 2017/04-2018/03
計算基礎論2 Foundation of Computation 2 前期 人間・環境学研究科 2017/04-2018/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2018/04-2019/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2018/04-2019/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2018/04-2019/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2018/04-2019/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2018/04-2019/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2018/04-2019/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2018/04-2019/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2018/04-2019/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2018/04-2019/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2018/04-2019/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2018/04-2019/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2018/04-2019/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2018/04-2019/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2018/04-2019/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2018/04-2019/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2018/04-2019/03
計算基礎論1 Foundation of Computation 1 前期 人間・環境学研究科 2018/04-2019/03
計算論 Computational Theory 前期 総合人間学部 2018/04-2019/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2019/04-2020/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2019/04-2020/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2019/04-2020/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2019/04-2020/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2019/04-2020/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2019/04-2020/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2019/04-2020/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2019/04-2020/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2019/04-2020/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2019/04-2020/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2019/04-2020/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2019/04-2020/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2019/04-2020/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2019/04-2020/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2019/04-2020/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2019/04-2020/03
計算と位相 Topology and Computation 前期 総合人間学部 2019/04-2020/03
計算基礎論2 Foundation of Computation 2 前期 人間・環境学研究科 2019/04-2020/03
共生人間学特別研究II(博士科目) Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2020/04-2021/03
共生人間学特別研究I(博士科目) Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2020/04-2021/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2020/04-2021/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2020/04-2021/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2020/04-2021/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2020/04-2021/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2020/04-2021/03
数理情報論特別演習2(博士科目) Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2020/04-2021/03
数理情報論特別演習1(博士科目) Special seminar on mathematics informatics1 前期 人間・環境学研究科 2020/04-2021/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2020/04-2021/03
数理科学特別セミナー(博士科目) Special seminar on mathematical science 通年 人間・環境学研究科 2020/04-2021/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2020/04-2021/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2020/04-2021/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2020/04-2021/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2020/04-2021/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2020/04-2021/03
計算基礎論1 Foundation of Computation 1 前期 人間・環境学研究科 2020/04-2021/03
計算論 Computational Theory 前期 総合人間学部 2020/04-2021/03
共生人間学特別研究II(博士科目) Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2021/04-2022/03
共生人間学特別研究I(博士科目) Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2021/04-2022/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2021/04-2022/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2021/04-2022/03
情報基礎[全学向] Basic Informatics (General) 前期 全学共通科目 2021/04-2022/03
数理情報論入門 Introduction to Mathematical Information Science 前期 総合人間学部 2021/04-2022/03
数理情報論演習2A Exercises for Mathematical Informatics 2A 前期 人間・環境学研究科 2021/04-2022/03
数理情報論演習2B Exercises for Mathematical Informatics 2B 後期 人間・環境学研究科 2021/04-2022/03
数理情報論特別演習2(博士科目) Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2021/04-2022/03
数理情報論特別演習1(博士科目) Special seminar on mathematics informatics1 前期 人間・環境学研究科 2021/04-2022/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2021/04-2022/03
数理科学特別セミナー(博士科目) Special seminar on mathematical science 通年 人間・環境学研究科 2021/04-2022/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2021/04-2022/03
数理論理学B Mathematical Logic B 後期 全学共通科目 2021/04-2022/03
プログラミング演習(Java) Programming Practice (Java) 前期 全学共通科目 2021/04-2022/03
プログラミング演習(数理的応用) Programming Practice (Mathematical Applications) 後期 全学共通科目 2021/04-2022/03
計算と位相 Topology and Computation 前期 総合人間学部 2021/04-2022/03
計算基礎論2 Foundation of Computation 2 前期 人間・環境学研究科 2021/04-2022/03

  • <<
  • >>
Participation in PhD Defense
Acquirer Title Position Date
杉原 佳次 グレイコードの性質を用いた画像処理に関する研究  Sub 2007/03/23
MATTHEW DE BRECHT Topological and Algebraic Aspects of Algorithmic Learning Theory(計算理論的学習理論の位相的及び代数的な性質) Sub 2010/03/23
戸田 貴久 On Separation by Bipartitions and Related Geometric Problems(2分割による分離概念と関連する幾何問題について) Chief 2012/03/26
寺山 慧 Vision-based Measurement Methods for Schools of Fish and Analysis of their Behaviors(動画像処理に基づく魚群の計測手法と行動解析) Chief 2016/03/23
塚本 靖之 Strongly proper dyadic subbases and their domain theoretic properties(強整合的な二分的準開基とそのドメイン理論的性質) Chief 2016/03/23
末續 鴻輝 Multiplayer Games as Extension of Misere Games(逆形ゲームの拡張としての多人数ゲーム) Chief 2019/03/25
渡部 崇 Regret analysis of constrained irreducible MDPs with reset action(リセット行動が存在する制約付き既約MDPに対するリグレット解析) Sub 2020/03/23
School management (title, position)
Title Period
情報教育専門委員会 委員 2008/04/01-2009/03/31
Faculty management (title, position)
Title Period
人環フォーラム編集委員会委員 2014/04/01-2015/03/31
オープンキャンパス対応委員会委員 2014/04/01-2015/03/31
情報セキュリティー委員会委員 2014/04/01-2015/03/31
自己点検・評価委員会委員 2014/04/01-2015/03/31
講座分野責任者 2011/04/01-2012/03/31
講座教務委員 2012/04/01-2013/03/31
講座分野責任者 2012/04/01-2013/03/31
講座教務委員 2013/04/01-2014/03/31
講座分野責任者 2013/04/01-2014/03/31
講座分野責任者 2014/04/01-2015/03/31
オープンキャンパス対応委員会委員 2011/04/01-2012/03/31
自己点検・評価委員会委員 2013/04/01-2014/03/31
情報セキュリティ委員会委員 2011/04/01-2012/03/31
情報セキュリティ委員会委員 2012/04/01-2013/03/31
情報セキュリティ委員会委員 2013/04/01-2014/03/31
情報セキュリティ委員会委員 2014/04/01-2015/03/31
大学院教務委員会 2012/04/01-2013/03/31
大学院教務委員会副委員長 2013/04/01-2014/03/31
講座分野責任者 2016/04/01-2017/03/31
人事会議員 2016/04/01-2017/03/31
オープンキャンパス対応委員会委員 2016/04/01-2017/03/31
研究科・学部案内パンフレット、ホームページ委員 2016/04/01-2017/03/31
情報セキュリティ委員会委員 2016/04/01-2017/03/31
学部入試委員会委員 2017/04/01-2018/03/31
情報セキュリティ委員会委員 2017/04/01-2018/03/31
学部入試委員会委員 2018/04/01-2019/03/31
情報セキュリティ委員会委員 2018/04/01-2019/03/31
講座分野責任者 2018/04/01-2019/03/31
人事会議員 2019/04/01-2020/03/31
学部入試委員会副委員長 2019/04/01-2020/03/31
学部入試委員会特色入試委員長 2019/04/01-2020/03/31
情報セキュリティ委員会委員 2019/04/01-2020/03/31
講座分野責任者 2019/04/01-2020/03/31
学部入試委員会委員長 2020/04/01-2021/03/31
情報セキュリティ委員会委員 2020/04/01-2021/03/31
数理情報論分野講座分野責任者 2020/04/01-2021/03/31
数理科学講座講座主任 2021/04/01-2022/03/31
広報誌パンフレット小委員会副委員長 2021/04/01-2022/03/31
大学院入試委員会委員 2021/04/01-2022/03/31
情報セキュリティ委員会委員 2021/04/01-2022/03/31
研究科・学部運営会議委員 2021/04/01-2022/03/31
共生人間学専攻副専攻長 2021/04/01-2022/03/31

  • <<
  • >>
Other activities (awards)
Award name Organization name Date
京都大学アカデミックデイ賞:「ちゃぶ台囲んで膝詰め対話」 京都大学アカデミックデイ事務局 2019/09/15