Nishimura Susumu 西村進

… Alternative Names

NISHIMURA Susumu 西村進

西村進ニシムラススム

Less

Researcher Number	10283681
Other IDs
External Links
Affiliation (Current)	2025: 京都大学, 理学研究科, 准教授
Affiliation (based on the past Project Information) *help	2016 – 2023: 京都大学, 理学研究科, 准教授 2012 – 2015: 京都大学, 理学(系)研究科(研究院), 准教授 2007 – 2011: Kyoto University, 大学院・理学研究科, 准教授 2010: 京都大学, 理学研究科, 准教授 2006: 京都大学, 大学院理学研究科, 助教授 2005: 京都大学, 大学院・理学研究科, 助教授 1998 – 2001: 京都大学, 数理解析研究所, 助手
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / 計算機科学 / Basic Section 60010:Theory of informatics-related / Theory of informatics
Keywords	Principal Investigator プログラム変換 / 型推論 / 組合せトポロジー / 並行分散システム / 数理論理モデル / 宣言的プログラミング / 認識μ計算 / 分散計算の数理論理モデル / 並行分散計算 / 組合せ論的アルゴリズム … More / 組合せ位相幾何 / 並列・分散プログラム / 並行・分散プログラム / 組合せ幾何的手法 / プログラム導出 / 位相幾何的手法 / 並行分散プログラム / プログラム検証 / 並列プログラム / wait-notifyゲーム / ゲーム意味論 / 並列プログラミング / 並行プログラム / 形式的検証 / 形式的証明 / プログラム理論 / 論理 / 型 / 詳細化 / プログラム論理 / 関数融合 / 制約 / 制約解消 / 多相型 / 動的メソッド呼出し / 制約システム / オブジェクト指向 / 型システム Less

Research Projects
(7 results)
Research Products
(48 results)

Declarative Distirbuted Programming based on Combinatorial TopologyPrincipal Investigator
- Principal Investigator
  
  西村進
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
Generating Distributed Programs from High Level Specification Based on Combinatorial TopologyPrincipal Investigator
- Principal Investigator
  
  Nishimura Susumu
- Project Period (FY)
  2016 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
Formalization and verification of shared-memory parallel programs in game semanticsPrincipal Investigator
- Principal Investigator
  
  Nishimura Susumu
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
Development of formally verifiable framework for program transformationPrincipal Investigator
- Principal Investigator
  
  NISHIMURA Susumu
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
非述語的多相型付けを用いたプログラム融合変換Principal Investigator
- Principal Investigator
  
  西村進
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
制約に基づく汎用型推論モジュールの研究Principal Investigator
- Principal Investigator
  
  西村進
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
動的メソッドを扱うオブジェクト指向言語の型システムPrincipal Investigator
- Principal Investigator
  
  西村進
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University

[Journal Article] Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability2023
- Author(s)
  Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura
- Journal Title
  
  arXiv.org
  
  Volume: arXiv:2303.16437
- Open Access
- Data Source
  KAKENHI-PROJECT-20K11678
[Journal Article] Defining logical obstruction with fixpoints in epistemic logic2023
- Author(s)
  Nishimura Susumu
- Journal Title
  
  Journal of Applied and Computational Topology
  
  Volume: Novermber Issue: 4 Pages: 941-970
- DOI
  10.1007/s41468-023-00151-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11678
[Journal Article] Schlegel Diagram and Optimizable Immediate Snapshot Protocol2018
- Author(s)
  Susumu Nishimura
- Journal Title
  
  21st International Conference on Principles of Distributed Systems (OPODIS 2017)
  
  Volume: 95
- DOI
  10.4230/LIPIcs.OPODIS.2017.22
- NAID
  120006654187
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K00016
[Journal Article] May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics2012
- Author(s)
  Keisuke Watanabe, Susumu Nishimura
- Journal Title
  
  Information Processing Society of Japan Transactions on Programming ({PRO})
  
  Volume: 5(4)
- NAID
  130003324428
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500014
[Journal Article] Refining Exception s in Four-Valued Logic2010
- Author(s)
  Susumu Nishimura
- Journal Title
  
  19th Internatio nal Symposium, LOPSTR 2009, Revised Selected Papers
  
  Pages: 113-127
- URL
  http://dx.doi.org/10.1007/978-3-642-12592-8_9
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Refining Exceptions in Four-Valued Logic2010
- Author(s)
  Susumu Nishimura
- Journal Title
  
  19th International Symposium, LOPSTR 2009, Revised Selected Papers (Lecture Notes in Computer Science) vol.6037
  
  Pages: 113-127
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Refining Exceptions in Four-Valued Logic2010
- Author(s)
  Susumu Nishimura
- Journal Title
  
  19th International Symposium, LOPSTR 2009, Revised Selected Papers (Lecture Notes in Computer Science) 6037(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement2009
- Author(s)
  Shin-ya Katsumata, Susumu Nishimura
- Journal Title
  
  Journal of Functional Programming (2009年以降掲載予定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700012
[Journal Article] Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement2008
- Author(s)
  Shin-ya Katsumata, Susumu Nishimura
- Journal Title
  
  Journal of Functional Programming vol.18(5-6)
  
  Pages: 781-819
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement2008
- Author(s)
  Shin-ya Katsumata, Susumu Nishimura
- Journal Title
  
  Journal of Functional Programming 18(5-6)
  
  Pages: 781-819
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement2008
- Author(s)
  Shin-ya Katsumata, Susumu Nishimura
- Journal Title
  
  Journal of Functional Programming
  
  Volume: vol.18(5-6) Pages: 781-819
- URL
  http://dx.doi.org/10.1017/S095679680800693X
- Data Source
  KAKENHI-PROJECT-20500011
[Journal Article] Verifying Data-Parallel Programs with Separation Logic2006
- Author(s)
  Susumu Nishimura
- Journal Title
  
  SPACE 2006 : Third workshop on semantics, program analysis and computing evironements for memory management (unofficial proceedings)
  
  Pages: 101-104
- Data Source
  KAKENHI-PROJECT-17700012
[Journal Article] Algebraic Fusion of Functions with an Accumulating Parameter and its Improvement2006
- Author(s)
  Shin-ya Katsumata, Susumu Nishimura
- Journal Title
  
  ICFP'06: Proceedings of the 11th ACMSIGPLAN International Conference on Functional Programming
  
  Pages: 227-238
- Data Source
  KAKENHI-PROJECT-17700012
[Journal Article] Reasoning about Data-Parallel Pointer Programs in a Modal Extension of Separation Logic2006
- Author(s)
  Susumu Nishimura
- Journal Title
  
  Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006 LNCS 4019
  
  Pages: 293-307
- Data Source
  KAKENHI-PROJECT-17700012
[Journal Article] May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics
- Author(s)
  Keisuke Watanabe, Susumu Nishimura
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: (掲載確定)
- NAID
  130003324428
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Product Updates for Partial Epistemic Models and Logical Obstruction to Task Solvability2023
- Author(s)
  Susumu Nishimura
- Organizer
  Epistemic and Topological Reasoning in Distributed Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11678
[Presentation] On the Power of Epistemic Logic for Defining Obstructions to Distributed Agreement Tasks2022
- Author(s)
  Susumu Nishimura
- Organizer
  CELT2022: Connections between Epistemic Logic and Topology
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11678
[Presentation] 認識論理による分散タスク不可解性とその証明能力について2022
- Author(s)
  西村進
- Organizer
  第三十三回 ALGI 代数，論理，幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-20K11678
[Presentation] 動的認識論理を用いた分散計算タスクの不可解について2020
- Author(s)
  西村進
- Organizer
  第37回記号論理と情報科学研究集会 (SLACS2020)
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] 動的認識論理を用いた分散計算タスクの不可解性証明について2020
- Author(s)
  西村進
- Organizer
  第37回記号論理と情報科学研究集会 (SLACS2020)
- Data Source
  KAKENHI-PROJECT-20K11678
[Presentation] 分散即時スナップショットの数え上げ組み合わせ論2018
- Author(s)
  西村進
- Organizer
  第14回情報科学ワークショップ
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] 単体数え上げによる分散計算の組合せトポロジー2018
- Author(s)
  西村進
- Organizer
  代数, 論理, 幾何と情報科学研究集会 ALGI29
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] Schlegel図と分散プロトコル最適化2017
- Author(s)
  西村進
- Organizer
  代数, 論理, 幾何と情報科学研究集会 (ALGI 2017)
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] 単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム2017
- Author(s)
  西村進
- Organizer
  第13回情報科学ワークショップ
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] Schlegel Diagram and Optimizable Immediate Snapshot Protocol2017
- Author(s)
  Susumu Nishimura
- Organizer
  21st International Conference on Principles of Distributed Systems (OPODIS 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] Carrier Complex: A Poset Topology for Finding Distributed Protocols2016
- Author(s)
  Susumu Nishimura
- Organizer
  Dagstuhl Seminar 16282 Topological Methods in Distributed Computing
- Place of Presentation
  Schloss Dagstuhl Leibniz Center for Informatics
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] 分散プロトコル合成のための半順序位相2016
- Author(s)
  西村進
- Organizer
  ALGI2016: 代数, 論理, 幾何と情報科学研究集会
- Place of Presentation
  信州大学
- Data Source
  KAKENHI-PROJECT-16K00016
[Presentation] 組合せトポロジーによる分散並列プロトコル発見アルゴリズム2016
- Author(s)
  西村進
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-24500014
[Presentation] 順序複体上の連続変形発見による分散プログラムの導出2015
- Author(s)
  西村進
- Organizer
  第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）
- Place of Presentation
  鳥取環境大学
- Year and Date
  2015-08-31
- Data Source
  KAKENHI-PROJECT-24500014
[Presentation] 公平な並列実行のためのゲーム意味論2014
- Author(s)
  西村進
- Organizer
  日本ソフトウェア科学会第３１回大会
- Place of Presentation
  名古屋大学
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-24500014
[Presentation] A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables2013
- Author(s)
  Susumu Nishimura
- Organizer
  Computer Science Logic 2013 (CSL 2013)
- Place of Presentation
  イタリア・トリノ大学
- Data Source
  KAKENHI-PROJECT-24500014
[Presentation] May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics2012
- Author(s)
  Keisuke Watanabe, Susumu Nishimura
- Organizer
  情報処理学会プログラミング研究会
- Place of Presentation
  産業総合研究所つくば中央
- Year and Date
  2012-03-16
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Calculating Tree Navigation with Symmetric Relational Zipper2011
- Author(s)
  Yuta Ikdeda, Susumu Nishimura
- Organizer
  The 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation
- URL
  http://dx.doi.org/10.1145/1929501.1929521
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] May & Must-Equivalence of Shared Variable Parallel Programs in Game Semantics2011
- Author(s)
  Keisuke Watanabe, Susumu Nishimura
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Calculating Tree Navigation with Symmetric Relational Zipper2011
- Author(s)
  Yuta Ikdeda, Susumu Nishimura
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Calculating Tree Navigation with Symmetric Relational Zipper2011
- Author(s)
  Susumu Nishimura
- Organizer
  The 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11)
- Place of Presentation
  Austin, Texas,アメリカ合衆国
- Year and Date
  2011-01-25
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Calculating Tree Navigation with Symmetric Relational Zipper2011
- Author(s)
  Susumu Nishimura
- Organizer
  The 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM' 11)
- Place of Presentation
  Austin, Texas, アメリカ合衆国
- Year and Date
  2011-01-25
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Calculating Tree Navigation with Symmetric Relational Zipper2011
- Author(s)
  Susumu Nishimura
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップPPL2011
- Place of Presentation
  札幌
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Safe Modification of Pointer Programs in Refinement Calculus2009
- Author(s)
  Susumu Nishimura
- Organizer
  9th International Conference on Mathematics of Program Construction
- URL
  http://dx.doi.org/10.1007/978-3-540-70594-9_16
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Refining Exceptions in Four-Valued Logic2009
- Author(s)
  Susumu Nishimura
- Organizer
  代数,論理,幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Refining Exceptions in Four-Valued Logic2009
- Author(s)
  西村進
- Organizer
  代数,論理,幾何と情報科学研究集会(ALGI20)
- Place of Presentation
  鳥取環境大学
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Refining Exceptions in Four-Valued Logic2009
- Author(s)
  Susumu Nishimura
- Organizer
  19th International Symposium
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Refining Exceptions in Four-Valued Logic2009
- Author(s)
  Susumu Nishimura
- Organizer
  19^<th> International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009
- Place of Presentation
  Coimbra, ポルトガル
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Safe Modification of Pointer Programs in Refinement Calculus2008
- Author(s)
  Susumu Nishimura
- Organizer
  International Conference on Mathematics of Program Construction (MPC'08)
- Place of Presentation
  CIRM, Marseille, France
- Year and Date
  2008-07-15
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] Safe Modification of Pointer Programs in Refinement Calculus2008
- Author(s)
  Susumu Nishimura
- Organizer
  Ninth International Conference on Mathematics of Program Construction (MPC'08)
- Place of Presentation
  CIRM, Marseille (Luminy), France
- Data Source
  KAKENHI-PROJECT-17700012
[Presentation] Safe Modification of Pointer Programs in Refinement Calculus2008
- Author(s)
  Susumu Nishimura
- Organizer
  Internatlonal Conference on Mathematics of Program Construction (MPC'08)
- Place of Presentation
  CIRM, Marseille, フランス
- Year and Date
  2008-07-15
- Data Source
  KAKENHI-PROJECT-20500011
[Presentation] ポインタを扱うプログラムのためのrefinement calculus2007
- Author(s)
  西村進
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-12
- Data Source
  KAKENHI-PROJECT-17700012
[Presentation] Correct Transformation of Pointer Programs in an Extension of Refinement Calculus with Separation Logic2007
- Author(s)
  西村進
- Organizer
  Theorem Proving and Provers (TPP) Meeting
- Place of Presentation
  筑波大学
- Year and Date
  2007-11-22
- Data Source
  KAKENHI-PROJECT-17700012

Nishimura Susumu 西村 進

NISHIMURA Susumu 西村 進

西村 進 ニシムラ ススム

Research Projects

Research Products

Declarative Distirbuted Programming based on Combinatorial TopologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Generating Distributed Programs from High Level Specification Based on Combinatorial TopologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formalization and verification of shared-memory parallel programs in game semanticsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of formally verifiable framework for program transformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

非述語的多相型付けを用いたプログラム融合変換Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

制約に基づく汎用型推論モジュールの研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

動的メソッドを扱うオブジェクト指向言語の型システムPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability2023

Author(s)

Journal Title

Data Source

[Journal Article] Defining logical obstruction with fixpoints in epistemic logic2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Schlegel Diagram and Optimizable Immediate Snapshot Protocol2018

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics2012

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Refining Exception s in Four-Valued Logic2010

Author(s)

Journal Title

URL

Data Source

[Journal Article] Refining Exceptions in Four-Valued Logic2010

Author(s)

Journal Title

Data Source

[Journal Article] Refining Exceptions in Four-Valued Logic2010

Author(s)

Journal Title

Data Source

Nishimura Susumu 西村進

NISHIMURA Susumu 西村進

西村進ニシムラススム