ホーム > 亀山 幸義/ 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. 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. 1. Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform Masuda, Masahiro; Kameyama, Yukiyoshi
    The 16th International Symposium on Functional and Logic Programming 2022年5月10日
  2. 2. Typed BNF: Backend-independent Semantic Actions
    第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
  3. 3. Typed BNF: Backend-independent Semantic Actions Zhao, Taine; Kameyama, Yukiyoshi
    第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日 日本ソフトウェア科学会プログラミング論研究会
  4. 4. Type-safe generation of modules in applicative and generative styles Sato, Yuhi; Kameyama, Yukiyoshi
    The 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021) 2021年10月17日 ACM
  5. 5. FFT Program Generation for Ring LWE-Based Cryptography Masahiro, Masuda; Yukiyoshi, Kameyama
    Advances in Information and Computer Security - 16th International Workshop on Security (IWSEC 2021), Proceedings 2021年8月31日
  6. 6. Reorganizing queries with grouping Okura, Rui; Kameyama, Yukiyoshi
    The 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '20) 2020年11月16日 ACM SIGPLAN
  7. 7. Language-Integrated Query with Nested Data Structures and Grouping Okura, Rui; Kameyama, Yukiyoshi
    The 15th International Symposium on Functional and Logic Programming (FLOPS 2020) 2020年9月14日
  8. 8. 型付きDSLに対するプログラム変換の型安全なフレームワーク 高木 尚; 亀山, 幸義
    日本ソフトウェア科学会第37回大会 2020年9月8日 日本ソフトウェア科学会
  9. 9. One-Shot Algebraic Effects as Coroutines Kawahara, Satoru; Kameyama, Yukiyoshi
    The 21st International Symposium on Trends in Functional Programming (TFP2020) 2020年2月13日
  10. 10. Module Generation without Regret Sato, Yuhi; Kameyama, Yukiyoshi; Watanabe, Takahisa
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM') 2020年1月20日 ACM
  11. 11. Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects 菊地綾音; 亀山, 幸義
    情報処理学会第122回プログラミング研究発表会 2019年1月17日 情報処理学会プログラミング研究会
  12. 12. A Lightweight Approach to Module Generation Kameyama,Yukiyoshi
    IFIP Working Group 2.11, Program Generation, 18th Meeting 2018年6月4日 IFIP 招待有り
  13. 13. Program Generation for ML Modules Watanabe, Takahisa; Kameyama, Yukiyoshi
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2018年1月8日
  14. 14. Coq/SSReflect の extraction の改善 坂口,和彦; 亀山,幸義
    第１８回プログラミングおよびプログラミング言語ワークショップ ポスター発表 2016年3月7日
  15. 15. 1MLのサブセット言語に対する型システムの構築 渡部,恭久; 亀山,幸義
    第１８回プログラミングおよびプログラミング言語ワークショップ ポスター発表 2016年3月7日
  16. 16. Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators Ikuo,Kobori; Kameyama,Yukiyoshi
    Workshop on Continuations 2015 2015年1月22日 European Joint Conferences on Theory and Practice of Software, organizer
  17. 17. Improving Error Message in Type System Cynthia, Kustanto; Yukiyoshi, Kameyama
    情報処理学会プログラミング研究会____ 2010年3月
  18. 18. 限定継続に基づくスケーラブルなウェブアプリケーション構築手法 田中麻峰; 亀山幸義
    電子情報通信学会 ソフトウェアサイエンス研究会 技術報告____ 2010年3月
  19. 19. コード実行機能と計算エフェクトを持つ型付きマルチステージ言語 杉浦啓介; 亀山幸義
    日本ソフトウェア科学会第26回大会____ 2009年9月
  20. 20. A Direct Algorithm for Multi-valued Bounded Model Checking Andrade, Jefferson O; Kameyama, Yukiyoshi
    6th International Symposium on Automated Technology for Verification and Analysis 2008年10月20日
1 2

 1,013 total views