You are here

Kameyama Yukiyoshi

face
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
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.
  • 型付き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
Teaching
2021-10 -- 2022-02Research in Computer Science IfUniversity of Tsukuba.
2021-10 -- 2022-02Computer Science Seminar BfUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IIsUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer Science fUniversity of Tsukuba.
2021-04 -- 2021-08Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science fUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science IUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IUniversity of Tsukuba.
2021-10 -- 2022-02Computer Science Seminar AfUniversity of Tsukuba.
University Management
2018-04 -- 2020-03Chair of College of Information Science

(Last updated: 2021-06-14)