亀山幸義 (Yukiyoshi KAMEYAMA) - マイポータル

基本情報

所属: 筑波大学システム情報系教授

J-GLOBAL ID: 200901012307524160
researchmap会員ID: 1000203286

研究分野

情報通信 / ソフトウェア /

経歴

2010年 - 現在

筑波大学, 教授
2001年 - 2010年

筑波大学, 助教授
2001年 - 2005年

科学技術振興機構, 「さきがけ」, 研究員（兼任）
1997年 - 2001年

京都大学, 助教授
1995年 - 1997年

京都大学, 助手
1987年 - 1995年

東北大学, 助手

学歴

- 1987年

東京大学, 理学系研究科, 情報科学
- 1985年

東京大学, 理学部, 情報科学科

受賞

2024年10月

Distinguished Research Paper Award, The most distinguished paper among the accepted papers in GPCE 2024, GPCE 2024 Program Committee

Kanru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama
1997年

日本ソフトウェア科学会論文賞

亀山幸義

論文

MAYUZIN: Runtime Generative and Analytical Metaprogramming

Zin, Ya Mone, KAMEYAMA, Yukiyoshi

Journal of Informatoin Processing 33 461-470 2025年8月査読有り
Staged Gradual Typing

Yaguchi, Hiroto, KAMEYAMA, Yukiyoshi

Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2025) 94-104 2025年7月査読有り
Simulating One-Shot Effect Handlers Using Coroutines

Kobayashi, Kentaro, KAMEYAMA, Yukiyoshi

第27回プログラミングおよびプログラミング言語ワークショップ発表予稿集 (PPL 2025) 2025年3月査読有り
Type-Safe Code Generation with Algebraic Effects and Handlers

Isoda, Kanaru, Yokoyama, Ayato, KAMEYAMA, Yukiyoshi

GPCE 2024: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences 53-65 2024年10月査読有り責任著者
EmbedFX: New Programming Language for Embedded Systems with Asynchronous Effects

Batyrbek, Danel, KAMEYAMA, Yukiyoshi

日本ソフトウェア科学会第41回大会講演論文集 2024年9月
エフェクトハンドラを用いた型安全なコード生成

礒田華成, KAMEYAMA, Yukiyoshi

日本ソフトウェア科学会第41回大会講演論文集 2024年9月
Program generation meets program verification: A case study on number-theoretic transform

Masuda, Masahiro, Kameyama, Yukiyoshi

SCIENCE OF COMPUTER PROGRAMMING 232 2024年1月査読有り
Generating Programs for Polynomial Multiplication with Correctness Assurance

Tokuda, Ryo, Kameyama, Yukiyoshi

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation 27-40 2023年1月査読有り
代数的エフェクトを持つ２段階計算言語の型システム

横山彪人, 亀山, 幸義

日本ソフトウェア科学会第３９回大会論文集 2022年9月
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform

Masahiro Masuda, Yukiyoshi Kameyama

Proceedigs of the 16th Internatioal Symposium on Functional and Logic Programming (FLOPS 2022), Springer LNCS 13215 133-151 2022年5月査読有り責任著者
Type-safe generation of modules in applicative and generative styles

Yuhi Sato, Yukiyoshi Kameyama

Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences 184-196 2021年10月17日査読有り責任著者
FFT Program Generation for Ring LWE-Based Cryptography

Masahiro Masuda, Yukiyoshi Kameyama

Advances in Information and Computer Security, LNCS 12835 151-171 2021年9月査読有り
Reorganizing queries with grouping

Rui Okura, Yukiyoshi Kameyama

Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences 50-62 2020年11月16日査読有り
One-Shot Algebraic Effects as Coroutines

Satoru Kawahara, Yukiyoshi Kameyama

Lecture Notes in Computer Science 159-179 2020年8月査読有り
Language-Integrated Query with Nested Data Structures and Grouping

Rui Okura, Yukiyoshi Kameyama

Functional and Logic Programming 139-158 2020年査読有り
Module Generation Without Regret

Sato, Yuhi, Kameyama, Yukiyoshi, Watanabe, Takahisa

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 1-13 2020年1月査読有り
Meta-Programming for Statistical Machine Learning

亀山,幸義

NII Shonan Seminar Report 2018年7月
Program Generation for ML Modules (short paper)

Watanabe, Takahisa, Kameyama, Yukiyoshi

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 60-66 2018年1月査読有り責任著者
定理証明器Coqの効率的な有限ドメイン関数ライブラリ

Kameyama,Yukiyoshi

情報処理学会論文誌：プログラミング 10(1) 14-28 2017年1月査読有り
ACM大学対抗プログラミングコンテスト2016報告

亀山, 幸義

コンピュータソフトウェア 34(1) 1_52-1_57 2017年

もっとみる

MISC

結果型を変更可能な限定継続の模倣

宮部浩太朗, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 6(3) 46-46 2013年12月20日
コントロールオペレータを持つ必要呼び計算体系の設計

西山達也, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 5(2) 104-104 2012年3月30日
限定継続を持つ並列言語モデルの設計と実装

田中麻峰, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 5(1) 35-35 2012年3月28日
コントロールオペレータの表現力の比較

高島尚希, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 5(1) 27-27 2012年3月28日
A Type System for Dynamic Delimited Continuations

Takuo Yonezawa, Yukiyoshi Kameyama

情報処理学会論文誌プログラミング（PRO） 49(3) 28-38 2008年3月15日
オブジェクト指向言語に対するメタプログラミング言語の設計と実装

佐々木卓, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 48(12) 68-68 2007年8月15日
動的環境と限定継続を持つプログラム言語の意味論と実装

田中陽, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 48(12) 67-67 2007年8月15日
階層化コントロールオペレータに対する型システムの構築

鈴木輝信, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 48(10) 138-150 2007年6月15日
多値モデル検査を利用したモデル化の誤りの発見

辰巳淳朗, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 47(11) 50-50 2006年7月15日
抽象化と精密化による実時間モデル検査の改善

中島一, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 45(12) 11-24 2004年11月15日
プログラミングおよびプログラミング言語の編集にあたって(<特集>プログラミングおよびプログラミング言語)

亀山幸義, 千葉滋

コンピュータソフトウェア = Computer software 20(2) 117-117 2003年3月25日
定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明

永山友和, 佐藤雅彦, 亀山幸義

情報処理学会論文誌プログラミング（PRO） 42(11) 100-100 2001年11月15日
A Second Order Typed Context Calculus

AzzaA.Taha, Masahiko Sato, Yukiyoshi Kameyama

情報処理学会論文誌プログラミング（PRO） 42(7) 91-91 2001年7月15日
COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC

Baba Kensuke, Kameyama Yukiyoshi, Hirokawa Sachio, 馬場謙介, 亀山幸義, 廣川佐千男

Bulletin of informatics and cybernetics 32(2) 105-122 2000年12月
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)

Kameyama Yukiyoshi, Sato Masahiko

数理解析研究所講究録 1023 42-56 1998年1月
$\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用)

廣川佐千男, 亀山幸義, 馬場謙介

数理解析研究所講究録 992 167-174 1997年5月
サブギガネットワークでマルチメディア・アプリケーションを実現する東北大学「SuperTAINS」

亀山幸義, 伊藤彰則, 小林広明

コンピュータ＆ネットワークLAN 13(6) 114-120 1995年6月

書籍等出版物

Proceedings of the 5th International Workshop on Functional High-Performance Computing

Duke, David, Kameyama, Yukiyoshi (担当:編者(編著者), 範囲:Proceedings of the 5th International Workshop on Functional High-Performance Computing)

ACM 2016年9月 (ISBN: 9781450344333)
PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh (担当:分担執筆, 範囲:Closing the Stage From Staged Code to Typed Closures)

ASSOC COMPUTING MACHINERY 2008年1月 (ISBN: 9781595939777)
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS

Andrade, Jefferson O, Kameyama, Yukiyoshi (担当:分担執筆, 範囲:A Direct Algorithm for Multi-valued Bounded Model Checking)

SPRINGER-VERLAG BERLIN 2008年1月 (ISBN: 9783540883869)
FUNCTIONAL AND LOGIC PROGRAMMING

Kameyama, Yukiyoshi, Yonezawa, Takuo (担当:分担執筆, 範囲:Typed dynamic control operators for delimited continuations)

SPRINGER-VERLAG BERLIN 2008年1月 (ISBN: 9783540789680)
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS

Asai, Kenichi, Kameyama, Yukiyoshi (担当:分担執筆, 範囲:Polymorphic delimited continuations)

SPRINGER-VERLAG BERLIN 2007年1月 (ISBN: 9783540766360)
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年4月
COMPUTER SCIENCE LOGIC, PROCEEDINGS

Kameyama, Y (担当:分担執筆, 範囲:Axioms for delimited continuations in the CPS hierarchy)

SPRINGER-VERLAG BERLIN 2004年1月 (ISBN: 3540230246)

講演・口頭発表等

Staged Gradual Typing

Yaguchi, Hiroto, KAMEYAMA, Yukiyoshi

Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2025) ACM
段階的計算のための古典時相論理の計算体系

根本, 樹, KAMEYAMA, Yukiyoshi

情報処理学会第153回プログラミング研究発表会情報処理学会
Simulating One-Shot Effect Handlers Using Coroutines

Kobayashi, Kentaro, KAMEYAMA, Yukiyoshi

第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 日本ソフトウェア科学会
MAYUZIN: Runtime Generative and Analytical Metaprogramming

Zin, Ya Mone, KAMEYAMA, Yukiyoshi

情報処理学会第152回プログラミング研究発表会情報処理学会
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 ACM
EmbedFX: New Programming Language for Embedded Systems with Asynchronous Effects

Batyrbek, Danel, KAMEYAMA, Yukiyoshi

日本ソフトウェア科学会第41回大会日本ソフトウェア科学会
エフェクトハンドラを用いた型安全なコード生成

礒田華成, KAMEYAMA, Yukiyoshi

日本ソフトウェア科学会第41回大会日本ソフトウェア科学会
擬似引用方式のプログラム生成によるSQLクエリコンパイラ（ポスター発表）

夏井, 優太, 亀山, 幸義

擬似引用方式のプログラム生成によるSQLクエリコンパイラ（ポスター発表）日本ソフトウェア科学会
Coq の証明から抽出されたプログラムに対する型主導の最適化アルゴリズムとその形式化（ポスター発表）

礒田, 華成, 亀山, 幸義

第２６回プログラミングおよびプログラミング言語ワークシップ日本ソフトウェア科学会
Generating Programs for Polynomial Multiplication with Correctness Assurance

Tokuda, Ryo, Kameyama, Yukiyoshi

The 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ACM
代数的エフェクトを持つ２段階計算言語の型システム

横山彪人, 亀山, 幸義

日本ソフトウェア科学会第３９回大会日本ソフトウェア科学会
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年5月10日
Typed BNF: Backend-independent Semantic Actions

第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
Typed BNF: Backend-independent Semantic Actions

Zhao, Taine, Kameyama, Yukiyoshi

第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日日本ソフトウェア科学会プログラミング論研究会
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日 ACM
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年8月31日
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日 ACM SIGPLAN
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年9月14日
型付きDSLに対するプログラム変換の型安全なフレームワーク

高木尚, 亀山, 幸義

日本ソフトウェア科学会第37回大会 2020年9月8日日本ソフトウェア科学会
One-Shot Algebraic Effects as Coroutines

Kawahara, Satoru, Kameyama, Yukiyoshi

The 21st International Symposium on Trends in Functional Programming (TFP2020) 2020年2月13日

もっとみる

所属学協会

- 現在

情報処理学会
- 現在

日本ソフトウェア科学会
- 現在

Association for Computing Machinery

共同研究・競争的資金等の研究課題

依存型を持つ段階的計算体系の理論と実装

日本学術振興会科学研究費助成事業基盤研究(B) 2022年4月 - 2026年3月

亀山幸義, 浅井健一, Kiselyov Oleg
依存型を持つ段階的計算体系の理論と実装

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2022年4月 - 2026年3月

亀山幸義
先進的型理論に基づく多段階計算体系の設計と実装

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2018年4月 - 2022年3月

亀山幸義, 浅井健一, Kiselyov Oleg
クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化

日本学術振興会科学研究費助成事業基盤研究(B) 2017年4月 - 2021年3月

佐藤雅彦, 桜井貴文, 亀山幸義, 五十嵐淳
マルチステージ証明記述言語の設計と開発

日本学術振興会科学研究費助成事業挑戦的萌芽研究挑戦的萌芽研究 2015年4月 - 2018年3月

亀山幸義, 坂口和彦, 渡部恭久, 大石純平, 薄井千春, 須藤悠斗
信頼性の高いコード生成のためのプログラミング言語の実現

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2013年4月 - 2016年3月

亀山幸義, 浅井健一, 五十嵐淳, 海野広志, キセリョーフオレッグ
必要呼び計算体系とコントロール抽象

日本学術振興会科学研究費助成事業挑戦的萌芽研究挑戦的萌芽研究 2013年4月 - 2015年3月

亀山幸義, 田中麻峰, 小堀育男
階層的コントロールの論理とプログラム抽出

日本学術振興会科学研究費助成事業挑戦的萌芽研究 2011年 - 2012年

亀山幸義
コード生成のためのプログラミング言語の基礎理論

日本学術振興会科学研究費助成事業基盤研究(B) 2009年 - 2012年

亀山幸義, 浅井健一, 五十嵐淳
多値モデル検査法を用いたモデリング・エラーの発見

日本学術振興会科学研究費助成事業挑戦的萌芽研究 2008年 - 2009年

亀山幸義, 木下佳樹, 西澤弘樹
部分継続の基礎理論とその応用

日本学術振興会科学研究費助成事業基盤研究(C) 2006年 - 2009年

浅井健一, 亀山幸義
多値クリプキ構造に基づく意味論と抽象化の研究

（独）科学技術振興機構出資金による受託研究 2007年4月 - 2008年3月

亀山幸義
プログラム自動生成とその信頼性に関する研究

東北大学ほか国内共同研究 2005年4月 - 2008年3月

亀山幸義
メタ・プログラミングの基礎理論

日本学術振興会科学研究費助成事業基盤研究(C) 2004年 - 2007年

亀山幸義
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究

日本学術振興会科学研究費助成事業特定領域研究 2006年 - 2006年

五十嵐淳, 佐藤雅彦, 桜井貴文, 亀山幸義, 中澤巧爾
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

日本学術振興会科学研究費助成事業特定領域研究 2004年 - 2005年

佐藤雅彦, 桜井貴文, 亀山幸義, 中澤巧爾
プログラムのメタレベルを表現、操作する機構

出資金による受託研究 2001年 - 2005年
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

日本学術振興会科学研究費助成事業特定領域研究 2003年 - 2003年

佐藤雅彦, 中澤巧爾, 亀山幸義, 桜井貴文
限定継続の計算系と論理

日本学術振興会科学研究費助成事業基盤研究(C) 2001年 - 2003年

亀山幸義
環境と文脈を持つ計算体系とその論理

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

佐藤雅彦, 中澤巧爾, 五十嵐淳, 竹内泉, 亀山幸義

もっとみる

亀山幸義

基本情報

研究分野

経歴

学歴

受賞

論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧