You are here

Kameyama Yukiyoshi

Affiliation
Faculty of Engineering, Information and Systems
Official title
Professor
URL
Research fields
Software
Research keywords
Programming Logic
Software Verification
Research projects
先進的型理論に基づく多段階計算体系の設計と実装2018 -- 2021亀山 幸義Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(B)12,740,000Yen
マルチステージ証明記述言語の設計と開発2015 -- 2017亀山 幸義Japan Society for the Promotion of Science/Grant-in-Aid for challenging Exploratory Research3,510,000Yen
Study on Data Refinement in Program Verification1998 -- 2001/国内共同研究
Research and Developement of Computer-Aided Education System for Logic and Computation1998 -- 2001/国内共同研究
Study on Meta-level primitives in Programming Languages2001 -- 2005/出資金による受託研究
Study on Automatic Program Generation and its Reliability2005-04 -- 2008-03亀山幸義東北大学ほか/国内共同研究900,000Yen
Study on Semantics and Abstraction Methods based on Multi-Valued Kripke Structures2007-04 -- 2008-03亀山幸義(独)科学技術振興機構/出資金による受託研究300,000Yen
階層的コントロールの論理とプログラム抽出2011 -- 2012Japan Society of for the Promotion of Science/挑戦的萌芽研究2,340,000Yen
コード生成のためのプログラミング言語の基礎理論2009 -- 2012Japan Society of for the Promotion of Science/基盤研究(B)10,790,000Yen
多値モデル検査法を用いたモデリング・エラーの発見2008 -- 2009Japan Society of for the Promotion of Science/挑戦的萌芽研究3,000,000Yen
Career history
2010 -- (current)University of Tsukuba Professor
Academic background
-- 1985The University of Tokyo Faculty of Science Department of Information ScienceGraduated
-- 1987The University of Tokyo Graduate School of Science Information ScienceCompleted
Degree
Doctor of EngineeringKyoto University
Honors & Awards
2013-10科学研究費補助金第一段審査委員表彰科学研究費補助金の第一段審査委員として評価された
1997Paper Award, Japan Society of Software Science and Technology
Articles
  • Meta-Programming for Statistical Machine Learning
    亀山 幸義
    NII Shonan Seminar Report, 2018-07
  • Report on the 2016 ACM-ICPC Asia Tsukuba Regional Contest
    亀山 幸義
    Computer Software/34(1)/pp.1_52-1_57, 2017
  • Program Generation for ML Modules (short paper)
    Watanabe Takahisa; Kameyama Yukiyoshi
    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.60-66, 2018-01
  • Staging with Control: Type-Safe Multi-stage Programming with Control Operators
    Oishi Junpei; Kameyama Yukiyoshi
    ACM SIGPLAN NOTICES/52(12)/pp.29-40, 2017-12
  • Efficient Finite-Domain Function Library for the Coq Proof Assistant
    Kameyama Yukiyoshi
    IPSJ-PRO (Transaction of Programming, Information Processing Society of Japan)/10(1)/pp.14-28, 2017-01
  • Refined Environment Classifiers - Type- and Scope-safe Code Generation
    Kiselyov Oleg; Kameyama Yukiyoshi; Sudo Yuto
    Proceedings of Asian Symposium on Programming Languages and Systems/pp.271-291, 2016-11
  • Staging beyond Terms: Prospects and Challenges
    Inoue Jun; Kiselyov Oleg; Kameyama Yukiyoshi
    PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION/pp.103-108, 2016
  • Finally, Safely-Extensible and Efficient Language-Integrated Query
    Suzuki Kenichi; Kiselyov Oleg; Kameyama Yukiyoshi
    PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION/pp.37-48, 2016
  • Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
    Kobori Ikuo; Kameyama Yukiyoshi; Kiselyov Oleg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE/(212)/pp.36-52, 2016
  • Automatic Staging via Partial Evaluation Techniques
    Kenichi Asai; Yukiyoshi Kameyama
    Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016-03
  • Staging beyond terms: prospects and challenges
    Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
    Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.103-108, 2016-01
  • Combinators for Impure yet Hygienic Code Generation
    Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
    Science of Computer Programming/112(2)/pp.120-144, 2015-11
  • Generate and Offshore: Type-safe and Modular Code Generation for Low-Level Optimization
    Naoki Takashima; Hiroki Sakamoto; Yukiyoshi Kameyama
    Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing/p.45, 2015-09
  • Finally Composing SQL: Extensible and Safe Language-Integrated Query
    鈴木 健一; オレッグ、キセリョーフ; 亀山 幸義
    Proceedings of the 17th JSSST Workshop on Programming and Programming Languages, 2015-03
  • The Next Stage of Staging
    Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
    Proceedings of the 17th JSSST Workshop on Programming and Programming Languages, 2015-03
  • Shonan Challenge for Generative Programming
    Baris Aktemur; Kameyama Yukiyoshi; Oleg Kiselyov; Chung-c...
    Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.147-154, 2013-01
  • Combinators for Impure yet Hygienic Code Generation
    Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
    Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.3-14, 2014-01
  • Constructive Programming in SST
    Masahiko Sato; Yukiyoshi Kameyama
    Proceedings of the Japanese-Czechoslovak Seminar on Theoretical Foundations of Knowledge Information Science/p.23-30, 1989-01
  • Japan Academic Inter-university Network
    亀山 幸義
    Operations Research/37(12)/p.599-602, 1992-01
  • Implementation of a Purely Functional Language Λ with Encapsulated Assignment
    山中淳彦; 佐藤雅彦; 亀山幸義
    Functional Programming (JSSST2002), Lecture notes/p.201-216, 1994-01
  • Conservativeness of Λ over λσ-calculus
    Masahiko Sato; Yukiyoshi Kameyama
    Lecture Notes in Computer Science/792/p.73-94, 1994-01
  • A Type-Free Theory of Half-Monotone Inductive Definitions
    Yukiyoshi Kameyama
    International Journal of Foundations of Computer Science/6(3)/p.203-234, 1995-01
  • A New Formulation of the Catch/Throw Mechanism
    Yukiyoshi Kameyama
    Proc. Second Fuji International Workshop on Functional and Logic Programming/p.106-122, 1997-01
  • A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
    Yukiyoshi Kameyama; Masahiko Sato
    Proc. 4th Australian Theory Symposium/20(3)/p.183-197, 1998-01
  • A Type-theoretic Study on Partial Continuations
    Yukiyoshi Kameyama
    Proceedings of IFIP International Conference on Theoretical Computer Science (Lecture Notes in Computer Science)/1872/p.489-504, 2000-08
Books
  • Proceedings of the 5th International Workshop on Functional High-Performance Computing
    Duke David; Kameyama Yukiyoshi
    ACM, 2016-09
  • 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
    Springer, 2004-04
  • Polymorphic delimited continuations
    Asai Kenichi; Kameyama Yukiyoshi
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, SPRINGER-VERLAG BERLIN, pp.239-254, 2007-01
  • Typed dynamic control operators for delimited continuations
    Kameyama Yukiyoshi; Yonezawa Takuo
    FUNCTIONAL AND LOGIC PROGRAMMING, SPRINGER-VERLAG BERLIN, pp.239-254, 2008-01
  • A Direct Algorithm for Multi-valued Bounded Model Checking
    Andrade Jefferson O.; Kameyama Yukiyoshi
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, SPRINGER-VERLAG BERLIN, pp.80-94, 2008-01
  • Closing the Stage From Staged Code to Typed Closures
    Kameyama Yukiyoshi; Kiselyov Oleg; Shan Chung-chieh
    PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, ASSOC COMPUTING MACHINERY, pp.147-157, 2008-01
  • Axioms for delimited continuations in the CPS hierarchy
    Kameyama Y
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, SPRINGER-VERLAG BERLIN, pp.442-457, 2004-01
Conference, etc.
  • Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects
    菊地綾音; 亀山 幸義
    SIG-Programing, 122th meeting, Information Processing Society of Japan/2019-01-17--2019-01-18
  • A Lightweight Approach to Module Generation
    Kameyama Yukiyoshi
    IFIP Working Group 2.11, Program Generation, 18th Meeting/2018-06-04--2018-06-06
  • Program Generation for ML Modules
    Watanabe Takahisa; Kameyama Yukiyoshi
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)/2018-01-08--2018-01-09
  • 1MLのサブセット言語に対する型システムの構築
    渡部 恭久; 亀山 幸義
    第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表/2016-03-07--2016-03-09
  • Coq/SSReflect の extraction の改善
    坂口 和彦; 亀山 幸義
    第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表/2016-03-07--2016-03-09
  • Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
    Ikuo Kobori; Kameyama Yukiyoshi
    Workshop on Continuations 2015/2015-01-22--2015-01-22
  • Discovery of Modeling Errors using Multi-Valued Model Checking
    辰己淳朗; 亀山幸義
    IPSJ SIG-PRO Research Meeting____/2006-01
  • Typed Multi-Stage Language with Control Effect and Code Execution
    杉浦啓介; 亀山幸義
    JSSST 26th Conference____/2009-09
  • Scalable Web Application Framework based on Delimited Continuation
    田中麻峰; 亀山幸義
    ____/2010-03
  • Improving Error Message in Type System
    Cynthia Kustanto; Yukiyoshi Kameyama
    ____/2010-03
  • Typed dynamic control operators for delimited continuations
    Kameyama Yukiyoshi; Yonezawa Takuo
    9th International Symposium on Functional and Logic Programming/2008-04-14--2008-04-16
  • A Direct Algorithm for Multi-valued Bounded Model Checking
    Andrade Jefferson O.; Kameyama Yukiyoshi
    6th International Symposium on Automated Technology for Verification and Analysis/2008-10-20--2008-10-23
Teaching
2018-10 -- 2018-12Automata and Formal LanguagesUniversity of Tsukuba.
2018-07 -- 2018-08Art of ProgrammingUniversity of Tsukuba.
2018-04 -- 2018-06Advanced Course in Programming LanguagesUniversity of Tsukuba.
2018-04 -- 2018-06Programming Language IUniversity of Tsukuba.
2018-10 -- 2018-11Advanced Course in Program TheoryUniversity of Tsukuba.
2018-10 -- 2019-02Seminar in Computer ScienceUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IIUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer ScienceUniversity of Tsukuba.
2018-10 -- 2019-02Computer Science Seminar AUniversity of Tsukuba.
University Management
2018-04 -- 2020-03Chair of College of Information Science

(Last updated: 2019-06-27)