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

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

立木 秀樹

ツイキ ヒデキ

国際高等教育院 数学教室 教授

立木 秀樹
list
    Last Updated :2022/05/14

    基本情報

    学部兼担

    • 総合人間学部

    所属学協会

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

    学位

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

    出身大学院・研究科等

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

    出身学校・専攻等

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

    経歴

    • 自 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 :2022/05/14

      研究

      研究テーマ・研究概要

      • 研究テーマ

        理論計算機科学
      • 研究概要

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

      研究キーワード

      • 計算機科学
      • Computer Science

      研究分野

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

      論文

      • 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
        M. Sugiyama; E. Hirowatari; H. Tsuiki; A. Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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
        Proceedings of the Sixth International Symposium on Turbulence, Heat and Mass Transfer, 881-884, 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 functions and fractals defined by infinite systems of contractions
        Y. Tsujii; T. Mori; M. Yasugi; H. Tsuiki
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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
        H. Tsuiki
        Lecture Notes in Computer Science, 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
        Lecture Notes in Computer Science, 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

      • エレガントな解答をもとむ(解答)
        立木 秀樹
        数学セミナー, 日本評論社, 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月
      • Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects (特集 パズルの数理 : 情報数学)
        Hideki Tsuiki; Yohei Yokota
        情報処理学会論文誌, 2012年06月15日

      講演・口頭発表等

      • 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日, 招待有り

      書籍等出版物

      • すべての人のための Java プログラミング 第3版
        立木 秀樹; 有賀 妙子
        共立出版, 2017年09月, 査読無し
      • イマジナリーキューブ・パズル 3H=6T
        立木 秀樹
        京都大学総合博物館ミュゼップ, 2012年04月, 査読無し
      • すべての人のためのJavaプログラミング
        立木 秀樹; 有賀 妙子
        共立出版, 2000年10月, 査読無し

      Works(作品等)

      • A Culculus of Parametric Generic Functions(Technical Report, IEI-RM94-002, Keio Uniu. )
        自 1994年
      • The User Interface for Multilingal Input in a Windowing Environment Using Automatons(共著)
        自 1992年, 至 1993年

      受賞

      • 1994年
        情報処理学会, 情報処理学会山下記念研究賞
      • 2019年09月15日
        京都大学アカデミックデイ事務局, 京都大学アカデミックデイ賞:「ちゃぶ台囲んで膝詰め対話」

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

      • 空間の近似のなす組合せ的構造とそれに基づく計算
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2015年04月01日, 至 2020年03月31日, 交付
        Amb;Program Extraction;IFP;nondeterminism;totality;Fixed Point Logic;Adequacy;Gray code;Lattice Puzzle;コンパクト集合;T^omega;計算可能解析学;プログラム抽出;並列計算;グレイコード;表現空間;ボトム入り文字列;コンパクト集合の表現;タイリング;full-folding map;不定元;余代数
      • 計算可能性と粗いトポロジーに関する距離空間の次元様相
        基盤研究(C)
        島根大学
        服部 泰直
        自 2010年04月01日, 至 2014年03月31日, 完了
        距離空間;ドメイン;次元;分離次元;Martin位相;Sorgenfrey位相;形式的球体;小帰納次元;位相次元;計算可能性;Khalimsky 空間;Alexandroff 空間;Sorgenfrey型位相;半順序構造;粗いトポロジー;位相空間;超空間位相;半順序集合;Scott位相;コンパクト化;集合値関数;選択関数;被覆次元;帰納的次元
      • 表現を通じた、空間や図形の計算的構造及び関連したフラクタル等の構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        自 2010年10月20日, 至 2015年03月31日, 完了
        実数計算;ドメイン理論;位相空間論;力学系;プログラミング言語理論;full-folding map;Kneading Theory;フラクタル;ボトム入り文字列;PCF;full-flipping map;unimodal map;dynamical system;bottom;real number computation;admissibility condition
      • 離散値・数値混用データからの閉集合を利用した知識発見方式
        基盤研究(A)
        京都大学
        山本 章博
        自 2010年04月01日, 至 2014年03月31日, 完了
        知識発見;機械学習;形式概念解析;閉集合;実数計算;離散構造データ;フラクタル
      • 論理式による実数の近似表現を用いた数値データからの機械学習手法
        挑戦的萌芽研究
        京都大学
        山本 章博
        完了
        機械学習;計算論的学習;実数計算;数理論理学;閉集合;フラクタルアトラクタ
      • 距離空間の計算構造と次元及び解析集合論的複雑性の研究
        基盤研究(C)
        島根大学
        服部 泰直
        完了
        トポロジー;情報基礎;距離空間;ドメイン;次元;超限次元;ボレルクラス;双曲型位相;形式的球体;ノルム空間;超空間位相;ボレル集合;位相次元;計算可能性
      • 不定元を含む文字列表現を用いた実数などの連続空間の計算構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        完了
        実数計算;グレイコード;ドメイン理論;位相空間論;不定元;双曲位相;Lawson位相;independent subbase;計算可能性解析学;グレイコ-ド;独立部分基;有限時間計算可能性;距離空間;ボトム入り文字列表現;解析学における計算可能性;実数;位相構造;計算構造
      • 距離空間における次元、距離及び計算可能性理論に関する研究
        基盤研究(C)
        島根大学
        服部 泰直
        完了
        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
      • 不連続関数の計算可能性-そのパラダイムを目指して-
        基盤研究(B)
        京都産業大学
        八杉 満利子
        完了
        計算可能解析学;実効的連続性;実効的一様位相列・極限;実効的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
      • 表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
        特定領域研究
        理工系
        京都大学
        山本 章博
        完了
        帰納論理;極限同定;帰納的学習;実数の表現;精密化;始祖学習
      • RandomなSchrodinger作用素に関連する問題の研究
        基盤研究(C)
        京都大学
        上木 直昌
        完了
        random Schrodinger作用素;確率解析;作用素論;スペクトル;Anderson局在;確率場;微分方程式;Wegner評価;Wenger評価;状態密度関数;random Shrodinger作用素, Random Schrodinger Operators;Stochastic Analysis;Operator Theory;Spectrum;Anderson Localization;Random Field;Differential Equations;Wegner Estimates
      • 実数のグレイコード表現とそれにより導かれる計算構造の研究
        基盤研究(C)
        京都大学
        立木 秀樹
        完了
        グレイコード;実数計算;位相空間論;部分基;関数型言語;論理型言語;ボトム;不定元;サブベース;フラクタル;ストリーム;グレイ・コード;位相空間;並列論理型言語;表現;ボトム入り文字列, Gray-code;Topology;Real number computation;subbase;domain theory;bottom
      • 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
        特定領域研究
        理工系
        京都大学
        山本 章博
        完了
        始祖学習;極限同定;帰納推論;帰納論理;メタ論理プログラミング
      • 実数プログラミングと実関数の計算可能性
        奨励研究(A)
        京都大学
        立木 秀樹
        完了
        実数計算;位相空間論;計算可能性;ドメイン理論;次元論;実数プログラミング;計算可能性解析学;グレイコード;次元
      • 連続体上の計算可能性問題の多角的研究
        基盤研究(B)
        京都産業大学
        八杉 満利子
        完了
        計算可能性構造;実効性;区分的不連続関数;一様位相空間;極限計算可能性;ドメイン理論;線形作用素;構成的論理;構成的理論;不連続関数;関数空間;グレーコード;Σ^0_1-排中律;計算可能性;型2マシン;連続体;排中律, Computability structure;Effectivity;Piecewise continuous function;Uniform space;Limit computability;Domain theory;Linear operator;Constructive logic
      • 概均質ベクトル空間のゼータ関数とその応用
        基盤研究(B)
        京都大学
        斎藤 裕
        完了
        概均質ベクトル空間;ゼータ関数;明示公式;フロイデンタール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
      • コンピュータ上での無限精度実数の実現
        奨励研究(A)
        京都大学
        立木 秀樹
        完了
        実数;計算可能性;GHC;Gray code;Exact Real Number
      • Lax Trans formationを用いたPolymorphismの意味づけ
        奨励研究(A)
        京都産業大学
        立木 秀樹
        完了
        総称関数;パラメトリシティ;多相;ポリモルフィズム
      • マージの機構によるオブジェクト指向言語の型システムの研究
        奨励研究(A)
        京都産業大学
        立木 秀樹
        完了
        マージ;総称関数;正規化性;モデル;オブジェクト指向
      • ニューラルネットを用いた仮名漢字変換の研究
        奨励研究(A)
        京都産業大学
        立木 秀樹
        完了
        ニューラル・ネットワーク;仮名漢字変換;パーセプトロン
      • 様相論理とその実時間制御及び人工知能への応用
        一般研究(C)
        京都大学
        中島 玲二
        完了
        様相論理;時制論理;形式的プログラム仕様;実時間制御システム;知識表現;分散システム;実行可能仕様言語;論理プログラミング;実時間システム;プロセス制御;実行可能仕様;形式的仕様;分散オペレ-ティング・システム;ハイパ-テキスト;ソフトウェアの仕様;人工知能;ユーザ・インターフェース, Modal Logic;Tense Logic;Formal Program Specification;Real-time Process-control;Knowledge-representation;Distributed System;Executable Specification;Langnagl
      list
        Last Updated :2022/05/14

        教育

        担当科目

        • 自 2011年04月, 至 2012年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          情報科学A
          前期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          プログラミングの基礎II
          前期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          数学とプログラミング
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          計算と位相
          前期, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          情報科学B
          後期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2011年04月, 至 2012年03月
          情報基礎論2
          後期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          情報基礎論1
          前期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          数理情報論演習2
          後期, 人間・環境学研究科
        • 自 2011年04月, 至 2012年03月
          数理情報論演習1
          前期, 人間・環境学研究科
        • 自 2012年04月, 至 2013年03月
          プログラミングの基礎II
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          情報科学A
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          数学とプログラミング
          後期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2012年04月, 至 2013年03月
          数理論理学B
          後期, 全学共通科目
        • 自 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月
          情報基礎論1
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          情報基礎論2
          後期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理情報論演習1
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理情報論演習2
          後期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2013年04月, 至 2014年03月
          数理論理学B
          後期, 全学共通科目
        • 自 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月
          情報基礎論1
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          情報基礎論2
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論演習1
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論演習2
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2014年04月, 至 2015年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          情報の科学(全学向)
          前期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2014年04月, 至 2015年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報基礎論1
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報基礎論2
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          情報の科学(全学向)
          前期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          数理情報論演習1
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論演習2
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2015年04月, 至 2016年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2015年04月, 至 2016年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2015年04月, 至 2016年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2015年04月, 至 2016年03月
          計算と位相
          前期, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2016年04月, 至 2017年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2016年04月, 至 2017年03月
          計算基礎論1
          前期, 人間・環境学研究科
        • 自 2016年04月, 至 2017年03月
          計算論
          前期, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2017年04月, 至 2018年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2017年04月, 至 2018年03月
          計算と位相
          前期, 総合人間学部
        • 自 2017年04月, 至 2018年03月
          計算基礎論2
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2018年04月, 至 2019年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2018年04月, 至 2019年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2018年04月, 至 2019年03月
          計算基礎論1
          前期, 人間・環境学研究科
        • 自 2018年04月, 至 2019年03月
          計算論
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          共生人間学特別研究II
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学特別研究I
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論特別演習2
          後期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理情報論特別演習1
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学特別セミナー
          通年, 人間・環境学研究科
        • 自 2019年04月, 至 2020年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          計算と位相
          前期, 総合人間学部
        • 自 2019年04月, 至 2020年03月
          計算基礎論2
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学特別研究II(博士科目)
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学特別研究I(博士科目)
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論特別演習2(博士科目)
          後期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理情報論特別演習1(博士科目)
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学特別セミナー(博士科目)
          通年, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2020年04月, 至 2021年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          言語・数理情報科学入門
          前期, 総合人間学部
        • 自 2020年04月, 至 2021年03月
          計算基礎論1
          前期, 人間・環境学研究科
        • 自 2020年04月, 至 2021年03月
          計算論
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          共生人間学特別研究II(博士科目)
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学特別研究I(博士科目)
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学研究I
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          共生人間学研究II
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          情報基礎[全学向]
          前期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          数理情報論入門
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          数理情報論演習2A
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論演習2B
          後期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論特別演習2(博士科目)
          後期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理情報論特別演習1(博士科目)
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学基礎演習
          前期, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学特別セミナー(博士科目)
          通年, 人間・環境学研究科
        • 自 2021年04月, 至 2022年03月
          数理科学論講究
          通年集中, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          数理論理学B
          後期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          プログラミング演習(Java)
          前期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          プログラミング演習(数理的応用)
          後期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          計算と位相
          前期, 総合人間学部
        • 自 2021年04月, 至 2022年03月
          計算基礎論2
          前期, 人間・環境学研究科

        博士学位審査

        • グレイコードの性質を用いた画像処理に関する研究 
          杉原 佳次, 副査
          2007年03月23日
        • Topological and Algebraic Aspects of Algorithmic Learning Theory(計算理論的学習理論の位相的及び代数的な性質)
          MATTHEW DE BRECHT, 副査
          2010年03月23日
        • On Separation by Bipartitions and Related Geometric Problems(2分割による分離概念と関連する幾何問題について)
          戸田 貴久, 主査
          2012年03月26日
        • Vision-based Measurement Methods for Schools of Fish and Analysis of their Behaviors(動画像処理に基づく魚群の計測手法と行動解析)
          寺山 慧, 主査
          2016年03月23日
        • Strongly proper dyadic subbases and their domain theoretic properties(強整合的な二分的準開基とそのドメイン理論的性質)
          塚本 靖之, 主査
          2016年03月23日
        • Multiplayer Games as Extension of Misere Games(逆形ゲームの拡張としての多人数ゲーム)
          末續 鴻輝, 主査
          2019年03月25日
        • Regret analysis of constrained irreducible MDPs with reset action(リセット行動が存在する制約付き既約MDPに対するリグレット解析)
          渡部 崇, 副査
          2020年03月23日
        list
          Last Updated :2022/05/14

          大学運営

          全学運営(役職等)

          • 自 2008年04月01日, 至 2009年03月31日
            情報教育専門委員会 委員

          部局運営(役職等)

          • 自 2014年04月01日, 至 2015年03月31日
            人環フォーラム編集委員会委員
          • 自 2014年04月01日, 至 2015年03月31日
            オープンキャンパス対応委員会委員
          • 自 2014年04月01日, 至 2015年03月31日
            情報セキュリティー委員会委員
          • 自 2014年04月01日, 至 2015年03月31日
            自己点検・評価委員会委員
          • 自 2011年04月01日, 至 2012年03月31日
            講座分野責任者
          • 自 2012年04月01日, 至 2013年03月31日
            講座教務委員
          • 自 2012年04月01日, 至 2013年03月31日
            講座分野責任者
          • 自 2013年04月01日, 至 2014年03月31日
            講座教務委員
          • 自 2013年04月01日, 至 2014年03月31日
            講座分野責任者
          • 自 2014年04月01日, 至 2015年03月31日
            講座分野責任者
          • 自 2011年04月01日, 至 2012年03月31日
            オープンキャンパス対応委員会委員
          • 自 2013年04月01日, 至 2014年03月31日
            自己点検・評価委員会委員
          • 自 2011年04月01日, 至 2012年03月31日
            情報セキュリティ委員会委員
          • 自 2012年04月01日, 至 2013年03月31日
            情報セキュリティ委員会委員
          • 自 2013年04月01日, 至 2014年03月31日
            情報セキュリティ委員会委員
          • 自 2014年04月01日, 至 2015年03月31日
            情報セキュリティ委員会委員
          • 自 2012年04月01日, 至 2013年03月31日
            大学院教務委員会
          • 自 2013年04月01日, 至 2014年03月31日
            大学院教務委員会副委員長
          • 自 2016年04月01日, 至 2017年03月31日
            講座分野責任者
          • 自 2016年04月01日, 至 2017年03月31日
            人事会議員
          • 自 2016年04月01日, 至 2017年03月31日
            オープンキャンパス対応委員会委員
          • 自 2016年04月01日, 至 2017年03月31日
            研究科・学部案内パンフレット、ホームページ委員
          • 自 2016年04月01日, 至 2017年03月31日
            情報セキュリティ委員会委員
          • 自 2017年04月01日, 至 2018年03月31日
            学部入試委員会委員
          • 自 2017年04月01日, 至 2018年03月31日
            情報セキュリティ委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            学部入試委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            情報セキュリティ委員会委員
          • 自 2018年04月01日, 至 2019年03月31日
            講座分野責任者
          • 自 2019年04月01日, 至 2020年03月31日
            人事会議員
          • 自 2019年04月01日, 至 2020年03月31日
            学部入試委員会副委員長
          • 自 2019年04月01日, 至 2020年03月31日
            学部入試委員会特色入試委員長
          • 自 2019年04月01日, 至 2020年03月31日
            情報セキュリティ委員会委員
          • 自 2019年04月01日, 至 2020年03月31日
            講座分野責任者
          • 自 2020年04月01日, 至 2021年03月31日
            学部入試委員会委員長
          • 自 2020年04月01日, 至 2021年03月31日
            情報セキュリティ委員会委員
          • 自 2020年04月01日, 至 2021年03月31日
            数理情報論分野講座分野責任者
          • 自 2021年04月01日, 至 2022年03月31日
            数理科学講座講座主任
          • 自 2021年04月01日, 至 2022年03月31日
            広報誌パンフレット小委員会副委員長
          • 自 2021年04月01日, 至 2022年03月31日
            大学院入試委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            情報セキュリティ委員会委員
          • 自 2021年04月01日, 至 2022年03月31日
            研究科・学部運営会議委員
          • 自 2021年04月01日, 至 2022年03月31日
            共生人間学専攻副専攻長

          ページ上部へ戻る