2002 - Partial Evaluation of XML Proccessing Programs
MISC (10件):
Fusion Transformation on Functional Programs of Regular Expression Types(共著). Proceedings of The Third Asian Workshop On Programming Languages And Systems (APLAS'02, Department of Computer Science and Engineering, Shanghai Jiao Tong University). 2002. 160-174
An Accumulative Extention of List Folding(共著). IEICE Transaction on Information and Systems. 2002. E85-D(9):1372-1383
Fusion Transformation on Functional Programs of Regular Expression Types(共著). Proceedings of The Third Asian Workshop On Programming Languages And Systems (APLAS'02, Department of Computer Science and Engineering, Shanghai Jiao Tong University). 2002. 160-174
Juging, lectures, and management of academic debate activities(President of National Association of Forensics and Argumentation in 1997)
1996 -
Committee member, Young Gathering of Computer Science(Committee chair in 2001 and 2002)
学歴 (4件):
- 2002 早稲田大学 理工学研究科 情報科学専攻
- 2002 早稲田大学
- 1997 早稲田大学 理工学部 情報学科
- 1997 早稲田大学
学位 (2件):
博士(情報科学) (早稲田大学)
Master of Information and Computer Science, Waseda University (Waseda University)
経歴 (7件):
1999 - 2002 日本学術振興会 特別研究員(DC1)
1999 - 2002 Research Fellow (DC1), Japan Society for the
2002 - - 東京大学 大学院情報理工学系研究科 助手
2002 - - Research Associate, Graduate School of
Promotion of Science
University of Tokyo
Information Science and Technology, The
全件表示
所属学会 (5件):
情報処理学会
, 日本ソフトウェア科学会
, Association for Computing Machinery
, Information Processing Society of Japan
, Japan Society for Software Science and Technology