KAMEYAMA Yukiyoshi

Affiliation
Institute of Systems and Information Engineering
Official title
Professor
ORCID
0000-0002-2693-5133
URL
Research fields
Software
Research keywords
Programming Logic
Software Verification
Research projects
Theory and Implementation of Staged Computation with Dependent Types2022-04 -- 2026-03KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(B)17,290,000Yen
Staged Computing based on Advanced Type Systems2018-04 -- 2022-03KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(B)12,740,000Yen
Design and development of multi-stage languages for verification2015-04 -- 2018-03KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for challenging Exploratory Research3,510,000Yen
Study on Highly Reliable Programming Languages for Code Generation2013-04 -- 2016-03KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(B)17,290,000Yen
Calculi for Call-by-Need and Control Abstraction2013-04 -- 2015-03KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Challenging Exploratory Research1,560,000Yen
Logical aspect of Control Operators and Program Extraction2011 -- 2012KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Challenging Exploratory Research2,340,000Yen
Foundation of Programming Languages for Code Generation2009 -- 2012KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(B)10,790,000Yen
多値モデル検査法を用いたモデリング・エラーの発見2008 -- 2009KAMEYAMA YukiyoshiJapan Society for the Promotion of Science/Grant-in-Aid for Challenging Exploratory Research3,000,000Yen
Study on Semantics and Abstraction Methods based on Multi-Valued Kripke Structures2007-04 -- 2008-03亀山幸義（独）科学技術振興機構/出資金による受託研究300,000Yen
Study on Automatic Program Generation and its Reliability2005-04 -- 2008-03亀山幸義東北大学ほか/国内共同研究900,000Yen
more...
Career history
2010 -- (current)University of TsukubaProfessor
Academic background
-- 1985The University of Tokyo Faculty of Science Department of Information Science
-- 1987The University of Tokyo Graduate School of Science Information Science
Degree
Doctor of EngineeringKyoto University
Honors & Awards
2024-10-22Distinguished Research Paper AwardThe most distinguished paper among the accepted papers in GPCE 2024
2013-10科学研究費補助金第一段審査委員表彰科学研究費補助金の第一段審査委員として評価された
1997Paper Award, Japan Society of Software Science and Technology
Articles
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.
  • Staged Gradual Typing
    Yaguchi Hiroto; KAMEYAMA Yukiyoshi
    Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2025)/2025-07-03--2025-07-04
  • Classical Temporal Logic for Staged Computation
    根本 樹; KAMEYAMA Yukiyoshi
    The 153rd IPSJ SIG-Programming Meeting (IPSJ-SIGPRO)/2025-03-26--2025-03-27
  • MAYUZIN: Runtime Generative and Analytical Metaprogramming
    Zin Ya Mone; KAMEYAMA Yukiyoshi
    The 152nd IPSJ SIG-Programming Meeting (IPSJ-SIGPRO)/2025-01-15--2025-01-16
  • エフェクトハンドラを用いた型安全なコード生成
    礒田華成; KAMEYAMA Yukiyoshi
    日本ソフトウェア科学会第41回大会/2024-09-10--2024-09-12
  • EmbedFX: New Programming Language for Embedded Systems with Asynchronous Effects
    Batyrbek Danel; KAMEYAMA Yukiyoshi
    日本ソフトウェア科学会第41回大会/2024-09-10--2024-09-12
  • Type-Safe Code Generation with Algebraic Effects and Handlers
    Isoda Kanaru; Yokoyama Ayato; KAMEYAMA Yukiyoshi
    GPCE 2024: The 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences/2024-10-21--2024-10-22
  • Simulating One-Shot Effect Handlers Using Coroutines
    Kobayashi Kentaro; KAMEYAMA Yukiyoshi
    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)/2025-03-05--2025-03-07
  • Coq の証明から抽出されたプログラムに対する型主導の最適化アルゴリズムとその形式化（ポスター発表）
    礒田 華成; 亀山 幸義
    第２６回プログラミングおよびプログラミング言語ワークシップ/2024-03-05--2024-03-07
  • 擬似引用方式のプログラム生成によるSQLクエリコンパイラ（ポスター発表）
    夏井 優太; 亀山 幸義
    擬似引用方式のプログラム生成によるSQLクエリコンパイラ（ポスター発表）/2024-03-05--2024-05-07
  • 代数的エフェクトを持つ２段階計算言語の型システム
    横山　彪人; 亀山 幸義
    日本ソフトウェア科学会第３９回大会/2022-08-31--2022-09-02
  • Generating Programs for Polynomial Multiplication with Correctness Assurance
    Tokuda Ryo; Kameyama Yukiyoshi
    The 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation/2023-01-16--2023-01-17
  • Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
    Masuda Masahiro; Kameyama Yukiyoshi
    The 16th International Symposium on Functional and Logic Programming/2022-05-10--2022-05-12
  • FFT Program Generation for Ring LWE-Based Cryptography
    Masahiro Masuda; Yukiyoshi Kameyama
    Advances in Information and Computer Security - 16th International Workshop on Security (IWSEC 2021), Proceedings/2021-08-31--2021-09-02
  • Typed BNF: Backend-independent Semantic Actions
    Zhao Taine; Kameyama Yukiyoshi
    第24回プログラミングおよびプログラミング言語ワークショップ/2022-03-06--2022-03-08
  • Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
    Masuda Masahiro; Kameyama Yukiyoshi
    The 16th Internatioal Symposium on Functional and Logic Programming (FLOPS 2022)/2022-05-10--2022-05-12
  • Type-safe generation of modules in applicative and generative styles
    Sato Yuhi; Kameyama Yukiyoshi
    The 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)/2021-10-17--2021-10-18
  • 型付き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のサブセット言語に対する型システムの構築
    渡部 恭久; 亀山 幸義
    第１８回プログラミングおよびプログラミング言語ワークショップ　ポスター発表/2016-03-07--2016-03-09
  • more...
Teaching
2025-04 -- 2025-06Introduction to First-order Logic and FormalizationUniversity of Tsukuba.
2025-04 -- 2025-08Cross-Disciplinary Seminar in Computer ScienceUniversity of Tsukuba.
2025-04 -- 2025-08Research in Computer Science IsUniversity of Tsukuba.
2025-04 -- 2025-08Research in Computer Science IIsUniversity of Tsukuba.
2025-10 -- 2026-02Research in Computer Science IIfUniversity of Tsukuba.
2025-10 -- 2026-02Research in Computer Science IIUniversity of Tsukuba.
2025-04 -- 2025-08Research in Computer Science IIUniversity of Tsukuba.
2025-10 -- 2026-02Research in Computer Science IfUniversity of Tsukuba.
2025-10 -- 2026-02Research in Computer Science IUniversity of Tsukuba.
2025-04 -- 2025-08Research in Computer Science IUniversity of Tsukuba.
more...
University Management
2018-04 -- 2020-03Chair of College of Information Science

(Last updated: 2025-09-09)