武市 正人
タケイチ マサト (Masato Takeichi)
更新日: 03/12
論文
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月 査読有り