教育研究活動データベース

日本語に切り替えるswitch to english

京都大学の教員等を検索

詳細条件で検索組織別に探す

立木 秀樹

ツイキ ヒデキ

人間・環境学研究科 人間・環境学専攻数理・情報科学講座 教授

立木 秀樹
list
    Last Updated :2025/05/30

    基本情報

    学部兼担

    • 総合人間学部

    学内兼務

    • 人間・環境学研究科, 共生人間学専攻数理科学講座, 教授

    所属学協会

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

    学位

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

    出身大学院・研究科等

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

    出身学校・専攻等

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

    経歴

    • 自 1998年, 至 2003年
      京都大学総合人間学部助教授
    • 自 1997年, 至 1998年
      京都産業大学理学部助教授, Faculty of Science
    • 自 1997年, 至 1998年
      Kyoto Sangyo Univevsity, Faculty of Science, Associate Professon.
    • 自 1994年, 至 1997年
      京都産業大学理学部講師, Faculty of Science
    • 自 1994年, 至 1997年
      京都産業大学
    • 自 1990年, 至 1994年
      慶應義塾大学環境情報学部助手, Faculty of Environment and Information Studies
    • 自 1990年, 至 1994年
      Keio University, Faculty of Environmental Information, Research Assistont
    • 自 1988年, 至 1990年
      京都大学数理解析研究所助手, Research Institute for Mathematical Sciences
    • 自 1988年, 至 1990年
      Kyoto University. Research Institute for Mathematial Science, Research Assistant

    使用言語

    • 英語

    ID,URL

    関連Webサイト

    researchmap URL

    list
      Last Updated :2025/05/30

      研究

      研究テーマ・研究概要

      • 研究テーマ

        理論計算機科学

      • 研究概要

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

      研究キーワード

      • 計算機科学
      • Computer Science

      研究分野

      • 情報通信, 情報学基礎論

      論文

      • 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, 2023年07月, 査読有り
      • Concurrent Gaussian Elimination
        Ulrich Berger; Monika Seisenberger; Dieter Spreen; Hideki Tsuiki
        Mathematics for Computation (M4C), 2023年04月02日
      • Extracting total Amb programs from proofs
        Ulrich Berger; Hideki Tsuiki
        Programming Languages and Systems, 2022年03月29日
        この論文にアクセスする：
      • 型継承および高階な総称関数の表示的意味論
        立木 秀樹
        コンピュータ ソフトウェア, 1990年10月
      • MODAL LOGIC PROGRAMMING
        D KATO; T KIKUCHI; R NAKAJIMA; J SAWADA; H TSUIKI
        LECTURE NOTES IN COMPUTER SCIENCE, 1990年, 査読有り
      • Intuitionistic fixed point logic
        Ulrich Berger; Hideki Tsuiki
        Annals of Pure and Applied Logic, 2021年03月, 査読有り
      • Augmented Reality for Zome Construction
        Gouta Hayashi; Hideki Tsuiki
        Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture, 2020年, 査読有り
      • Prawf: An Interactive Proof System for Program Extraction
        Ulrich Berger; Olga Petrovska; Hideki Tsuiki
        Proceedings, Conference on Computability in Europe, LNCS 12098, 2020年, 査読有り
      • On the complexity of lattice puzzles
        Yasuaki Kobayashi; Koki Suetsugu; Hideki Tsuiki; Ryuhei Uehara
        Leibniz International Proceedings in Informatics, LIPIcs, 2019年12月, 査読有り
      • Properties of domain representations of spaces through dyadic subbases
        Yasuyuki Tsukamoto; Hideki Tsuiki
        MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017年12月, 査読有り
      • Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb
        Hideki Tsuiki
        Conference Proceedings of Bridges, 2017年, 査読有り
      • Logic for Gray-code Computation
        Ulrich Berger; Kenji Miyamoto; Helmut Schwichtenberg; Hideki Tsuiki
        CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016年, 査読有り
      • Sudoku Colorings of a 16-Cell Pre-fractal
        Hideki Tsuiki; Yasuyuki Tsukamoto
        DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015, 2016年, 査読有り
      • DOMAIN REPRESENTATIONS INDUCED BY DYADIC SUBBASES
        Iiideki Tsuiki; Yasuyuki Tsijkamoto
        LOGICAL METHODS IN COMPUTER SCIENCE, 2015年, 査読有り
      • Imaginary Hypercubes
        Hideki Tsuiki; Yasuyuki Tsukamoto
        DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013, 2014年, 査読有り
      • A stream calculus of bottomed sequences for real number computation
        Kei Terayama; Hideki Tsuiki
        Electronic Notes in Theoretical Computer Science, 2013年11月04日, 査読有り
      • Learning figures with the Hausdorff metric by fractals-towards computable binary classification
        Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto
        MACHINE LEARNING, 2013年01月, 査読有り
      • Imaginary cubes and their puzzles
        Hideki Tsuiki
        Algorithms, 2012年06月, 査読有り
      • Unimodal maps as boundary restrictions of two-dimensional full-folding maps
        Hideki Tsuiki
        TOPOLOGY AND ITS APPLICATIONS, 2012年03月, 査読有り
      • Enumerating 3D-Sudoku solutions over cubic prefractal objects
        Hideki Tsuiki; Yohei Yokota
        Journal of Information Processing, 2012年, 査読有り
      • Independent subbases and non-redundant codings of separable metrizable spaces
        Haruto Ohta; Hideki Tsuiki; Shuji Yamada
        TOPOLOGY AND ITS APPLICATIONS, 2011年01月, 査読有り
      • Independent Subbases of the Sierpinski Gasket (Research on general and geometric topology and related topics)
        TSUIKI; HIDEKI; YAMADA, SHUJI
        数理解析研究所講究録, 2010年04月
        この論文にアクセスする：
      • Imaginary Cubes-Objects with Three Square Projection Images
        Hideki Tsuiki
        Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 2010年, 査読有り
      • Hyperbolic topology of normed linear spaces
        Yasunao Hattori; Hideki Tsuiki
        TOPOLOGY AND ITS APPLICATIONS, 2010年01月, 査読有り
      • Learning Figures with the Hausdorff Metric by Fractals
        Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, ALT 2010, 2010年, 査読有り
      • 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年, 査読有り
      • 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年, 査読有り
      • 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年, 査読有り
      • On Finite-time Computability Preserving Conversions
        Hideki Tsuiki; Shuji Yamada
        JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009年, 査読有り
      • On Finite-time Computability Preserving Conversions
        Hideki Tsuiki; Shuji Yamada
        Electronic Notes in Theoretical Computer Science, 2008年12月25日, 査読有り
      • Lawson topology of the space of formal balls and the hyperbolic topology
        Hideki Tsuiki; Yasunao Hattori
        THEORETICAL COMPUTER SCIENCE, 2008年10月, 査読有り
      • SUDOKU Colorings of the Hexagonal Bipyramid Fractal
        Hideki Tsuiki
        COMPUTATIONAL GEOMETRY AND GRAPH THEORY, 2008年, 査読有り
      • 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年, 査読有り
      • 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年, 査読有り
      • Real number computation with committed choice logic programming languages
        H Tsuiki
        JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005年07月, 査読有り
      • Streams with a bottom in functional languages
        H Tsuiki; K Sugihara
        PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005年, 査読有り
      • Compact metric spaces as minimal-limit sets in domains of bottomed sequences
        H Tsuiki
        MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004年12月, 査読有り
      • Dyadic subbases and efficiency properties of the induced {0,1, ⊥}^ω representations
        Hideki Tsuiki
        Topology Proceedings, 2004年, 査読有り
      • A domain-theoretic semantics of lax generic ftmctions
        H Tsuiki
        THEORETICAL COMPUTER SCIENCE, 2003年02月, 査読有り
      • Representations of complete uniform spaces via uniform domains
        Hideki Tsuiki
        Electronic Notes in Theoretical Computer Science, 2002年07月, 査読有り
      • Real number computation through Gray code embedding
        H Tsuiki
        THEORETICAL COMPUTER SCIENCE, 2002年07月, 査読有り
      • 実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語)
        立木 秀樹
        コンピュータソフトウェア, 2001年03月, 査読有り
      • 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年, 査読有り
      • A domain-theoretic semantics of lax generic functions
        Hideki Tsuiki
        Electronic Notes in Theoretical Computer Science, 1999年, 査読有り
      • A computationally adequate model for overloading via domain-valued functors
        Hideki Tsuiki
        Math. Struct in Comp. Science,8/,321-349, 1998年, 査読有り
      • Currying multi methods in a merge calculus
        Hideki Tsuiki
        2nd Int. Workshop on Functional and Logic Programming, World Scientific Publishing, 1996年, 査読有り
      • A Normalizing Calculus with Overloading and Subtyping
        Hideki Tsuiki
        2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, /,273--295, 1994年, 査読有り
      • On typed calculi with a merge operator
        H Tsuiki
        FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994年, 査読有り
      • マージオペレータを持つレコード計算
        立木 秀樹
        情報処理学会論文誌, 1993年05月, 査読有り
      • 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年, 査読有り
      • 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年, 査読有り

      MISC

      • イマジナリーキューブパズルの楽しみ方
        立木 秀樹
        オペレーションズ・リサーチ, 2023年03月
      • A Culculus of Parametric Generic Functions
        Hideki Tsuiki
        Technical Report, IEI-RM94-002, Keio Uniu., 1994年03月
      • 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年
      • エレガントな解答をもとむ（解答）
        立木 秀樹
        数学セミナー, 日本評論社, 2021年06月
      • エレガントな解答をもとむ（出題）
        立木 秀樹
        数学セミナー, 日本評論社, 2021年03月
      • 数学教室だより：アウトリーチ編「イマジナリーキューブ・パズルを用いた数学授業について」
        立木 秀樹
        数学通信, 2020年11月
      • 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, 2015年10月
      • イマジナリーキューブ (3)
        立木 秀樹
        数学セミナー, 日本評論社, 2012年03月
      • イマジナリーキューブ (2)
        立木 秀樹
        数学セミナー, 日本評論社, 2012年02月
      • イマジナリーキューブ (1)
        立木 秀樹
        数学セミナー, 2012年01月
      • 0と1との境界 (特集 境界を科学する)
        立木 秀樹
        人環フォ-ラム, 2011年03月
      • イマジナリーキューブ (特集 虚と実)
        立木 秀樹
        人環フォ-ラム, 2010年09月
      • フラクタルマジック(3) ―2 次元立体図形の世界―
        立木秀樹
        数学セミナー, 日本評論社, 2006年06月
      • フラクタルマジック(2)- シェルピンスキー四面体を用いた総 合学習教材－
        立木秀樹
        『数学セミナー』日本評論社, 2006年05月
      • フラクタル・マジック(1)シェルピンスキー四面体を用いた総合学習教材
        立木 秀樹
        数学セミナー, 日本評論社, 2006年04月
      • サイエンティストの眼 素晴らしき、穴あき四面体
        立木 秀樹
        人環フォ-ラム, 2006年03月
      • 「連続と計算」
        立木秀樹
        バベルの図書館第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年, 査読有り
      • 総称関数の Parametricity と Syntactic な性質の関係について
        立木秀樹
        関数プログラミングII, 近代科学社,111-126, 1995年

      講演・口頭発表等

      • Constructing Sierpinski Tetrahedrons from Connector Pieces
        Hideki Tsuiki
        Bridges 2023, 2023年07月27日
      • Induction and coindution for computing exact overlaps of fractals
        Hideki Tsuiki
        CCC2022 Workshop (Continuity, Computability, Constructivity -- From Logic to Algorithms), 2022年09月19日
      • 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), 2022年09月20日
      • Induction / coinduction and projections of fractals
        Hideki Tsuiki
        Proof and Computation 2022, 2022年05月30日
      • Combining partial maps into a correct total map through program extraction
        Hideki Tsuiki
        CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms, 2020年09月01日, 招待有り
      • Partial program extractions in IFP
        Hideki Tsuiki
        Mathematical Logic and Constructivity, 2019年08月21日, 招待有り

      書籍等出版物

      • 理論計算機科学事典
        徳山, 豪; 小林, 直樹; 岩間, 一雄; 渡辺, 治; 今井, 浩; 南出, 靖彦; 五十嵐, 淳; 長谷川, 真人; 他, 分担執筆, 7.3 ドメインと表示的意味論
        朝倉書店, 2022年01月
        京大の蔵書を調べる：
      • すべての人のための Java プログラミング 第3版
        立木 秀樹; 有賀 妙子
        共立出版, 2017年09月, 査読無し
      • イマジナリーキューブ・パズル 3H=6T
        立木 秀樹
        京都大学総合博物館ミュゼップ, 2012年04月, 査読無し
      • すべての人のためのJavaプログラミング
        立木 秀樹; 有賀 妙子
        共立出版, 2000年10月, 査読無し

      Works（作品等）

      • Constructions of the Sierpinski tetrahedron / triangle from connector pieces (at Bridges conference art exhibition)
        Hideki Tsuiki
        自 2023年08月
      • Shadows of fractal imaginary cubes (at Bridges conference Short FIlm Festival)
        Hideki Tsuiki
        自 2023年07月
      • Fractal Imaginary Cubes (at Joint Mathematics Meetings Art Exhibition)
        Hideki Tsuiki
        自 2023年01月
      • イマジナリーキューブパズル 3H=6T (木鏡社)
        立木 秀樹
        自 2021年
      • Fractal SUDOKU Sculpture (at Bridges conference art exhibition)
        Yasuyuki Tsukamoto, Hideki Tsuiki
        自 2017年07月
      • イマジナリーキューブパズル 3H=6T ( 京都大学博物館ショップ)
        立木 秀樹
        自 2012年
      • Imaginary Cube Sculptures (at Bridges conference art exhibition)
        Hideki Tsuiki
        自 2010年07月
      • Does it look square? --- Fractal University Kyoto (at Bridges conference art exhibition)b
        Hideki Tsuiki
        自 2007年08月

      受賞

      • 2023年09月24日
        京都大学「国民と科学・技術対話」 ワーキンググループ, 京都大学アカデミックディ2023 「京都大学アカデミックディ大賞」
        出展名「フラクタル・イマージナリーキューブの影」
        立木　秀樹
      • 1994年
        情報処理学会, 情報処理学会山下記念研究賞
      • 2019年09月15日
        京都大学アカデミックデイ事務局, 京都大学アカデミックデイ賞:「ちゃぶ台囲んで膝詰め対話」

      外部資金：科学研究費補助金

      • 空間の近似のなす組合せ的構造とそれに基づく計算
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2015年04月01日, 至 2023年03月31日, 完了
        プログラム抽出;非決定性;実数計算;並列計算;実現可能性解釈;余帰納法;グレイコード;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/
      • 計算可能性と粗いトポロジーに関する距離空間の次元様相
        基盤研究(C)
        島根大学
        服部 泰直
        自 2010年04月01日, 至 2014年03月31日, 完了
        距離空間;ドメイン;次元;分離次元;Martin位相;Sorgenfrey位相;形式的球体;小帰納次元;位相次元;計算可能性;Khalimsky 空間;Alexandroff 空間;Sorgenfrey型位相;半順序構造;粗いトポロジー;位相空間;超空間位相;半順序集合;Scott位相;コンパクト化;集合値関数;選択関数;被覆次元;帰納的次元
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22540084/
      • 表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2010年04月01日, 至 2015年03月31日, 完了
        実数計算;ドメイン理論;位相空間論;力学系;プログラミング言語理論;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/
      • 離散値・数値混用データからの閉集合を利用した知識発見方式
        基盤研究(A)
        京都大学
        山本 章博
        自 2010年04月01日, 至 2014年03月31日, 完了
        知識発見;機械学習;形式概念解析;閉集合;実数計算;離散構造データ;フラクタル
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22240010/
      • 論理式による実数の近似表現を用いた数値データからの機械学習手法
        挑戦的萌芽研究
        京都大学
        山本 章博
        自 2007年04月01日, 至 2010年03月31日, 完了
        機械学習;計算論的学習;実数計算;数理論理学;閉集合;フラクタルアトラクタ
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19650029/
      • 距離空間の計算構造と次元及び解析集合論的複雑性の研究
        基盤研究(C)
        島根大学
        服部 泰直
        自 2007年04月01日, 至 2010年03月31日, 完了
        トポロジー;情報基礎;距離空間;ドメイン;次元;超限次元;ボレルクラス;双曲型位相;形式的球体;ノルム空間;超空間位相;ボレル集合;位相次元;計算可能性
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19540086/
      • 不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2006年04月01日, 至 2010年03月31日, 完了
        実数計算;グレイコード;ドメイン理論;位相空間論;不定元;双曲位相;Lawson位相;independent subbase;計算可能性解析学;グレイコ-ド;独立部分基;有限時間計算可能性;距離空間;ボトム入り文字列表現;解析学における計算可能性;実数;位相構造;計算構造
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500013/
      • 距離空間における次元、距離及び計算可能性理論に関する研究
        基盤研究(C)
        島根大学
        服部 泰直
        自 2004年04月01日, 至 2006年03月31日, 完了
        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/
      • 不連続関数の計算可能性-そのパラダイムを目指して-
        基盤研究(B)
        京都産業大学
        八杉 満利子
        自 2004年04月01日, 至 2007年03月31日, 完了
        計算可能解析学;実効的連続性;実効的一様位相列・極限;実効的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/
      • 表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
        特定領域研究
        理工系
        京都大学
        山本 章博
        自 2004年04月01日, 至 2006年03月31日, 完了
        帰納論理;極限同定;帰納的学習;実数の表現;精密化;始祖学習
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16016246/
      • RandomなSchrodinger作用素に関連する問題の研究
        基盤研究(C)
        京都大学
        上木 直昌
        自 2003年04月01日, 至 2006年03月31日, 完了
        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/
      • 実数のグレイコード表現とそれにより導かれる計算構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2003年04月01日, 至 2006年03月31日, 完了
        グレイコード;実数計算;位相空間論;部分基;関数型言語;論理型言語;ボトム;不定元;サブベース;フラクタル;ストリーム;グレイ・コード;位相空間;並列論理型言語;表現;ボトム入り文字列, Gray-code;Topology;Real number computation;subbase;domain theory;bottom
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15500010/
      • 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
        特定領域研究
        理工系
        京都大学
        山本 章博
        自 2003年04月01日, 至 2004年03月31日, 完了
        始祖学習;極限同定;帰納推論;帰納論理;メタ論理プログラミング
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15017201/
      • 実数プログラミングと実関数の計算可能性
        奨励研究(A)
        京都大学
        立木 秀樹
        自 2000年04月01日, 至 2002年03月31日, 完了
        実数計算;位相空間論;計算可能性;ドメイン理論;次元論;実数プログラミング;計算可能性解析学;グレイコード;次元
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12780217/
      • 連続体上の計算可能性問題の多角的研究
        基盤研究(B)
        京都産業大学
        八杉 満利子
        自 2000年04月01日, 至 2003年03月31日, 完了
        計算可能性構造;実効性;区分的不連続関数;一様位相空間;極限計算可能性;ドメイン理論;線形作用素;構成的論理;構成的理論;不連続関数;関数空間;グレーコード;Σ^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/
      • 概均質ベクトル空間のゼータ関数とその応用
        基盤研究(B)
        京都大学
        斎藤 裕
        自 1999年04月01日, 至 2002年03月31日, 完了
        概均質ベクトル空間;ゼータ関数;明示公式;フロイデンタール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/
      • コンピュータ上での無限精度実数の実現
        奨励研究(A)
        京都大学
        立木 秀樹
        自 1998年04月01日, 至 2000年03月31日, 完了
        実数;計算可能性;GHC;Gray code;Exact Real Number
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10780207/
      • Lax Trans formationを用いたPolymorphismの意味づけ
        奨励研究(A)
        京都産業大学
        立木 秀樹
        自 1996年04月01日, 至 1997年03月31日, 完了
        総称関数;パラメトリシティ;多相;ポリモルフィズム
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08780314/
      • マージの機構によるオブジェクト指向言語の型システムの研究
        奨励研究(A)
        京都産業大学
        立木 秀樹
        自 1995年04月01日, 至 1996年03月31日, 完了
        マージ;総称関数;正規化性;モデル;オブジェクト指向
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780292/
      • ニューラルネットを用いた仮名漢字変換の研究
        奨励研究(A)
        京都産業大学
        立木 秀樹
        自 1994年04月01日, 至 1995年03月31日, 完了
        ニューラル・ネットワーク;仮名漢字変換;パーセプトロン
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780337/
      • 様相論理とその実時間制御及び人工知能への応用
        一般研究(C)
        京都大学
        中島 玲二
        自 1989年04月01日, 至 1991年03月31日, 完了
        様相論理;時制論理;形式的プログラム仕様;実時間制御システム;知識表現;分散システム;実行可能仕様言語;論理プログラミング;実時間システム;プロセス制御;実行可能仕様;形式的仕様;分散オペレ-ティング・システム;ハイパ-テキスト;ソフトウェアの仕様;人工知能;ユーザ・インターフェース, 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/
      • 連続系の複雑さを解明する計算理論
        基盤研究(B)
        小区分60010:情報学基礎論関連
        京都大学;九州大学
        河村 彰星
        自 2018年04月01日, 至 2023年03月31日, 完了
        計算可能解析;計算量;線形時間;パラメタ計算量;プログラム抽出;計算可能性;実数表現;連分数;ホロノミック列;到達可能性;フラクタル;形式証明;実数計算;プログラム理論;複素解析;厳密計算;精度保証;計算複雑度;ランダム性;情報量規準;コルモゴロフ量;平均計算量;厳密数値計算;微分方程式;複雑度;数値計算
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H03203/
      • 連続な空間上の計算とその複雑さの研究
        基盤研究(B)
        小区分60010:情報学基礎論関連
        京都大学
        立木 秀樹
        自 2023年04月01日, 至 2028年03月31日, 交付
        計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23H03346/
      • 連続な空間上の計算とその複雑さの研究
        基盤研究(B)
        小区分60010:情報学基礎論関連
        京都大学
        立木 秀樹
        自 2023年04月01日, 至 2028年03月31日, 交付
        計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
        https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K28036/
      list
        Last Updated :2025/05/30

        教育

        担当科目

        • 自 2025年04月01日, 至 2026年03月31日
          数理科学論講究
          8269, 通年集中, 総合人間学部, 8
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学研究I
          KK22, 通年, 人間・環境学研究科, 4
        • 自 2025年04月01日, 至 2026年03月31日
          共生人間学研究II
          1002, 通年, 人間・環境学研究科, 4
        • 自 2025年04月01日, 至 2026年03月31日
          共生人間学研究I
          1001, 通年, 人間・環境学研究科, 4
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学研究II
          KK23, 通年, 人間・環境学研究科, 4
        • 自 2025年04月01日, 至 2026年03月31日
          プログラミング演習（数理的応用）
          T030, 後期, 国際高等教育院, 4
        • 自 2025年04月01日, 至 2026年03月31日
          プログラミング演習（Java）
          T027, 前期, 国際高等教育院, 4
        • 自 2025年04月01日, 至 2026年03月31日
          計算と位相
          8128, 後期, 総合人間学部, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理・情報科学入門
          0060, 前期, 総合人間学部, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理科学特別セミナー
          O034, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理情報論特別演習２
          O024, 後期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理情報論特別演習１
          O023, 前期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学特別演習1
          RR05, 前期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学特別研究II
          RR04, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学特別研究I
          RR03, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理情報論演習2B
          AA28, 後期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理情報論演習2A
          AA27, 前期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          計算基礎論2
          AA22, 後期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          共生人間学特別研究ＩＩ
          O002, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          共生人間学特別研究Ｉ
          O001, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          学術越境基礎1
          KK02, 前期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学特別演習2
          RR06, 後期, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          人間・環境学特別セミナー
          RR07, 通年, 人間・環境学研究科, 2
        • 自 2025年04月01日, 至 2026年03月31日
          数理科学基礎演習
          AA01, 前期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数学探訪Ｉ
          N172, 後期, 国際高等教育院, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理論理学Ｂ
          N139, 後期, 国際高等教育院, 2
        • 自 2024年04月01日, 至 2025年03月31日
          情報基礎［全学向］
          T009, 前期, 国際高等教育院, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理科学論講究
          8269, 通年集中, 総合人間学部, 8
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学研究II
          KK23, 通年, 人間・環境学研究科, 4
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学研究I
          KK22, 通年, 人間・環境学研究科, 4
        • 自 2024年04月01日, 至 2025年03月31日
          共生人間学研究II
          1002, 通年, 人間・環境学研究科, 4
        • 自 2024年04月01日, 至 2025年03月31日
          共生人間学研究I
          1001, 通年, 人間・環境学研究科, 4
        • 自 2024年04月01日, 至 2025年03月31日
          プログラミング演習（数理的応用）
          T030, 後期, 国際高等教育院, 4
        • 自 2024年04月01日, 至 2025年03月31日
          プログラミング演習（Java）
          T027, 前期, 国際高等教育院, 4
        • 自 2024年04月01日, 至 2025年03月31日
          計算と位相
          8128, 後期, 総合人間学部, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理・情報科学入門
          0060, 前期, 総合人間学部, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理情報論特別演習１
          O023, 前期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          共生人間学特別研究ＩＩ
          O002, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          共生人間学特別研究Ｉ
          O001, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学特別研究I
          RR03, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理科学特別セミナー
          O034, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理情報論特別演習２
          O024, 後期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          計算基礎論2
          AA22, 後期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理科学基礎演習
          AA01, 前期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          学術越境基礎1
          KK02, 前期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理情報論演習2B
          AA28, 後期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          数理情報論演習2A
          AA27, 前期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学特別研究II
          RR04, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学特別セミナー
          RR07, 通年, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学特別演習2
          RR06, 後期, 人間・環境学研究科, 2
        • 自 2024年04月01日, 至 2025年03月31日
          人間・環境学特別演習1
          RR05, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理論理学Ｂ
          N139, 後期, 国際高等教育院, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数学探訪Ｉ
          N172, 後期, 国際高等教育院, 2
        • 自 2023年04月01日, 至 2024年03月31日
          情報基礎［全学向］
          T009, 前期, 国際高等教育院, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理科学論講究
          8269, 通年集中, 総合人間学部, 8
        • 自 2023年04月01日, 至 2024年03月31日
          プログラミング演習（数理的応用）
          T030, 後期, 国際高等教育院, 4
        • 自 2023年04月01日, 至 2024年03月31日
          プログラミング演習（Java）
          T027, 前期, 国際高等教育院, 4
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学研究I
          KK22, 通年, 人間・環境学研究科, 4
        • 自 2023年04月01日, 至 2024年03月31日
          共生人間学研究II
          1002, 通年, 人間・環境学研究科, 4
        • 自 2023年04月01日, 至 2024年03月31日
          共生人間学研究I
          1001, 通年, 人間・環境学研究科, 4
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学研究II
          KK23, 通年, 人間・環境学研究科, 4
        • 自 2023年04月01日, 至 2024年03月31日
          計算と位相
          8128, 後期, 総合人間学部, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理情報論入門
          0057, 前期, 総合人間学部, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理情報論特別演習１
          O023, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          共生人間学特別研究ＩＩ
          O002, 通年, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          共生人間学特別研究Ｉ
          O001, 通年, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学特別研究I
          RR03, 通年, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理科学特別セミナー
          O034, 通年, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理情報論特別演習２
          O024, 後期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          計算基礎論2
          AA22, 後期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理科学基礎演習
          AA01, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          学術越境基礎1
          KK02, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理情報論演習2B
          AA28, 後期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          数理情報論演習2A
          AA27, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学特別演習2
          RR06, 後期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学特別演習1
          RR05, 前期, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学特別研究II
          RR04, 通年, 人間・環境学研究科, 2
        • 自 2023年04月01日, 至 2024年03月31日
          人間・環境学特別セミナー
          RR07, 通年, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理情報論演習２A
          D022, 前期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          情報基礎［全学向］
          T009, 前期, 国際高等教育院, 2
        • 自 2022年04月01日, 至 2023年03月31日
          共生人間学特別研究ＩＩ
          O002, 通年, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          計算基礎論１
          D018, 前期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理情報論特別演習１
          O023, 前期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理科学特別セミナー
          O034, 通年, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理科学論講究
          8269, 通年集中, 総合人間学部, 8
        • 自 2022年04月01日, 至 2023年03月31日
          プログラミング演習（Java）
          T027, 前期, 国際高等教育院, 4
        • 自 2022年04月01日, 至 2023年03月31日
          共生人間学研究I
          1001, 通年, 人間・環境学研究科, 4
        • 自 2022年04月01日, 至 2023年03月31日
          共生人間学研究II
          1002, 通年, 人間・環境学研究科, 4
        • 自 2022年04月01日, 至 2023年03月31日
          数理情報論入門
          0057, 前期, 総合人間学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          プログラミング演習（数理的応用）
          T030, 後期, 国際高等教育院, 4
        • 自 2022年04月01日, 至 2023年03月31日
          数理情報論特別演習２
          O024, 後期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          計算論
          8208, 前期, 総合人間学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          共生人間学特別研究Ｉ
          O001, 通年, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理情報論演習２B
          D023, 後期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理科学基礎演習
          D014, 前期, 人間・環境学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          数理論理学Ｂ
          N139, 後期, 国際高等教育院, 2
        • 自 2011年04月, 至 2012年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          情報科学Ａ
          前期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          プログラミングの基礎II
          前期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          数学とプログラミング
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          計算と位相
          前期, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          情報科学Ｂ
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          情報基礎論2
          後期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          情報基礎論1
          前期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          数理情報論演習2
          後期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          数理情報論演習1
          前期, 人間・環境学研究科
        • 自 2012年04月, 至 2013年03月
          プログラミングの基礎II
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          情報科学Ａ
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          数学とプログラミング
          後期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2012年04月, 至 2013年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2012年04月, 至 2013年03月
          計算論
          前期, 総合人間学部
        • 自 2013年04月, 至 2014年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2013年04月, 至 2014年03月
          計算と位相
          前期, 総合人間学部
        • 自 2013年04月, 至 2014年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2013年04月, 至 2014年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          情報基礎論１
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          情報基礎論２
          後期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理情報論演習１
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理情報論演習２
          後期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2013年04月, 至 2014年03月
          情報の科学（全学向）
          前期, 全学共通科目
        • 自 2013年04月, 至 2014年03月
          プログラミング演習（数学への応用）
          後期, 全学共通科目
        • 自 2013年04月, 至 2014年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2014年04月, 至 2015年03月
          計算論
          前期, 総合人間学部
        • 自 2014年04月, 至 2015年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2014年04月, 至 2015年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          情報基礎論１
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          情報基礎論２
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論演習１
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論演習２
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          情報の科学（全学向）
          前期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報基礎論１
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報基礎論２
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報の科学（全学向）
          前期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          数理情報論演習１
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論演習２
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2015年04月, 至 2016年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2015年04月, 至 2016年03月
          計算と位相
          前期, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          計算基礎論１
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          計算論
          前期, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          計算と位相
          前期, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          計算基礎論２
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2018年04月, 至 2019年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2018年04月, 至 2019年03月
          計算基礎論１
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          計算論
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          共生人間学特別研究ＩＩ
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学特別研究Ｉ
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論特別演習２
          後期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論特別演習１
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          計算と位相
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          計算基礎論２
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学特別研究ＩＩ（博士科目）
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学特別研究Ｉ（博士科目）
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論特別演習２（博士科目）
          後期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論特別演習１（博士科目）
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学特別セミナー（博士科目）
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2020年04月, 至 2021年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2020年04月, 至 2021年03月
          計算基礎論１
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          計算論
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          共生人間学特別研究ＩＩ（博士科目）
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学特別研究Ｉ（博士科目）
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          情報基礎［全学向］
          前期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          数理情報論入門
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          数理情報論演習２A
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論演習２B
          後期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論特別演習２（博士科目）
          後期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論特別演習１（博士科目）
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学特別セミナー（博士科目）
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          数理論理学Ｂ
          後期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          プログラミング演習（Java）
          前期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          プログラミング演習（数理的応用）
          後期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          計算と位相
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          計算基礎論２
          前期, 人間・環境学研究科

        博士学位審査

        • Quantification learning in Competitive Environments(競争的環境における定量化の学習)
          藤井　慧, 人間・環境学研究科, 主査
          2025年03月24日
        • Improving efficiency and quality on modeling 3D plasma shape in FFHR by introducing Neural Networks （ニューラルネットワークを用いるFFHRにおける三次元プラズマ形状のモデリングの効率と質の向上）
          HU KUNQI, 人間・環境学研究科, 副査
          2024年03月25日
        • Modeling of complex spatial structures using physics-informed neural network （物理情報に基づくニューラルネットワークを用いた複雑な内部構造をもつ物体のモデリング）
          HAN ZHONGJIANG, 人間・環境学研究科, 副査
          2024年03月25日
        • グレイコードの性質を用いた画像処理に関する研究　
          杉原　佳次, 副査
          2007年03月23日
        • Topological and Algebraic Aspects of Algorithmic Learning Theory（計算理論的学習理論の位相的及び代数的な性質）
          ＭＡＴＴＨＥＷ　ＤＥ　ＢＲＥＣＨＴ, 副査
          2010年03月23日
        • On Separation by Bipartitions and Related Geometric Problems（２分割による分離概念と関連する幾何問題について）
          戸田　貴久, 主査
          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日
        list
          Last Updated :2025/05/30

          大学運営

          全学運営(役職等)

          • 自 2024年04月01日, 至 2025年03月31日
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会
          • 自 2024年04月01日, 至 2025年03月31日
            国際高等教育院 企画評価専門委員会 データ科学部会
          • 自 2023年04月01日, 至 2024年03月31日
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • 自 2023年04月01日, 至 2024年03月31日
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 委員
          • 自 2022年04月01日
            国際高等教育院 企画評価専門委員会 委員
          • 自 2022年04月01日, 至 2023年03月31日
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 委員
          • 自 2022年04月01日, 至 2023年03月31日
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • 自 2022年04月01日, 至 2024年03月31日
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 委員
          • 自 2008年04月01日, 至 2009年03月31日
            情報教育専門委員会 委員

          部局運営(役職等)

          • 自 2024年04月01日, 至 2025年03月31日
            大学院教務委員会 委員
          • 自 2024年04月01日, 至 2025年03月31日
            学部教務委員会 委員
          • 自 2024年04月01日, 至 2025年03月31日
            学部教務委員会 委員
          • 自 2024年04月01日, 至 2026年03月31日
            情報セキュリティ委員会 委員
          • 自 2024年04月01日, 至 2025年03月31日
            自然科学系 主任
          • 自 2024年04月01日, 至 2025年03月31日
            数理・情報科学講座大学院・学部教務担当 委員
          • 自 2023年04月01日, 至 2024年03月31日
            学部入試委員会　委員
          • 自 2023年04月01日, 至 2024年03月31日
            情報セキュリティ委員会 委員
          • 自 2022年04月01日, 至 2024年03月31日
            学術情報メディアセンター　全国共同利用運営委員会　委員
          • 自 2022年04月01日, 至 2024年03月31日
            学術情報メディアセンター　協議員会　協議員
          • 自 2011年04月01日, 至 2012年03月31日
            講座分野責任者
          • 自 2011年04月01日, 至 2012年03月31日
            オープンキャンパス対応委員会委員
          • 自 2011年04月01日, 至 2012年03月31日
            情報セキュリティ委員会委員
          • 自 2012年04月01日, 至 2013年03月31日
            講座教務委員
          • 自 2012年04月01日, 至 2013年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日
            講座分野責任者
          • 自 2013年04月01日, 至 2014年03月31日
            自己点検・評価委員会委員
          • 自 2013年04月01日, 至 2014年03月31日
            情報セキュリティ委員会委員
          • 自 2013年04月01日, 至 2014年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日
            自己点検・評価委員会委員
          • 自 2014年04月01日, 至 2015年03月31日
            講座分野責任者
          • 自 2014年04月01日, 至 2015年03月31日
            情報セキュリティ委員会委員
          • 自 2015年04月01日, 至 2016年03月31日
            情報セキュリティ委員会 委員
          • 自 2016年04月01日, 至 2017年03月31日
            講座分野責任者
          • 自 2016年04月01日, 至 2017年03月31日
            人事会議員
          • 自 2016年04月01日, 至 2017年03月31日
            オープンキャンパス対応委員会委員
          • 自 2016年04月01日, 至 2017年03月31日
            研究科・学部案内パンフレット、ホームページ委員
          • 自 2016年04月01日, 至 2017年03月31日
            情報セキュリティ委員会委員
          • 自 2017年04月01日, 至 2018年03月31日
            学部入試委員会委員
          • 自 2017年04月01日, 至 2018年03月31日
            情報セキュリティ委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            学部入試委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            情報セキュリティ委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            講座分野責任者
          • 自 2019年04月01日, 至 2020年03月31日
            人事会議員
          • 自 2019年04月01日, 至 2020年03月31日
            学部入試委員会副委員長
          • 自 2019年04月01日, 至 2020年03月31日
            学部入試委員会特色入試委員長
          • 自 2019年04月01日, 至 2020年03月31日
            情報セキュリティ委員会委員
          • 自 2019年04月01日, 至 2020年03月31日
            講座分野責任者
          • 自 2020年04月01日, 至 2021年03月31日
            学部入試委員会委員長
          • 自 2020年04月01日, 至 2021年03月31日
            情報セキュリティ委員会委員
          • 自 2020年04月01日, 至 2021年03月31日
            数理情報論分野講座分野責任者
          • 自 2021年04月01日, 至 2023年03月31日
            国際高等教育院 データ科学イノベーション教育研究センター 企画評価委員会 委員
          • 自 2021年04月01日, 至 2022年03月31日
            数理科学講座講座主任
          • 自 2021年04月01日, 至 2022年03月31日
            広報誌パンフレット小委員会副委員長
          • 自 2021年04月01日, 至 2022年03月31日
            大学院入試委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            情報セキュリティ委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            研究科・学部運営会議委員
          • 自 2021年04月01日, 至 2022年03月31日
            共生人間学専攻副専攻長
          • 自 2022年04月01日, 至 2023年03月31日
            広報委員会 委員
          • 自 2022年04月01日, 至 2023年03月31日
            広報誌パンフレット小委員会 委員長
          • 自 2022年04月01日, 至 2023年03月31日
            情報セキュリティ委員会 委員
          • 自 2022年04月01日, 至 2023年03月31日
            数理情報論分野 講座分野責任者
          list
            Last Updated :2025/05/30

            学術・社会貢献

            学術貢献活動

            • CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms, organizer
              企画立案・運営等
              自 2024年09月25日, 至 2024年09月29日
            • 第26回プログラミングおよびプログラミング言語ワークショップ プログラム委員
              企画立案・運営等
              日本ソフトウェア科学会, 自 2024年03月05日, 至 2024年03月07日

            ページ上部へ戻る