西澤 弘毅
Nishizawa Koki
更新日: 02/14
基本情報
研究分野
2経歴
9-
2019年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月
委員歴
1-
2014年4月 - 現在
受賞
2-
2008年3月
-
2007年6月
論文
25-
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 91-103 2012年3月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7560 207-218 2012年 査読有り
-
Relational and Algebraic Methods in Computer Science, LNCS 6663, Springer 148-163 2011年5月 査読有り
-
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 276-290 2009年11月 査読有り
-
Bulletin of Informatics and Cybernetics, Kyushu University 41 11-24 2009年9月 査読有り
-
Computer Software 26(2) 147-156 2009年5月 査読有り
-
JOURNAL OF PURE AND APPLIED ALGEBRA 213(3) 377-386 2009年3月 査読有り
-
Technical Report, Institut fur Informatik, Universitat Augsburg 73-77 2008年4月
-
Relations and Kleene Algebra in Computer Science, LNCS 4998, Springer 110-122 2008年4月 査読有り
-
Programming Science Technical Report, Research Center for Verification and Semantics, AIST AIST-PS-2007-005 1-20 2007年4月
-
Electronic Notes in Theoretical Computer Science 164(1) 177-194 2006年10月20日
-
Electronic Notes in Theoretical Computer Science 164(1) 177-194 2006年10月20日
書籍等出版物
1-
近代科学社 2018年6月
所属学協会
3Works(作品等)
13-
2012年1月 その他
-
2011年5月 その他
-
2011年1月 その他
-
2010年12月 その他
-
2008年9月 その他
-
2008年3月 その他
-
2007年9月 その他
-
2004年2月 その他
-
2003年9月 その他
共同研究・競争的資金等の研究課題
6-
日本学術振興会 日本学術振興会科学研究費補助金 若手研究(B) 2012年4月 - 2016年3月
-
環境省 環境研究総合推進費補助金 2012年4月 - 2014年3月
-
環境省 循環型社会形成推進科学研究費補助金 2009年4月 - 2012年3月
-
日本学術振興会科学研究費補助金萌芽研究 2008年4月 - 2010年3月
-
日本学術振興会科学研究費補助金 若手研究(B) 2008年4月 - 2010年3月
-
平成19年度日本学術振興会科学研究費補助金特定領域研究 2007年8月 - 2008年3月
社会貢献活動
5