KAMEYAMA Yukiyoshi

Researcher's full information

Research projects

Foundation of Meta-Programming	2004 -- 2007	KAMEYAMA Yukiyoshi	Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C)	3,850,000Yen
Calculus and Logic of Delimited Continuations	2001 -- 2003	KAMEYAMA Yukiyoshi	Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C)	3,300,000Yen
Study on Meta-level primitives in Programming Languages	2001 -- 2005		/出資金による受託研究
Study on Data Refinement in Program Verification	1998 -- 2001		/国内共同研究
Research and Developement of Computer-Aided Education System for Logic and Computation	1998 -- 2001		/国内共同研究