Kameyama Yukiyoshi

J-GLOBAL         Last updated: Jan 10, 2018 at 03:01
 
Avatar
Name
Kameyama Yukiyoshi
Affiliation
University of Tsukuba
Section
Faculty of Engineering, Information and Systems
Job title
Professor
Degree
Doctor of Engineering(Kyoto University), Master of Science(The University of Tokyo)

Research Areas

 
 

Academic & Professional Experience

 
1987
 - 
1995
Research Associate, Tohoku University
 
1995
 - 
1997
Research Associate, Kyoto University
 
1997
 - 
2001
Associate Professor, Kyoto University
 
2001
 - 
2005
Researcher, Japan Science and Technology Agency
 
2001
 - 
2010
Associate Professor, University of Tsukuba
 

Education

 
 
 - 
1985
Department of Information Science, Faculty of Science, The University of Tokyo
 
 
 - 
1987
Information Science, Graduate School of Science, The University of Tokyo
 

Awards & Honors

 
1997
Paper Award, Japan Society of Software Science and Technology
 

Published Papers

 
Efficient Finite-Domain Function Library for the Coq Proof Assistant
Kameyama,Yukiyoshi
IPSJ-PRO (Transaction of Programming, Information Processing Society of Japan)   10(1) 14-28   Jan 2017   [Refereed]
Kiselyov, Oleg;Kameyama, Yukiyoshi;Sudo, Yuto
Proceedings of Asian Symposium on Programming Languages and Systems   271-291   Nov 2016   [Refereed]
Inoue, Jun; Kiselyov, Oleg; Kameyama, Yukiyoshi
PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION   103-108   2016   [Refereed]
Suzuki, Kenichi; Kiselyov, Oleg; Kameyama, Yukiyoshi
PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION   37-48   2016   [Refereed]
Automatic Staging via Partial Evaluation Techniques
Kenichi,Asai;Yukiyoshi,Kameyama
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science      Mar 2016   [Refereed]

Books etc

 
Proceedings of the 5th International Workshop on Functional High-Performance Computing
Duke, David;Kameyama, Yukiyoshi (Part:Editor)
ACM   Sep 2016   ISBN:9781450344333
Functional and Logic Programming (Proceedings of Seventh International Symposium on Functional and Logic Programming), Lecture Notes in Computer Science 2998
Yukiyoshi, Kameyama;Peter, J. Stuckey (Part:Editor)
Springer   Apr 2004   
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
Asai, Kenichi;Kameyama, Yukiyoshi
SPRINGER-VERLAG BERLIN   Jan 2007   ISBN:9783540766360
FUNCTIONAL AND LOGIC PROGRAMMING
Kameyama, Yukiyoshi;Yonezawa, Takuo
SPRINGER-VERLAG BERLIN   Jan 2008   ISBN:9783540789680
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS
Andrade, Jefferson O.;Kameyama, Yukiyoshi
SPRINGER-VERLAG BERLIN   Jan 2008   ISBN:9783540883869

Conference Activities & Talks

 
1MLのサブセット言語に対する型システムの構築
渡部,恭久;亀山,幸義
第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表   7 Mar 2016   
Coq/SSReflect の extraction の改善
坂口,和彦;亀山,幸義
第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表   7 Mar 2016   
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
Ikuo,Kobori;Kameyama,Yukiyoshi
Workshop on Continuations 2015   22 Jan 2015   European Joint Conferences on Theory and Practice of Software, organizer
We present a typed translation of delimited-control operators shift and reset with Answer-Type modification (ATM) into a familiar language with multi-prompt shift and reset without ATM, which lets us use ATM in standard, mature languages without m...
Optimization of Extracted Programs in Constructive Programming
Yukiyoshi, Kameyama
____177-180   1994   
A Type System for Delimited Continuations
Yukiyoshi, Kameyama
____4-11   Mar 2000   

Research Grants & Projects

 
Study on Data Refinement in Program Verification
Project Year: 1998 - 2001
Research and Developement of Computer-Aided Education System for Logic and Computation
Project Year: 1998 - 2001
Study on Meta-level primitives in Programming Languages
Project Year: 2001 - 2005
Study on Automatic Program Generation and its Reliability
Project Year: Apr 2005 - Mar 2008
Study on Semantics and Abstraction Methods based on Multi-Valued Kripke Structures
Project Year: Apr 2007 - Mar 2008