立木 秀樹

最終更新日時: 2021/09/02 12:14:04

印刷する

氏名(漢字/フリガナ/アルファベット表記)
立木 秀樹/ツイキ ヒデキ/Tsuiki, Hideki
所属部署・職名(部局/所属/講座等/職名)
人間・環境学研究科/共生人間学専攻数理科学講座/教授
学部兼担
部局 所属 講座等 職名
総合人間学部
連絡先住所
種別 住所(日本語) 住所(英語)
職場 606-8501 京都市左京区吉田二本松町 606-8501, Sakyo-ku, Kyoto, Japan
所属学会(国内)
学会名(日本語) 学会名(英語)
ソフトウエア科学会 Japan Society for Software Science and Technology
日本数学会 The Mathematical Society of Japan
形の科学会 Society for Science on Form
情報処理学会 Information Processing Society of Japan
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
理学修士 京都大学
博士(理学) 慶應義塾大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 大学院理学研究科修士課程数理解析専攻 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 理学部 卒業
プロフィール
(日本語)
計算と数学の境界分野において、数学の中に現れる計算的な現象について、および、計算機科学の基礎となる数学についての研究を行っている。計算機科学における計算が止まらないという概念と、数理論理学,そして,数学における位相空間論、力学系、フラクタルなどとの関係に興味がある。このような理論的な研究に加えて、立体図形に関する研究も行っている。
(英語)
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.
使用言語
言語名(japanese) 言語名(english) コード
英語 English eng
個人ホームページ
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
研究テーマ
(日本語)
理論計算機科学
(英語)
Theoretical Computer Science
研究概要
(日本語)
計算機科学において、計算が止まらないということを示すボトムという概念がある。一方で、位相構造を持った空間について考える時には、境界が基本概念となる。この両者の関係について調べることにより、位相構造を持ったものの上に計算概念を拡張する、あるいは、計算的な考え方との関係で、位相、力学系、フラクタルなどの構造について調べることを、研究の柱としている。
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
計算機科学 Computer Science
プログラミング言語理論 programming language theory
計算可能性解析学 Computable Analysis
位相空間論 general topology
力学系 dynamical systems
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
Hideki Tsuiki Hideki Tsuiki Hideki Tsuiki Dyadic subbases and efficiency properties of the induced {0,1, ⊥}^ω 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
立木 秀樹 立木 秀樹 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語) 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語) コンピュータソフトウェア, 18, 2, 282-295 コンピュータソフトウェア, 18, 2, 282-295 , 18, 2, 282-295 2001/03 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
立木 秀樹 立木 秀樹 マージオペレータを持つレコード計算 マージオペレータを持つレコード計算 情報処理学会論文誌, 34, 5, 954-962 情報処理学会論文誌, 34, 5, 954-962 , 34, 5, 954-962 1993/05 日本語 研究論文(学術雑誌) 公開
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 英語 学位論文(博士) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
立木 秀樹 立木 秀樹 エレガントな解答をもとむ(解答) エレガントな解答をもとむ(解答) 数学セミナー, 日本評論社, 80-85 数学セミナー, 日本評論社, 80-85 , 80-85 2021/06 公開
立木 秀樹 立木 秀樹 エレガントな解答をもとむ(出題) エレガントな解答をもとむ(出題) 数学セミナー, 日本評論社, 6-6 数学セミナー, 日本評論社, 6-6 , 6-6 2021/03 公開
立木 秀樹 立木 秀樹 数学教室だより:アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」 数学教室だより:アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」 数学通信, 25, 3, 41-47 数学通信, 25, 3, 41-47 , 25, 3, 41-47 2020/11 公開
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 英語 その他記事 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
Combining partial maps into a correct total map through program extraction[招待あり] Combining partial maps into a correct total map through program extraction [招待あり] Combining partial maps into a correct total map through program extraction [招待あり] 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 口頭発表(招待・特別) 公開
Partial program extractions in IFP[招待あり] Partial program extractions in IFP [招待あり] Mathematical Logic and Constructivity Mathematical Logic and Constructivity 2019/08/21 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 すべての人のための Java プログラミング 第3版 すべての人のための Java プログラミング 第3版 共立出版 共立出版 2017/09 公開
立木 秀樹 立木 秀樹 イマジナリーキューブ・パズル 3H=6T イマジナリーキューブ・パズル 3H=6T 京都大学総合博物館ミュゼップ 京都大学総合博物館ミュゼップ 2012/04 公開
立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 立木 秀樹, 有賀 妙子 すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング 共立出版 共立出版 共立出版 2000/10 英語 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
情報処理学会山下記念研究賞 IPSJ Yamashita SIG Research Award 情報処理学会 Information Processing Society of Japan 1994
記事報道
発表タイトル メディア名 掲載欄/番組名 年月日
木製パズル --- 京都大 日本経済新聞 キャンパス発この一品 2018/01/31
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(C) 代表 実数のグレイコード表現とそれにより導かれる計算構造の研究 Gray-code representation of real number and the induced computability structure 2003〜2006
基盤研究(C) 代表 不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究 Research on computable structures of continuous spaces like the real number through representation in bottomed sequences 2006〜2009
基盤研究(C) 分担 距離空間の計算構造と次元及び解析集合論的複雑性の研究( 2008より連携研究者) 2007〜2009
基盤研究(A) 分担 離散値・数値混用データからの閉集合を利用した知識発見方式 2010〜2013
基盤研究(C) 代表 表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究 2010/10/20〜2015/03/31
基盤研究 (C) 代表 空間の近似のなす組合せ的構造とそれに基づく計算 2015/04/01〜2020/03/31
基盤研究(C) 代表 空間の近似のなす組合せ的構造とそれに基づく計算 (2020年度分) 2020/04/01〜2021/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
数理論理学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

  • <<
  • >>
  • 表示
博士学位審査
学位取得者名 学位論文タイトル 役割 年月
杉原 佳次 グレイコードの性質を用いた画像処理に関する研究  副査 2007/03/23
MATTHEW DE BRECHT Topological and Algebraic Aspects of Algorithmic Learning Theory(計算理論的学習理論の位相的及び代数的な性質) 副査 2010/03/23
戸田 貴久 On Separation by Bipartitions and Related Geometric Problems(2分割による分離概念と関連する幾何問題について) 主査 2012/03/26
寺山 慧 Vision-based Measurement Methods for Schools of Fish and Analysis of their Behaviors(動画像処理に基づく魚群の計測手法と行動解析) 主査 2016/03/23
塚本 靖之 Strongly proper dyadic subbases and their domain theoretic properties(強整合的な二分的準開基とそのドメイン理論的性質) 主査 2016/03/23
末續 鴻輝 Multiplayer Games as Extension of Misere Games(逆形ゲームの拡張としての多人数ゲーム) 主査 2019/03/25
渡部 崇 Regret analysis of constrained irreducible MDPs with reset action(リセット行動が存在する制約付き既約MDPに対するリグレット解析) 副査 2020/03/23
全学運営(役職等)
役職名 期間
情報教育専門委員会 委員 2008/04/01〜2009/03/31
部局運営(役職等)
役職名 期間
人環フォーラム編集委員会委員 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

  • <<
  • >>
  • 表示
その他活動:各種受賞歴
賞の名称 授与組織名 年月
京都大学アカデミックデイ賞:「ちゃぶ台囲んで膝詰め対話」 京都大学アカデミックデイ事務局 2019/09/15