Kakehi Kazuhiko

カケヒカズヒコ | Kakehi Kazuhiko

Affiliation and department：
Job title： Research Associate
Homepage URL (1)： http://www.ipl.t.u-tokyo.ac.jp/~kaz

Research field (1)： Information theory

Research keywords (8)：関数型言語 , 部分計算 , 関数融合 , プログラム変換 , Functional programming , Partial evaluation , Function fusion , Program transformation

Research theme for competitive and other funds (2)：

2002 - XML処理プログラムに対する部分計算
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
On Deforesting Parameters of Accumulating Maps(共著). Logic Based Program Synthesis and Transformation (A. Pettorossi,ed., Vol.2372 of Lecture Notes in Computer Science, Springer-Verlag). 2002. 46-56
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
On Deforesting Parameters of Accumulating Maps(共著). Logic Based Program Synthesis and Transformation (A. Pettorossi,ed., Vol.2372 of Lecture Notes in Computer Science, Springer-Verlag). 2002. 46-56

ｍore...

Works (4)：

情報科学若手の会幹事(そのうち2001年と2002年は幹事代表)
1997 - 2002
教育デイベート審判、講義、運営(そのうち1997年は全日本英語討論協会会長)
1996 -
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)

Education (4)：

- 2002 Waseda University
- 2002 Waseda University Graduate School, Division of Science and Engineering Major in Information and Computer Science
- 1997 Waseda University School of Science and Engineering
- 1997 Waseda University Faculty of Science and Engineering Department in Information and Computer Science, Waseda University

Professional career (2)：

Doctor of Information and Computer Science, Waseda University (Waseda University)
Master of Information and Computer Science, Waseda University (Waseda University)

Work history (7)：

1999 - 2002 日本学術振興会特別研究員(DC1)
1999 - 2002 Research Fellow (DC1), Japan Society for the
2002 - - 東京大学大学院情報理工学系研究科助手
2002 - - Research Associate, Graduate School of
Promotion of Science

Show all

Association Membership(s) (5)：

情報処理学会 , 日本ソフトウェア科学会 , Association for Computing Machinery , Information Processing Society of Japan , Japan Society for Software Science and Technology

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page