すべて 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003
すべて 雑誌論文 学会発表
Science of Computer Programming
巻: In Press, Corrected Proof ページ: 1-38
電子情報通信学会技術報告
巻: Vol.112, No.373 ページ: 25-30
巻: Vol.112, No.275 ページ: 7-12
110009642349
巻: Vol.112, No.23 ページ: 43-49
110009569241
電子情報通信学会ソフトウェアサイエンス研究会
巻: SS2011-46 ページ: 39-44
10031113536
巻: SS2011-47 ページ: 45-49
10031102346
電子情報通信学会ソフトウェアサイエンス研究会SS2011-46
ページ: 39-44
日本ソフトウェア科学会第28回大会講演論文集
巻: No.5A-3 ページ: 12-12
40020659384
電子情報通信学会 電子情報通信学会技術報告
巻: Vol.112, No.373 (SS2012-50) ページ: 25-30
巻: Vol.112, No.23 (SS2012-8) ページ: 43-49
巻: Vol.112, No.275 (SS2012-37) ページ: 7-12
電子情報通信学会ソフトウェアサイエンス研究会SS2011-47
ページ: 45-49
IPSJ Transactions on Programming
巻: 4 ページ: 12-35
巻: SS2010-63 ページ: 61-66
110008689415
電子情報通信学会ソフトウェアサイエンス研究会SS2010-44
ページ: 31-36
120005530808
電子情報通信学会ソフトウェアサイエンス研究会SS2010-63
ページ: 61-66
コンピュータソフトウェア 28
ページ: 173-189
120006668020
Proceedings of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), LNCS
巻: 6816 ページ: 138-155
第83回情報処理学会・プログラミング研究会配布資料
ページ: 1-16
日本ソフトウェア科学会第28回大会
巻: 7B-1 ページ: 1-12
40020660897
電子情報通信学会ソフトウェアサイエンス研究会SS2011-38
ページ: 67-72
110008900205
130002073525
LNCS
巻: 6846 ページ: 138-155
巻: SS2011-38 ページ: 67-72
コンピュータソフトウェア
巻: 28 ページ: 173-189
巻: SS2010-44 ページ: 31-36
平成23年度電気関係学会東海支部連合大会講演論文集
巻: H1-6 ページ: 1-1
IEICE Trans.on Information and Systems
巻: E93-D ページ: 953-962
10026815231
電子情報通信学会技術研究報告
巻: Vol.110, No.227 ページ: 55-60
120005527809
電子情報通信学会ソフトウェアサイエンス研究会 SS2010-36
ページ: 49-54
120005530807
IEICE Trans. on Information and Sys-tems
IEICE Trans. on Information and Systems E93-D
ページ: 953-962
電子情報通信学会ソフトウェアサイエンス研究会SS2009-41
ページ: 37-42
110008001255
平成22年度電気関係学会東海支部連合大会講演論文集
巻: D3-4 ページ: 1-1
電子情報通信学会論文誌D J93-D
ページ: 1-9
130005433597
巻: SS2010-36 ページ: 49-54
電子情報通信学会ソフトウェアサイエンス研究会SS2010-36
電子情報通信学会論文誌D
巻: J93-D ページ: 1-9
巻: SS2009-41 ページ: 37-42
巻: Vol.2, No.3 ページ: 20-32
130000140286
信学技報SS2009-41
巻: 109 ページ: 25-30
110008001253
日本ソフトウェア科学会第26回大会講演論文集 7B-2
ページ: 14-14
巻: 109-343 ページ: 37-42
IPSJ Transactions of Programming on Information 2
ページ: 20-32
IPSJ Transactions on Programming 2
情報処理学会論文誌プログラミング 2
ページ: 80-96
120005530815
IPSJ Transactions of Programming on Information 2巻
電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109
110008001254
ページ: 25-30
巻: 109 ページ: 31-36
情報処理学会論文誌プログラミング
巻: 2 ページ: 80-96
日本ソフトウェア科学会第26回大会講演論文集
巻: 7B-2 ページ: 14-14
電子情報通信学会ソフトウェアサイエンス研究会, 信学技報SS2009-41 109-343
IPSJ Transactions onProgramming
巻: 2 ページ: 20-32
情報処理学会論文誌プログラミング 1
ページ: 100-121
120005530814
電子情報通信学会技術研究報告(SS2008-1)
巻: 108 ページ: 1-6
110006878419
電子情報通信学会論文誌 J91-D
ページ: 757-770
120005530809
電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44)
巻: 108 ページ: 31-36
110007114884
平成20年度電気関係学会東海支部連合大会講演論文集 O-262
ページ: 1-1
IEICE Transactions on Information and Systems Vol.J91-D, No.3(Refereed)
IEICE(SS2008-45)
巻: 108 ページ: 37-42
110007114893
電子情報通信学会技術研究報告(SS2008-20) 108
ページ: 43-48
110006967579
IEICE Technical Report SS2007-58 107
ページ: 7-12
120005530811
電子情報通信学会技術研究報告(SS2008-37) 108
110007081804
電子情報通信学会技術研究報告(SS2008-37)
巻: 108 ページ: 61-66
電子情報通信学会技術研究報告(SS2007-61) 107
120005527805
電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44) 108
電子情報通信学会技術研究報告(SS2008-1) 108
ページ: 1-6
IEICE Technical Report (SS2007-6) Vol.107, No.505(Non-refereed)
巻: 1 ページ: 100-121
Tech. Rep. of IEICE (SS2008-45) 108
電子情報通信学会技術研究報告(SS2008-20)
巻: 108 ページ: 43-48
IEICE Technical Report SS2007-58 Vol.107, No.505(Non-refereed)
電子情報通信学会論文誌 J90-D
ページ: 978-989
電子情報通信学会技術研究報告(SS2007-17) 107
120005526507
電子情報通信学会技術研究報告(SS2007-16) 107
Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming (Refereed)
ページ: 16-27
120000975778
電子情報通信学会論文誌 (採録決定済)
IEICE Technical Report (SS2007-61) Vol.107, No.505(Non-refereed)
ページ: 17-22
110006343341
IEICE Technical Report (SS2007-16) Vol.107, No.176(Non-refereed)
120005526506
電子情報通信学会論文誌 J90-D巻
LA-Symposium 2005 (Winter)
IEICE Technical Report (SS2007-17) Vol.107, No.176(Non-refereed)
電子情報通信学会技術研究報告(SS2007-12) 107
IEICE Transactions on Information and Systems Vol.J90-D, No.4(Refereed)
Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming
電子情報通信学会論文誌 J90-D・4
電子情報通信学会技術研究報告 105・596
ページ: 35-40
IEICE Technical Report IEICE (SS2005-82) Vol.105, No.596(Non-refereed)
110004662813
電子情報通信学会技術研究報告(SS2006-41) 106
110004851223
電子情報通信学会技術研究報告 106・424
110006163165
平成18年度電気関係学会東海支部連合大会講演論文集
電子情報通信学会技術研究報告(SS2005-82) 105
電子情報通信学会技術研究報告(SS2006-46) 106・324
110004851228
IEICE Technical Report (SS2006-41) Vol.106, No.324(No-refereed)
電子情報通信学会技術研究報告(SS2006-42) 106
ページ: 13-18
110004851224
冬のLAシンポジウム
電子情報通信学会技術研究報告SS2005-23 105・129
10016575794
電子情報通信学会技術研究報告 (SS2006-42) 106・324
電子情報通信学会技術研究報告(SS2006-14) 106
110004750957
電子情報通信学会技術研究報告 106・120
電子情報通信学会技術研究報告(SS2006-6) 106・15
110004718943
IEICE Technical Report (SS2005-85) Vol.105, No.596(Non-refereed)
110004662816
電子情報通信学会技術研究報告 (SS2006-41) 106・324
IEICE Technical Report (SS2006-42) Vol.106, No.324(Non-refereed)
電子情報通信学会技術研究報告 (SS2006-6) 106・120
電子情報通信学会技術研究報告SS2005-82 105・596
IEICE Technical Report (SS2006-14) Vol.106, No.120(Non-refereed)
情報科学技術レターズ LA-001
ページ: 1-4
Information Technology Letters(in Japanese) Vol.LA-001
Proc.of RTA'05, LNCS 3467
ページ: 264-278
120000975766
電子情報通信学会技術報告(SS2005-46) 105
110003498383
電子情報通信学会技術研究報告SS2005-58 105・490
ページ: 19-24
110003488391
電子情報通信学会技術研究報告(SS2005-58) 105
電子情報通信学会技術研究報告SS2005-52 105・129
10016575789
電子情報通信学会技術研究報告SS2005-67 105・491
110003488400
IEICE Technical Report (SS2005-58) Vol.105, No.490(Non-refereed)
電子情報通信学会論文誌 J88-D-I・8
ページ: 1171-1183
120000976020
IEICE Trans. on Information and Systems E88-D・12
ページ: 2715-2726
IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
電子情報通信学会技術研究報告(SS2005-67) 105
IEICE Technical Report (SS2005-67) Vol.105, No.491(Non-refereed)
Lecture Notes in Computer Science 3467
IEICE Transactions on Information and Systems E88-D・12
110004019494
IEICE Technical Report (SS2005-46) Vol.105, No.331(Non-refereed)
IEICE Trans. on Information and Systems Vol.E88-D, No.12
電子情報通信学会論文誌 J88-D-1・8
LA-Symposium 2004(Summer)
電子情報通信学会技術報告 SS2004-18
110003276724
電子情報通信学会技術研究報告 SS2004-33
110003277237
コンピュータソフトウェア 21・3
ページ: 40-47
110003743167
コンピュータソフトウェア 21・4
130004638834
電子情報通信学会技術研究報告 SS2004-18
Computer Software (in Japanese) Vol.20, No.5
ページ: 85-89
130006949883
コンピュータソフトウェア 20・5
