西澤 弘毅
Nishizawa Koki
更新日: 2025/09/01
基本情報
- 所属
- 神奈川大学 情報学部システム数理学科 教授
- 学位
-
博士（情報理工学）(2006年3月 東京大学大学院)修士（情報理工学）(2003年3月 東京大学大学院)学士（理学）(2001年3月 東京大学)
- 研究者番号
- 60455433
- J-GLOBAL ID
- 200901004633370749
- researchmap会員ID
- 5000102428
研究キーワード
9経歴
10-
2019年10月 - 2023年3月
-
2017年10月 - 2017年10月
-
2013年4月 - 2013年8月
-
2012年4月 - 2013年3月
-
2009年4月 - 2013年3月
-
2008年10月 - 2013年3月
-
2007年8月 - 2008年9月
-
2007年4月 - 2007年7月
-
2006年4月 - 2007年7月
-
2003年4月 - 2006年3月
学歴
3-
2003年4月 - 2006年3月
-
2001年4月 - 2003年3月
-
1997年4月 - 2001年3月
委員歴
2-
2014年4月 - 現在
-
2023年4月 - 2024年3月
受賞
2-
2008年3月
-
2007年6月
論文
35-
Journal of Logical and Algebraic Methods in Programming 127(100773) 1-19 2022年6月 査読有り
-
Lecture Notes in Computer Science 12062 221-236 2020年4月 査読有り
-
Lecture Notes in Computer Science 12062 237-252 2020年4月 査読有り
-
Lecture Notes in Computer Science 11194 97-112 2018年11月 査読有り
-
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 84(3) 426-439 2015年5月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8428 261-276 2014年 査読有り
-
IEEE Global Engineering Education Conference, EDUCON 520-525 2013年 査読有り
-
Bulletin of Tottori University of Environmental Studies vol. 9 and 10(9) 91-103 2012年3月
-
第33回全国都市清掃研究・事例発表会 講演論文集、全国都市清掃会議. 93-95 2012年1月
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7560 207-218 2012年 査読有り
-
研究報告教育学習支援情報システム（CLE）, 情報処理学会 (2011-CLE-4 巻 4 号) 1-8 2011年5月
-
Relational and Algebraic Methods in Computer Science, LNCS 6663, Springer 6663 148-163 2011年5月 査読有り
-
第32回全国都市清掃研究・事例発表会講演論文集, 全国都市清掃会議 92-94 2011年1月
-
研究報告教育学習支援情報システム（CLE）, 情報処理学会. (2010-CLE-3 巻 1 号) 1-8 2010年12月
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E93D(8) 2036-2039 2010年8月 査読有り
-
Computer Software 27(3) 99-113 2010年8月 査読有り
-
Relations and Kleene Algebra in Computer Science, LNCS 5827, Springer 5827 276-290 2009年11月 査読有り
-
Bulletin of Informatics and Cybernetics, Kyushu University 41 11-24 2009年9月 査読有り
-
JOURNAL OF PURE AND APPLIED ALGEBRA 213(3) 377-386 2009年3月 査読有り
-
日本ソフトウェア科学会25回大会予稿集（CD-ROM） 2008年9月
MISC
1-
情報処理学会火の国情報シンポジウム（CD-ROM） 42 1-9 2008年3月
書籍等出版物
1-
近代科学社 2018年6月
所属学協会
4-
2022年10月 - 現在
-
2016年4月 - 現在
-
2009年3月 - 現在
-
2002年9月 - 現在
Works(作品等)
13-
2012年1月 その他
-
2011年5月 その他
-
2011年1月 その他
-
2010年12月 その他
-
2008年9月 その他
-
2008年3月 その他
-
2007年9月 その他
-
2004年2月 その他
-
2003年9月 その他
共同研究・競争的資金等の研究課題
7-
日本学術振興会 基盤研究(C)（一般） 基盤研究(C) 2022年4月 - 2026年3月
-
日本学術振興会 日本学術振興会科学研究費補助金 若手研究（B） 2012年4月 - 2016年3月
-
環境省 環境研究総合推進費補助金 2012年4月 - 2014年3月
-
環境省 循環型社会形成推進科学研究費補助金 2009年4月 - 2012年3月
-
日本学術振興会 日本学術振興会科学研究費補助金萌芽研究 挑戦的萌芽研究 2008年4月 - 2010年3月
-
日本学術振興会 日本学術振興会科学研究費補助金 若手研究（B） 若手研究(B) 2008年4月 - 2010年3月
-
日本学術振興会 平成19年度日本学術振興会科学研究費補助金特定領域研究 特定領域研究 2007年8月 - 2008年3月
社会貢献活動
5