Kameyama Yukiyoshi

J-GLOBAL         Last updated: Jun 7, 2018 at 02:59
 
Avatar
Name
Kameyama Yukiyoshi
Affiliation
University of Tsukuba
Section
Faculty of Engineering, Information and Systems
Job title
Professor

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