ホーム > 亀山 幸義/ Kameyama, Yukiyoshi

亀山 幸義

Kameyama, Yukiyoshi

システム情報系 , 教授
Institute of Systems and Information Engineering , Professor

http://www.cs.tsukuba.ac.jp/~kam

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  1. 1. Program generation meets program verification: A case study on number-theoretic transform Masuda, Masahiro; Kameyama, Yukiyoshi
      SCIENCE OF COMPUTER PROGRAMMING 232: (2024) Semantic Scholar
  2. 2. 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 (2023) Semantic Scholar
  3. 3. 代数的エフェクトを持つ２段階計算言語の型システム 横山 彪人; 亀山, 幸義
      日本ソフトウェア科学会第３９回大会論文集 (2022)
  4. 4. 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 (2022) Semantic Scholar
  5. 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 (2021) Semantic Scholar
  6. 6. FFT Program Generation for Ring LWE-Based Cryptography Masahiro Masuda; Yukiyoshi Kameyama
      Advances in Information and Computer Security, LNCS 12835 151 (2021) Semantic Scholar
  7. 7. Reorganizing queries with grouping Rui Okura; Yukiyoshi Kameyama
      Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences 50 (2020) Semantic Scholar
  8. 8. One-Shot Algebraic Effects as Coroutines Satoru Kawahara; Yukiyoshi Kameyama
      Lecture Notes in Computer Science 159 (2020) Semantic Scholar
  9. 9. Language-Integrated Query with Nested Data Structures and Grouping Rui Okura; Yukiyoshi Kameyama
      Functional and Logic Programming 139 (2020) Semantic Scholar
  10. 10. Module Generation Without Regret Sato, Yuhi; Kameyama, Yukiyoshi; Watanabe, Takahisa
      Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 1 (2020) Semantic Scholar
  11. 11. Meta-Programming for Statistical Machine Learning 亀山,幸義
      NII Shonan Seminar Report (2018)
  12. 12. Program Generation for ML Modules (short paper) Watanabe, Takahisa; Kameyama, Yukiyoshi
      Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 60 (2018) Semantic Scholar
  13. 13. 定理証明器Coqの効率的な有限ドメイン関数ライブラリ Kameyama,Yukiyoshi
      IPSJ-PRO (Transaction of Programming, Information Processing Society of Japan) 10: 14 (2017)
  14. 14. ACM大学対抗プログラミングコンテスト2016報告 亀山, 幸義
      Computer Software 34: 1_52 (2017)
  15. 15. Answer-type modification without tears: Prompt-passing style translation for typed delimited-control operators Ikuo Kobori; Yukiyoshi Kameyama; Oleg Kiselyov
      Electronic Proceedings in Theoretical Computer Science, EPTCS 212: 36 (2016) Semantic Scholar
  16. 16. Automatic Staging via Partial Evaluation Techniques Kenichi,Asai; Yukiyoshi,Kameyama
      Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (2016)
  17. 17. Refined environment classifiers: Type- and scope-safe code generation with mutable cells Oleg Kiselyov; Yukiyoshi Kameyama; Yuto Sudo
      Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10017: 271 (2016) Semantic Scholar
  18. 18. Staging beyond Terms: Prospects and Challenges Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
      PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION 103 - 108 (2016) Semantic Scholar
  19. 19. Finally, Safely-Extensible and Efficient Language-Integrated Query Kenichi Suzuki; Oleg Kiselyov; Yukiyoshi Kameyama
      PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION 37 (2016) Semantic Scholar
  20. 20. Staging beyond Terms: Prospects and Challenges Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
      PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION 103 (2016) Semantic Scholar
1 2 3 … 7
  1. 1. 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)
  2. 2. 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)
  3. 3. 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)
  4. 4. FUNCTIONAL AND LOGIC PROGRAMMING Kameyama, Yukiyoshi; Yonezawa, Takuo (担当:分担執筆, 範囲:Typed dynamic control operators for delimited continuations)
    SPRINGER-VERLAG BERLIN 2008年1月 (ISBN: 9783540789680)
  5. 5. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Asai, Kenichi; Kameyama, Yukiyoshi (担当:分担執筆, 範囲:Polymorphic delimited continuations)
    SPRINGER-VERLAG BERLIN 2007年1月 (ISBN: 9783540766360)
  6. 6. 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月
  7. 7. COMPUTER SCIENCE LOGIC, PROCEEDINGS Kameyama, Y (担当:分担執筆, 範囲:Axioms for delimited continuations in the CPS hierarchy)
    SPRINGER-VERLAG BERLIN 2004年1月 (ISBN: 3540230246)
  1. 1. 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日
  2. 2. Typed BNF: Backend-independent Semantic Actions
    第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
  3. 3. Typed BNF: Backend-independent Semantic Actions Zhao, Taine; Kameyama, Yukiyoshi
    第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日 日本ソフトウェア科学会プログラミング論研究会
  4. 4. 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
  5. 5. 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日
  6. 6. 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
  7. 7. 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日
  8. 8. 型付きDSLに対するプログラム変換の型安全なフレームワーク 高木 尚; 亀山, 幸義
    日本ソフトウェア科学会第37回大会 2020年9月8日 日本ソフトウェア科学会
  9. 9. One-Shot Algebraic Effects as Coroutines Kawahara, Satoru; Kameyama, Yukiyoshi
    The 21st International Symposium on Trends in Functional Programming (TFP2020) 2020年2月13日
  10. 10. Module Generation without Regret Sato, Yuhi; Kameyama, Yukiyoshi; Watanabe, Takahisa
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM') 2020年1月20日 ACM
  11. 11. Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects 菊地綾音; 亀山, 幸義
    情報処理学会第122回プログラミング研究発表会 2019年1月17日 情報処理学会プログラミング研究会
  12. 12. A Lightweight Approach to Module Generation Kameyama,Yukiyoshi
    IFIP Working Group 2.11, Program Generation, 18th Meeting 2018年6月4日 IFIP 招待有り
  13. 13. Program Generation for ML Modules Watanabe, Takahisa; Kameyama, Yukiyoshi
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2018年1月8日
  14. 14. Coq/SSReflect の extraction の改善 坂口,和彦; 亀山,幸義
    第１８回プログラミングおよびプログラミング言語ワークショップ ポスター発表 2016年3月7日
  15. 15. 1MLのサブセット言語に対する型システムの構築 渡部,恭久; 亀山,幸義
    第１８回プログラミングおよびプログラミング言語ワークショップ ポスター発表 2016年3月7日
  16. 16. Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators Ikuo,Kobori; Kameyama,Yukiyoshi
    Workshop on Continuations 2015 2015年1月22日 European Joint Conferences on Theory and Practice of Software, organizer
  17. 17. Improving Error Message in Type System Cynthia, Kustanto; Yukiyoshi, Kameyama
    情報処理学会プログラミング研究会____ 2010年3月
  18. 18. 限定継続に基づくスケーラブルなウェブアプリケーション構築手法 田中麻峰; 亀山幸義
    電子情報通信学会 ソフトウェアサイエンス研究会 技術報告____ 2010年3月
  19. 19. コード実行機能と計算エフェクトを持つ型付きマルチステージ言語 杉浦啓介; 亀山幸義
    日本ソフトウェア科学会第26回大会____ 2009年9月
  20. 20. 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日
1 2

 1,002 total views