立木 秀樹

最終更新日時: 2018/06/26 11:35:53

印刷する

氏名(漢字/フリガナ/アルファベット表記)
立木 秀樹/ツイキ ヒデキ/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
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
理学修士 京都大学
博士(理学) 慶應義塾大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 大学院理学研究科修士課程数理解析専攻 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 理学部 卒業
プロフィール
(日本語)
計算と数学の境界分野において、数学の中に現れる計算的な現象について、および、計算機科学の基礎となる数学についての研究を行っている。計算機科学における計算が止まらないという概念と、数学における位相空間論、力学系、フラクタルなどとの関係に興味がある。このような理論的な研究に加えて、立体図形に関する研究も行っている。
(英語)
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) コード
英語
個人ホームページ
URL
http://www.i.h.kyoto-u.ac.jp/~tsuiki
researchmap URL
https://researchmap.jp/read0181216
研究テーマ
(日本語)
理論計算機科学
(英語)
Theoretical Computer Science
研究概要
(日本語)
計算機科学において、計算が止まらないということを示すボトムという概念がある。一方で、位相構造を持った空間について考える時には、境界が基本概念となる。この両者の関係について調べることにより、位相構造を持ったものの上に計算概念を拡張する、あるいは、計算的な考え方との関係で、位相、力学系、フラクタルなどの構造について調べることを、研究の柱としている。
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
計算機科学 Computer Science
プログラミング言語理論 programming language theory
計算可能性解析学 Computable Analysis
位相空間論 general topology
力学系 dynamical systems
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
立木 秀樹 立木 秀樹 TSUIKI Hideki 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 英語 研究論文(国際会議プロシーディングス) 公開
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 公開
Berger, U., Miyamoto, K., Schwichtenberg, H., Tsuiki, H., Berger, U., Miyamoto, K., Schwichtenberg, H., Tsuiki, H., Berger, U., Miyamoto, K., Schwichtenberg, H., Tsuiki, H., Logic for Gray-code computation Logic for Gray-code computation Logic for Gray-code computation Concepts of Proof in Mathematics, Philosophy and Computer Science, 69-110 Concepts of Proof in Mathematics, Philosophy and Computer Science, 69-110 Concepts of Proof in Mathematics, Philosophy and Computer Science, 69-110 2016 英語 研究論文(学術雑誌) 公開
Tsuiki H., Tsukamoto Y. Tsuiki H., Tsukamoto Y. Hideki Tsuiki, Yasuyuki Tsukamoto 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 Logical Methods in Computer Science, 11, 1 Logical Methods in Computer Science, 11, 1 2015 英語 研究論文(学術雑誌) 公開
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 - 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers, 265-276 Discrete and Computational Geometry and Graphs - 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers, 265-276 Discrete and Computational Geometry and Graphs - 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers, 265-276 2015 公開
Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Hideki Tsuiki, Yasuyuki Tsukamoto Imaginary Hypercubes Imaginary Hypercubes Imaginary Hypercubes Lecture Notes in Computer Science, 8845, 173-184 Lecture Notes in Computer Science, 8845, 173-184 Lecture Notes in Computer Science, 8845, 173-184 2014 英語 研究論文(国際会議プロシーディングス) 公開
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 - 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 英語 研究論文(学術雑誌) 公開
K. Terayama; H. Tsuiki K. Terayama; H. Tsuiki K. Terayama; H. 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 英語 研究論文(国際会議プロシーディングス) 公開
H. Tsuiki H. Tsuiki H. 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 英語 研究論文(学術雑誌) 公開
H. Tsuiki; Y. Yokota H. Tsuiki; Y. Yokota H. Tsuiki; Y. 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 英語 研究論文(学術雑誌) 公開
H. Tsuiki H. Tsuiki H. 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 英語 研究論文(学術雑誌) 公開
H. Ohta; H. Tsuiki; S. Yamada H. Ohta; H. Tsuiki; S. Yamada H. Ohta; H. Tsuiki; S. 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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, 315-329 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6331, 315-329 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6331, 315-329 2010 英語 研究論文(国際会議プロシーディングス) 公開
Y. Hattori; H. Tsuiki Y. Hattori; H. Tsuiki Y. Hattori; H. 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 その他外国語 研究論文(学術雑誌) 公開
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, and Hideki Tsuiki Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, and Hideki Tsuiki Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, and 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 英語 研究論文(国際会議プロシーディングス) 公開
S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura and M. mitsunaga S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura and M. mitsunaga S. Sakai, M. onishi, M. Nakamura, I. Iizawa, H. Tsuiki, N. Nomura and 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 英語 研究論文(国際会議プロシーディングス) 公開
H. Tsuiki; S. Yamada H. Tsuiki; S. Yamada H. Tsuiki; S. 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 英語 研究論文(学術雑誌) 公開
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, 109-125 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5489, 109-125 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5489, 109-125 2009 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
H. Tsuiki; S. Yamada H. Tsuiki; S. Yamada H. Tsuiki; S. 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 英語 研究論文(国際会議プロシーディングス) 公開
H. Tsuiki; Y. Hattori H. Tsuiki; Y. Hattori H. Tsuiki; Y. 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 英語 研究論文(学術雑誌) 公開
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., and Yamamoto, A. Sugiyama, M., Hirowatari, E., Tsuiki, H., and Yamamoto, A. Sugiyama, M., Hirowatari, E., Tsuiki, H., and 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; 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 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
Hideki Tsuiki Hideki Tsuiki Hideki 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 英語 研究論文(学術雑誌) 公開
H. Tsuiki H. Tsuiki H. 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 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
H. Tsuiki H. Tsuiki H. 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 英語 研究論文(国際会議プロシーディングス) 公開
立木 秀樹 立木 秀樹 立木 秀樹 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語) 実数計算の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 英語 研究論文(国際会議プロシーディングス) 公開
H. Tsuiki H. Tsuiki H. 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 英語 研究論文(国際会議プロシーディングス) 公開
Tsuiki, H; Thiagarajan, PS Tsuiki, H; Thiagarajan, PS Tsuiki, H; Thiagarajan, PS 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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
立木 秀樹 立木 秀樹 立木 秀樹 マージオペレータを持つレコード計算 マージオペレータを持つレコード計算 マージオペレータを持つレコード計算 情報処理学会論文誌, 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 英語 研究論文(学術雑誌) 公開
KATO, D; KIKUCHI, T; NAKAJIMA, R; SAWADA, J; TSUIKI, H KATO, D; KIKUCHI, T; NAKAJIMA, R; SAWADA, J; TSUIKI, H KATO, D; KIKUCHI, T; NAKAJIMA, R; SAWADA, J; TSUIKI, H MODAL LOGIC PROGRAMMING MODAL LOGIC PROGRAMMING MODAL LOGIC PROGRAMMING LECTURE NOTES IN COMPUTER SCIENCE, 428, 29-40 LECTURE NOTES IN COMPUTER SCIENCE, 428, 29-40 LECTURE NOTES IN COMPUTER SCIENCE, 428, 29-40 1990 日本語 研究論文(国際会議プロシーディングス) 公開
Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and 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 英語 研究論文(学術雑誌) 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Domains with recursive structures representing a space[招待あり] Domains with recursive structures representing a space [招待あり] Domains with recursive structures representing a space [招待あり] 1st Pan Pacific International Conference on Topology and Applications 1st Pan Pacific International Conference on Topology and Applications 2015/11/28 英語 口頭発表(招待・特別) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
立木 秀樹,有賀 妙子 立木 秀樹,有賀 妙子 立木 秀樹,有賀 妙子 すべての人のための Java プログラミング 第3版 すべての人のための Java プログラミング 第3版 すべての人のための Java プログラミング 第3版 共立出版 共立出版 共立出版 2017/09 公開
立木 秀樹 立木 秀樹 立木 秀樹 イマジナリーキューブ・パズル 3H=6T イマジナリーキューブ・パズル 3H=6T イマジナリーキューブ・パズル 3H=6T 京都大学総合博物館ミュゼップ 京都大学総合博物館ミュゼップ 京都大学総合博物館ミュゼップ 2012/04 公開
立木 秀樹,有賀 妙子 立木 秀樹,有賀 妙子 立木 秀樹,有賀 妙子 すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング すべての人のためのJavaプログラミング 共立出版 共立出版 共立出版 2000/10 英語 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
情報処理学会山下記念研究賞 IPSJ Yamashita SIG Research Award 情報処理学会 Information Processing Society of Japan 1994
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(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) 代表 空間の近似のなす組合せ的構造とそれに基づく計算 (平成27年度分) 2015/04/01〜2016/03/31
基盤研究(C) 代表 空間の近似のなす組合せ的構造とそれに基づく計算 (平成28年度分) 2016/04/01〜2017/03/31
基盤研究(C) 代表 空間の近似のなす組合せ的構造とそれに基づく計算 (平成29年度分) 2017/04/01〜2018/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

  • <<
  • >>
  • 表示
博士学位審査
学位取得者名 学位論文タイトル 役割 年月
杉原 佳次 グレイコードの性質を用いた画像処理に関する研究  副査 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

  • <<
  • >>
  • 表示
その他活動:講演歴
会合名 講演タイトル 年月
平成22年度人間・環境学研究科公開講座『境界を科学する』 0と1との境界 2011/02/15
平成23年度京都大学春秋講義 Imaginary Cubeのおもてとうら 2011/04/11
京都大学公開講座「進化とは何か?」 京都大学総合博物館 Imaginary Cube とその展開 2009/10/18
平成20年度人間・環境学研究科公開講座『虚実の世界』 Imaginary Cubes ―立体図形を用いたオブジェたち 2009/02/18
形の科学会、形シューレ講演会『多次元のかたちを考える』 四角く見えますか?--立体フラクタルとその射影 2008/01/05
平成15年度人間/環境学研究科公開講座「脳とこころ」 コンピュータと心 2004/02/17
総合人間学部創立十周年記念公開シンポジウム 計算論的世界観 2003/04/24
OR学会関西支部講演会 イマジナリーキューブ・パズル 2012/11/15
京都市総合教育センター, 平成25年度近畿地区教育研究(修)所連盟教科等部会B分科会 理数教育の楽しさをいかに伝えるか 2013/10/04
大阪府立大学公開セミナー イマジナリーキューブパズル 2014/11/15
数学教育協議会第22回全国高校研究集会 数学を楽しむ心を育てる(招待講演) 2016/03/26
岩手県高等学校教育研究会数学部会研究発表大会 イマジナリーキューブ(招待講演) 2016/09/09
ノートルダム女子大学,公開講座 立体パズルや工作の中で数学に出会う 2016/06/11

  • <<
  • >>
  • 表示