松崎 公紀  Matsuzaki Kiminori

IEEE Transactions on Games

巻: - 号: 3 ページ: 1-15

10.1109/tg.2023.3324737

Journal of Functional Programming

巻: 32

10.1017/s0956796821000277

情報処理学会論文誌

巻: 63 号: 3 ページ: 787-795

10.20729/00217475

Journal of Information Processing

巻: 29 号: 0 ページ: 336-346

10.2197/ipsjjip.29.336

130008025169

arXiv

巻: abs/1806.07728

European Conference on Advances in Databases and Information Systems (ADBIS 2018)

巻: - ページ: 54-62

10.1007/978-3-030-00063-9_7

Journal of Information Processing

巻: 印刷中

130005990949

International Journal of Parallel Programming

巻: (online) 号: 2 ページ: 362-381

10.1007/s10766-016-0414-9

110009850860

International Journal of Parallel Programming

巻: 44 号: 3 ページ: 466-485

10.1007/s10766-015-0355-8

110009850861

Journal of Information Processing

巻: 24 ページ: 425-438

130005138316

高知工科大学紀要

巻: 12

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

巻: 7 ページ: 18-27

130003394611

International Journal of Parallel Programming

巻: 42(4) 号: 4 ページ: 546-563

10.1007/s10766-013-0263-8

120005728994

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

巻: 第4巻 ページ: 1-18

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

巻: Vol. 4 ページ: 1-11

Procedia of Computer Science

巻: Vol. 4 ページ: 7-16

120005729020

高知工科大学紀要

巻: 8 ページ: 57-72

40018997629

Proceedings of the International Conference on Computational Science (ICCS2011)

巻: 4 ページ: 7-16

120005729020

高知工科大学紀要

巻: Vol. 8 ページ: 57-72

40018997629

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

巻: 4 ページ: 1-11

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

巻: 4 ページ: 1-18

Implementation and Application of Functional Languages, 21st International Workshop, IFL 2009, Revised Selected Papers

巻: LNCS 6041 ページ: 72-89

21st Inter- national Workshop on Implementation and Application of Functional Languages, IFL 2009, Revised Selected Papers, Lecture Notes in Computer Science

巻: Vol. 6041 ページ: 72-89

高知工科大学紀要

巻: Vol. 7, No. 1 ページ: 91-100

情報処理学会論文誌 Vol. 2, No. 2

ページ: 132-143

110007970896

In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009)

ページ: 177-185

Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009) POPL2009

ページ: 177-185

情報処理学会論文誌, プログラミング Vol.2(2)

ページ: 132-143

110007970896

Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27

ページ: 1-7

情報処理学会論文誌 Vol.49,No.SIG3,PRO36

ページ: 16-27

110006684627

Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30

ページ: 1-18

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

ページ: 16-27

110006684627

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

ページ: 16-27

110006684627

Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-30

ページ: 1-18

情報処理学会論文誌 Vol.49, No.SIG3, PRO36

ページ: 16-27

110006684627

Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-27

ページ: 1-7

Scalable Computing: Practice & Experience (SCPE) (掲載予定)

コンピュータソフトウェア Vol. 24(3)

ページ: 51-62

130004638880

In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007)

ページ: 705-714

コンピュータソフトウェア 24(3)

ページ: 51-62

130004638880

In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007)

ページ: 146-155

第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ1、2007年3月8-10日

ページ: 125-139

In part of The International Conference on Computational Science (ICCS 2007)

ページ: 601-608

コンピュータソフトウェア 24(3)

ページ: 51-62

In part of The International Conference on Computational Science (ICCS 2007)

ページ: 609-616

第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

ページ: 123-123

第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

ページ: 124-124

コンピュータソフトウエア 24(3)

ページ: 51-62

130004638880

Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05

ページ: 1-29

The 2nd DIKU-IST Joint Workshop on Foundations of Software, Technical Report no.06/07,Dept.of Computer Science, University of Copenhagen No.06/07

Parallel Computing (Elsevier) Vol.32, No.7-8

ページ: 590-603

18^t^h ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006), Cambridge, MA, USA, July 30-August 2

ページ: 39-48

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

130004638880

Parallel Computing Vol.32,No.7-8

ページ: 590-603

In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)

European Conference on Parallel Computing (EuroPar2006), Dresden, Germany, August 29-September 2, LNCS 4128, Springer 4128

ページ: 605-614

Parallel Computing Vol. 32(7-8)

ページ: 590-603

First International Conference on Scalable Information Systems(InfoScale2006),Hong Kong, May 29-June 1,2006

European Conference on Parallel Computing(EuroPar2006), Drcsden, Germany, August 29-September 2, LNCS 4128, Springer 4128

ページ: 6051-614

In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006)

ページ: 39-48

First International Conference on Scalable Information Systems(InfoScale2006), Hong Kong, May 29-June 1, 2006

18th ACM Symposium on Parallelism in Algorithms and Architectures(SPAA2006), Cambridge, MA, USA, July 30-August 2, ACM Press

ページ: 39-48

Parallel Computing Vol.32, No.7-8

ページ: 590-603

In Proceedings of International Conference on Parallel Computing (EuroPar2006)

ページ: 605-614

コンピュータソフトウエア Vol.22, No.3

ページ: 214-222

130005006607

Parallel Processing Letters Vol. 15, No. 3

ページ: 321-336

日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)

130004638879

Parallel Processing Letters 15・3

ページ: 321-336

日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)

130004638880

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

ページ: 214-222

130005006607