亀山 幸義  Kameyama Yukiyoshi

Science of Computer Programming

巻: 232 ページ: 103035-103035

10.1016/j.scico.2023.103035

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)

巻: - ページ: 27-40

10.1145/3571786.3573017

Lecture Notes in Computer Science

巻: 13215 ページ: 133-151

10.1007/978-3-030-99461-7_8

Lecture Notes in Computer Science

巻: 12835 ページ: 151-171

10.1007/978-3-030-85987-9_9

Proceedings of 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)

巻: - ページ: 184-196

10.1145/3486609.3487209

Lecture Notes in Computer Science

巻: 12222 ページ: 159-179

10.1007/978-3-030-57761-2_8

GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

巻: ー ページ: 50-62

10.1145/3425898.3426960

Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: - ページ: 1-13

10.1145/3372884.3373160

Lecture Notes in Computer Science

巻: 12073 ページ: 139-158

10.1007/978-3-030-59025-3_9

日本ソフトウェア科学会第３７回大会講演論文集

巻: ー ページ: 1-10

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'08)

巻: 無 ページ: 60-66

10.1145/3162072

NII Shonan Seminar Report,

巻: No. 2018-7

情報処理学会論文誌：プログラミング

巻: 10-1 ページ: 14-28

Proceedings of the 16th {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences (GPCE 2017)

巻: 無 ページ: 29-40

10.1145/3136040.3136049

Post-conference Proceedings of Workshop on Continuations 2015, EPTCS

巻: なし ページ: 1-12

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing

巻: 39 ページ: 1-13

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: なし ページ: 103-108

10.1145/2847538.2847548

Proceedings of Asian Symposium on Programming Languages and Systems

巻: 14 ページ: 271-291

10.1007/978-3-319-47958-3_15

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: なし ページ: 37-48

10.1145/2847538.2847542

第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）

巻: 17 ページ: 17-17

Science of Computer Programming

巻: 112 ページ: 120-144

10.1016/j.scico.2015.08.007

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing

巻: なし ページ: 45-53

10.1145/2808091.2808096

Electronic Proceedings of Workshop on Continuations (WoC'15)

巻: 1

第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）

巻: 17 ページ: 11-11

Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: 2014 ページ: 3-14

10.1145/2543728.2543740

Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)

ページ: 147-154

情報処理学会論文誌

110009596040

情報処理学会論文誌

巻: Vol. 54, No. 8 ページ: 1996-2011

110009596040

Proceedings of PEPM 2013, ACM

巻: 2013 ページ: 147-154

10.1145/2426890.2426917

IEICE Transactions on Information and Systems

巻: Vol. E95-D, No. 5 ページ: 1355-1364

10030942823

Proc. International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, Lecture Notes in Computer Science

巻: 7294 ページ: 260-274

Proceedings of FLOPS 2012, Lecture Notes in Computer Science

巻: 7294 ページ: 260-274

Special Section on Formal Approach, IEICE Transactions on Information and Systems

巻: 5 ページ: 1335-1364

10030942823

Theoretical Computer Science

巻: 412(44) 号: 44 ページ: 6193-6207

10.1016/j.tcs.2011.06.020

Proc.Ninth Asian Symp.on Programming Languages and Systems Lecture Notes in Computer Science

巻: 7078 ページ: 105-120

10.1007/978-3-642-25318-8_11

コンピュータソフトウェア

巻: Vol. 28, No. 1 ページ: 217-229

130004892161

Journal of Functional Programming

巻: 21(6) ページ: 617-662

120007137184

Proc. Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011), Kenting, Taiwan, Lecture Notes in Computer Science

巻: 7078 ページ: 105-120

Theoretical Computer Science

巻: 412 ページ: 6193-6207

Journal of Functional Programming

巻: 21(6) 号: 6 ページ: 617-662

10.1017/s0956796811000256

120007137184

Proc. 12th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010)

ページ: 77-86

Proc.of 12th ACM SIGPLAN Symp.on Principles and Practice of Declarative Programming

ページ: 77-86

コンピュータソフトウェア (掲載確定)

130004892161

IPSJ Transactions on Programming

巻: Vol. 3, No. 4 ページ: 43-56

130000418484

Proc. Workshop on Partial Evaluation and Program Manipulation

ページ: 111-120

120007137184

情報処理学会論文誌:プログラミング 49, No.SIG3(PRO36)

ページ: 28-38

130000058186

Proc. International Symposium onFunctional and Logic Programming(FLOPS 2008), Lecture Notes in Com-puter Science 4989

ページ: 239-254

Proc. Workshop on Symbolic Computation in Software Science, RISC-LINZ report 08-08

ページ: 96-108

Proc. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation(PEPM08)

ページ: 147-157

IPSJ Transactions of Programming Vol.49, No.SIG 3(PRO 36)

ページ: 28-38

130000058186

Austrian -Jap ane se Workshop on Symbolic Computation in Software Science (scss 2008)

ページ: 96-108

Frontiers of Computer Science in China 2:1

ページ: 12-21

Proc. ACM SIGPLSN Workshop on Partial Evalution and Program Manipulation(PWPM'08)

ページ: 147-157

Proc. Int'l Symp. on Automated Technology for Verification & Analysis, LNCS 5311

ページ: 80-94

Higher-order and Symbolic Computation 20

ページ: 339-369

情報処理学会論文誌 : プログラミング PRO-33(採録決定)

110006291062

5th Asian Symposium on Programming Languages and Systems (LNCS 4807)

ページ: 239-254

5^<th> Asian Symposium on Programming Languages and Systems (LNCS 4807)

ページ: 239-254

Higher-Order and Symbolic Computation Vol.20

ページ: 339-369

Proc. Fifth Asian Symposium on Programming Languages and Systems(APLAS2007), LNCS 4807

ページ: 239-254

5th Asian Symposium on Programming Languages and Systems LNCS 4807

ページ: 239-254

Proc. Fifth Asian Symposium onProgramming Languages and Systems(APLAS 2007), Singapore, LectureNotes in Computer Science 4807

Higher-order and Symbolic Computation (to appear)(発表予定)

日本ソフトウェア科学会第23回大会論文集 23(オンライン)

ページ: 10-10

Proc. AEARU Workshop on Network Education

ページ: 169-181

Proceedings of the Fourth AEARU Workshop on Network Education

ページ: 169-181

日本ソフトウェア科学会第22回大会予稿集 6B-1(オンライン予稿集)

ページ: 10-10

130004638905

Proc. ACM SIGPLAN Workshop CW'04

ページ: 49-53

Proc. Annual Conference of the Euro-pear Association for Computer Science Logic(CSL'04), Karpacz, Poland, Lec-ture Notes in Computer Science 3210

ページ: 442-457

情報処理学会論文誌:プログラミング 45:SIG12

ページ: 11-24

110002768477

Proc.Annual Conference of the European Association for Computer Science Logic, Lecture Notes in Computer Science 3210

ページ: 442-457

IPSJ Transactions on Programming Vol.45, No.SIG12(PRO23)

ページ: 11-24

Proc. Computer Science Logic 2004,LNCS 3210

ページ: 442-457

Higher-Order and Symbolic Computation (to appear)