ホーム > 亀山幸義/ Kameyama, Yukiyoshi

亀山幸義

Kameyama, Yukiyoshi

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

http://www.cs.tsukuba.ac.jp/~kam

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

121. 抽象化と精密化による実時間モデル検査の改善中島, 一; 亀山, 幸義
情報処理学会論文誌. プログラミング 45: 11 (2004)
122. Axiomatizing Higher-Level Delimited Continuations Yukiyoshi, Kameyama
Proceedings of the Fourth ACM-SIGPLAN Continuation Workshop (CW04) 49-53 (2004)
123. 遷移の除去による時間オートマトンの到達可能性解析中島一; 亀山幸義
Conference Proceedings of Japan Society for Software Science and Technology 21: 36 (2004)
124. A sound and complete axiomatization of delimited continuations Yukiyoshi Kameyama; Masahito Hasegawa
ACM SIGPLAN Notices 38: 177 (2003) Semantic Scholar
125. Calculi of meta-variables M Sato; T Sakurai; Y Kameyama; A Igarashi
COMPUTER SCIENCE LOGIC, PROCEEDINGS 2803: 484 (2003)
126. 二階文脈計算(<特集>プログラミング及びプログラミング言語) Taha, Azza A; 佐藤, 雅彦; 亀山, 幸義
Computer Software 19: 158 (2002) Semantic Scholar
127. Strong Normalizability of the Non-deterministic Catch/Throw Calculi Yukiyoshi, Kameyama; Masahiko, Sato
Theoretical Computer Science 272: 223-245 (2002) Semantic Scholar
128. 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明永山, 友和; 佐藤, 雅彦; 亀山, 幸義
情報処理学会論文誌. プログラミング 42: 100 (2001)
129. Towards Logical Understanding of Delimited Continuations Yukiyoshi, Kameyama
Proceedings of Third ACM SIGPLAN Workshop on Continuations 27-33 (2001)
130. A Type-free Context Calculus Azza, A. Taha; Masahiko, Sato; Yukiyoshi, Kameyama
Journal of Information Processing Society, Japan 42: 38-47 (2001)
131. A simply typed context calculus with first-class environments M Sato; T Sakurai; Y Kameyama
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS 2024: 359 (2001)
132. CAL: A computer assisted learning system for computation and logic M Sato; Y Kameyama; T Izumi
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001 2178: 509 (2001)
133. A simply typed context calculus with first-class environments Masahiko Sato; Takafumi Sakurai; Yukiyoshi Kameyama
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024: 359 (2001) Semantic Scholar
134. A Type-theoretic Study on Partial Continuations Yukiyoshi, Kameyama
Proceedings of IFIP International Conference on Theoretical Computer Science (Lecture Notes in Computer Science) 1872: 489-504 (2000)
135. A classical catch/throw calculus with tag abstractions and its strong normalizability Y Kameyama; M Sato
PROCEEDINGS OF THE 4TH AUSTRALASIAN THEORY SYMPOSIUM, CATS'98 20: 183 (1998)
136. Strong Nourmalizability of Classical Catch/Throw Calculus Yukiyoshi, Kameyama
Proc. Theories of Types and Proofs-Kyoto Meeting, RIMS Kokyuroku 42-56 (1998)
137. A New Formulation of the Catch/Throw Mechanism Yukiyoshi, Kameyama
Proc. Second Fuji International Workshop on Functional and Logic Programming 106-122 (1997)
138. 自己反映的証明体系RPTの理論と実現亀山, 幸義; 佐藤, 雅彦
Computer Software 12: 122 (1995)
139. A Type-Free Theory of Half-Monotone Inductive Definitions Yukiyoshi, Kameyama
International Journal of Foundations of Computer Science 6: 203-234 (1995)
140. Assignmentを持つ純関数型言語Λの実現について山中淳彦; 佐藤雅彦; 亀山幸義
Functional Programming (JSSST2002), Lecture notes 201-216 (1994)

« 1 … 5 6 7 8 »

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. 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. 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. FUNCTIONAL AND LOGIC PROGRAMMING Kameyama, Yukiyoshi; Yonezawa, Takuo (担当:分担執筆, 範囲:Typed dynamic control operators for delimited continuations)
SPRINGER-VERLAG BERLIN 2008年1月 (ISBN: 9783540789680)
5. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Asai, Kenichi; Kameyama, Yukiyoshi (担当:分担執筆, 範囲:Polymorphic delimited continuations)
SPRINGER-VERLAG BERLIN 2007年1月 (ISBN: 9783540766360)
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. COMPUTER SCIENCE LOGIC, PROCEEDINGS Kameyama, Y (担当:分担執筆, 範囲:Axioms for delimited continuations in the CPS hierarchy)
SPRINGER-VERLAG BERLIN 2004年1月 (ISBN: 3540230246)

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. Typed BNF: Backend-independent Semantic Actions
第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
3. Typed BNF: Backend-independent Semantic Actions Zhao, Taine; Kameyama, Yukiyoshi
第24回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日日本ソフトウェア科学会プログラミング論研究会
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. 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. 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. 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. 型付きDSLに対するプログラム変換の型安全なフレームワーク高木尚; 亀山, 幸義
日本ソフトウェア科学会第37回大会 2020年9月8日日本ソフトウェア科学会
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. 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. Polymorphic Staged Calculus with Cross-Stage Persistence and Side Effects 菊地綾音; 亀山, 幸義
情報処理学会第122回プログラミング研究発表会 2019年1月17日情報処理学会プログラミング研究会
12. A Lightweight Approach to Module Generation Kameyama,Yukiyoshi
IFIP Working Group 2.11, Program Generation, 18th Meeting 2018年6月4日 IFIP 招待有り
13. Program Generation for ML Modules Watanabe, Takahisa; Kameyama, Yukiyoshi
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2018年1月8日
14. Coq/SSReflect の extraction の改善坂口,和彦; 亀山,幸義
第１８回プログラミングおよびプログラミング言語ワークショップポスター発表 2016年3月7日
15. 1MLのサブセット言語に対する型システムの構築渡部,恭久; 亀山,幸義
第１８回プログラミングおよびプログラミング言語ワークショップポスター発表 2016年3月7日
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. Improving Error Message in Type System Cynthia, Kustanto; Yukiyoshi, Kameyama
情報処理学会プログラミング研究会____ 2010年3月
18. 限定継続に基づくスケーラブルなウェブアプリケーション構築手法田中麻峰; 亀山幸義
電子情報通信学会ソフトウェアサイエンス研究会技術報告____ 2010年3月
19. コード実行機能と計算エフェクトを持つ型付きマルチステージ言語杉浦啓介; 亀山幸義
日本ソフトウェア科学会第26回大会____ 2009年9月
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日