西崎 真也
ニシザキ シンヤ (Nishizaki Shin'ya)
更新日: 2022/09/07
基本情報
- 所属
- 東京工業大学 学術国際情報センター情報支援部門情報基盤活用分野 教授
- 学位
-
京都大学博士(理学)(京都大学理学研究科)
- 研究者番号
- 90263615
- J-GLOBAL ID
- 200901020870497457
- researchmap会員ID
- 1000279288
- 外部リンク
経歴
6-
1998年
-
1998年
-
1996年
-
1996年
-
1994年
-
1994年
学歴
3-
- 1994年
-
- 1994年
-
- 1989年
委員歴
2-
1998年 - 2001年
-
2000年
受賞
2-
1995年
-
1993年
MISC
9-
Science of Computer Programming 21(2) 165-190 2010年
-
Science of Computer Programming 21(2) 165-190 2010年
-
コンピュータソフトウェア 23(3) 66-84 2006年
-
Higher-Order and Symbolic Computation 13(3) 239-278 2000年9月
-
Higher-Order and Symbolic Computation 13(3) 239-278 2000年
-
Computer Software 92 2000年
-
コンピュータソフトウェア別冊 92 2000年
-
SCIENCE OF COMPUTER PROGRAMMING 21(2) 165-190 1993年10月
-
Science of Computer Programming 21(2) 165-190 1993年
書籍等出版物
6-
数学書房 2009年 (ISBN: 4903342107)
-
サイエンス社 2008年 (ISBN: 4781911846)
-
岩波書店 2007年 (ISBN: 4000061917)
-
日本ソフトウェア科学会 第16回大会論文集 1999年
-
Lecture Notes in Computer Science 1998年
-
Lecture Notes in Computer Science 1998年
講演・口頭発表等
35-
日本ソフトウェア科学会第22回大会 2010年
-
日本ソフトウェア科学会第22回大会 2010年
-
システム検証の科学技術シンポジウム(SSV 2008) 2008年
-
第5回システム検証の科学技術シンポジウム 2008年
-
日本ソフトウェア科学会第24 回大会論文集 2007年
-
日本ソフトウェア科学会第24 回大会 2007年
-
第4回システム検証の科学技術シ ンポジウム論文集 2007年
-
第三回システム検証の科学技術シンポジウム 2006年
-
Second Mext-NSF-JSPS International Symposium, ISSS 2003 2004年
-
Second Mext-NSF-JSPS International Symposium, ISSS 2003 2004年
-
Lecture Notes in Computer Science 2002年
-
Lecture Notes in Computer Science 2002年
-
Journal of Information Processing Society of Japan 2001年
-
情報処理学会論文誌 2001年
-
International Symposium on Principles of Software Evolution, ISPSE 2000 2000年
-
IPSJ Transactions on Programming 2000年