亀山 幸義 / Kameyama, Yukiyoshi

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

関連記事 / Related Articles in COTRE

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

 

論文 / Publication

  1. Satoru Kawahara, Yukiyoshi Kameyama 159 - 179 (2020)
  2. Rui Okura, Yukiyoshi Kameyama 50 - 62 (2020)
  3. Rui Okura, Yukiyoshi Kameyama 139 - 158 (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. 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)

論文リストをさらに表示する Show more

※上記の論文リストは researchmapから取得した論文リストにDOIリンク等の情報を付加したものです。筑波大学研究者総覧(TRIOS)または researchmapの論文リストが更新されると後日反映されます。

論文のオープンアクセス版を読む Check out a freely downloadable version
つくばリポジトリ
この研究者の詳細情報 Detailed information

筑波大学研究者総覧

University of Tsukuba - Researchers information(TRIOS)
産学連携のご相談窓口 Inquiry about technology transfer

筑波大学国際産学連携本部

Headquarters for International Industry-University Collaboration
筑波大学の他の研究者を探す Find other researchers at the University of Tsukuba
学者の杜
筑波大学研究ポータル University of Tsukuba research information Portal
COTRE（コトリ）｜COmmunity of Tsukuba REsearchers

※このページの情報は、reseachmap APIより取得しています

発行：筑波大学　URA研究戦略推進室・研究推進部

© University of Tsukuba