西村 進
ニシムラ ススム (Susumu Nishimura)
更新日: 02/06
基本情報
- 所属
- 京都大学 大学院理学研究科 数学・数理解析専攻 理学研究科 数学・数理解析専攻 准教授
- 学位
-
博士(理学)(京都大学)
- J-GLOBAL ID
- 200901042036725764
- researchmap会員ID
- 1000203307
- 外部リンク
主要な研究分野
1経歴
3-
2007年4月 - 現在
-
2003年7月 - 2007年3月
-
1996年4月 - 2003年6月
学歴
2-
- 1996年
-
- 1996年
受賞
2-
1998年
-
1996年
論文
26-
Leibniz International Proceedings in Informatics, LIPIcs 95 22:1-22:16 2018年3月1日 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 23 578-596 2013年9月1日 査読有り
-
Information Processing Society of Japan Transactions on Programming (PRO)Information Processing Society of Japan Transactions on Programming (PRO) 2012(5(4)) 17-26 2012年9月 査読有り
-
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 101-110 2011年 査読有り
-
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION 6037 113-127 2010年 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 18 781-819 2008年9月 査読有り
-
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS 5133 284-304 2008年 査読有り
-
ACM SIGPLAN NOTICES 41(9) 227-238 2006年9月 査読有り
-
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS 4019 293-307 2006年 査読有り
-
SCIENCE OF COMPUTER PROGRAMMING 54(2-3) 257-290 2005年2月 査読有り
-
コンピュータソフトウェア = Computer software 21(6) 494-498 2004年11月25日
-
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 101-112 2004年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS 2895 358-375 2003年 査読有り
-
コンピュータソフトウェア 19(4) 289-295 2002年 査読有り
-
Electronic Notes in Theoretical Computer Science 44(2) 187-211 2001年6月 査読有り
-
Computer Software 18(2) 262-281 2001年3月 査読有り
-
コンピュータソフトウェア = Computer software 17(1) 19-20 2000年1月17日
-
International Journal of Foundations of Computer Science 11(1) 29-63 2000年 査読有り
-
Journal of Functional Programming 9(4) 427-462 1999年 査読有り
-
Conference Record of POPL'98 : The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998年 査読有り
書籍等出版物
2-
丸善出版 2023年1月 (ISBN: 9784621307632)
-
岩波書店 1999年 (ISBN: 4000050060)
講演・口頭発表等
11-
Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272 2023年7月4日
-
CELT2022: Connections between Epistemic Logic and Topology 2022年10月25日 招待有り
-
第33回 代数,論理,幾何と情報科学研究集会 (ALGI33) 2022年9月12日
-
GETCO 2022 – 11th International Conference on Geometric and Topological Methods in Computer Science 2022年6月
-
第37回 記号論理と情報科学 研究集会 SLACS2020 2020年12月3日
-
第14回 情報科学ワークショップ 2018年
-
代数, 論理, 幾何と情報科学研究集会 ALGI29 2018年
-
第13回情報科学ワークショップ 2017年
-
代数, 論理, 幾何と情報科学研究集会 (ALGI 2017) 2017年
-
Topological Methods in Distributed Computing, Dagstuhl Seminar 16282 2016年7月
-
日本ソフトウェア科学会 第31回大会 2014年9月
所属学協会
2共同研究・競争的資金等の研究課題
10-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2020年4月 - 2025年3月
-
科学研究費補助金(基盤研究(C)) 2016年4月 - 2020年3月
-
科学研究費補助金(基盤研究(C)) 2012年4月 - 2016年3月
-
科学研究費補助金(基盤研究(C)) 2008年4月 - 2012年3月
-
科学研究費補助金(若手研究(B)) 2005年4月 - 2008年3月
-
科学研究費補助金(奨励研究(A)) 2000年4月 - 2002年3月
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1998年 - 1999年