武市 正人
タケイチ マサト (Masato Takeichi)
更新日: 06/10
MISC
102
表示件数
-
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011. 2011年1月
-
情報処理学会論文誌プログラミング（PRO） 2(2) 132-143 2009年3月23日
-
情報処理 49(12) 1363-1368 2008年12月15日
-
情報処理 49(12) 1363-1368 2008年12月15日
-
Technical Report GRACE-TR-2008-04 2008年12月
-
情報処理 49(11) 1265-1270 2008年11月15日
-
情報処理 49(11) 1265-1270 2008年11月15日
-
情報処理学会論文誌プログラミング（PRO） 1(3) 35-35 2008年10月27日
-
全国大会講演論文集 70(5) "5-395"-"5-396" 2008年3月13日
-
情報処理学会全国大会講演論文集 70th(5) 5.393-5.394-394 2008年3月13日
-
情報処理学会全国大会講演論文集 70th(5) 5.391-5.392 2008年3月13日
-
Technical Report METR2008-16 2008年3月
-
Technical Report METR2008-17, Department of Mathematical Informatics, University of Tokyo, 2008. 2008年3月
-
Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007 348-349 2007年7月
-
Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007 359-360 2007年7月
-
日本ロボット学会誌 = Journal of Robotics Society of Japan 25(3) 330-333 2007年4月15日
-
応用数理 17(1) 77-78 2007年3月26日
-
Technical Report METR 2007-05 2007年1月
-
JSSST Computer Software 24(2) 164-177 2007年
-
日本ソフトウエア科学会大会講演論文集(CD-ROM) 24th 1B-2 2007年