現在地

亀山 幸義(カメヤマ ユキヨシ; Kameyama, Yukiyoshi)

所属
システム情報系
職名
教授
URL
研究分野
ソフトウェア
研究キーワード
プログラム論理
ソフトウェア検証
研究課題
先進的型理論に基づく多段階計算体系の設計と実装2018 -- 2021亀山 幸義日本学術振興会/基盤研究(B)12,740,000円
マルチステージ証明記述言語の設計と開発2015 -- 2017亀山 幸義日本学術振興会/挑戦的萌芽研究3,510,000円
プログラム検証における精製法の研究1998 -- 2001/国内共同研究
計算論理の教育システムの研究開発1998 -- 2001/国内共同研究
プログラムのメタレベルを表現、操作する機構2001 -- 2005/出資金による受託研究
プログラム自動生成とその信頼性に関する研究2005-04 -- 2008-03亀山幸義東北大学ほか/国内共同研究900,000円
多値クリプキ構造に基づく意味論と抽象化の研究2007-04 -- 2008-03亀山幸義(独)科学技術振興機構/出資金による受託研究300,000円
階層的コントロールの論理とプログラム抽出2011 -- 2012日本学術振興会/挑戦的萌芽研究2,340,000円
コード生成のためのプログラミング言語の基礎理論2009 -- 2012日本学術振興会/基盤研究(B)10,790,000円
多値モデル検査法を用いたモデリング・エラーの発見2008 -- 2009日本学術振興会/挑戦的萌芽研究3,000,000円
職歴
2010 -- (現在)筑波大学 教授
学歴
-- 1985東京大学 理学部 情報科学科卒業
-- 1987東京大学 理学系研究科 情報科学修了
取得学位
博士(工学)京都大学
受賞
2013-10科学研究費補助金第一段審査委員表彰科学研究費補助金の第一段審査委員として評価された
1997日本ソフトウェア科学会論文賞
論文
  • ACM大学対抗プログラミングコンテスト2016報告
    亀山 幸義
    コンピュータ ソフトウェア/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
  • 定理証明器Coqの効率的な有限ドメイン関数ライブラリ
    Kameyama Yukiyoshi
    情報処理学会論文誌: プログラミング/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
  • ついにSQLを組み立てる;拡張可能で安全な統合言語クエリ
    鈴木 健一; オレッグ、キセリョーフ; 亀山 幸義
    第17回プログラミングおよびプログラミング言語ワークショップ論文集, 2015-03
  • The Next Stage of Staging
    Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
    第17回プログラミングおよびプログラミング言語ワークショップ論文集, 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
  • Assignmentを持つ純関数型言語Λの実現について
    山中淳彦; 佐藤雅彦; 亀山幸義
    関数プロクラミング(]G0002[)(レクチャ-ノ-ト/ソフトウェア学10)/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
  • Towards Logical Understanding of Delimited Continuations
    Yukiyoshi Kameyama
    Proceedings of Third ACM SIGPLAN Workshop on Continuations/p.27-33, 2001-01
著書
  • 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
会議発表等
  • 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
  • 多値モデル検査を用いたモデル化の誤りの発見
    辰己淳朗; 亀山幸義
    情報処理学会第57回プログラミング研究会____/2006-01
  • コード実行機能と計算エフェクトを持つ型付きマルチステージ言語
    杉浦啓介; 亀山幸義
    日本ソフトウェア科学会第26回大会____/2009-09
  • 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
    田中麻峰; 亀山幸義
    電子情報通信学会 ソフトウェアサイエンス研究会 技術報告____/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
担当授業科目
2018-10 -- 2018-12オートマトンと形式言語筑波大学
2018-07 -- 2018-08ソフトウェア技法筑波大学
2018-04 -- 2018-06プログラム言語特論筑波大学
2018-04 -- 2018-06プログラム言語論I筑波大学
2018-10 -- 2018-11プログラム理論特論筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別演習筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究I筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究II筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別演習A筑波大学

(最終更新日: 2018-08-31)