Researchers Information System

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

Nishimura, Susumu

Graduate School of Letters, Division of Mathematics and Mathematical Sciences Associate Professor

Nishimura, Susumu
list
    Last Updated :2022/06/27

    Basic Information

    Faculty

    • 理学部

    Professional Memberships

    • 日本ソフトウェア科学会
    • INFORMATION PROCESSING SOCIETY OF JAPAN

    Academic Degree

    • Master of Science(Kyoto University)
    • Dr (Sci.)(Kyoto University)

    Academic Resume (Graduate Schools)

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

    Research History

    • From Jul. 2003, To Mar. 2007
      Kyoto University, Faculty of Sicience, Department of Mathematics, 准教授
    • From Apr. 1996, To Jun. 2003
      Kyoto University, Research Institute for Mathematical Sciences, Rsearch Associate
    • From Apr. 2007, To Present
      Kyoto University, Faculty of Sicience, Department of Mathematics, Associate Professor

    Language of Instruction

    • English

    ID,URL

    researchmap URL

    list
      Last Updated :2022/06/27

      Research

      Research Topics, Overview of the research

      • Research Topics

        Computer Science (Programming Language Theory, Combinatorial Topological Method applied for Theory of Distributed/Concurrent Computing)
      • Overview of the research

        In computerized modern society, it is getting increasingly significant to understand the behavior of computer programs deeply and thereby control complex computer systems correctly.
        I have been conducting theoretical research on correct program construction such as program transformation and verification. In recent years, I am particularly interested in characterization of the computational structure of distributed/concurrent computing by means of combinatorial topological methods and intensively studying the application of the topological methods to a safe construction of distributed/concurrent systems.

      Research Interests

      • Computer Science
      • Program transformation
      • Programming Language Theory
      • Theory of distributed computing

      Research Areas

      • Informatics, Information theory

      Papers

      • Tectonic Development and Volcanism in Sunda Strait, Indonesia
        NISHIMURA Susumu
        PROGRAMME AND ABSTRACTS THE VOLCANOLOGICAL SOCIETY OF JAPAN, 1991
      • Schlegel diagram and optimizable immediate snapshot protocol
        Susumu Nishimura
        Leibniz International Proceedings in Informatics, LIPIcs, 01 Mar. 2018, Peer-reviewed
      • A fully abstract game semantics for parallelism with non-blocking synchronization on shared variables
        Susumu Nishimura
        Leibniz International Proceedings in Informatics, LIPIcs, 01 Sep. 2013, Peer-reviewed
      • May & Must-Equivalence of Shared Variable Parallel Programs in Game Semantics
        WATANABE Keisuke; WATANABE Keisuke; NISHIMURA Susumu
        Information Processing Society of Japan Transactions on Programming (PRO), Sep. 2012, Peer-reviewed
      • Calculating tree navigation with symmetric relational zipper
        Yuta Ikeda; Susumu Nishimura
        PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011, Peer-reviewed
      • Refining Exceptions in Four-Valued Logic
        Susumu Nishimura
        LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, Peer-reviewed
      • Algebraic fusion of functions with an accumulating parameter and its improvement
        Shin-Ya Katsumata; Susumu Nishimura
        JOURNAL OF FUNCTIONAL PROGRAMMING, Sep. 2008, Peer-reviewed
      • Safe modification of pointer programs in refinement calculus
        Susumu Nishimura
        MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, Peer-reviewed
      • Reasoning about data-parallel pointer programs in a modal extension of separation logic
        Susumu Nishimura
        ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, Peer-reviewed
      • Algebraic fusion of functions with an accumulating parameter and its improvement
        Shin-ya Katsumata; Susumu Nishimura
        ACM SIGPLAN NOTICES, Sep. 2006, Peer-reviewed
      • XML stream transformer generation through program composition and dependency analysis
        S Nishimura; K Nakano
        SCIENCE OF COMPUTER PROGRAMMING, Feb. 2005, Peer-reviewed
      • Fusion with stacks and accumulating parameters
        S. Nishimura
        Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2004, Peer-reviewed
      • Correctness of a higher-order removal transformation through a relational reasoning
        S Nishimura
        PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, Peer-reviewed
      • Automatic Deriviation of Event-Based Document Transformations.
        Keisuke Nakano; Susumu Nishimura
        Computer Software, 2002, Peer-reviewed
      • Deriving event-based document transformers from tree-based specifications
        Keisuke Nakano; Susumu Nishimura
        Electronic Notes in Theoretical Computer Science, Jun. 2001, Peer-reviewed
      • Parametric polymorphic type inference in constraint form
        S. Nishimura
        Computer Software, Mar. 2001, Peer-reviewed
      • Type inference for first-class messages with feature constraints
        Martin Müller; Susumu Nishimura
        International Journal of Foundations of Computer Science, 2000, Peer-reviewed
      • Parallel functional programming on recursively defined data via data-parallel recursion
        Susumu Nishimura; Atsushi Ohori
        Journal of Functional Programming, 1999, Peer-reviewed
      • Static Typing for Dynammic Messages
        S. Nishimura
        Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,, 1998, Peer-reviewed
      • Type inference for first-class messages with feature constraints
        M Muller; S Nishimura
        ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, Peer-reviewed
      • A Strict Functional Language with Cyclic Recursive Data
        S. Nishimura
        Formal Aspects of Computingg, 1997, Peer-reviewed
      • An equational object-oriented data model and its data-parallel query language
        S Nishimura; A Ohori; K Tajima
        ACM SIGPLAN NOTICES, Oct. 1996, Peer-reviewed
      • Integrating different versions of programs with backward and forward slices
        S Nishimura
        SCIENCE OF COMPUTER PROGRAMMING, Jul. 1996, Peer-reviewed
      • PDIアルゴリズム : プログラム差分合成のためのアルゴリズム
        西村 進
        コンピュータソフトウェア, Sep. 1995, Peer-reviewed
      • A calculus for exploiting data parallelism on recursively defined data (Preliminary report)
        Susumu Nishimura; Atsushi Ohori
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995, Peer-reviewed

      Misc.

      • イベント駆動型文書変換器の自動生成
        中野圭介; 西村進
        日本ソフトウエア科学会大会論文集, 18 Sep. 2001

      Presentations

      • 分散即時スナップショットの数え上げ組み合わせ論
        西村 進
        第14回 情報科学ワークショップ, 2018
      • 単体数え上げによる分散計算の組合せトポロジー
        西村 進
        代数, 論理, 幾何と情報科学研究集会 ALGI29, 2018
      • 単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム
        西村 進
        第13回情報科学ワークショップ, 2017
      • Schlegel図と分散プロトコル最適化
        西村 進
        代数, 論理, 幾何と情報科学研究集会 (ALGI 2017), 2017
      • Carrier Complex: A Poset Topology for Finding Distributed Protocols
        S. Nishimura
        Topological Methods in Distributed Computing, Dagstuhl Seminar 16282, Jul. 2016
      • 公平な並列実行のためのゲーム意味論
        西村 進
        日本ソフトウェア科学会 第31回大会, Sep. 2014

      Books and Other Publications

      Awards

      • 1996
        日本ソフトウェア科学会高橋奨励賞
      • 1998
        日本ソフトウェア科学会論文賞

      External funds: Kakenhi

      • Declarative Distirbuted Programming based on Combinatorial Topology
        Grant-in-Aid for Scientific Research (C)
        Basic Section 60010:Theory of informatics-related
        Kyoto University
        西村 進
        From 01 Apr. 2020, To 31 Mar. 2025, Granted
        並行分散計算;数理論理モデル;宣言的プログラミング;並行分散システム;組合せトポロジー
      • Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
        Grant-in-Aid for Scientific Research (C)
        Kyoto University
        Susumu Nishimura
        From 01 Apr. 2016, To 31 Mar. 2020, Project Closed
        並行分散プログラム;位相幾何的手法;プログラム導出;組合せ幾何的手法;並行・分散プログラム;並列・分散プログラム;組合せ位相幾何;組合せ論的アルゴリズム
      • Formalization and verification of shared-memory parallel programs in game semantics
        Grant-in-Aid for Scientific Research (C)
        Kyoto University
        Susumu Nishimura
        From 01 Apr. 2012, To 31 Mar. 2016, Project Closed
        並列プログラミング;ゲーム意味論;wait-notifyゲーム;並列プログラム;プログラム検証
      • Development of formally verifiable framework for program transformation
        Grant-in-Aid for Scientific Research (C)
        Kyoto University
        Susumu NISHIMURA
        Project Closed
        プログラム理論;プログラム変換;形式的証明;形式的検証;並行プログラム
      • 非述語的多相型付けを用いたプログラム融合変換
        Grant-in-Aid for Young Scientists (B)
        Kyoto University
        西村 進
        Project Closed
        プログラム変換;関数融合;プログラム論理;詳細化;型;論理
      • 制約に基づく汎用型推論モジュールの研究
        Grant-in-Aid for Encouragement of Young Scientists (A)
        Kyoto University
        西村 進
        Project Closed
        型推論;多相型;制約解消;制約
      • 動的メソッドを扱うオブジェクト指向言語の型システム
        Grant-in-Aid for Encouragement of Young Scientists (A)
        Kyoto University
        西村 進
        Project Closed
        型システム;型推論;オブジェクト指向;制約システム;動的メソッド呼出し
      list
        Last Updated :2022/06/27

        Education

        Teaching subject(s)

        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science c (for Basic Mathematics Course)
          0484, Spring, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Computer Science A
          0176, Spring, Graduate School of Science, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science a (for Basic Mathematics Course)
          0482, Spring, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science b (for Advanced Mathematics Course)
          0463, Fall, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Practice of Basic Informatics (Faculty of Science)
          T003, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science b (for Basic Mathematics Course)
          0483, Fall, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science d (for Basic Mathematics Course)
          0485, Fall, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Computer Science
          3110, Spring, Faculty of Science, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Basic Informatics(Faculty of Science)
          T010, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science B
          0561, Fall, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science a (for Advanced Mathematics Course)
          0462, Spring, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science c (for Advanced Mathematics Course)
          0464, Spring, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Special study course (Mathematical Science)
          5140, Year-long, Faculty of Science, 12
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science A
          0560, Spring, Graduate School of Science, 3
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Computer Science d (for Advanced Mathematics Course)
          0465, Fall, Graduate School of Science, 3
        • From Apr. 2011, To Mar. 2012
          Information Processing Basics
          Fall, 全学共通科目
        • From Apr. 2011, To Mar. 2012
          Exercises in Information Processing Basic
          Fall, 全学共通科目
        • From Apr. 2011, To Mar. 2012
          計算機科学
          Spring, 理学部
        • From Apr. 2011, To Mar. 2012
          数学講究
          Year-long, 理学部
        • From Apr. 2012, To Mar. 2013
          Information Processing Basics
          Fall, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Exercises in Information Processing Basic
          Fall, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2012, To Mar. 2013
          Computer Science
          Spring, 理学部
        • From Apr. 2013, To Mar. 2014
          Computer Science
          Spring, 理学部
        • From Apr. 2013, To Mar. 2014
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2013, To Mar. 2014
          Basic Programming(Faculty of Science)
          Spring, 全学共通科目
        • From Apr. 2013, To Mar. 2014
          Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2013, To Mar. 2014
          Computer Basics & Practice(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Computer Science
          Spring, 理学部
        • From Apr. 2014, To Mar. 2015
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2014, To Mar. 2015
          Computer Science B
          Spring, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science A
          Spring, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science B
          Fall, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science C
          Spring, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science D
          Fall, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science A (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science B (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science C (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Seminar on Computer Science D (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2014, To Mar. 2015
          Basic Programming(Faculty of Science)
          Spring, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Computer Basics & Practice(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Basic Programming(Faculty of Science)
          Spring, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Computer Basics & Practice(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science A (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science B (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science C (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science D (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2015, To Mar. 2016
          Computer Science B
          Spring, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Computer Science
          Spring, 理学部
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science A
          Spring, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science B
          Fall, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science C
          Spring, 理学研究科
        • From Apr. 2015, To Mar. 2016
          Seminar on Computer Science D
          Fall, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Basic Programming (Faculty of Science)
          Spring, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science A (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science B (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science C (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science D (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2016, To Mar. 2017
          Computer Science A
          Spring, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Computer Science
          Spring, 理学部
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science A
          Spring, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science B
          Fall, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science C
          Spring, 理学研究科
        • From Apr. 2016, To Mar. 2017
          Seminar on Computer Science D
          Fall, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Basic Programming
          Spring, 全学共通科目
        • From Apr. 2017, To Mar. 2018
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2017, To Mar. 2018
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science A (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science B (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science C (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science D (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science A (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science B (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science C (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Seminar on Computer Science D (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Mathematics seminary
          Year-long, 理学部
        • From Apr. 2017, To Mar. 2018
          Computer Science B
          Spring, 理学研究科
        • From Apr. 2017, To Mar. 2018
          Computer Science
          Spring, 理学部
        • From Apr. 2018, To Mar. 2019
          Basic Programming
          Spring, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science a (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science b (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science c (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science d (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science a (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science b (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science c (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Seminar on Computer Science d (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Computer Science A
          Spring, 理学研究科
        • From Apr. 2018, To Mar. 2019
          Computer Science
          Spring, 理学部
        • From Apr. 2019, To Mar. 2020
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science a (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science b (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science c (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science d (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science a (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science b (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science c (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Seminar on Computer Science d (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Computer Science B
          Spring, 理学研究科
        • From Apr. 2019, To Mar. 2020
          Computer Science
          Spring, 理学部
        • From Apr. 2020, To Mar. 2021
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science a (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science b (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science c (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science d (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science a (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science b (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science c (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Seminar on Computer Science d (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Computer Science A
          Spring, 理学研究科
        • From Apr. 2020, To Mar. 2021
          Computer Science
          Spring, 理学部
        • From Apr. 2021, To Mar. 2022
          Calculus with Exercises A
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Practice of Basic Informatics (Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Basic Informatics(Faculty of Science)
          Fall, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science a (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science b (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science c (for Advanced Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science d (for Advanced Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science a (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science b (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science c (for Basic Mathematics Course)
          Spring, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Computer Science d (for Basic Mathematics Course)
          Fall, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Computer Science A
          Spring, 理学研究科
        • From Apr. 2021, To Mar. 2022
          Computer Science
          Spring, 理学部
        list
          Last Updated :2022/06/27

          Administration

          Faculty management (title, position)

          • 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. 2015, To 31 Mar. 2016
            理学部・教育委員会 情報教育委員会委員
          • 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. 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. 2021, To 31 Mar. 2022
            理学部・教育委員会委員
          • From 01 Apr. 2021, To 31 Mar. 2022
            理学部・教育委員会 情報・統計・データ科学教育委員会委員

          ページ上部へ戻る