Nishimura, Susumu(Graduate School of Science, Division of Mathematics and Mathematical Sciences) | Activity Database on Education and Research, Kyoto University

Nishimura, Susumu

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

Last Updated :2024/11/26

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 Apr. 2007, To Present
Kyoto University, Faculty of Sicience, Department of Mathematics, Associate Professor

From Jul. 2003, To Mar. 2007
Kyoto University, Faculty of Sicience, Department of Mathematics, Associate Professor

From Apr. 1996, To Jun. 2003
Kyoto University, Research Institute for Mathematical Sciences, Rsearch Associate

Language of Instruction

English

ID,URL

J-Global ID
200901042036725764
External link
https://cs-nishimura.github.io/

researchmap URL

https://researchmap.jp/read0046906

Last Updated :2024/11/26

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

Programming Language Theory

Theory of distributed computing

Program transformation

Research Areas

Informatics, Information theory

Papers

Defining logical obstruction with fixpoints in epistemic logic
Susumu Nishimura
Journal of Applied and Computational Topology, 14 Nov. 2023, Peer-reviewed, Lead author

Report on FLOPS 2004
NISHIMURA Susumu; Susumu Nishimura
Computer Software, 25 Nov. 2004

Programming and Non-Verbalization
NISHIMURA Susumu; Susumu Nishimura; Research Institute for Mathematical Sciences Kyoto University
Computer Software, 17 Jan. 2000

Schlegel diagram and optimizable immediate snapshot protocol
Susumu Nishimura
Leibniz International Proceedings in Informatics, LIPIcs, 01 Mar. 2018, Peer-reviewed
Access this paper :

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 Algorithm : An Algorithm for Program Difference Integration
NISHIMURA Susumu; Susumu Nishimura; Research Institute for Mathematical Sciences Kyoto University
コンピュータソフトウェア, 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

Presentations

Product Updates for Partial Epistemic Models and Logical Obstruction to Task Solvability
Susumu Nishimura
Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272, 04 Jul. 2023

認識論理による分散タスク不可解性とその証明能力について
第33回代数，論理，幾何と情報科学研究集会 (ALGI33), 12 Sep. 2022

動的認識論理を用いた分散計算タスクの不可解性証明について
西村進
第37回記号論理と情報科学研究集会 SLACS2020, 03 Dec. 2020

On the Power of Epistemic Logic for Defining Obstructions to Distributed Agreement Tasks
Susumu Nishimura
CELT2022: Connections between Epistemic Logic and Topology, 25 Oct. 2022, Invited

Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
Susumu Nishimura
GETCO 2022 – 11th International Conference on Geometric and Topological Methods in Computer Science, Jun. 2022

分散即時スナップショットの数え上げ組み合わせ論
西村進
第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

プログラミング言語の形式的意味論入門
末永幸平; 勝股審也; 中澤巧爾; 西村進; 前田敦司, Joint translation, G. ウィンスケル
丸善出版, Jan. 2023
Find Kyoto University's collection of books :

コンピュータサイエンス入門アルゴリズムとプログラミング言語
大堀淳; ジャックガリグ; 西村進, Joint work
岩波書店, 1999, Not refereed
Find Kyoto University's collection of books :

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
並行分散計算;分散計算の数理論理モデル;認識μ計算;宣言的プログラミング;数理論理モデル;並行分散システム;組合せトポロジー
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20K11678/

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. 2021, Project Closed
並行分散プログラム;位相幾何的手法;プログラム導出;組合せ幾何的手法;並行・分散プログラム;並列・分散プログラム;組合せ位相幾何;組合せ論的アルゴリズム
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00016/

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ゲーム;並列プログラム;プログラム検証
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500014/

Development of formally verifiable framework for program transformation
Grant-in-Aid for Scientific Research (C)
Kyoto University
Susumu NISHIMURA
From 01 Apr. 2008, To 31 Mar. 2012, Project Closed
プログラム理論;プログラム変換;形式的証明;形式的検証;並行プログラム
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500011/

非述語的多相型付けを用いたプログラム融合変換
Grant-in-Aid for Young Scientists (B)
Kyoto University
西村進
From 01 Apr. 2005, To 31 Mar. 2008, Project Closed
プログラム変換;関数融合;プログラム論理;詳細化;型;論理
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700012/

制約に基づく汎用型推論モジュールの研究
Grant-in-Aid for Encouragement of Young Scientists (A)
Kyoto University
西村進
From 01 Apr. 2000, To 31 Mar. 2002, Project Closed
型推論;多相型;制約解消;制約
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12780216/

動的メソッドを扱うオブジェクト指向言語の型システム
Grant-in-Aid for Encouragement of Young Scientists (A)
Kyoto University
西村進
From 01 Apr. 1998, To 31 Mar. 2000, Project Closed
型システム;型推論;オブジェクト指向;制約システム;動的メソッド呼出し
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10780187/

Last Updated :2024/11/26

Education

Teaching subject(s)

From 01 Apr. 2024, To 31 Mar. 2025
Basic Informatics(Faculty of Science)
T010, Fall, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2024, To 31 Mar. 2025
Practice of Basic Informatics (Faculty of Science)
T003, Fall, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2024, To 31 Mar. 2025
Special study course (Mathematical Science)
5140, Year-long, Faculty of Science, 12

From 01 Apr. 2024, To 31 Mar. 2025
Computer Science
3110, Spring, Faculty of Science, 2

From 01 Apr. 2024, To 31 Mar. 2025
Advanced Computer Science
4111, Fall, Faculty of Science, 2

From 01 Apr. 2024, To 31 Mar. 2025
Linear Algebra with Exercises A
N151, Spring, Institute for Liberal Arts and Sciences, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science b (for Advanced Mathematics Course)
0463, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science a (for Advanced Mathematics Course)
0462, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science c (for Advanced Mathematics Course)
0464, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science B
0561, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science A
0560, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science d (for Advanced Mathematics Course)
0465, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science D
0563, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Computer Science C
0562, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Computer Science B
0177, Fall, Graduate School of Science, 2

From 01 Apr. 2024, To 31 Mar. 2025
Computer Science A
0176, Spring, Graduate School of Science, 2

From 01 Apr. 2023, To 31 Mar. 2024
Basic Informatics(Faculty of Science)
T010, Fall, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2023, To 31 Mar. 2024
Practice of Basic Informatics (Faculty of Science)
T003, Fall, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2023, To 31 Mar. 2024
Computer Science
3110, Spring, Faculty of Science, 2

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science A
0560, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science d (for Basic Mathematics Course)
0485, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science c (for Basic Mathematics Course)
0484, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science D
0563, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science C
0562, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science B
0561, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science c (for Advanced Mathematics Course)
0464, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science b (for Advanced Mathematics Course)
0463, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science a (for Advanced Mathematics Course)
0462, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science b (for Basic Mathematics Course)
0483, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science a (for Basic Mathematics Course)
0482, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Computer Science d (for Advanced Mathematics Course)
0465, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Linear Algebra with Exercises A
N151, Spring, Institute for Liberal Arts and Sciences, 3

From 01 Apr. 2023, To 31 Mar. 2024
Computer Science A
0176, Spring, Graduate School of Science, 2

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, 理学部

Last Updated :2024/11/26

Administration

Faculty management (title, position)

From 01 Apr. 2024, To 31 Mar. 2026
理学研究科相談室運営委員会委員

From 01 Apr. 2024, To 31 Mar. 2025
理学部・教育委員会委員

From 01 Apr. 2024, To 31 Mar. 2025
理学部・教育委員会　情報・統計・データ科学教育委員会委員

From 01 Apr. 2023, To 31 Mar. 2024
理学部・教育委員会委員

From 01 Apr. 2023, To 31 Mar. 2024
理学部・教育委員会　情報・統計・データ科学教育委員会委員

From 01 Apr. 2022, To 31 Mar. 2023
理学部・教育委員会委員

From 01 Apr. 2022, To 31 Mar. 2023
理学部・教育委員会　情報・統計・データ科学教育委員会委員

From 01 Apr. 2022, To 31 Mar. 2024
情報環境機構教育システム運用委員会委員

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
理学部・教育委員会　情報・統計・データ科学教育委員会委員

ページ上部へ戻る

Search for faculty members

Nishimura, Susumu

Basic Information

Faculty

Professional Memberships

Academic Degree

Academic Resume (Graduate Schools)

Research History

Language of Instruction

ID,URL

J-Global ID

External link

researchmap URL

Research

Research Topics, Overview of the research

Research Topics

Overview of the research

Research Interests

Research Areas

Papers

Presentations

Books and Other Publications

Awards

External funds: Kakenhi

Education

Teaching subject(s)

Administration

Faculty management (title, position)