亀山 幸義/ Kameyama Yukiyoshi

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

関連記事 / Related Articles in COTRE

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

 

論文 / Publication

  1. ACM大学対抗プログラミングコンテスト2016報告 亀山, 幸義 コンピュータ ソフトウェア 34 (1) 2016年12月
  2. Program Generation for ML Modules (short paper) Watanabe, Takahisa;Kameyama, Yukiyoshi Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2018年1月
  3. 定理証明器Coqの効率的な有限ドメイン関数ライブラリ Kameyama,Yukiyoshi 情報処理学会論文誌: プログラミング 10 (1) 2017年1月
  4. Refined Environment Classifiers - Type- and Scope-safe Code Generation Kiselyov, Oleg;Kameyama, Yukiyoshi;Sudo, Yuto Proceedings of Asian Symposium on Programming Languages and Systems 2016年11月
  5. Staging beyond Terms: Prospects and Challenges Inoue, Jun; Kiselyov, Oleg; Kameyama, Yukiyoshi PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION 2015年12月

More...

この研究者の論文を読むCheck out a freely downloadable version
この研究者についてもっと知るDetailed information

 

産学連携のご相談窓口/ Inquiry about technology transfer