武市 正人  TAKEICHI Masato

Software and Systems Modeling

巻: (Online First)

Soft-ware and Systems Modeling

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

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

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

巻: 4 ページ: 1-18

Proceedings of 19th European Symposium on Programming

巻: LNCS6012 ページ: 448-467

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)

ページ: 61-72

ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

ページ: 315-324

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

ページ: 132-143

110007970896

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

10025982390

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

10025982390

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

ページ: 61-72

International Journal on Software Tools for Technology Transfer. Vol.11

ページ: 453-468

International Journal on Software Tools for Technology Transfer Vol. 11

ページ: 453-468

ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).

ページ: 315-324

ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

ページ: 315-324

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)

ページ: 61-72

International Journal on Software Tools for Technology Transfer 11

ページ: 453-468

ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)

ページ: 315-324

International Conference on Model Transformation (ICMT 2009)

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

ページ: 132-143

110007970896

Higher-Order and Symbolic Computation. Vol.21

ページ: 89-118

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

ページ: 16-27

110006684627

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

ページ: 16-27

110006684627

22nd IEEE/ACM International Conference on Automated Software Engineering.

ページ: 164-173

Higher-Order and Symbolic Computation 21

ページ: 89-118

Higher-Order and Symbolic Computation Vol. 21

ページ: 89-118

22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007

ページ: 164-173

22nd IEEE/ACM International Conference on Automated Software Engineering

ページ: 164-173

Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007

ページ: 721-732

International Journal of Parallel Programming(UPP), Sprnger Volume35,Number6

ページ: 615-658

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

ページ: 51-62

International Journal of Parallel Programming (IJPP) Volume 35, Number 6, Springer

ページ: 615-658

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

ページ: 51-62

130004638880

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

ページ: 590-603

Journal of Information Processing Society of Japan 47,PRO28(In press)

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

ページ: 39-48

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

130004638880

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

ページ: 6051-614

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

130004892052

Parallel Computing Vol.32, No.7-8

ページ: 590-603

情報処理学会論文誌 47・PRO28(印刷中)

110004078714

情報処理学会論文誌 Vol.47, No.SIG 2 (PRO28)

ページ: 84-98

110004078714

情報処理学会論文誌 46(PRO ?)(予定)

110002769805

Parallel Processing Letters 15・3

ページ: 321-336

ACM Symp. On Document Engineering (DocEng2005)

ページ: 42-51

データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26

110002769805

ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005

ページ: 42-51

The 3^<rd> International Conf.on Education and Information Systems, Technologies and Applications (EISTA2005)

ページ: 14-17

Parallel Processing Letters Vol. 15, No. 3

ページ: 321-336

The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

ページ: 14-17

Parallel Processing Letters 15・3

ページ: 321-336

The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

ページ: 14-17

データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26

110002769805

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

130004638880

Proc.ACM Symposium on Document Engineering(DocEng 2005)

ページ: 42-51

ACM Symp.On Document Engineering (DocEng2005)

ページ: 42-51

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

ページ: 71-76

130004549029

International Workshop on New Approaches to Software Construction(WNASC2004)

ページ: 3-22

The 2nd Asian Symposium on Programming Languages and Systems(APLAS52004)

ページ: 2-20

Information Processing Letters 89・6

ページ: 309-314

Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), ACM Press

ページ: 178-189

Mathematics for Programming Construction(MPC2004), Springer LNCS3125

ページ: 289-313

ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24-25,2004(ACM Press)

ページ: 178-189

コンピュータソフトウエア 21・5

ページ: 71-76

130004549029

Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125(Springer Verlag) 3125

ページ: 289-313

Information Processing Letters 89・6

ページ: 309-314

19th European Symposium on Programming (ESOP), LNCS6012 2010

ページ: 448-467

International Conference on Model Transformation (ICMT 2009).