Rchr
J-GLOBAL ID：200901012307524160   Update date: Feb. 01, 2024

Kameyama Yukiyoshi

カメヤマ ユキヨシ | Kameyama Yukiyoshi
Affiliation and department：
University of Tsukuba Faculty of Engineering, Information and Systems

About University of Tsukuba Faculty of Engineering, Information and Systems


Job title： Professor
Research field  (1)： Software
Research theme for competitive and other funds  (35)：
  • 2022 - 2026 Theory and Implementation of Dependently Typed Staged Computation
  • 2018 - 2022 Staged Computing based on Advanced Type Systems
  • 2017 - 2021 クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
  • 2015 - 2018 Design and development of multi-stage languages for verification
  • 2013 - 2016 Study on Highly Reliable Programming Languages for Code Generation
Show all
Papers (139)：
  • Tokuda, Ryo, Kameyama, Yukiyoshi. Generating Programs for Polynomial Multiplication with Correctness Assurance. Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. 2023. 27-40
  • 横山 彪人, 亀山, 幸義. 代数的エフェクトを持つ2段階計算言語の型システム. 日本ソフトウェア科学会第39回大会論文集. 2022
  • Masahiro Masuda, Yukiyoshi Kameyama. Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. Proceedigs of the 16th Internatioal Symposium on Functional and Logic Programming (FLOPS 2022), Springer LNCS. 2022. 13215. 133-151
  • Yuhi Sato, Yukiyoshi Kameyama. Type-safe generation of modules in applicative and generative styles. Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. 2021. 184-196
  • Masahiro Masuda, Yukiyoshi Kameyama. FFT Program Generation for Ring LWE-Based Cryptography. Advances in Information and Computer Security, LNCS 12835. 2021. 151-171
ｍore...
MISC (18)：
ｍore...
Books (7)：
  • Proceedings of the 5th International Workshop on Functional High-Performance Computing
    ACM 2016 ISBN:9781450344333
  • PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION
    ASSOC COMPUTING MACHINERY 2008 ISBN:9781595939777
  • AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS
    SPRINGER-VERLAG BERLIN 2008 ISBN:9783540883869
  • FUNCTIONAL AND LOGIC PROGRAMMING
    SPRINGER-VERLAG BERLIN 2008 ISBN:9783540789680
  • PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
    SPRINGER-VERLAG BERLIN 2007 ISBN:9783540766360
ｍore...
Lectures and oral presentations  (28)：
  • Generating Programs for Polynomial Multiplication with Correctness Assurance
    (The 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation)
  • 代数的エフェクトを持つ2段階計算言語の型システム
    (日本ソフトウェア科学会第39回大会)
  • Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
    (The 16th International Symposium on Functional and Logic Programming 2022)
  • Typed BNF: Backend-independent Semantic Actions
    (JSSST Workshop on Programming and Programming Languages 2022)
  • Typed BNF: Backend-independent Semantic Actions
    (第24回プログラミングおよびプログラミング言語ワークショップ 2022)
ｍore...
Education (2)：
  • - 1987 The University of Tokyo Graduate School of Science Information Science
  • - 1985 The University of Tokyo Faculty of Science Department of Information Science
Work history (6)：
  • 2010 - 現在 University of Tsukuba Professor
  • 2001 - 2010 University of Tsukuba Associate Professor
  • 2001 - 2005 Japan Science and Technology Agency Researcher
  • 1997 - 2001 Kyoto University Associate Professor
  • 1995 - 1997 Kyoto University Research Associate
Show all
Awards (1)：
  • 1997 - Paper Award, Japan Society of Software Science and Technology
Association Membership(s) (3)：
Information Processing Society of Japan ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM