研究者
J-GLOBAL ID：200901012307524160
更新日: 2024年09月17日
亀山 幸義
カメヤマ ユキヨシ | KAMEYAMA Yukiyoshi
所属機関・部署：
職名：
教授
競争的資金等の研究課題 (35件)：
- 2022 - 2026 依存型を持つ段階的計算体系の理論と実装
- 2018 - 2022 先進的型理論に基づく多段階計算体系の設計と実装
- 2017 - 2021 クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
- 2015 - 2018 マルチステージ証明記述言語の設計と開発
- 2013 - 2016 信頼性の高いコード生成のためのプログラミング言語の実現
- 2013 - 2015 必要呼び計算体系とコントロール抽象
- 2011 - 2012 階層的コントロールの論理とプログラム抽出
- 2009 - 2012 コード生成のためのプログラミング言語の基礎理論
- 2008 - 2009 多値モデル検査法を用いたモデリング・エラーの発見
- 2006 - 2009 部分継続の基礎理論とその応用
- 2007 - 2008 多値クリプキ構造に基づく意味論と抽象化の研究
- 2005 - 2008 プログラム自動生成とその信頼性に関する研究
- 2004 - 2007 メタ・プログラミングの基礎理論
- 2006 - 2006 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
- 2004 - 2005 変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 2001 - 2005 プログラムのメタレベルを表現、操作する機構
- 2003 - 2003 変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- 2001 - 2003 限定継続の計算系と論理
- 2001 - 2003 環境と文脈を持つ計算体系とその論理
- 1998 - 2001 計算論理の教育システムの研究開発
- 1998 - 2001 プログラム検証における精製法の研究
- 2001 - プログラム論理
- 2001 - ソフトウェア検証
- 1999 - 2000 コントロール・オペレータの計算系とプログラム合成
- 1998 - 1999 古典論理に基く構成的プログラミングの実現
- 1997 - 1998 構成的プログラミングの手法による制御機構を持つプログラムの合成
- 1996 - 1997 構成的プログラミング・システムの実現
- 1996 - 1997 構成的プログラミング理論
- 1996 - 1996 構成的プログラミングにおける非局所脱出機構を持つプログラムの合成
- 1995 - 1995 自己反映原理を応用した構成的プログラミング
- 1994 - 1995 構成的プログラミングを実現する証明、検証、合成システム
- 1993 - 1995 大規模情報ネットワークの高度応用技術と開放型分散処理に関する研究
- 1993 - 1993 構成的論理体系における仕様記述と証明作成に関する研究
- 1990 - 1992 プログラム基礎理論の総合的研究
- 1987 - 1989 構成的数学基づく証明検証合成システムの作成
全件表示
論文 (140件)：
-
Masuda, Masahiro, Kameyama, Yukiyoshi. Program generation meets program verification: A case study on number-theoretic transform. SCIENCE OF COMPUTER PROGRAMMING. 2024. 232
-
Tokuda, Ryo, Kameyama, Yukiyoshi. Generating Programs for Polynomial Multiplication with Correctness Assurance. Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. 2023. 27-40
-
横山 彪人, 亀山, 幸義. 代数的エフェクトを持つ2段階計算言語の型システム. 日本ソフトウェア科学会第39回大会論文集. 2022
-
Masahiro Masuda, Yukiyoshi Kameyama. Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. Proceedigs of the 16th Internatioal Symposium on Functional and Logic Programming (FLOPS 2022), Springer LNCS. 2022. 13215. 133-151
-
Yuhi Sato, Yukiyoshi Kameyama. Type-safe generation of modules in applicative and generative styles. Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. 2021. 184-196
もっと見る
MISC (18件)：
書籍 (7件)：
-
Proceedings of the 5th International Workshop on Functional High-Performance Computing
ACM 2016 ISBN:9781450344333
-
PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION
ASSOC COMPUTING MACHINERY 2008 ISBN:9781595939777
-
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS
SPRINGER-VERLAG BERLIN 2008 ISBN:9783540883869
-
FUNCTIONAL AND LOGIC PROGRAMMING
SPRINGER-VERLAG BERLIN 2008 ISBN:9783540789680
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
SPRINGER-VERLAG BERLIN 2007 ISBN:9783540766360
もっと見る
講演・口頭発表等 (30件)：
-
擬似引用方式のプログラム生成によるSQLクエリコンパイラ(ポスター発表)
(擬似引用方式のプログラム生成によるSQLクエリコンパイラ(ポスター発表))
-
Coq の証明から抽出されたプログラムに対する型主導の最適化アルゴリズムとその形式化(ポスター発表)
(第26回プログラミングおよびプログラミング言語ワークシップ)
-
Generating Programs for Polynomial Multiplication with Correctness Assurance
(The 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation)
-
代数的エフェクトを持つ2段階計算言語の型システム
(日本ソフトウェア科学会第39回大会)
-
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
(The 16th International Symposium on Functional and Logic Programming 2022)
もっと見る
学歴 (2件)：
- - 1987 東京大学 理学系研究科 情報科学
- - 1985 東京大学 理学部 情報科学科
経歴 (6件)：
- 2010 - 現在 筑波大学 教授
- 2001 - 2010 筑波大学 助教授
- 2001 - 2005 科学技術振興機構 「さきがけ」 研究員(兼任)
- 1997 - 2001 京都大学 助教授
- 1995 - 1997 京都大学 助手
- 1987 - 1995 東北大学 助手
全件表示
受賞 (1件)：
所属学会 (3件)：
情報処理学会
, 日本ソフトウェア科学会
, Association for Computing Machinery
