坂部 俊樹  SAKABE Toshiki

Science of Computer Programming

巻: In Press, Corrected Proof ページ: 1-38

電子情報通信学会技術報告

巻: Vol.112, No.373 ページ: 25-30

電子情報通信学会 電子情報通信学会技術報告

巻: Vol.112, No.275 (SS2012-37) ページ: 7-12

110009642349

電子情報通信学会ソフトウェアサイエンス研究会SS2011-47

ページ: 45-49

10031102346

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2011-46 ページ: 39-44

10031113536

電子情報通信学会ソフトウェアサイエンス研究会SS2011-46

ページ: 39-44

10031113536

電子情報通信学会技術報告

巻: Vol.112, No.275 ページ: 7-12

110009642349

電子情報通信学会 電子情報通信学会技術報告

巻: Vol.112, No.23 (SS2012-8) ページ: 43-49

110009569241

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

巻: No.5A-3 ページ: 12-12

40020659384

電子情報通信学会技術報告

巻: Vol.112, No.23 ページ: 43-49

110009569241

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2011-47 ページ: 45-49

10031102346

電子情報通信学会 電子情報通信学会技術報告

巻: Vol.112, No.373 (SS2012-50) ページ: 25-30

第83回情報処理学会・プログラミング研究会配布資料

ページ: 1-16

電子情報通信学会ソフトウェアサイエンス研究会SS2010-63

ページ: 61-66

110008689415

IPSJ Transactions on Programming

巻: 4 ページ: 12-35

130002073525

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

40020659384

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

巻: 28 ページ: 173-189

120006668020

LNCS

巻: 6846 ページ: 138-155

電子情報通信学会ソフトウェアサイエンス研究会SS2011-38

ページ: 67-72

110008900205

日本ソフトウェア科学会第28回大会

巻: 7B-1 ページ: 1-12

40020660897

電子情報通信学会ソフトウェアサイエンス研究会SS2010-44

ページ: 31-36

120005530808

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2010-44 ページ: 31-36

120005530808

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

ページ: 173-189

120006668020

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2011-38 ページ: 67-72

110008900205

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2010-63 ページ: 61-66

110008689415

Proceedings of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), LNCS

巻: 6816 ページ: 138-155

第83回情報処理学会・プログラミング研究会配布資料

ページ: 1-16

平成23年度電気関係学会東海支部連合大会講演論文集

巻: H1-6 ページ: 1-1

IPSJ Transactions on Programming

巻: 4 ページ: 12-35

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2010-36 ページ: 49-54

120005530807

平成22年度電気関係学会東海支部連合大会講演論文集

巻: D3-4 ページ: 1-1

IEICE Trans. on Information and Systems E93-D

ページ: 953-962

10026815231

IEICE Trans. on Information and Sys-tems

巻: E93-D ページ: 953-962

電子情報通信学会ソフトウェアサイエンス研究会SS2010-36

ページ: 49-54

120005530807

電子情報通信学会ソフトウェアサイエンス研究会

巻: SS2009-41 ページ: 37-42

110008001255

IEICE Trans.on Information and Systems

巻: E93-D ページ: 953-962

10026815231

電子情報通信学会ソフトウェアサイエンス研究会 SS2010-36

ページ: 49-54

120005530807

電子情報通信学会論文誌D

巻: J93-D ページ: 1-9

130005433597

電子情報通信学会論文誌D J93-D

ページ: 1-9

130005433597

電子情報通信学会技術研究報告

巻: Vol.110, No.227 ページ: 55-60

120005527809

電子情報通信学会ソフトウェアサイエンス研究会SS2009-41

ページ: 37-42

110008001255

電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109

ページ: 25-30

110008001253

IPSJ Transactions on Programming 2

ページ: 20-32

130000140286

日本ソフトウェア科学会第26回大会講演論文集 7B-2

ページ: 14-14

120006668020

電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109

ページ: 31-36

110008001254

IPSJ Transactions of Programming on Information 2巻

ページ: 20-32

130000140286

信学技報SS2009-41

巻: 109 ページ: 31-36

110008001254

電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109-343

ページ: 37-42

110008001255

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

ページ: 80-96

120005530815

IPSJ Transactions on Programming

巻: Vol.2, No.3 ページ: 20-32

130000140286

信学技報SS2009-41

巻: 109 ページ: 25-30

110008001253

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

巻: 2 ページ: 80-96

120005530815

IPSJ Transactions of Programming on Information 2

ページ: 20-32

130000140286

IPSJ Transactions on Programming 2

ページ: 20-32

130000140286

IPSJ Transactions onProgramming

巻: 2 ページ: 20-32

130000140286

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

巻: 7B-2 ページ: 14-14

120006668020

信学技報SS2009-41

巻: 109-343 ページ: 37-42

110008001255

電子情報通信学会技術研究報告(SS2008-1) 108

ページ: 1-6

110006881092

IEICE Technical Report SS2007-58 107

ページ: 7-12

120005530811

電子情報通信学会技術研究報告(SS2008-37)

巻: 108 ページ: 61-66

110007081804

IEICE Technical Report (SS2007-6) Vol.107, No.505(Non-refereed)

ページ: 25-30

電子情報通信学会技術研究報告(SS2008-20)

巻: 108 ページ: 43-48

110006967579

電子情報通信学会技術研究報告(SS2008-20) 108

ページ: 43-48

110006967579

電子情報通信学会論文誌 J91-D

ページ: 757-770

120005530809

電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44) 108

ページ: 31-36

110007114884

IEICE Transactions on Information and Systems Vol.J91-D, No.3(Refereed)

ページ: 757-770

120005530809

電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44)

巻: 108 ページ: 31-36

110007114884

電子情報通信学会技術研究報告(SS2008-37) 108

ページ: 61-66

110007081804

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

ページ: 100-121

120005530814

平成20年度電気関係学会東海支部連合大会講演論文集 O-262

ページ: 1-1

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

巻: 1 ページ: 100-121

120005530814

IEICE(SS2008-45)

巻: 108 ページ: 37-42

110007114893

電子情報通信学会技術研究報告(SS2008-1)

巻: 108 ページ: 1-6

110006881092

IEICE Technical Report SS2007-58 Vol.107, No.505(Non-refereed)

ページ: 7-12

120005530811

Tech. Rep. of IEICE (SS2008-45) 108

ページ: 37-42

110007114893

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 25-30

120005527805

IEICE Technical Report (SS2007-17) Vol.107, No.176(Non-refereed)

ページ: 7-12

120005526507

電子情報通信学会技術研究報告(SS2007-16) 107

ページ: 1-6

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 17-22

110006343341

IEICE Transactions on Information and Systems Vol.J90-D, No.4(Refereed)

ページ: 978-989

IEICE Technical Report (SS2007-16) Vol.107, No.176(Non-refereed)

ページ: 1-6

120005526506

電子情報通信学会論文誌 J90-D

ページ: 978-989

Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming

ページ: 16-27

LA-Symposium 2005 (Winter)

Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming (Refereed)

ページ: 16-27

120000975778

電子情報通信学会技術研究報告(SS2007-12) 107

ページ: 17-22

110006343341

電子情報通信学会論文誌 J90-D

ページ: 978-989

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 1-6

電子情報通信学会論文誌 J90-D・4

ページ: 978-989

IEICE Technical Report (SS2007-61) Vol.107, No.505(Non-refereed)

ページ: 17-22

110006343341

電子情報通信学会論文誌 (採録決定済)

電子情報通信学会論文誌 J90-D巻

ページ: 978-989

電子情報通信学会技術研究報告(SS2007-17) 107

ページ: 7-12

120005526507

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 7-12

120005526507

IEICE Technical Report (SS2005-85) Vol.105, No.596(Non-refereed)

ページ: 35-40

110004662816

電子情報通信学会技術研究報告 105・596

ページ: 35-40

冬のLAシンポジウム

電子情報通信学会技術研究報告 (SS2006-41) 106・324

ページ: 7-12

110004851223

IEICE Technical Report IEICE (SS2005-82) Vol.105, No.596(Non-refereed)

ページ: 35-40

110004662813

電子情報通信学会技術研究報告 105・596

ページ: 35-40

平成18年度電気関係学会東海支部連合大会講演論文集

IEICE Technical Report (SS2006-42) Vol.106, No.324(Non-refereed)

ページ: 13-18

110004851224

電子情報通信学会技術研究報告(SS2006-42) 106

ページ: 13-18

110004851224

IEICE Technical Report (SS2006-14) Vol.106, No.120(Non-refereed)

ページ: 7-12

電子情報通信学会技術研究報告 106・120

ページ: 7-12

110004750957

電子情報通信学会技術研究報告(SS2005-82) 105

ページ: 35-40

110004662813

電子情報通信学会技術研究報告(SS2005-82) 105

ページ: 35-40

電子情報通信学会技術研究報告(SS2006-41) 106

ページ: 7-12

110004851223

電子情報通信学会技術研究報告 (SS2006-42) 106・324

ページ: 13-18

110004851224

電子情報通信学会技術研究報告(SS2006-14) 106

ページ: 7-12

110004750957

電子情報通信学会技術研究報告(SS2006-46) 106・324

ページ: 37-42

110004851228

IEICE Technical Report (SS2006-41) Vol.106, No.324(No-refereed)

ページ: 7-12

電子情報通信学会技術研究報告(SS2006-6) 106・15

ページ: 31-36

110004718943

電子情報通信学会技術研究報告 (SS2006-6) 106・120

ページ: 7-12

110004750957

電子情報通信学会技術研究報告SS2005-23 105・129

ページ: 31-36

10016575794

電子情報通信学会技術研究報告SS2005-82 105・596

110004662813

電子情報通信学会技術研究報告 106・424

ページ: 7-12

110006163165

IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8

ページ: 1171-1183

情報科学技術レターズ LA-001

ページ: 1-4

電子情報通信学会論文誌 J88-D-1・8

ページ: 1171-1183

120000976020

電子情報通信学会技術研究報告(SS2005-67) 105

ページ: 25-30

110003488400

IEICE Transactions on Information and Systems E88-D・12

ページ: 2715-2726

110004019494

IEICE Trans. on Information and Systems Vol.E88-D, No.12

ページ: 2715-2726

Lecture Notes in Computer Science 3467

ページ: 264-278

120000975766

IEICE Technical Report (SS2005-58) Vol.105, No.490(Non-refereed)

ページ: 19-24

情報科学技術レターズ LA-001

ページ: 1-4

電子情報通信学会技術研究報告SS2005-52 105・129

ページ: 25-30

10016575789

IEICE Technical Report (SS2005-46) Vol.105, No.331(Non-refereed)

ページ: 39-44

110003498383

電子情報通信学会論文誌 J88-D-I・8

ページ: 1171-1183

120000976020

Information Technology Letters(in Japanese) Vol.LA-001

ページ: 1-4

情報科学技術レターズ LA-001

ページ: 1-4

IEICE Technical Report (SS2005-67) Vol.105, No.491(Non-refereed)

ページ: 25-30

110003488400

IEICE Trans. on Information and Systems E88-D・12

ページ: 2715-2726

電子情報通信学会技術研究報告(SS2005-58) 105

ページ: 19-24

110003488391

電子情報通信学会論文誌 J88-D-I・8

ページ: 1171-1183

120000976020

電子情報通信学会技術研究報告SS2005-67 105・491

ページ: 25-30

110003488400

電子情報通信学会技術研究報告SS2005-58 105・490

ページ: 19-24

110003488391

Proc.of RTA'05, LNCS 3467

ページ: 264-278

120000975766

電子情報通信学会技術報告(SS2005-46) 105

ページ: 39-44

110003498383

電子情報通信学会技術研究報告 SS2004-18

ページ: 25-30

110003276724

電子情報通信学会技術報告 SS2004-18

ページ: 25-30

110003276724

電子情報通信学会技術研究報告 SS2004-33

ページ: 43-48

110003277237

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

ページ: 49-54

130004549022

LA-Symposium 2004(Summer)

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

ページ: 40-47

110003743167

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

ページ: 40-47

110003743167

Computer Software (in Japanese) Vol.20, No.5

ページ: 85-89

130004548996

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

ページ: 85-89

130004548996