酒井 正彦  Sakai Masahiko

情報処理学会研究報告

巻: 2024-MUS-139

Peoceeding of CMMR 2023

巻: 2c0O6

Proceeding of CMMR 2023

巻: 4c-P2

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

巻: 120(343) ページ: 66-71

ISMIR 2020

巻: 1 ページ: 534-541

SIG-FPAI

巻: B5 ページ: 12-17

130008061521

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), ACM, isbn:978-1-4503-6441-6

巻: PPDP2018 ページ: 1-13

10.1145/3236950.3236963

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

巻: SS2016-12 ページ: 105-101

IEICE Transaction on Information and Systems

巻: E98-D ページ: 1121-1127

130005072390

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

巻: 114 ページ: 99-104

110009803955

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

巻: 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

電子情報通信学会ソフトウェアサイエンス研究会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

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

ページ: 1-16

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

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

IPSJ Transactions on Programming

巻: 4 ページ: 12-35

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

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

120005530807

IEICE Transactions on Information and Systems E92-D

ページ: 2007-2015

10026811591

平成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

IPSJ Transactions of Programming 2

ページ: 144-165

130000107986

IPSJ Transactions of Programming 2巻

ページ: 144-165

130000107986

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

ページ: 31-36

110008001254

IEICE Transactions on Information and Systems, D Vol.E92, No.2

ページ: 235-247

120005530810

IEICE Transactions on Information and Systems

巻: Vol.E92-D, No.10 ページ: 2007-2015

10026811591

IPSJ Transactions of Programming Vol.2

ページ: 144-165

130000107986

Electronic Notes in Theoretical Computer Science

巻: 237 ページ: 39-56

IEICE Transactions on Information and Systems E92-D

ページ: 235-247

120005530810

IPSJ Transactions of Programming on Information 2巻

ページ: 20-32

130000140286

IPSJ Transactions of Programming 2巻

ページ: 166-175

130000107987

信学技報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

Postproceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'08), Electronic Notes in Theoretical Computer Science 237

ページ: 39-56

信学技報SS2009-41

巻: 109 ページ: 25-30

110008001253

IEICE Transactions on Information and Systems,D Vol.E92, No.10

ページ: 2007-2015

10026811591

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

巻: 2 ページ: 80-96

120005530815

IPSJ Transactions of Programming on Information 2

ページ: 20-32

130000140286

Electronic Notes in Theoretical Computer Science 237巻

ページ: 39-56

IEICE Transactions on Information and Systems E92-D巻

ページ: 2007-2015

10026811591

IPSJ Transactions of Programming Vol.2

ページ: 166-175

IEICE Transactions on Information and Systems E92-D

ページ: 235-247

120005530810

IPSJ Transactions of Programming 2

ページ: 166-175

130000107987

IPSJ Transactions on Programming 2

ページ: 20-32

130000140286

IEICE Transactions on Information and Systems

巻: Vol.E92-D, No.2 ページ: 235-247

120005530810

IPSJ Transactions onProgramming

巻: 2 ページ: 20-32

130000140286

Electronic Notes in Theoretical Computer Science 237

ページ: 39-56

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

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

120006668020

信学技報SS2009-41

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

110008001255

IEICE Transactions on Information and Systems E92-D

ページ: 2007-2015

10026811591

IEICE Transactions on Information and Systems E92-D巻

ページ: 235-247

120005530810

電子情報通信学会技術研究報告(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 Technical Report SS2007-60 107

ページ: 19-24

120005530810

IEICE(SS2008-45)

巻: 108 ページ: 37-42

110007114893

IEICE Technical Report SS2007-60 107(Non-refereed)

ページ: 19-24

120005530810

電子情報通信学会技術研究報告(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

Applicable Algebra in Engineering, Communica-tion and Computing 18

ページ: 407-431

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

Applicable Algebra in Engineering, Communica-tion and Computing Vol.18, No.5(Refereed)

ページ: 407-431

Proc. of the 9th International Workshop on Ter-mination

ページ: 77-81

Proc. of the 9th International Workshop on Ter-mination (Refereed)

ページ: 77-81

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

Applicable Algebra in Engineering, Communi-cation and Computing 18

ページ: 407-431

Proc. of the 9th International Workshop on Ter-mination

ページ: 77-81

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

ページ: 978-989

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

ページ: 17-22

110006343341

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

Applicable Algebra in Engineering, Communication and Computing Vol.18

ページ: 407-431

Applicable Algebra in Engineering, Communication and Computing 18巻

ページ: 407-431

電子情報通信学会論文誌 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

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

ページ: 34-48

Proc. of 17th Int'l Conference on Rewriting Techniges and Applications LNCS 4098

ページ: 343-356

120000975763

Proc. of 8th International Workshop on Termination WST2006

ページ: 17-21

120000975761

冬の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

Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS2006)

ページ: 34-48

120000975771

電子情報通信学会技術研究報告(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

Proc. of Eighth International Workshop on Termination

ページ: 17-21

120000975761

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

110004662813

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

ページ: 7-12

110006163165

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

ページ: 34-48

120000975771

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

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

ページ: 583-593

110003214222

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

ページ: 25-30

10016575789

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

ページ: 39-44

110003498383

電子情報通信学会技術報告 105・331

ページ: 39-44

110003498383

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

ページ: 1171-1183

120000976020

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

ページ: 583-593

110003214222

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

電子情報通信学会技術報告 105・331

ページ: 39-44

110003498383

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

ページ: 583-593

110003214222

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

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

ページ: 1-6

110003276712

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

ページ: 49-54

130004549022

LA-Symposium 2004(Summer)

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

ページ: 40-47

110003743167

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

ページ: 40-47

110003743167

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

ページ: 1-6

110003276712

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

ページ: 85-89

130004548996

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

ページ: 85-89

130004548996

Applicable Algebra in Engineering, Communication and Computing (採録決定済)

IEICE Trans.on Information and Systems to appear