Masato Takeichi
(武市 正人)
Modified on: 06/10
Profile Information
- Degree
-
Ph.D
- J-GLOBAL ID
- 200901050076000676
- researchmap Member ID
- 1000012316
- External link
I have been a Professor of National Institution for Academic Degrees and University Evaluation, Japan since April 2011.
I was a Professor of the University of Tokyo from January 1993 to March 2011. During these years, we established the Graduate School of Information Science and Technology in April 2001, and I moved from the School of Engineering to join IST. I was in charge of the Dean of IST from 2004 to 2007. Before joining to University of Tokyo in 1987, I worked at University of Electro-Communications in Tokyo for 10 years. I have been a member of the Science Council of Japan since 2003, and appointed as Vice-President during October 2011 to April 2013.
I have been working on Software Science and Mathematical Informatics throughout my research career, and I am recently engaged in evaluation of higher education and research on academic degrees.
Research Interests
12Research Areas
2Research History
16-
Jul, 2003 - Sep, 2014
-
Oct, 2011 - Apr, 2013
-
Jun, 2011
-
Apr, 2001 - Mar, 2011
-
Apr, 2004 - Mar, 2007
-
Jan, 1993 - Mar, 2001
-
Apr, 1996 - Mar, 1999
-
Apr, 1990 - Dec, 1992
-
Apr, 1987 - Mar, 1990
-
Jun, 1976 - Jul, 1977
-
Apr, 1972 - Jun, 1976
Education
4-
Jun, 1987
-
Apr, 1970 - Mar, 1972
-
Apr, 1968 - Mar, 1970
-
Apr, 1966 - Mar, 1968
Committee Memberships
26-
Apr, 2013 - Mar, 2015
-
Apr, 2013 - Mar, 2014
-
Apr, 2013 - Feb, 2014
-
Apr, 2013 - Aug, 2013
-
May, 2000 - Mar, 2011
-
Sep, 2005 - Aug, 2007
-
Aug, 2005 - Jul, 2007
-
Oct, 2004 - Mar, 2007
-
Apr, 2004 - Mar, 2006
-
Jul, 1998 - Mar, 2006
-
Jan, 2005 - Dec, 2005
-
Nov, 2002 - Oct, 2005
-
Feb, 1999 - Mar, 2005
-
Jun, 2002 - Jan, 2005
-
Jun, 2001 - Jan, 2005
-
Aug, 2003 - Aug, 2004
-
Jan, 2003 - Aug, 2004
-
Jul, 2003 - Jun, 2004
-
Oct, 1997 - Oct, 2003
-
Jan, 2002 - Dec, 2002
Awards
2-
1986
-
1972
Papers
178-
Communications in Computer and Information Science, 13-51, 2022 Peer-reviewed
-
Computer Software, 38(3) 41-57, Jul, 2021 Peer-reviewedLead authorCorresponding author
-
Workshop on Software Foundations for Data Interoperability (SFDI), 165-171, Sep, 2020 Peer-reviewed
-
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 Peer-reviewed
-
Software and Systems Modeling, 12(1) 89-104, 2013 Peer-reviewed
-
Progress in Informatics, 10(10) 89-129, 2013 Peer-reviewed
-
JOURNAL OF FUNCTIONAL PROGRAMMING, 22(3) 275-299, May, 2012 Peer-reviewed
-
Transaction (CD-ROM), Journal of Information Processing Society of Japan, 2010(2) ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,116-133, Apr, 2011 Peer-reviewed
-
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 6486 163-+, 2011 Peer-reviewed
-
第12回プログラミングおよびプログラミング言語ワークショップ, 琴参閣, 香川県, 2010年3月3日(水)～5日(金), Mar, 2010
-
EURO-PAR 2010 - PARALLEL PROCESSING, PART II, 6272 26-+, 2010 Peer-reviewed
-
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 6012 448-+, 2010 Peer-reviewed
-
日本ソフトウェア科学会第26回大会 , 島根大学（松江キャンパス）, 2009年9月16日(水)～18日(金), Sep, 2009
-
日本ソフトウェア科学会第26回大会 , 島根大学（松江キャンパス）, 2009年9月16日(水)～18日(金), Sep, 2009
-
日本ソフトウェア科学会第26回大会 , 島根大学（松江キャンパス）, 2009年9月16日(水)～18日(金), Sep, 2009
-
In Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009 (SES'09), Poster Paper, pp 189, September 2009, Sep, 2009 Peer-reviewed
-
情報処理学会論文誌トランザクション(CD-ROM), 2008(2) VOL.2NO.2,132-143, Apr 15, 2009 Peer-reviewed
-
Computer Software, Journal of Japan Society for Software Science and Technology, 26(2) 56-75, Apr, 2009 Peer-reviewed
-
In Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS'09), Tokyo, Japan, pages 56-65, April 2009, 56-65, Apr, 2009 Peer-reviewed
-
Programming Section, Journal of Information Processing Society of Japan, 2(2) 132-143, Mar, 2009 Peer-reviewed
Misc.
102-
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011., Jan, 2011
-
2(2) 132-143, Mar 23, 2009
-
情報処理, 49(12) 1363-1368, Dec 15, 2008
-
IPSJ Magazine, 49(12) 1363-1368, Dec 15, 2008
-
Technical Report GRACE-TR-2008-04, Dec, 2008
-
情報処理, 49(11) 1265-1270, Nov 15, 2008
-
1(3) 35-35, Oct 27, 2008
-
70(5) "5-395"-"5-396", Mar 13, 2008
-
情報処理学会全国大会講演論文集, 70th(5) 5.393-5.394-394, Mar 13, 2008
-
情報処理学会全国大会講演論文集, 70th(5) 5.391-5.392, Mar 13, 2008
-
Technical Report METR2008-16, Mar, 2008
-
Technical Report METR2008-17, Department of Mathematical Informatics, University of Tokyo, 2008., Mar, 2008
-
Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007, 348-349, Jul, 2007
-
Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007, 359-360, Jul, 2007
-
Journal of the Robotics Society of Japan, 25(3) 330-333, Apr 15, 2007
-
Bulletin of the Japan Society for Industrial and Applied Mathematics, 17(1) 77-78, Mar 26, 2007
-
Technical Report METR 2007-05, Jan, 2007
-
JSSST Computer Software, 24(2) 164-177, 2007
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 24th 1B-2, 2007
Books and Other Publications
21-
Department of Computer Science, University of Copenhagen, 2011
-
[武市正人], 2006
-
東京大学綜合研究会, 2006
-
武市正人, 2002
-
武市正人, 2002
-
武市正人, 2001
-
近代科学社, Dec, 2000 (ISBN: 4764902850)
-
近代科学社, Nov, 2000 (ISBN: 4764902842) -
武市正人, 1999
-
近代科学社, Nov, 1998 (ISBN: 4764902702)
-
近代科学社, Dec, 1997 (ISBN: 4764902648)
-
近代科学社, Dec, 1997 (ISBN: 476490263X)
-
武市正人, 1997
-
近代科学社, Dec, 1996 (ISBN: 4764902591)
-
近代科学社, Jan, 1996 (ISBN: 4764902532)
-
近代科学社, Jan, 1996 (ISBN: 4764902524)
-
近代科学社（インプレス）, Dec 10, 1994 (ISBN: 4844372238) -
近代科学社, Dec, 1994 (ISBN: 476490232X)
-
岩波書店, 1994
Presentations
19-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009
-
Mar 13, 2008
-
IPSJ SIG Notes, Nov 20, 2001
-
Proceedings of the Society Conference of IEICE, Aug 16, 1999
-
Proceedings of the Society Conference of IEICE, Aug 16, 1999
-
Proceedings of the Society Conference of IEICE, Aug 16, 1999
-
Proceedings of the IEICE General Conference, Mar 8, 1999
-
Proceedings of the IEICE General Conference, Mar 8, 1999
-
Proceedings of the Society Conference of IEICE, Sep 7, 1998
-
Proceedings of the Society Conference of IEICE, Sep 7, 1998
-
Proceedings of the IEICE General Conference, Mar 6, 1998
-
Proceedings of the IEICE General Conference, Mar 6, 1998
Professional Memberships
5Research Projects
22-
Grants-in-Aid for Scientific Research(挑戦的萌芽研究), Ministry of Education, Culture, Sports, Science and Technology, 2010 - 2011
-
Grants-in-Aid for Scientific Research(基盤研究(A)), Ministry of Education, Culture, Sports, Science and Technology, 2007 - 2010
-
Grants-in-Aid for Scientific Research(基盤研究(A)), Ministry of Education, Culture, Sports, Science and Technology, 2003 - 2005
-
科学研究費補助金(萌芽研究), 文部科学省, 2002 - 2003
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Ministry of Education, Culture, Sports, Science and Technology, 1999 - 2001
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Ministry of Education, Culture, Sports, Science and Technology, 1999 - 2001
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Ministry of Education, Culture, Sports, Science and Technology, 1998 - 2000
-
Grants-in-Aid for Scientific Research(重点領域研究, 特定領域研究(A)), Ministry of Education, Culture, Sports, Science and Technology, 1997 - 1999
-
Grants-in-Aid for Scientific Research(基盤研究(C)), Ministry of Education, Culture, Sports, Science and Technology, 1997 - 1998
-
Grants-in-Aid for Scientific Research(一般研究(B), 基盤研究(B)), Ministry of Education, Culture, Sports, Science and Technology, 1995 - 1996
-
Grants-in-Aid for Scientific Research(試験研究(B), 基盤研究(A)), Ministry of Education, Culture, Sports, Science and Technology, 1994 - 1996
-
科学研究費補助金(一般研究(C)), 文部科学省, 1994 - 1994
-
科学研究費補助金(重点領域研究), 文部科学省, 1992 - 1992
-
科学研究費補助金(重点領域研究), 文部科学省, 1991 - 1991
-
科学研究費補助金(重点領域研究), 文部科学省, 1990 - 1990
-
Grants-in-Aid for Scientific Research(一般研究(C)), Ministry of Education, Culture, Sports, Science and Technology, 1989 - 1990
Industrial Property Rights
13
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated