1. Reorganizing queries with grouping Rui Okura, Yukiyoshi Kameyama 50 - 62 (2020)
2. Language-Integrated Query with Nested Data Structures and Grouping Rui Okura, Yukiyoshi Kameyama 139 - 158 (2020)
3. One-Shot Algebraic Effects as Coroutines Satoru Kawahara, Yukiyoshi Kameyama 159 - 179 (2020)
4. 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)
5. Meta-Programming for Statistical Machine Learning 亀山,幸義 NII Shonan Seminar Report (2018)
6. 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)
7. 定理証明器Coqの効率的な有限ドメイン関数ライブラリ Kameyama,Yukiyoshi 情報処理学会論文誌： プログラミング 10 (1) 14 - 28 (2017)
8. ACM大学対抗プログラミングコンテスト2016報告 亀山, 幸義 コンピュータ ソフトウェア 34 (1) 1_52 - 1_57 (2017)
9. Answer-type modification without tears: Prompt-passing style translation for typed delimited-control operators Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov 212 36 - 52 (2016)
10. Automatic Staging via Partial Evaluation Techniques Kenichi,Asai, Yukiyoshi,Kameyama Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (2016)

researchmap の論文リストを表示する Show the publication list on researchmap