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 Research 3,510,000Yen Study on Data Refinement in Program Verification 1998 -- 2001 /国内共同研究 Research and Developement of Computer-Aided Education System for Logic and Computation 1998 -- 2001 /国内共同研究 Study on Meta-level primitives in Programming Languages 2001 -- 2005 /出資金による受託研究 Study on Automatic Program Generation and its Reliability 2005-04 -- 2008-03 亀山幸義 東北大学ほか/国内共同研究 900,000Yen Study on Semantics and Abstraction Methods based on Multi-Valued Kripke Structures 2007-04 -- 2008-03 亀山幸義 (独)科学技術振興機構/出資金による受託研究 300,000Yen 階層的コントロールの論理とプログラム抽出 2011 -- 2012 Japan Society of for the Promotion of Science/挑戦的萌芽研究 2,340,000Yen コード生成のためのプログラミング言語の基礎理論 2009 -- 2012 Japan Society of for the Promotion of Science/基盤研究(B) 10,790,000Yen 多値モデル検査法を用いたモデリング・エラーの発見 2008 -- 2009 Japan Society of for the Promotion of Science/挑戦的萌芽研究 3,000,000Yen more... - Career history
2010 -- (current) University of TsukubaProfessor - Academic background
-- 1985 The University of Tokyo Faculty of Science Department of Information Science -- 1987 The University of Tokyo Graduate School of Science Information Science - Degree
Doctor of Engineering Kyoto University - Honors & Awards
2013-10 科学研究費補助金第一段審査委員表彰 科学研究費補助金の第一段審査委員として評価された 1997 Paper Award, Japan Society of Software Science and Technology - Articles
- One-Shot Algebraic Effects as Coroutines
Kawahara Satoru; Kameyama Yukiyoshi
Lecture Notes in Computer Science; Trends in Functional Programming - 21st International Symposium (TFP 2020), Revised Selected Papers/12222/pp.159-179, 2020-08 - Reorganizing queries with grouping
Rui Okura; YUkiyoshi Kameyama
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experience (GPCE '20)/pp.50-62, 2020-11 - Language-Integrated Query with Nested Data Structures and Grouping
Okura Rui; Kameyama Yukiyoshi
Lecture Notes in Computer Science, Functional and Logic Programming - 15th International Symposium (FLOPS) , Proceedings/12073/pp.139-158, 2020-09 - Module Generation Without Regret
Sato Yuhi; Kameyama Yukiyoshi; Watanabe Takahisa
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.1-13, 2020-01 - 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-chie...
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 - more...
- One-Shot Algebraic Effects as Coroutines
- 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
- Proceedings of the 5th International Workshop on Functional High-Performance Computing
- Conference, etc.
- 型付きDSLに対するプログラム変換の型安全なフレームワーク
高木 尚; 亀山 幸義
日本ソフトウェア科学会第37回大会/2020-09-08--2020-09-10 - Language-Integrated Query with Nested Data Structures and Grouping
Okura Rui; Kameyama Yukiyoshi
The 15th International Symposium on Functional and Logic Programming (FLOPS 2020)/2020-09-14--2020-09-16 - Reorganizing queries with grouping
Okura Rui; Kameyama Yukiyoshi
The 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '20)/2020-11-16--2020-11-17 - Module Generation without Regret
Sato Yuhi; Kameyama Yukiyoshi; Watanabe Takahisa
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM')/2020-01-20--2020-01-20 - One-Shot Algebraic Effects as Coroutines
Kawahara Satoru; Kameyama Yukiyoshi
The 21st International Symposium on Trends in Functional Programming (TFP2020)/2020-02-13--2020-02-14 - 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
- 型付きDSLに対するプログラム変換の型安全なフレームワーク
- Teaching
2021-10 -- 2022-02 Research in Computer Science If University of Tsukuba. 2021-10 -- 2022-02 Computer Science Seminar Bf University of Tsukuba. 2021-04 -- 2021-08 Research in Computer Science IIs University of Tsukuba. 2021-10 -- 2022-02 Seminar in Computer Science f University of Tsukuba. 2021-04 -- 2021-08 Seminar in Computer Science University of Tsukuba. 2021-10 -- 2022-02 Seminar in Computer Science University of Tsukuba. 2021-10 -- 2022-02 Research in Computer Science f University of Tsukuba. 2021-10 -- 2022-02 Research in Computer Science I University of Tsukuba. 2021-04 -- 2021-08 Research in Computer Science I University of Tsukuba. 2021-10 -- 2022-02 Computer Science Seminar Af University of Tsukuba. more... - University Management
2018-04 -- 2020-03 Chair of College of Information Science
(Last updated: 2021-06-14)