西村 進

Last Update: 2020/07/01 13:41:11

Print

Name(Kanji/Kana/Abecedarium Latinum)
西村 進/ニシムラ ススム/Nishimura, Susumu
Primary Affiliation(Org1/Job title)
Graduate School of Science/Associate Professor
Faculty
Org1 Job title
理学部
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
日本ソフトウェア科学会 Japan Society for Software Science and Technology (JSSST)
情報処理学会 Information Processing Society of Japan
Academic Organizations Overaseas You are Affiliated to
Organization name Country
ACM (SIGPLAN Member)
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(理学) Master of Science 京都大学 Kyoto University
博士(理学) Dr (Sci.) 京都大学 Kyoto University
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
京都大学 大学院理学研究科博士後期課程数学・数理解析専攻 修了
京都大学 大学院理学研究科修士課程数理解析専攻 修了
Personal Profile
(Japanese)
専門は計算機科学で、プログラミング言語の理論、最近は特に分散コンピューティングの理論について研究を行っている。 教育においては、大学院においては博士課程・修士課程の学生の指導を行なっている他、学部においても数学講究や専門科目の講義を通して計算機科学の教育を行なっている。また、全学教育科目でも1・2回生向けの情報基礎科目やプログラミングの演習・講義を担当している。
(English)
I am a computer scientist, working on the theoy of programming languages and theory of distributed computing recent years. On the educational side, I have been supervising several graduate (PhD and Msc) students and also give lectures on computer science in a class for upper undergrads as well. I am handling a computer science seminar for senior undergrads and also in charge of computer related eductation for freshmen and sophomores, such as basics of informatics and computer programming.
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
researchmap URL
https://researchmap.jp/read0046906
Research Topics
(Japanese)
計算機科学(プログラミング言語理論, 組合せ幾何的手法を用いた分散並行コンピューティング理論)
(English)
Computer Science (Programming Language Theory, Combinatorial Topological Method applied for Theory of Distributed/Concurrent Computing)
Overview of the research
(Japanese)
プログラムの振る舞いについて深く理解しこれによって複雑なコンピュータ・システムを正しく制御することは、コンピュータ化が進む現代社会においてますます重要性を増してきている。 安全で正しいプログラム構成に関する理論的研究を、プログラム変換やプログラム検証等について行ってきた。近年は特に、分散・並列計算の組合せ幾何的計算構造の特徴づけに興味を持ち、 これを安全な分散・並行システム構成に適用するための研究を重点的に行っている。
(English)
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.
Fields of research (key words)
Key words(Japanese) Key words(English)
計算機科学 Computer Science
プログラミング言語理論 Programming Language Theory
分散・並行計算理論 Theory of Distributed/Concurrent Computing
プログラム変換 Program Transformation
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
NISHIMURA Susumu 西村 進 NISHIMURA Susumu Schlegel Diagram and Optimizable Immediate Snapshot Protocol Schlegel Diagram and Optimizable Immediate Snapshot Protocol Schlegel Diagram and Optimizable Immediate Snapshot Protocol 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 95, 22:1-22:16 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 95, 22:1-22:16 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 95, 22:1-22:16 2018 Refereed English Research paper(international conference proceedings) Disclose to all
NISHIMURA Susumu NISHIMURA Susumu A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013), 23, 578-596 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013), 23, 578-596 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013), 23, 578-596 2013 Refereed English Research paper(international conference proceedings) Disclose to all
WATANABE Keisuke, WATANABE Keisuke, NISHIMURA Susumu WATANABE Keisuke, WATANABE Keisuke, NISHIMURA Susumu WATANABE Keisuke, WATANABE Keisuke, NISHIMURA Susumu May & Must-Equivalence of Shared Variable Parallel Programs in Game Semantics May & Must-Equivalence of Shared Variable Parallel Programs in Game Semantics May & Must-Equivalence of Shared Variable Parallel Programs in Game Semantics Information Processing Society of Japan Transactions on Programming (PRO), 2012, 5(4), 17-26 Information Processing Society of Japan Transactions on Programming (PRO)Information Processing Society of Japan Transactions on Programming (PRO), 2012, 5(4), 17-26 Information Processing Society of Japan Transactions on Programming (PRO), 2012, 5(4), 17-26 2012/09 Refereed English Research paper(scientific journal) Disclose to all
Y. Ikeda, S. Nishimura Y. Ikeda, S. Nishimura Y. Ikeda, S. Nishimura Calculating tree navigation with symmetric relational zipper Calculating tree navigation with symmetric relational zipper Calculating tree navigation with symmetric relational zipper PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 101-110 PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 101-110 PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 101-110 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Susumu Nishimura Susumu Nishimura Susumu Nishimura Refining Exceptions in Four-Valued Logic Refining Exceptions in Four-Valued Logic Refining Exceptions in Four-Valued Logic LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 6037, 113-127 LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 6037, 113-127 LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 6037, 113-127 2010 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-Ya Katsumata, Susumu Nishimura Shin-Ya Katsumata, Susumu Nishimura Shin-Ya Katsumata, Susumu Nishimura Algebraic fusion of functions with an accumulating parameter and its improvement Algebraic fusion of functions with an accumulating parameter and its improvement Algebraic fusion of functions with an accumulating parameter and its improvement JOURNAL OF FUNCTIONAL PROGRAMMING, 18, 781-819 JOURNAL OF FUNCTIONAL PROGRAMMING, 18, 781-819 JOURNAL OF FUNCTIONAL PROGRAMMING, 18, 781-819 2008/09 Refereed English Research paper(scientific journal) Disclose to all
Susumu Nishimura Susumu Nishimura Susumu Nishimura Safe modification of pointer programs in refinement calculus Safe modification of pointer programs in refinement calculus Safe modification of pointer programs in refinement calculus MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 5133, 284-304 MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 5133, 284-304 MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 5133, 284-304 2008 Refereed English Research paper(international conference proceedings) Disclose to all
Susumu Nishimura Susumu Nishimura Susumu Nishimura Reasoning about data-parallel pointer programs in a modal extension of separation logic Reasoning about data-parallel pointer programs in a modal extension of separation logic Reasoning about data-parallel pointer programs in a modal extension of separation logic ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 4019, 293-307 ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 4019, 293-307 ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 4019, 293-307 2006 Refereed English Research paper(scientific journal) Disclose to all
S.-Y. Katsumata, S. Nishimura S.-Y. Katsumata, S. Nishimura S.-Y. Katsumata, S. Nishimura Algebraic fusion of functions with an accumulating parameter and its improvement Algebraic fusion of functions with an accumulating parameter and its improvement Algebraic fusion of functions with an accumulating parameter and its improvement Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2006, 227-238 Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2006, 227-238 Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2006, 227-238 2006 Refereed English Disclose to all
S Nishimura, K Nakano S Nishimura, K Nakano S Nishimura, K Nakano XML stream transformer generation through program composition and dependency analysis XML stream transformer generation through program composition and dependency analysis XML stream transformer generation through program composition and dependency analysis SCIENCE OF COMPUTER PROGRAMMING, 54, 2-3, 257-290 SCIENCE OF COMPUTER PROGRAMMING, 54, 2-3, 257-290 SCIENCE OF COMPUTER PROGRAMMING, 54, 2-3, 257-290 2005/02 Refereed English Research paper(scientific journal) Disclose to all
S. Nishimura S. Nishimura S. Nishimura Fusion with stacks and accumulating parameters Fusion with stacks and accumulating parameters Fusion with stacks and accumulating parameters Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 101-112 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 101-112 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 101-112 2004 Refereed English Research paper(international conference proceedings) Disclose to all
S Nishimura S Nishimura S Nishimura Correctness of a higher-order removal transformation through a relational reasoning Correctness of a higher-order removal transformation through a relational reasoning Correctness of a higher-order removal transformation through a relational reasoning PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2895, 358-375 PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2895, 358-375 PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2895, 358-375 2003 Refereed English Research paper(scientific journal) Disclose to all
中野 圭介, 西村 進 中野 圭介, 西村 進 イベント駆動型文書変換器の自動生成 イベント駆動型文書変換器の自動生成 コンピュータソフトウェア, 19, 4, 289-295 コンピュータソフトウェア, 19, 4, 289-295 , 19, 4, 289-295 2002/07 Refereed Japanese Research paper(scientific journal) Disclose to all
S. Nishimura S. Nishimura S. Nishimura Parametric polymorphic type inference in constraint form Parametric polymorphic type inference in constraint form Parametric polymorphic type inference in constraint form Computer Software, 18, 2, 262-281 Computer Software, 18, 2, 262-281 Computer Software, 18, 2, 262-281 2001/03 Refereed English Research paper(scientific journal) Disclose to all
K. Nakano, S. Nishimura K. Nakano, S. Nishimura K. Nakano, S. Nishimura Deriving event-based document transformers from tree-based specifications Deriving event-based document transformers from tree-based specifications Deriving event-based document transformers from tree-based specifications Electronic Notes in Theoretical Computer Science, 44, 2, 187-211 Electronic Notes in Theoretical Computer Science, 44, 2, 187-211 Electronic Notes in Theoretical Computer Science, 44, 2, 187-211 2001 Refereed English Research paper(international conference proceedings) Disclose to all
M. Müller, S. Nishimura M. Müller, S. Nishimura M. Müller, S. Nishimura Type inference for first-class messages with feature constraints Type inference for first-class messages with feature constraints Type inference for first-class messages with feature constraints International Journal of Foundations of Computer Science, 11, 1, 29-63 International Journal of Foundations of Computer Science, 11, 1, 29-63 International Journal of Foundations of Computer Science, 11, 1, 29-63 2000 Refereed English Research paper(scientific journal) Disclose to all
S. Nishimura, A. Ohori S. Nishimura, A. Ohori S. Nishimura, A. Ohori Parallel functional programming on recursively defined data via data-parallel recursion Parallel functional programming on recursively defined data via data-parallel recursion Parallel functional programming on recursively defined data via data-parallel recursion Journal of Functional Programming, 9, 4, 427-462 Journal of Functional Programming, 9, 4, 427-462 Journal of Functional Programming, 9, 4, 427-462 1999 Refereed English Research paper(scientific journal) Disclose to all
S. Nishimura S. Nishimura S. Nishimura Static Typing for Dynammic Messages Static Typing for Dynammic Messages Static Typing for Dynammic Messages Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998 Refereed English Research paper(international conference proceedings) Disclose to all
M Muller, S Nishimura M Muller, S Nishimura M Muller, S Nishimura Type inference for first-class messages with feature constraints Type inference for first-class messages with feature constraints Type inference for first-class messages with feature constraints ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1538, 169-187 ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1538, 169-187 ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1538, 169-187 1998 Refereed English Research paper(scientific journal) Disclose to all
S. Nishimura S. Nishimura S. Nishimura A Strict Functional Language with Cyclic Recursive Data A Strict Functional Language with Cyclic Recursive Data A Strict Functional Language with Cyclic Recursive Data Formal Aspects of Computingg, 1, 9, 78-97 Formal Aspects of Computing, 1, 9, 78-97 Formal Aspects of Computingg, 1, 9, 78-97 1997 Refereed English Research paper(scientific journal) Disclose to all
S. Nishimura, A. Ohori, K. Tajima S. Nishimura, A. Ohori, K. Tajima S. Nishimura, A. Ohori, K. Tajima An equational object-oriented data model and its data-parallel query language An equational object-oriented data model and its data-parallel query language An equational object-oriented data model and its data-parallel query language OOPSLA '96 Conference Proceedings of Object-Oriented Programming Systems, Languages, and Applications, 1-17 OOPSLA '96 Conference Proceedings of Object-Oriented Programming Systems, Languages, and Applications, 1-17 OOPSLA '96 Conference Proceedings of Object-Oriented Programming Systems, Languages, and Applications, 1-17 1996/10 Refereed English Research paper(international conference proceedings) Disclose to all
S Nishimura S Nishimura S Nishimura Integrating different versions of programs with backward and forward slices Integrating different versions of programs with backward and forward slices Integrating different versions of programs with backward and forward slices SCIENCE OF COMPUTER PROGRAMMING, 27, 1, 1-35 SCIENCE OF COMPUTER PROGRAMMING, 27, 1, 1-35 SCIENCE OF COMPUTER PROGRAMMING, 27, 1, 1-35 1996/07 Refereed English Research paper(scientific journal) Disclose to all
西村 進 西村 進 PDIアルゴリズム : プログラム差分合成のためのアルゴリズム PDIアルゴリズム : プログラム差分合成のためのアルゴリズム コンピュータソフトウェア, 12, 5, 487-501 コンピュータソフトウェア, 12, 5, 487-501 , 12, 5, 487-501 1995/09 Refereed Japanese Research paper(scientific journal) Disclose to all
S. Nishimura, A. Ohori S. Nishimura, A. Ohori S. Nishimura, A. Ohori A calculus for exploiting data parallelism on recursively defined data (preliminary report) A calculus for exploiting data parallelism on recursively defined data (preliminary report) A calculus for exploiting data parallelism on recursively defined data (preliminary report) International Workshop on Theory and Practice on Parallel Programming, 907 LNCS International Workshop on Theory and Practice on Parallel Programming, 907 LNCS International Workshop on Theory and Practice on Parallel Programming, 907 LNCS 1995 Refereed English Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
分散即時スナップショットの数え上げ組み合わせ論 分散即時スナップショットの数え上げ組み合わせ論 第14回 情報科学ワークショップ 第14回 情報科学ワークショップ 2018 Japanese Oral presentation(general) Disclose to all
単体数え上げによる分散計算の組合せトポロジー 単体数え上げによる分散計算の組合せトポロジー 代数, 論理, 幾何と情報科学研究集会 ALGI29 代数, 論理, 幾何と情報科学研究集会 ALGI29 2018 Japanese Oral presentation(general) Disclose to all
単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム 単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム 第13回情報科学ワークショップ 第13回情報科学ワークショップ 2017 Japanese Oral presentation(general) Disclose to all
Schlegel図と分散プロトコル最適化 Schlegel図と分散プロトコル最適化 代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 2017 Japanese Oral presentation(general) Disclose to all
Carrier Complex: A Poset Topology for Finding Distributed Protocols Carrier Complex: A Poset Topology for Finding Distributed Protocols Carrier Complex: A Poset Topology for Finding Distributed Protocols Topological Methods in Distributed Computing, Dagstuhl Seminar 16282 Topological Methods in Distributed Computing, Dagstuhl Seminar 16282 Topological Methods in Distributed Computing, Dagstuhl Seminar 16282 2016/07 English Oral presentation(general) Disclose to all
公平な並列実行のためのゲーム意味論 公平な並列実行のためのゲーム意味論 日本ソフトウェア科学会 第31回大会 日本ソフトウェア科学会 第31回大会 2014/09 Japanese Oral presentation(general) Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
大堀 淳, ジャック ガリグ, 西村 進 大堀 淳, ジャック ガリグ, 西村 進 コンピュータサイエンス入門アルゴリズムとプログラミング言語 コンピュータサイエンス入門アルゴリズムとプログラミング言語 岩波書店 岩波書店 1999 Japanese Joint Work Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
日本ソフトウェア科学会高橋奨励賞 1996
日本ソフトウェア科学会論文賞 1998
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
基盤研究(C) 形式的に検証可能なプログラム変換フレームワークの構築 2008-2011
基盤研究(C) Representative ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 2012-2015
基盤研究(C) Representative ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 (平成26年度分) 2014/04/01-2015/03/31
基盤研究(C) Representative ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 (平成27年度分) 2015/04/01-2016/03/31
基盤研究(C) Representative 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成28年度分) 2016/04/01-2017/03/31
基盤研究(C) Representative 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成29年度分) 2017/04/01-2018/03/31
基盤研究(C) Representative 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成30年度分) 2018/04/01-2019/03/31
基盤研究(C) Representative 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (2019年度分) 2019/04/01-2020/03/31
基盤研究(C) Representative 組合せトポロジーに基づく宣言的並行分散プログラミング 2020/04/01-2024/03/31
基盤研究(C) Representative 組合せトポロジーに基づく宣言的並行分散プログラミング 2020/04/01-2024/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
基礎情報処理〔理学部〕 Information Processing Basics 後期 全学共通科目 2011/04-2012/03
基礎情報処理演習〔理学部〕 Exercises in Information Processing Basic 後期 全学共通科目 2011/04-2012/03
計算機科学 前期 理学部 2011/04-2012/03
数学講究 通年 理学部 2011/04-2012/03
基礎情報処理 Information Processing Basics 後期 全学共通科目 2012/04-2013/03
基礎情報処理演習 Exercises in Information Processing Basic 後期 全学共通科目 2012/04-2013/03
数学講究 Mathematics seminary 通年 理学部 2012/04-2013/03
計算機科学 Computer Science 前期 理学部 2012/04-2013/03
計算機科学 Computer Science 前期 理学部 2013/04-2014/03
数学講究 Mathematics seminary 通年 理学部 2013/04-2014/03
プログラミング基礎 Basic Programming(Faculty of Science) 前期 全学共通科目 2013/04-2014/03
情報基礎[理学部] Basic Informatics (Faculty of Science) 後期 全学共通科目 2013/04-2014/03
コンピュータ基礎演習[理学部] Computer Basics & Practice(Faculty of Science) 後期 全学共通科目 2013/04-2014/03
計算機科学 Computer Science 前期 理学部 2014/04-2015/03
数学講究 Mathematics seminary 通年 理学部 2014/04-2015/03
計算機科学B Computer Science B 前期 理学研究科 2014/04-2015/03
計算機科学数学先端研究A Seminar on Computer Science A 前期 理学研究科 2014/04-2015/03
計算機科学数学先端研究B Seminar on Computer Science B 後期 理学研究科 2014/04-2015/03
計算機科学数学先端研究C Seminar on Computer Science C 前期 理学研究科 2014/04-2015/03
計算機科学数学先端研究D Seminar on Computer Science D 後期 理学研究科 2014/04-2015/03
数学基盤研究 計算機科学A Seminar on Computer Science A (for Basic Mathematics Course) 前期 理学研究科 2014/04-2015/03
数学基盤研究 計算機科学B Seminar on Computer Science B (for Basic Mathematics Course) 後期 理学研究科 2014/04-2015/03
数学基盤研究 計算機科学C Seminar on Computer Science C (for Basic Mathematics Course) 前期 理学研究科 2014/04-2015/03
数学基盤研究 計算機科学D Seminar on Computer Science D (for Basic Mathematics Course) 後期 理学研究科 2014/04-2015/03
プログラミング基礎 Basic Programming(Faculty of Science) 前期 全学共通科目 2014/04-2015/03
情報基礎[理学部] Basic Informatics (Faculty of Science) 後期 全学共通科目 2014/04-2015/03
コンピュータ基礎演習[理学部] Computer Basics & Practice(Faculty of Science) 後期 全学共通科目 2014/04-2015/03
プログラミング基礎 Basic Programming(Faculty of Science) 前期 全学共通科目 2015/04-2016/03
コンピュータ基礎演習[理学部] Computer Basics & Practice(Faculty of Science) 後期 全学共通科目 2015/04-2016/03
情報基礎[理学部] Basic Informatics (Faculty of Science) 後期 全学共通科目 2015/04-2016/03
数学基盤研究 計算機科学A Seminar on Computer Science A (for Basic Mathematics Course) 前期 理学研究科 2015/04-2016/03
数学基盤研究 計算機科学B Seminar on Computer Science B (for Basic Mathematics Course) 後期 理学研究科 2015/04-2016/03
数学基盤研究 計算機科学C Seminar on Computer Science C (for Basic Mathematics Course) 前期 理学研究科 2015/04-2016/03
数学基盤研究 計算機科学D Seminar on Computer Science D (for Basic Mathematics Course) 後期 理学研究科 2015/04-2016/03
数学講究 Mathematics seminary 通年 理学部 2015/04-2016/03
計算機科学B Computer Science B 前期 理学研究科 2015/04-2016/03
計算機科学 Computer Science 前期 理学部 2015/04-2016/03
計算機科学数学先端研究A Seminar on Computer Science A 前期 理学研究科 2015/04-2016/03
計算機科学数学先端研究B Seminar on Computer Science B 後期 理学研究科 2015/04-2016/03
計算機科学数学先端研究C Seminar on Computer Science C 前期 理学研究科 2015/04-2016/03
計算機科学数学先端研究D Seminar on Computer Science D 後期 理学研究科 2015/04-2016/03
プログラミング基礎 Basic Programming (Faculty of Science) 前期 全学共通科目 2016/04-2017/03
情報基礎演習[理学部] Practice of Basic Informatics (Faculty of Science) 後期 全学共通科目 2016/04-2017/03
情報基礎[理学部] Basic Informatics(Faculty of Science) 後期 全学共通科目 2016/04-2017/03
数学基盤研究 計算機科学A Seminar on Computer Science A (for Basic Mathematics Course) 前期 理学研究科 2016/04-2017/03
数学基盤研究 計算機科学B Seminar on Computer Science B (for Basic Mathematics Course) 後期 理学研究科 2016/04-2017/03
数学基盤研究 計算機科学C Seminar on Computer Science C (for Basic Mathematics Course) 前期 理学研究科 2016/04-2017/03
数学基盤研究 計算機科学D Seminar on Computer Science D (for Basic Mathematics Course) 後期 理学研究科 2016/04-2017/03
数学講究 Mathematics seminary 通年 理学部 2016/04-2017/03
計算機科学A Computer Science A 前期 理学研究科 2016/04-2017/03
計算機科学 Computer Science 前期 理学部 2016/04-2017/03
計算機科学数学先端研究A Seminar on Computer Science A 前期 理学研究科 2016/04-2017/03
計算機科学数学先端研究B Seminar on Computer Science B 後期 理学研究科 2016/04-2017/03
計算機科学数学先端研究C Seminar on Computer Science C 前期 理学研究科 2016/04-2017/03
計算機科学数学先端研究D Seminar on Computer Science D 後期 理学研究科 2016/04-2017/03
プログラミング基礎 Basic Programming 前期 全学共通科目 2017/04-2018/03
情報基礎演習[理学部] Practice of Basic Informatics (Faculty of Science) 後期 全学共通科目 2017/04-2018/03
情報基礎[理学部] Basic Informatics(Faculty of Science) 後期 全学共通科目 2017/04-2018/03
数学先端研究 計算機科学A Seminar on Computer Science A (for Advanced Mathematics Course) 前期 理学研究科 2017/04-2018/03
数学先端研究 計算機科学B  Seminar on Computer Science B (for Advanced Mathematics Course) 後期 理学研究科 2017/04-2018/03
数学先端研究 計算機科学C  Seminar on Computer Science C (for Advanced Mathematics Course) 前期 理学研究科 2017/04-2018/03
数学先端研究 計算機科学D Seminar on Computer Science D (for Advanced Mathematics Course) 後期 理学研究科 2017/04-2018/03
数学基盤研究 計算機科学A Seminar on Computer Science A (for Basic Mathematics Course) 前期 理学研究科 2017/04-2018/03
数学基盤研究 計算機科学B Seminar on Computer Science B (for Basic Mathematics Course) 後期 理学研究科 2017/04-2018/03
数学基盤研究 計算機科学C Seminar on Computer Science C (for Basic Mathematics Course) 前期 理学研究科 2017/04-2018/03
数学基盤研究 計算機科学D Seminar on Computer Science D (for Basic Mathematics Course) 後期 理学研究科 2017/04-2018/03
数学講究 Mathematics seminary 通年 理学部 2017/04-2018/03
計算機科学B Computer Science B 前期 理学研究科 2017/04-2018/03
計算機科学 Computer Science 前期 理学部 2017/04-2018/03
プログラミング基礎 Basic Programming 前期 全学共通科目 2018/04-2019/03
情報基礎演習[理学部] Practice of Basic Informatics (Faculty of Science) 後期 全学共通科目 2018/04-2019/03
情報基礎[理学部] Basic Informatics(Faculty of Science) 後期 全学共通科目 2018/04-2019/03
数学先端研究 計算機科学a Seminar on Computer Science a (for Advanced Mathematics Course) 前期 理学研究科 2018/04-2019/03
数学先端研究 計算機科学b Seminar on Computer Science b (for Advanced Mathematics Course) 後期 理学研究科 2018/04-2019/03
数学先端研究 計算機科学c Seminar on Computer Science c (for Advanced Mathematics Course) 前期 理学研究科 2018/04-2019/03
数学先端研究 計算機科学d Seminar on Computer Science d (for Advanced Mathematics Course) 後期 理学研究科 2018/04-2019/03
数学基盤研究 計算機科学a Seminar on Computer Science a (for Basic Mathematics Course) 前期 理学研究科 2018/04-2019/03
数学基盤研究 計算機科学b Seminar on Computer Science b (for Basic Mathematics Course) 後期 理学研究科 2018/04-2019/03
数学基盤研究 計算機科学c Seminar on Computer Science c (for Basic Mathematics Course) 前期 理学研究科 2018/04-2019/03
数学基盤研究 計算機科学d Seminar on Computer Science d (for Basic Mathematics Course) 後期 理学研究科 2018/04-2019/03
計算機科学A Computer Science A 前期 理学研究科 2018/04-2019/03
計算機科学 Computer Science 前期 理学部 2018/04-2019/03
情報基礎演習[理学部] Practice of Basic Informatics (Faculty of Science) 後期 全学共通科目 2019/04-2020/03
情報基礎[理学部] Basic Informatics(Faculty of Science) 後期 全学共通科目 2019/04-2020/03
数学先端研究 計算機科学a Seminar on Computer Science a (for Advanced Mathematics Course) 前期 理学研究科 2019/04-2020/03
数学先端研究 計算機科学b Seminar on Computer Science b (for Advanced Mathematics Course) 後期 理学研究科 2019/04-2020/03
数学先端研究 計算機科学c Seminar on Computer Science c (for Advanced Mathematics Course) 前期 理学研究科 2019/04-2020/03
数学先端研究 計算機科学d Seminar on Computer Science d (for Advanced Mathematics Course) 後期 理学研究科 2019/04-2020/03
数学基盤研究 計算機科学a Seminar on Computer Science a (for Basic Mathematics Course) 前期 理学研究科 2019/04-2020/03
数学基盤研究 計算機科学b Seminar on Computer Science b (for Basic Mathematics Course) 後期 理学研究科 2019/04-2020/03
数学基盤研究 計算機科学c Seminar on Computer Science c (for Basic Mathematics Course) 前期 理学研究科 2019/04-2020/03
数学基盤研究 計算機科学d Seminar on Computer Science d (for Basic Mathematics Course) 後期 理学研究科 2019/04-2020/03
計算機科学B Computer Science B 前期 理学研究科 2019/04-2020/03
計算機科学 Computer Science 前期 理学部 2019/04-2020/03
情報基礎演習[理学部] Practice of Basic Informatics (Faculty of Science) 後期 全学共通科目 2020/04-2021/03
情報基礎[理学部] Basic Informatics(Faculty of Science) 後期 全学共通科目 2020/04-2021/03
数学先端研究 計算機科学a Seminar on Computer Science a (for Advanced Mathematics Course) 前期 理学研究科 2020/04-2021/03
数学先端研究 計算機科学b Seminar on Computer Science b (for Advanced Mathematics Course) 後期 理学研究科 2020/04-2021/03
数学先端研究 計算機科学c Seminar on Computer Science c (for Advanced Mathematics Course) 前期 理学研究科 2020/04-2021/03
数学先端研究 計算機科学d Seminar on Computer Science d (for Advanced Mathematics Course) 後期 理学研究科 2020/04-2021/03
数学基盤研究 計算機科学a Seminar on Computer Science a (for Basic Mathematics Course) 前期 理学研究科 2020/04-2021/03
数学基盤研究 計算機科学b Seminar on Computer Science b (for Basic Mathematics Course) 後期 理学研究科 2020/04-2021/03
数学基盤研究 計算機科学c Seminar on Computer Science c (for Basic Mathematics Course) 前期 理学研究科 2020/04-2021/03
数学基盤研究 計算機科学d Seminar on Computer Science d (for Basic Mathematics Course) 後期 理学研究科 2020/04-2021/03
計算機科学A Computer Science A 前期 理学研究科 2020/04-2021/03
計算機科学 Computer Science 前期 理学部 2020/04-2021/03

  • <<
  • >>
Faculty management (title, position)
Title Period
理学部・教育委員会委員 2014/04/01-2015/03/31
理学部・教育委員会 情報教育委員会委員 2014/04/01-2015/03/31
理学部・教育委員会委員 2015/04/01-2016/03/31
理学部・教育委員会 情報教育委員会委員 2015/04/01-2016/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
理学部・教育委員会委員 2019/04/01-2020/03/31
理学部・教育委員会 情報・統計・データ科学教育委員会委員 2019/04/01-2020/03/31
理学部・教育委員会委員 2020/04/01-2021/03/31
理学部・教育委員会 情報・統計・データ科学教育委員会委員 2020/04/01-2021/03/31

  • <<
  • >>
Academic organizaions (other)
Organization name(Japanese) Organization name(English) Misc(Japanese) Misc(English) Period
21st ACM SIGPLAN International Conference on Functional Programming (ICFP2016) Local organizer co-chair 2016-2016