西村 進

最終更新日時: 2019/06/14 20:13:03

印刷する

氏名(漢字/フリガナ/アルファベット表記)
西村 進/ニシムラ ススム/Nishimura, Susumu
所属部署・職名(部局/所属/講座等/職名)
理学研究科/数学・数理解析専攻相関数理講座/准教授
学部兼担
部局 所属 講座等 職名
理学部
所属学会(国内)
学会名(日本語) 学会名(英語)
日本ソフトウェア科学会 Japan Society for Software Science and Technology (JSSST)
情報処理学会 Information Processing Society of Japan
所属学会(海外)
学会名(英語) 国名
ACM (SIGPLAN Member)
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) Master of Science 京都大学 Kyoto University
博士(理学) Dr (Sci.) 京都大学 Kyoto University
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 大学院理学研究科博士後期課程数学・数理解析専攻 修了
京都大学 大学院理学研究科修士課程数理解析専攻 修了
プロフィール
(日本語)
専門は計算機科学で、プログラミング言語の理論、最近は特に分散コンピューティングの理論について研究を行っている。 教育においては、大学院においては博士課程・修士課程の学生の指導を行なっている他、学部においても数学講究や専門科目の講義を通して計算機科学の教育を行なっている。また、全学教育科目でも1・2回生向けの情報基礎科目やプログラミングの演習・講義を担当している。
(英語)
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.
researchmap URL
https://researchmap.jp/read0046906
研究テーマ
(日本語)
計算機科学(プログラミング言語理論, 組合せ幾何的手法を用いた分散並行コンピューティング理論)
(英語)
Computer Science (Programming Language Theory, Combinatorial Topological Method applied for Theory of Distributed/Concurrent Computing)
研究概要
(日本語)
プログラムの振る舞いについて深く理解しこれによって複雑なコンピュータ・システムを正しく制御することは、コンピュータ化が進む現代社会においてますます重要性を増してきている。 安全で正しいプログラム構成に関する理論的研究を、プログラム変換やプログラム検証等について行ってきた。近年は特に、分散・並列計算の組合せ幾何的計算構造の特徴づけに興味を持ち、 これを安全な分散・並行システム構成に適用するための研究を重点的に行っている。
(英語)
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.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
計算機科学 Computer Science
プログラミング言語理論 Programming Language Theory
分散・並行計算理論 Theory of Distributed/Concurrent Computing
プログラム変換 Program Transformation
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
西村 進 西村 進 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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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)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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
S. Nishimura S. Nishimura S. Nishimura Refining exceptions in four-valued logic Refining exceptions in four-valued logic Refining exceptions in four-valued logic 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), 6037 LNCS, 113-127 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), 6037 LNCS, 113-127 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), 6037 LNCS, 113-127 2010 英語 研究論文(国際会議プロシーディングス) 公開
S. Katsumata; S. Nishimura S. Katsumata; S. Nishimura S. 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 Journal of Functional Programming, 18, 781-819 Journal of Functional Programming, 18, 781-819 Journal of Functional Programming, 18, 781-819 2008/09 英語 研究論文(学術雑誌) 公開
S. Nishimura S. Nishimura S. 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 International Conference on Mathematics of Program Construction (MPC '08), 5133 LNCS, 284-304 International Conference on Mathematics of Program Construction (MPC '08), 5133 LNCS, 284-304 International Conference on Mathematics of Program Construction (MPC '08), 5133 LNCS, 284-304 2008 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
S. Nishimura S. Nishimura S. 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, 11th International Conference, AMAST 2006, 4019, 293-307 Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, 4019, 293-307 Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, 4019, 293-307 2006 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS 2003), 2895 LNCS, 358-375 Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS 2003), 2895 LNCS, 358-375 Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS 2003), 2895 LNCS, 358-375 2003 英語 研究論文(国際会議プロシーディングス) 公開
中野 圭介; 西村 進 中野 圭介; 西村 進 イベント駆動型文書変換器の自動生成 イベント駆動型文書変換器の自動生成 コンピュータソフトウェア, 19, 4, 289-295 コンピュータソフトウェア, 19, 4, 289-295 , 19, 4, 289-295 2002/07 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
Muller, M; Nishimura, S Muller, M; Nishimura, S Muller, M; Nishimura, S 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 Proceedings of the 4th ASIAN Computing Science Conference (ASIAN 98), 1538 LNCS, 169-187 Proceedings of the 4th ASIAN Computing Science Conference (ASIAN 98), 1538 LNCS, 169-187 Proceedings of the 4th ASIAN Computing Science Conference (ASIAN 98), 1538 LNCS, 169-187 1998 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 Computing, 1, 9, 78-97 Formal Aspects of Computing, 1, 9, 78-97 Formal Aspects of Computingg, 1, 9, 78-97 1997 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
西村 進 西村 進 PDIアルゴリズム : プログラム差分合成のためのアルゴリズム PDIアルゴリズム : プログラム差分合成のためのアルゴリズム コンピュータソフトウェア, 12, 5, 487-501 コンピュータソフトウェア, 12, 5, 487-501 , 12, 5, 487-501 1995/09 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
単体数え上げによる分散計算の組合せトポロジー 単体数え上げによる分散計算の組合せトポロジー 代数, 論理, 幾何と情報科学研究集会 ALGI29 代数, 論理, 幾何と情報科学研究集会 ALGI29 2018 日本語 口頭発表(一般) 公開
分散即時スナップショットの数え上げ組み合わせ論 分散即時スナップショットの数え上げ組み合わせ論 第14回 情報科学ワークショップ 第14回 情報科学ワークショップ 2018 日本語 口頭発表(一般) 公開
Schlegel図と分散プロトコル最適化 Schlegel図と分散プロトコル最適化 代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 2017 日本語 口頭発表(一般) 公開
単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム 単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム 第13回情報科学ワークショップ 第13回情報科学ワークショップ 2017 日本語 口頭発表(一般) 公開
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 英語 口頭発表(一般) 公開
公平な並列実行のためのゲーム意味論 公平な並列実行のためのゲーム意味論 日本ソフトウェア科学会 第31回大会 日本ソフトウェア科学会 第31回大会 2014/09 日本語 口頭発表(一般) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
大堀 淳、ジャック ガリグ、西村 進 大堀 淳、ジャック ガリグ、西村 進 コンピュータサイエンス入門アルゴリズムとプログラミング言語 コンピュータサイエンス入門アルゴリズムとプログラミング言語 岩波書店 岩波書店 1999 日本語 共著 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
日本ソフトウェア科学会高橋奨励賞 1996
日本ソフトウェア科学会論文賞 1998
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(C) 形式的に検証可能なプログラム変換フレームワークの構築 2008〜2011
基盤研究(C) 代表 ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 2012〜2015
基盤研究(C) 代表 ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 (平成26年度分) 2014/04/01〜2015/03/31
基盤研究(C) 代表 ゲーム意味論による共有メモリ型並列プログラムの定式化と検証 (平成27年度分) 2015/04/01〜2016/03/31
基盤研究(C) 代表 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成28年度分) 2016/04/01〜2017/03/31
基盤研究(C) 代表 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成29年度分) 2017/04/01〜2018/03/31
基盤研究(C) 代表 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成 (平成30年度分) 2018/04/01〜2019/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
基礎情報処理〔理学部〕 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

  • <<
  • >>
  • 表示
部局運営(役職等)
役職名 期間
理学部・教育委員会委員 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

  • <<
  • >>
  • 表示
学会活動:その他
学会名(日本語) 学会名(英語) 貢献活動名(日本語) 貢献活動名(英語) 期間
21st ACM SIGPLAN International Conference on Functional Programming (ICFP2016) Local organizer co-chair 2016〜2016