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

亀山 幸義

Kameyama, Yukiyoshi

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

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

科学的に美しいプログラムを追及する
プログラミング科学リサーチユニット
Scientific Study on Elegant Programming

2016-06-07

亀山 幸義 前田 敦司 海野 広志 水谷 哲也
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
  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,028 total views