Basic Information

Faculty

• 総合人間学部

Concurrent Affiliation

• Graduate School of Human and Environmental Studies, 共生人間学専攻数理科学講座, 教授

Professional Memberships

• 形の科学会
• 日本数学会
• ソフトウエア科学会
• 情報処理学会

Academic Degree

• 理学修士(京都大学)
• 博士（理学）(慶應義塾大学)

Academic Resume (Graduate Schools)

• 京都大学, 大学院理学研究科修士課程数理解析専攻, 修了

Academic Resume (Undergraduate School/Majors)

• 京都大学, 理学部, 卒業

Research History

• From 1998, To 2003

  京都大学総合人間学部助教授
• From 1997, To 1998

  Kyoto Sangyo University, Faculty of Science
• From 1997, To 1998

  Kyoto Sangyo Univevsity, Faculty of Science, Associate Professon.
• From 1994, To 1997

  Kyoto Sangyo University, Faculty of Science
• From 1994, To 1997

  Kyoto Sangyo University, Faculty of Science, Lecturer.
• From 1990, To 1994

  Keio University, Faculty of Environment and Information Studies
• From 1990, To 1994

  Keio University, Faculty of Environmental Information, Research Assistont
• From 1988, To 1990

  Kyoto University, Research Institute for Mathematical Sciences
• From 1988, To 1990

  Kyoto University. Research Institute for Mathematial Science, Research Assistant

Language of Instruction

• English

ID,URL

• ORCID ID

  0000-0003-0854-948X

• J-Global ID

  200901037433304682

• External link

  http://www.i.h.kyoto-u.ac.jp/~tsuiki

Website(s) (URL(s))

• http://www.i.h.kyoto-u.ac.jp/~tsuiki

researchmap URL

• https://researchmap.jp/read0181216

Research

Research Topics, Overview of the research

• Research Topics

  Theoretical Computer Science

• Overview of the research

  計算機科学において、計算が止まらないということを示すボトムという概念がある。一方で、位相構造を持った空間について考える時には、境界が基本概念となる。この両者の関係について調べることにより、位相構造を持ったものの上に計算概念を拡張する、あるいは、計算的な考え方との関係で、位相、力学系、フラクタルなどの構造について調べることを、研究の柱としている。

Research Interests

• 計算機科学
• Computer Science

Research Areas

• Informatics, Information theory

Papers

• On finite-time computability preserving conversions

  Hideki Tsuiki; Shuji Yamada

  Journal of Universal Computer Science, 2009

  
• Strong properness of dyadic subbases

  Yasuyuki Tsukamoto; Hideki Tsuiki

  CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 2014

  
• Constructing Sierpinski Tetrahedrons from Connector Pieces

  Hideki Tsuiki

  Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture, Jul. 2023, Peer-reviewed

  
• Concurrent Gaussian Elimination

  Ulrich Berger; Monika Seisenberger; Dieter Spreen; Hideki Tsuiki

  Mathematics for Computation (M4C), 02 Apr. 2023

  
• Extracting total Amb programs from proofs

  Ulrich Berger; Hideki Tsuiki

  Programming Languages and Systems, 29 Mar. 2022

  Access this paper :

  
• A Denotational Model of Type Inheritance and Higherorder Generics.

  Hideki Tsuiki

  コンピュータ ソフトウェア, Oct. 1990

  
• MODAL LOGIC PROGRAMMING

  D KATO; T KIKUCHI; R NAKAJIMA; J SAWADA; H TSUIKI

  LECTURE NOTES IN COMPUTER SCIENCE, 1990, Peer-reviewed

  
• Intuitionistic fixed point logic

  Ulrich Berger; Hideki Tsuiki

  Annals of Pure and Applied Logic, Mar. 2021, Peer-reviewed

  
• Augmented Reality for Zome Construction

  Gouta Hayashi; Hideki Tsuiki

  Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture, 2020, Peer-reviewed

  
• Prawf: An Interactive Proof System for Program Extraction

  Ulrich Berger; Olga Petrovska; Hideki Tsuiki

  Proceedings, Conference on Computability in Europe, LNCS 12098, 2020, Peer-reviewed

  
• On the complexity of lattice puzzles

  Yasuaki Kobayashi; Koki Suetsugu; Hideki Tsuiki; Ryuhei Uehara

  Leibniz International Proceedings in Informatics, LIPIcs, Dec. 2019, Peer-reviewed

  
• Properties of domain representations of spaces through dyadic subbases

  Yasuyuki Tsukamoto; Hideki Tsuiki

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Dec. 2017, Peer-reviewed

  
• Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb

  Hideki Tsuiki

  Conference Proceedings of Bridges, 2017, Peer-reviewed

  
• Logic for Gray-code Computation

  Ulrich Berger; Kenji Miyamoto; Helmut Schwichtenberg; Hideki Tsuiki

  CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, Peer-reviewed

  
• Sudoku Colorings of a 16-Cell Pre-fractal

  Hideki Tsuiki; Yasuyuki Tsukamoto

  DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015, 2016, Peer-reviewed

  
• DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES

  Iiideki Tsuiki; Yasuyuki Tsijkamoto

  LOGICAL METHODS IN COMPUTER SCIENCE, 2015, Peer-reviewed

  
• Imaginary Hypercubes

  Hideki Tsuiki; Yasuyuki Tsukamoto

  DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013, 2014, Peer-reviewed

  
• A stream calculus of bottomed sequences for real number computation

  Kei Terayama; Hideki Tsuiki

  Electronic Notes in Theoretical Computer Science, 04 Nov. 2013, Peer-reviewed

  
• Learning figures with the Hausdorff metric by fractals-towards computable binary classification

  Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto

  MACHINE LEARNING, Jan. 2013, Peer-reviewed

  
• Imaginary cubes and their puzzles

  Hideki Tsuiki

  Algorithms, Jun. 2012, Peer-reviewed

  
• Unimodal maps as boundary restrictions of two-dimensional full-folding maps

  Hideki Tsuiki

  TOPOLOGY AND ITS APPLICATIONS, Mar. 2012, Peer-reviewed

  
• Enumerating 3D-Sudoku solutions over cubic prefractal objects

  Hideki Tsuiki; Yohei Yokota

  Journal of Information Processing, 2012, Peer-reviewed

  
• Independent subbases and non-redundant codings of separable metrizable spaces

  Haruto Ohta; Hideki Tsuiki; Shuji Yamada

  TOPOLOGY AND ITS APPLICATIONS, Jan. 2011, Peer-reviewed

  
• Independent Subbases of the Sierpinski Gasket (Research on general and geometric topology and related topics)

  TSUIKI; HIDEKI; YAMADA, SHUJI

  数理解析研究所講究録, Apr. 2010

  Access this paper :

  
• Imaginary Cubes-Objects with Three Square Projection Images

  Hideki Tsuiki

  Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 2010, Peer-reviewed

  
• Hyperbolic topology of normed linear spaces

  Yasunao Hattori; Hideki Tsuiki

  TOPOLOGY AND ITS APPLICATIONS, Jan. 2010, Peer-reviewed

  
• Learning Figures with the Hausdorff Metric by Fractals

  Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto

  ALGORITHMIC LEARNING THEORY, ALT 2010, 2010, Peer-reviewed

  
• Fractal dimension of trees and turbulent transfer of heat and moisture

  S. Sakai; M. Onishi; M. Nakamura; I. Iizawa; H. Tsuiki; N. Nomura; M. Mitsunaga

  TURBULENCE, HEAT AND MASS TRANSFER 6, 2009, Peer-reviewed

  
• Random Iteration Algorithm for Graph-Directed Sets

  Yoshiki Tsujii; Takakazu Mori; Mariko Yasugi; Hideki Tsuiki

  6th International Conference on Computability and Complexity in Analysis Proceedings, Schloss Dagstuhl - Leibniz Center for Informatics., 2009, Peer-reviewed

  
• Fine-continuous function and fractals defined by infinite system of contractions

  Yoshiki Tsujii; Takakazu Mori; Mariko Yasugi; Hideki Tsuiki

  INFINITY IN LOGIC AND COMPUTATION, 2009, Peer-reviewed

  
• On Finite-time Computability Preserving Conversions

  Hideki Tsuiki; Shuji Yamada

  JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, Peer-reviewed

  
• On Finite-time Computability Preserving Conversions

  Hideki Tsuiki; Shuji Yamada

  Electronic Notes in Theoretical Computer Science, 25 Dec. 2008, Peer-reviewed

  
• Lawson topology of the space of formal balls and the hyperbolic topology

  Hideki Tsuiki; Yasunao Hattori

  THEORETICAL COMPUTER SCIENCE, Oct. 2008, Peer-reviewed

  
• SUDOKU Colorings of the Hexagonal Bipyramid Fractal

  Hideki Tsuiki

  COMPUTATIONAL GEOMETRY AND GRAPH THEORY, 2008, Peer-reviewed

  
• Does it look square? Hexagonal Bipyramids, Triangular Antiprismoids, and their Fractals

  Hideki Tsuiki

  Conference Proceedings of Bridges Donostia. Mathematical Connection in Art, Music, and Science, Reza Sarhangi and Javier Barrallo, editors, Tarquin publications, 2007, Peer-reviewed

  
• Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding

  Sugiyama, M; Hirowatari, E; Tsuiki, H; Yamamoto, A

  Proceedings of LLLL 2006,31-37, JSAI , Tokyo, 2006, Peer-reviewed

  
• Real number computation with committed choice logic programming languages

  H Tsuiki

  JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, Jul. 2005, Peer-reviewed

  
• Streams with a bottom in functional languages

  H Tsuiki; K Sugihara

  PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, Peer-reviewed

  
• Compact metric spaces as minimal-limit sets in domains of bottomed sequences

  H Tsuiki

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Dec. 2004, Peer-reviewed

  
• Dyadic subbases and efficiency properties of the induced {0,1,perpendicular to}(omega)-representations

  Hideki Tsuiki

  Topology Proceedings, Vol 28, No 2, 2004, 2004, Peer-reviewed

  
• A domain-theoretic semantics of lax generic ftmctions

  H Tsuiki

  THEORETICAL COMPUTER SCIENCE, Feb. 2003, Peer-reviewed

  
• Representations of complete uniform spaces via uniform domains

  Hideki Tsuiki

  Electronic Notes in Theoretical Computer Science, Jul. 2002, Peer-reviewed

  
• Real number computation through Gray code embedding

  H Tsuiki

  THEORETICAL COMPUTER SCIENCE, Jul. 2002, Peer-reviewed

  
• Implementing Real Number Computation in GHC.

  TSUIKI Hideki; Hideki Tsuiki; Faculty of Integrated Human Studies Kyoto University

  Computer Software, Mar. 2001, Peer-reviewed

  
• Computational Dimension of Topological Spaces

  Hideki Tsuiki

  Computability and Complexity in Analysis 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers, LNCS 2064, 2001, Peer-reviewed

  
• A domain-theoretic semantics of lax generic functions

  Hideki Tsuiki

  Electronic Notes in Theoretical Computer Science, 1999, Peer-reviewed

  
• A computationally adequate model for overloading via domain-valued functors

  Hideki Tsuiki

  Math. Struct in Comp. Science,8/,321-349, 1998, Peer-reviewed

  
• Currying multi methods in a merge calculus

  Hideki Tsuiki

  2nd Int. Workshop on Functional and Logic Programming, World Scientific Publishing, 1996, Peer-reviewed

  
• A Normalizing Calculus with Overloading and Subtyping

  Hideki Tsuiki

  2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295, 1994, Peer-reviewed

  
• On typed calculi with a merge operator

  H Tsuiki

  FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, Peer-reviewed

  
• A Record Calculus with Merge Operator

  TSUIKI Hideki

  IPSJ Journal, May 1993, Peer-reviewed

  
• A Record Calculus with a Merge Operator

  Hideki Tsuiki

  Ph. D. thesis, Keio University, 1993

  
• A Reflective Domain Construction for Type Inheritance and Higher-order Generics

  Hideki Tsuiki

  Advances in Software Science and Technology, 4/,151-162, 1992, Peer-reviewed

  
• Overview of GMW+Wnn System

  Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Niide; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa

  Advances in Software Science and Technology, 1/,133-156, 1989, Peer-reviewed

  

Misc.

• イマジナリーキューブパズルの楽しみ方

  立木 秀樹

  オペレーションズ・リサーチ, Mar. 2023

  
• A Culculus of Parametric Generic Functions

  Hideki Tsuiki

  Technical Report, IEI-RM94-002, Keio Uniu., Mar. 1994

  
• User Interface for Multilingal Input in a Windowing Environment Using Automatons

  Hideki Tsuiki; Naoyuki Nide; Hiroshi Kuribayashi; Masato Morisaki

  Technical Report, IEI-RM 93-007, Keio Univ, 1993

  
• エレガントな解答をもとむ（解答）

  立木 秀樹

  数学セミナー, 日本評論社, Jun. 2021

  
• エレガントな解答をもとむ（出題）

  立木 秀樹

  数学セミナー, 日本評論社, Mar. 2021

  
• 数学教室だより：アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」

  立木 秀樹

  数学通信, Nov. 2020

  
• Preface to the special issue: Computing with infinite data: topological and logical foundations

  Ulrich Berger; Vasco Brattka; Victor Selivanov; Dieter Spreen; Hideki Tsuiki

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Oct. 2015

  
• イマジナリーキューブ (3)

  立木 秀樹

  数学セミナー, 日本評論社, Mar. 2012

  
• イマジナリーキューブ (2)

  立木 秀樹

  数学セミナー, 日本評論社, Feb. 2012

  
• イマジナリーキューブ (1)

  立木 秀樹

  数学セミナー, Jan. 2012

  
• 0と1との境界 (特集 境界を科学する)

  立木 秀樹

  人環フォ-ラム, Mar. 2011

  
• イマジナリーキューブ (特集 虚と実)

  立木 秀樹

  人環フォ-ラム, Sep. 2010

  
• フラクタルマジック(3) ―2 次元立体図形の世界―

  立木秀樹

  数学セミナー, 日本評論社, Jun. 2006

  
• フラクタルマジック(2)- シェルピンスキー四面体を用いた総 合学習教材－

  立木秀樹

  『数学セミナー』日本評論社, May 2006

  
• フラクタル・マジック(1)シェルピンスキー四面体を用いた総合学習教材

  立木 秀樹

  数学セミナー, 日本評論社, Apr. 2006

  
• サイエンティストの眼 素晴らしき、穴あき四面体

  立木 秀樹

  人環フォ-ラム, Mar. 2006

  
• 「連続と計算」

  立木秀樹

  バベルの図書館第8 巻第1 号, 2003

  
• Gray Code Representation of Exact Real Numbers

  Hideki Tsuiki

  Proceedings of Third Workshop on Computability and Complexity in Analysis, .91-102, 1998, Peer-reviewed

  
• 総称関数の Parametricity と Syntactic な性質の関係について

  立木秀樹

  関数プログラミングII, 近代科学社,111-126, 1995

  

Presentations

• Constructing Sierpinski Tetrahedrons from Connector Pieces

  Hideki Tsuiki

  Bridges 2023, 27 Jul. 2023

  
• Induction and coindution for computing exact overlaps of fractals

  Hideki Tsuiki

  CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms), 19 Sep. 2022

  
• Some steps toward program extraction in a type-theoretical interpretation of IFP

  Ulrich Berger; Sewon Park; Holger Thies; Hideki Tsuiki

  CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms), 20 Sep. 2022

  
• Induction / coinduction and projections of fractals

  Hideki Tsuiki

  Proof and Computation 2022, 30 May 2022

  
• Combining partial maps into a correct total map through program extraction

  Hideki Tsuiki

  CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms, 01 Sep. 2020, Invited

  
• Partial program extractions in IFP

  Hideki Tsuiki

  Mathematical Logic and Constructivity, 21 Aug. 2019, Invited

  

Books and Other Publications

• Encyclopedia of theoretical computer science

  徳山, 豪; 小林, 直樹; 岩間, 一雄; 渡辺, 治; 今井, 浩; 南出, 靖彦; 五十嵐, 淳; 長谷川, 真人; 他, Contributor, 7.3 ドメインと表示的意味論

  朝倉書店, Jan. 2022

  Find Kyoto University's collection of books :

  
• すべての人のための Java プログラミング 第3版

  立木 秀樹; 有賀 妙子

  共立出版, Sep. 2017, Not refereed

  
• イマジナリーキューブ・パズル 3H=6T

  立木 秀樹

  京都大学総合博物館ミュゼップ, Apr. 2012, Not refereed

  
• すべての人のためのJavaプログラミング

  立木 秀樹; 有賀 妙子

  共立出版, Oct. 2000, Not refereed

  

Works

• Constructions of the Sierpinski tetrahedron / triangle from connector pieces (at Bridges conference art exhibition)

  Hideki Tsuiki

  From Aug. 2023

  
• Shadows of fractal imaginary cubes (at Bridges conference Short FIlm Festival)

  Hideki Tsuiki

  From Jul. 2023

  
• Fractal Imaginary Cubes (at Joint Mathematics Meetings Art Exhibition)

  Hideki Tsuiki

  From Jan. 2023

  
• Imaginary Cube Puzzle

  Hideki Tsuiki

  From 2021

  
• Fractal SUDOKU Sculpture (at Bridges conference art exhibition)

  Yasuyuki Tsukamoto, Hideki Tsuiki

  From Jul. 2017

  
• イマジナリーキューブパズル 3H=6T ( 京都大学博物館ショップ)

  立木 秀樹

  From 2012

  
• Imaginary Cube Sculptures (at Bridges conference art exhibition)

  Hideki Tsuiki

  From Jul. 2010

  
• Does it look square? --- Fractal University Kyoto (at Bridges conference art exhibition)b

  Hideki Tsuiki

  From Aug. 2007

  

Awards

• 24 Sep. 2023

  京都大学「国民と科学・技術対話」 ワーキンググループ, 京都大学アカデミックディ2023 「京都大学アカデミックディ大賞」

  出展名「フラクタル・イマージナリーキューブの影」

  立木　秀樹
• 1994

  Information Processing Society of Japan, IPSJ Yamashita SIG Research Award
• 15 Sep. 2019

  京都大学アカデミックデイ事務局, 京都大学アカデミックデイ賞:「ちゃぶ台囲んで膝詰め対話」

External funds: Kakenhi

• Combinatorial and computational structures of approximations of spaces

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Hideki Tsuiki

  From 01 Apr. 2015, To 31 Mar. 2023, Project Closed

  プログラム抽出;非決定性;実数計算;並列計算;実現可能性解釈;余帰納法;グレイコード;IFP;CFP;Amb;シェルピンスキー四面体;Coq;Program Extraction;nondeterminism;totality;Fixed Point Logic;Adequacy;Gray code;Lattice Puzzle;コンパクト集合;T^omega;計算可能解析学;表現空間;ボトム入り文字列;コンパクト集合の表現;タイリング;full-folding map;不定元;余代数

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00015/
• Computability, corse topology and the dimensions of metric spaces

  Grant-in-Aid for Scientific Research (C)

  Shimane University

  Yasunao HATTORI

  From 01 Apr. 2010, To 31 Mar. 2014, Project Closed

  距離空間;ドメイン;次元;分離次元;Martin位相;Sorgenfrey位相;形式的球体;小帰納次元;位相次元;計算可能性;Khalimsky 空間;Alexandroff 空間;Sorgenfrey型位相;半順序構造;粗いトポロジー;位相空間;超空間位相;半順序集合;Scott位相;コンパクト化;集合値関数;選択関数;被覆次元;帰納的次元

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22540084/
• Studies on representation-based computational structures of spaces and figures, and on related structures like fractals

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Hideki TSUIKI

  From 01 Apr. 2010, To 31 Mar. 2015, Project Closed

  実数計算;ドメイン理論;位相空間論;力学系;プログラミング言語理論;full-folding map;Kneading Theory;フラクタル;ボトム入り文字列;PCF;full-flipping map;unimodal map;dynamical system;bottom;real number computation;admissibility condition

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22500014/
• Data Mining Methods Based on Closed Sets for Data Which Are Combination of Discrete and Continuous Attributes

  Grant-in-Aid for Scientific Research (A)

  Kyoto University

  Akihiro YAMAMOTO

  From 01 Apr. 2010, To 31 Mar. 2014, Project Closed

  知識発見;機械学習;形式概念解析;閉集合;実数計算;離散構造データ;フラクタル

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22240010/
• 論理式による実数の近似表現を用いた数値データからの機械学習手法

  Grant-in-Aid for Challenging Exploratory Research

  Kyoto University

  山本 章博

  From 01 Apr. 2007, To 31 Mar. 2010, Project Closed

  機械学習;計算論的学習;実数計算;数理論理学;閉集合;フラクタルアトラクタ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19650029/
• On the structure of computability on metric spaces, dimension and the complexities of descriptive set theory

  Grant-in-Aid for Scientific Research (C)

  Shimane University

  Yasunao HATTORI

  From 01 Apr. 2007, To 31 Mar. 2010, Project Closed

  トポロジー;情報基礎;距離空間;ドメイン;次元;超限次元;ボレルクラス;双曲型位相;形式的球体;ノルム空間;超空間位相;ボレル集合;位相次元;計算可能性

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19540086/
• Research on computable structures of continuous spaces like the real number through representation in bottomed sequences

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Hideki TSUIKI

  From 01 Apr. 2006, To 31 Mar. 2010, Project Closed

  実数計算;グレイコード;ドメイン理論;位相空間論;不定元;双曲位相;Lawson位相;independent subbase;計算可能性解析学;グレイコ-ド;独立部分基;有限時間計算可能性;距離空間;ボトム入り文字列表現;解析学における計算可能性;実数;位相構造;計算構造

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500013/
• Dimension, metrics and computability in metric spaces

  Grant-in-Aid for Scientific Research (C)

  Shimane University

  Yasunao HATTORI

  From 01 Apr. 2004, To 31 Mar. 2006, Project Closed

  Topological dimension;Metric spaces;Transfinite dimension;Cohomological dimension;Formal balls;Manifolds;compactness degree;Domain;Dimension;Topological spaces;Continuous domain;Metric space;Locally compact;Topology;Formal ball;Cohomoloical dimension, Topological dimension;Metric spaces;Transfinite dimension;Cohomological diemnsion;Formal balls;Manifolds;Compactness degree;Domain

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16540066/
• Computability of discontinuous functions-Towards its paradigm

  Grant-in-Aid for Scientific Research (B)

  Kyoto Sangyo University

  Mariko YASUGI

  From 01 Apr. 2004, To 31 Mar. 2007, Project Closed

  計算可能解析学;実効的連続性;実効的一様位相列・極限;実効的Fine連続関数列;関数列の実効的Fine収束;極限再帰性;証明アニメーション;無限ベースのフラクタル;無限のベースのフラクタル;計算可能性;列計算可能性;Fine位相;コーディング;逆数学;アナログ計算;Fine-空間;ドメイン理論, Computable analysis;Effective continuity;Effective sequence of uniformities;limit;Effective sequence of Fine continuous functions;Effective Fine convergence of function sequences;Limit recursion;Proof animation;Fractals with infinite bases

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16340028/
• 表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  Kyoto University

  山本 章博

  From 01 Apr. 2004, To 31 Mar. 2006, Project Closed

  帰納論理;極限同定;帰納的学習;実数の表現;精密化;始祖学習

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16016246/
• Research on Problems Related to Random Schrodinger Operators

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Naomasa UEKI

  From 01 Apr. 2003, To 31 Mar. 2006, Project Closed

  random Schrodinger作用素;確率解析;作用素論;スペクトル;Anderson局在;確率場;微分方程式;Wegner評価;Wenger評価;状態密度関数;random Shrodinger作用素, Random Schrodinger Operators;Stochastic Analysis;Operator Theory;Spectrum;Anderson Localization;Random Field;Differential Equations;Wegner Estimates

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15540166/
• Gray-code representation of real number and the induced computability structure

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Hideki TSUIKI

  From 01 Apr. 2003, To 31 Mar. 2006, Project Closed

  グレイコード;実数計算;位相空間論;部分基;関数型言語;論理型言語;ボトム;不定元;サブベース;フラクタル;ストリーム;グレイ・コード;位相空間;並列論理型言語;表現;ボトム入り文字列, Gray-code;Topology;Real number computation;subbase;domain theory;bottom

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15500010/
• 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  Kyoto University

  山本 章博

  From 01 Apr. 2003, To 31 Mar. 2004, Project Closed

  始祖学習;極限同定;帰納推論;帰納論理;メタ論理プログラミング

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15017201/
• 実数プログラミングと実関数の計算可能性

  Grant-in-Aid for Encouragement of Young Scientists (A)

  Kyoto University

  立木 秀樹

  From 01 Apr. 2000, To 31 Mar. 2002, Project Closed

  実数計算;位相空間論;計算可能性;ドメイン理論;次元論;実数プログラミング;計算可能性解析学;グレイコード;次元

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12780217/
• Multilateral Researches on Computability Problems on the Continuum

  Grant-in-Aid for Scientific Research (B)

  Kyoto Sangyo University

  Mariko YASUGI

  From 01 Apr. 2000, To 31 Mar. 2003, Project Closed

  計算可能性構造;実効性;区分的不連続関数;一様位相空間;極限計算可能性;ドメイン理論;線形作用素;構成的論理;構成的理論;不連続関数;関数空間;グレーコード;Σ^0_1-排中律;計算可能性;型2マシン;連続体;排中律, Computability structure;Effectivity;Piecewise continuous function;Uniform space;Limit computability;Domain theory;Linear operator;Constructive logic

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12440031/
• On zeta functions of prehomogeneous vector spaces

  Grant-in-Aid for Scientific Research (B)

  KYOTO UNIVERSITY

  Hiroshi SAITO

  From 01 Apr. 1999, To 31 Mar. 2002, Project Closed

  概均質ベクトル空間;ゼータ関数;明示公式;フロイデンタール4次式;退化ホイッタカベクトル;ジーゲル保型形式;テータ対応;新谷関数;Freudenthal quartics;unsaturated概均質ベクトル空間;Kocher-Maass級数;Yoshida lifting;写像類群;絶対ガロア群;概均質ベクトル空間のゼータ関数;nonsaturated概均質ベクトル空間;退化Whittakerベクトル;エンドスコピー;Siegel保型形式;半単純リー群;ベルンシュタイン次数;対称空間;球関数;旗多様体, prehomogeneous vector space;zeta function;explicit formula;Freudenthal quartics;degenerate Whittaker vector;Siegel cusp form;theta correspondence;Shintani function

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11440007/
• コンピュータ上での無限精度実数の実現

  Grant-in-Aid for Encouragement of Young Scientists (A)

  Kyoto University

  立木 秀樹

  From 01 Apr. 1998, To 31 Mar. 2000, Project Closed

  実数;計算可能性;GHC;Gray code;Exact Real Number

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10780207/
• Lax Trans formationを用いたPolymorphismの意味づけ

  Grant-in-Aid for Encouragement of Young Scientists (A)

  Kyoto Sangyo University

  立木 秀樹

  From 01 Apr. 1996, To 31 Mar. 1997, Project Closed

  総称関数;パラメトリシティ;多相;ポリモルフィズム

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08780314/
• マージの機構によるオブジェクト指向言語の型システムの研究

  Grant-in-Aid for Encouragement of Young Scientists (A)

  Kyoto Sangyo University

  立木 秀樹

  From 01 Apr. 1995, To 31 Mar. 1996, Project Closed

  マージ;総称関数;正規化性;モデル;オブジェクト指向

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780292/
• ニューラルネットを用いた仮名漢字変換の研究

  Grant-in-Aid for Encouragement of Young Scientists (A)

  Kyoto Sangyo University

  立木 秀樹

  From 01 Apr. 1994, To 31 Mar. 1995, Project Closed

  ニューラル・ネットワーク;仮名漢字変換;パーセプトロン

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780337/
• Modal Logic and its Applications to Real-Time Systems and A. I.

  Grant-in-Aid for General Scientific Research (C)

  Kyoto University

  Reiji NAKAJIMA

  From 01 Apr. 1989, To 31 Mar. 1991, Project Closed

  様相論理;時制論理;形式的プログラム仕様;実時間制御システム;知識表現;分散システム;実行可能仕様言語;論理プログラミング;実時間システム;プロセス制御;実行可能仕様;形式的仕様;分散オペレ-ティング・システム;ハイパ-テキスト;ソフトウェアの仕様;人工知能;ユーザ・インターフェース, Modal Logic;Tense Logic;Formal Program Specification;Real-time Process-control;Knowledge-representation;Distributed System;Executable Specification;Langnagl

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-63580026/
• Computational complexity of continuous systems

  Grant-in-Aid for Scientific Research (B)

  Basic Section 60010:Theory of informatics-related

  Kyoto University;Kyushu University

  Akitoshi Kawamura

  From 01 Apr. 2018, To 31 Mar. 2023, Project Closed

  計算可能解析;計算量;線形時間;パラメタ計算量;プログラム抽出;計算可能性;実数表現;連分数;ホロノミック列;到達可能性;フラクタル;形式証明;実数計算;プログラム理論;複素解析;厳密計算;精度保証;計算複雑度;ランダム性;情報量規準;コルモゴロフ量;平均計算量;厳密数値計算;微分方程式;複雑度;数値計算

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H03203/
• 連続な空間上の計算とその複雑さの研究

  Grant-in-Aid for Scientific Research (B)

  Basic Section 60010:Theory of informatics-related

  Kyoto University

  立木 秀樹

  From 01 Apr. 2023, To 31 Mar. 2028, Granted

  計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23H03346/
• 連続な空間上の計算とその複雑さの研究

  Grant-in-Aid for Scientific Research (B)

  Basic Section 60010:Theory of informatics-related

  Kyoto University

  立木 秀樹

  From 01 Apr. 2023, To 31 Mar. 2028, Granted

  計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K28036/

Education

Teaching subject(s)

• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Programming Practice (Mathematical Applications)

  T030, Fall, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Programming Practice (Java)

  T027, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Topology and Computation

  8128, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 2B

  AA28, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 2A

  AA27, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Foundation of Computation 2

  AA22, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Quest for Mathematics I

  N172, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Mathematical Logic B

  N139, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Basic Informatics (General)

  T009, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Programming Practice (Mathematical Applications)

  T030, Fall, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Programming Practice (Java)

  T027, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Topology and Computation

  8128, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Foundation of Computation 2

  AA22, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 2B

  AA28, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 2A

  AA27, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Mathematical Logic B

  N139, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Quest for Mathematics I

  N172, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Basic Informatics (General)

  T009, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2023, To 31 Mar. 2024

  Programming Practice (Mathematical Applications)

  T030, Fall, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Programming Practice (Java)

  T027, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Topology and Computation

  8128, Fall, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Foundation of Computation 2

  AA22, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 2B

  AA28, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 2A

  AA27, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 2A

  D022, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Basic Informatics (General)

  T009, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Foundation of Computation 1

  D018, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2022, To 31 Mar. 2023

  Programming Practice (Java)

  T027, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Programming Practice (Mathematical Applications)

  T030, Fall, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Computational Theory

  8208, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 2B

  D023, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Basic Seminar on Mathematical Sciences

  D014, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Mathematical Logic B

  N139, Fall, Institute for Liberal Arts and Sciences, 2
• From Apr. 2011, To Mar. 2012

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  Information Sciences A

  Spring, 全学共通科目
• From Apr. 2011, To Mar. 2012

  Fundamentals of Programming II

  Spring, 全学共通科目
• From Apr. 2011, To Mar. 2012

  Mathematics and Programming

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  計算と位相

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  数理科学論講究

  Year-long, 総合人間学部
• From Apr. 2011, To Mar. 2012

  Information Sciences B

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  言語・数理情報科学入門

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  情報基礎論2

  Fall, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  情報基礎論1

  Spring, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  数理情報論演習2

  Fall, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  数理情報論演習1

  Spring, 人間・環境学研究科
• From Apr. 2012, To Mar. 2013

  Fundamentals of Programming II

  Spring, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Information Sciences A

  Spring, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Mathematics and Programming

  Fall, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Computational Theory

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Topology and Computation

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Information Science(General)

  Spring, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Computational Theory

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Information Science(General)

  Spring, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Information Science(General)

  Spring, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Topology and Computation

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Foundation of Computation 1

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Computational Theory

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Topology and Computation

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Foundation of Computation 2

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Foundation of Computation 1

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Computational Theory

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Topology and Computation

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Foundation of Computation 2

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Foundation of Computation 1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Computational Theory

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Basic Informatics (General)

  Spring, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Introduction to Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 2A

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 2B

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Mathematical Logic B

  Fall, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Programming Practice (Java)

  Spring, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Programming Practice (Mathematical Applications)

  Fall, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Topology and Computation

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Foundation of Computation 2

  Spring, 人間・環境学研究科

Participation in PhD Defense

• Quantification learning in Competitive Environments(競争的環境における定量化の学習)

  FUJII SATORU, Graduate School of Human and Environmental Studies, Chief Examiner

  24 Mar. 2025
• Improving efficiency and quality on modeling 3D plasma shape in FFHR by introducing Neural Networks

  HU KUNQI, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  25 Mar. 2024
• Modeling of complex spatial structures using physics-informed neural network

  HAN ZHONGJIANG, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  25 Mar. 2024
• グレイコードの性質を用いた画像処理に関する研究　

  杉原　佳次, Sub-chief Examiner

  23 Mar. 2007
• Topological and Algebraic Aspects of Algorithmic Learning Theory（計算理論的学習理論の位相的及び代数的な性質）

  ＭＡＴＴＨＥＷ　ＤＥ　ＢＲＥＣＨＴ, Sub-chief Examiner

  23 Mar. 2010
• On Separation by Bipartitions and Related Geometric Problems（２分割による分離概念と関連する幾何問題について）

  戸田　貴久, Chief Examiner

  26 Mar. 2012
• Vision-based Measurement Methods for Schools of Fish and Analysis of their Behaviors（動画像処理に基づく魚群の計測手法と行動解析）

  寺山　慧, Chief Examiner

  23 Mar. 2016
• Strongly proper dyadic subbases and their domain theoretic properties（強整合的な二分的準開基とそのドメイン理論的性質）

  塚本　靖之, Chief Examiner

  23 Mar. 2016
• Multiplayer Games as Extension of Misere Games（逆形ゲームの拡張としての多人数ゲーム）

  末續　鴻輝, Chief Examiner

  25 Mar. 2019
• Regret analysis of constrained irreducible MDPs with reset action（リセット行動が存在する制約付き既約MDPに対するリグレット解析）

  渡部　崇, Sub-chief Examiner

  23 Mar. 2020

Administration

School management (title, position)

• From 01 Apr. 2024, To 31 Mar. 2025

  大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会
• From 01 Apr. 2024, To 31 Mar. 2025

  国際高等教育院 企画評価専門委員会 データ科学部会
• From 01 Apr. 2023, To 31 Mar. 2024

  国際高等教育院 企画評価専門委員会 データ科学部会 委員
• From 01 Apr. 2023, To 31 Mar. 2024

  大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 委員
• From 01 Apr. 2022

  国際高等教育院 企画評価専門委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  国際高等教育院 企画評価専門委員会 データ科学部会 委員
• From 01 Apr. 2022, To 31 Mar. 2024

  大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 委員
• From 01 Apr. 2008, To 31 Mar. 2009

  情報教育専門委員会 委員

Faculty management (title, position)

• From 01 Apr. 2024, To 31 Mar. 2025

  大学院教務委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2025

  学部教務委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2025

  学部教務委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2026

  情報セキュリティ委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2025

  自然科学系 主任
• From 01 Apr. 2024, To 31 Mar. 2025

  数理・情報科学講座大学院・学部教務担当 委員
• From 01 Apr. 2023, To 31 Mar. 2024

  学部入試委員会　委員
• From 01 Apr. 2023, To 31 Mar. 2024

  情報セキュリティ委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2024

  学術情報メディアセンター　全国共同利用運営委員会　委員
• From 01 Apr. 2022, To 31 Mar. 2024

  学術情報メディアセンター　協議員会　協議員
• From 01 Apr. 2011, To 31 Mar. 2012

  講座分野責任者
• From 01 Apr. 2011, To 31 Mar. 2012

  オープンキャンパス対応委員会委員
• From 01 Apr. 2011, To 31 Mar. 2012

  情報セキュリティ委員会委員
• From 01 Apr. 2012, To 31 Mar. 2013

  講座教務委員
• From 01 Apr. 2012, To 31 Mar. 2013

  講座分野責任者
• From 01 Apr. 2012, To 31 Mar. 2013

  情報セキュリティ委員会委員
• From 01 Apr. 2012, To 31 Mar. 2013

  大学院教務委員会
• From 01 Apr. 2013, To 31 Mar. 2014

  講座教務委員
• From 01 Apr. 2013, To 31 Mar. 2014

  講座分野責任者
• From 01 Apr. 2013, To 31 Mar. 2014

  自己点検・評価委員会委員
• From 01 Apr. 2013, To 31 Mar. 2014

  情報セキュリティ委員会委員
• From 01 Apr. 2013, To 31 Mar. 2014

  大学院教務委員会副委員長
• From 01 Apr. 2014, To 31 Mar. 2015

  人環フォーラム編集委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  オープンキャンパス対応委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  情報セキュリティー委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  自己点検・評価委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  講座分野責任者
• From 01 Apr. 2014, To 31 Mar. 2015

  情報セキュリティ委員会委員
• From 01 Apr. 2015, To 31 Mar. 2016

  情報セキュリティ委員会 委員
• From 01 Apr. 2016, To 31 Mar. 2017

  講座分野責任者
• From 01 Apr. 2016, To 31 Mar. 2017

  人事会議員
• From 01 Apr. 2016, To 31 Mar. 2017

  オープンキャンパス対応委員会委員
• From 01 Apr. 2016, To 31 Mar. 2017

  研究科・学部案内パンフレット、ホームページ委員
• From 01 Apr. 2016, To 31 Mar. 2017

  情報セキュリティ委員会委員
• From 01 Apr. 2017, To 31 Mar. 2018

  学部入試委員会委員
• From 01 Apr. 2017, To 31 Mar. 2018

  情報セキュリティ委員会委員
• From 01 Apr. 2018, To 31 Mar. 2019

  学部入試委員会委員
• From 01 Apr. 2018, To 31 Mar. 2019

  情報セキュリティ委員会委員
• From 01 Apr. 2018, To 31 Mar. 2019

  講座分野責任者
• From 01 Apr. 2019, To 31 Mar. 2020

  人事会議員
• From 01 Apr. 2019, To 31 Mar. 2020

  学部入試委員会副委員長
• From 01 Apr. 2019, To 31 Mar. 2020

  学部入試委員会特色入試委員長
• From 01 Apr. 2019, To 31 Mar. 2020

  情報セキュリティ委員会委員
• From 01 Apr. 2019, To 31 Mar. 2020

  講座分野責任者
• From 01 Apr. 2020, To 31 Mar. 2021

  学部入試委員会委員長
• From 01 Apr. 2020, To 31 Mar. 2021

  情報セキュリティ委員会委員
• From 01 Apr. 2020, To 31 Mar. 2021

  数理情報論分野講座分野責任者
• From 01 Apr. 2021, To 31 Mar. 2023

  国際高等教育院 データ科学イノベーション教育研究センター 企画評価委員会 委員
• From 01 Apr. 2021, To 31 Mar. 2022

  数理科学講座講座主任
• From 01 Apr. 2021, To 31 Mar. 2022

  広報誌パンフレット小委員会副委員長
• From 01 Apr. 2021, To 31 Mar. 2022

  大学院入試委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  研究科・学部運営会議委員
• From 01 Apr. 2021, To 31 Mar. 2022

  共生人間学専攻副専攻長
• From 01 Apr. 2022, To 31 Mar. 2023

  広報委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  広報誌パンフレット小委員会 委員長
• From 01 Apr. 2022, To 31 Mar. 2023

  情報セキュリティ委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  数理情報論分野 講座分野責任者

Academic, Social Contribution

Academic Contribution

• CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms, organizer

  Planning, management, etc.

  From 25 Sep. 2024, To 29 Sep. 2024

  
• 第26回プログラミングおよびプログラミング言語ワークショップ プログラム委員

  Planning, management, etc.

  日本ソフトウェア科学会, From 05 Mar. 2024, To 07 Mar. 2024