武市 正人
タケイチ マサト (Masato Takeichi)
更新日: 02/01
論文
178
表示件数
-
Communications in Computer and Information Science 13-51 2022年 査読有り
-
Computer Software 38(3) 41-57 2021年7月 査読有り筆頭著者責任著者
-
Workshop on Software Foundations for Data Interoperability (SFDI) 165-171 2020年9月 査読有り
-
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop(SFDI/LSGDA@VLDB) 152-164 2020年 査読有り
-
Software and Systems Modeling 12(1) 89-104 2013年 査読有り
-
Progress in Informatics 10(10) 89-129 2013年 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 22(3) 275-299 2012年5月 査読有り
-
情報処理学会論文誌トランザクション(CD-ROM) 2010(2) ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,116-133 2011年4月 査読有り
-
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY 6486 163-+ 2011年 査読有り
-
第12回プログラミングおよびプログラミング言語ワークショップ, 琴参閣, 香川県, 2010年3月3日(水)~5日(金) 2010年3月
-
EURO-PAR 2010 - PARALLEL PROCESSING, PART II 6272 26-+ 2010年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS 6012 448-+ 2010年 査読有り
-
日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金) 2009年9月
-
日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金) 2009年9月
-
日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金) 2009年9月
-
In Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009 (SES'09), Poster Paper, pp 189, September 2009 2009年9月 査読有り
-
情報処理学会論文誌トランザクション(CD-ROM) 2008(2) VOL.2NO.2,132-143 2009年4月15日 査読有り
-
コンピュータソフトウェア 26(2) 56-75 2009年4月 査読有り
-
In Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS'09), Tokyo, Japan, pages 56-65, April 2009 56-65 2009年4月 査読有り
-
情報処理学会論文誌. プログラミング 2(2) 132-143 2009年3月 査読有り
-
第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009) 2009年3月
-
7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING 315-324 2009年 査読有り
-
ACM SIGPLAN NOTICES 44(1) 177-185 2009年1月 査読有り
-
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 61-71 2009年 査読有り
-
THEORY AND PRACTICE OF MODEL TRANSFORMATIONS 5563 213-+ 2009年 査読有り
-
International Journal on Software Tools for Technology Transfer 11(6) 453-468 2009年 査読有り
-
Conference Record of the Annual ACM Symposium on Principles of Programming Languages 177-185 2009年 査読有り
-
情報処理学会論文誌. プログラミング 1(3) 2008年10月 査読有り
-
ACM SIGPLAN NOTICES 43(9) 169-178 2008年9月 査読有り
-
日本ソフトウェア科学会第25回大会、筑波大学 大学院ビジネス科学研究科(東京キャンパス), 2008年9月10日(水)〜12日(金). 2008年9月
-
日本ソフトウェア科学会第25回大会 , 筑波大学 大学院ビジネス科学研究科(東京キャンパス), 2008年9月10日(水)〜12日(金) 2008年9月
-
筑波大学 大学院ビジネス科学研究科(東京キャンパス), 2008年9月10日(水)〜12日(金). 2008年9月
-
Higher-Order and Symbolic Computation 21(1-2) 89-118 2008年6月 査読有り
-
全国大会講演論文集 70(5) "5-393"-"5-394" 2008年3月13日
-
全国大会講演論文集 70(5) "5-391"-"5-392" 2008年3月13日
-
情報処理学会論文誌. プログラミング 49(3) 16-27 2008年3月 査読有り
-
第10回プログラミングおよびプログラミング言語ワークショップ, 仙台市 秋保温泉 緑水亭, 2008年3月5日(水)〜3月7日(金) 2008年3月
-
第10回プログラミングおよびプログラミング言語ワークショップ, 仙台市 秋保温泉 緑水亭, 2008年3月5日(水)〜3月7日(金). 「論文賞受賞、発表賞受賞」 2008年3月
-
情報処理学会第70回全国大会, 筑波大学 筑波キャンパス, 平成20年3月13日(木)〜15日(土). 2008年3月
-
WSE 2008: TENTH IEEE INTERNATIONAL SYMPOSIUM ON WEB SITE EVOLUTION, PROCEEDINGS 45-+ 2008年 査読有り
-
ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING 169-178 2008年 査読有り
-
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 35(6) 615-658 2007年12月 査読有り
-
ACM SIGPLAN NOTICES 42(9) 47-58 2007年9月 査読有り
-
日本ソフトウェア科学会第24回大会 , 奈良先端科学技術大学院大学, 2007年9月12日(水)〜14日(金) 2007年9月
-
日本ソフトウェア科学会第24回大会 , 奈良先端科学技術大学院大学, 2007年9月12日(水)〜14日(金) 2007年9月
-
日本ソフトウェア科学会第24回大会 , 奈良先端科学技術大学院大学, 2007年9月12日(水)〜14日(金) 2007年9月
-
コンピュータソフトウェア 24(3) 51-62 2007年7月 査読有り
-
ACM SIGPLAN NOTICES 42(6) 146-155 2007年6月 査読有り
-
International Journal of Parallel Programming (IJPP) 35(6) 615-658 2007年6月 査読有り
-
情報処理学会第69回全国大会, 早稲田大学 大久保キャンパス, 平成19年3月6日(火)〜8日(木) 2007年3月