西村進 Nishimura Susumu

研究者番号	10283681
その他のID
外部サイト
所属 (現在)	2025年度: 京都大学, 理学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2023年度: 京都大学, 理学研究科, 准教授 2012年度 – 2015年度: 京都大学, 理学(系)研究科(研究院), 准教授 2007年度 – 2011年度: 京都大学, 大学院・理学研究科, 准教授 2010年度: 京都大学, 理学研究科, 准教授 2006年度: 京都大学, 大学院理学研究科, 助教授 2005年度: 京都大学, 大学院・理学研究科, 助教授 1998年度 – 2001年度: 京都大学, 数理解析研究所, 助手
審査区分/研究分野	研究代表者情報学基礎 / 計算機科学 / 小区分60010:情報学基礎論関連 / 情報学基礎理論
キーワード	研究代表者プログラム変換 / 型推論 / 組合せトポロジー / 並行分散システム / 数理論理モデル / 宣言的プログラミング / 認識μ計算 / 分散計算の数理論理モデル / 並行分散計算 / 組合せ論的アルゴリズム … もっと見る / 組合せ位相幾何 / 並列・分散プログラム / 並行・分散プログラム / 組合せ幾何的手法 / プログラム導出 / 位相幾何的手法 / 並行分散プログラム / プログラム検証 / 並列プログラム / wait-notifyゲーム / ゲーム意味論 / 並列プログラミング / 並行プログラム / 形式的検証 / 形式的証明 / プログラム理論 / 論理 / 型 / 詳細化 / プログラム論理 / 関数融合 / 制約 / 制約解消 / 多相型 / 動的メソッド呼出し / 制約システム / オブジェクト指向 / 型システム隠す

研究課題
(7件)
研究成果
(48件)

組合せトポロジーに基づく宣言的並行分散プログラミング研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2016 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
ゲーム意味論による共有メモリ型並列プログラムの定式化と検証研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
形式的に検証可能なプログラム変換フレ.ムワ.クの構築研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2008 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
非述語的多相型付けを用いたプログラム融合変換研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
制約に基づく汎用型推論モジュールの研究研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
動的メソッドを扱うオブジェクト指向言語の型システム研究代表者
- 研究代表者
  
  西村進
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学

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

西村 進 Nishimura Susumu

研究課題

研究成果

組合せトポロジーに基づく宣言的並行分散プログラミング研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ゲーム意味論による共有メモリ型並列プログラムの定式化と検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式的に検証可能なプログラム変換フレ.ムワ.クの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非述語的多相型付けを用いたプログラム融合変換研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

制約に基づく汎用型推論モジュールの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

動的メソッドを扱うオブジェクト指向言語の型システム研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Defining logical obstruction with fixpoints in epistemic logic2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Schlegel Diagram and Optimizable Immediate Snapshot Protocol2018

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Refining Exception s in Four-Valued Logic2010

著者名/発表者名

雑誌名

URL

データソース

[雑誌論文] Refining Exceptions in Four-Valued Logic2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Refining Exceptions in Four-Valued Logic2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement2009

著者名/発表者名

西村進 Nishimura Susumu