TAKEICHI Masato


TAKEICHI Masato

J-GLOBAL         Last updated: Aug 19, 2018 at 11:22
 
Avatar
Name
TAKEICHI Masato
URL
http://takeichi.dyndns.org
Degree
Ph.D

Profile

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 Areas

 
 

Academic & Professional Experience

 
Apr 2012
 - 
Today
Dean, Research Department, National Institution for Academic Degrees and University Evaluation
 
Apr 2011
 - 
Today
Professor, Research Department, National Institution for Academic Degrees and University Evaluation
 
Jul 2003
 - 
Sep 2014
Council Member, Science Council of Japan
 
Oct 2011
 - 
Apr 2013
Vice-President, Science Council of Japan
 
Jun 2011
   
 
Professor Emeritus, University of Tokyo
 
Apr 2001
 - 
Mar 2011
Professor, School of Information Science and Technology,, University of Tokyo
 
Apr 2004
 - 
Mar 2007
Dean, School of Information Science and Technology, University of Tokyo
 
Jan 1993
 - 
Mar 2001
Professor, Faculty of Engineering, University of Tokyo
 
Apr 1996
 - 
Mar 1999
Director, Educational Computer Centre, University of Tokyo
 
Apr 1990
 - 
Dec 1992
Associate Professor, Faculty of Engineering, University of Tokyo
 
Apr 1987
 - 
Mar 1990
Associate Professor, Educational Computer Centre, University of Tokyo
 
Apr 1982
 - 
Mar 1987
Associate Professor, Faculty of Electro-Communications, University of Electro-Communications
 
Aug 1977
 - 
Mar 1982
Assistant Professor, Faculty of Electro-Communications, University of Electro-Communications
 
Jun 1976
 - 
Jul 1977
Assistant Professor, Faculty of Engineering, University of Tokyo
 
Apr 1972
 - 
Jun 1976
Research Associate, Faculty of Engineering, University of Tokyo
 

Education

 
Jun 1987
   
 
Ph.D, University of Tokyo
 
Apr 1970
 - 
Mar 1972
Mathematical Engineering, Graduate School of Engineering, University of Tokyo
 
Apr 1968
 - 
Mar 1970
Mathematical Engineering, Undergraduate School of Engineering, University of Tokyo
 
Apr 1966
 - 
Mar 1968
School of Liberal Arts, University of Tokyo
 

Published Papers

 
Yingfei Xiong,Hui Song,Zhenjiang Hu,Masato Takeichi
Software and System Modeling   12(1) 89-104   2013   [Refereed]
Akimasa Morihata,Kazuhiko Kakehi,Zhenjiang Hu,Masato Takeichi
J. Funct. Program.   22(3) 275-299   2012   [Refereed]
MORIHATA AKIMASA, MATSUZAKI KIMINORI, TAKEICHI MASATO
Transaction (CD-ROM), Journal of Information Processing Society of Japan   2010(2) ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,116-133   Apr 2011
Julien Tesson,Hideki Hashimoto,Zhenjiang Hu,Frédéric Loulergue,Masato Takeichi
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers   163-179   2010   [Refereed]
Kazutaka Matsuda,Shin-Cheng Mu,Zhenjiang Hu,Masato Takeichi
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings   448-467   2010   [Refereed]

Books etc

 
DIKU-IST Joint Workshop on Foundations of Software, Glück R. (Robert), Henglein Fritz, Hu Zhenjiang, 武市 正人
Department of Computer Science, University of Copenhagen   2011   

Conference Activities & Talks

 
木津幸子, 武市正人, HU Zhenjiang
日本ソフトウエア科学会大会講演論文集(CD-ROM)   2009   
松田一孝, 松田一孝, MU Shin‐Cheng, MU Shin‐Cheng, HU Zhenjiang, 武市正人
日本ソフトウエア科学会大会講演論文集(CD-ROM)   2009   
橋本英樹, HU Zhenjiang, TESSON Julien, LOULERGUE Frederic, 武市正人
日本ソフトウエア科学会大会講演論文集(CD-ROM)   2009   
NAKANO Keisuke, LIU Dongxi, HAYASHI Yasushi, HU Zhenjiang, TAKEICHI Masato
13 Mar 2008   
HAYASHI Yasushi, LIU Dongxi, NAKANO Keisuke, HU Zhenjiang, TAKEICHI Masato
13 Mar 2008   

Research Grants & Projects

 
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(挑戦的萌芽研究)
Project Year: 2010 - 2011    Investigator(s): Masato TAKEICHI
Our novel idea of Parallelism-Oblivious Parallel Programming(POPP) has been established and Generator-based Programming was proposed and verified as a general framework for the POPP style parallel programming.
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(A))
Project Year: 2007 - 2010    Investigator(s): Masato TAKEICHI
Bidirectional transformation mechanisms have been studied for establishing a methodology to develop reliable and productive software, which is based on exploring a language with bidirectional properties. A bidirectional transformation library Bi-H...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(A))
Project Year: 2003 - 2005    Investigator(s): Masato TAKEICHI
Our research aims at designing a language for document processing which supports so-called calculation carrying mechanism. Our novel idea of Programmable Structured Documents (PSD) allows us to include transformation code in the document for proce...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 1999 - 2001    Investigator(s): Masato TAKEICHI
Our research aims at collaborating with Oxford group for designing a practical program transformation system based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a Technique for i...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 1999 - 2001    Investigator(s): Masato TAKEICHI
Our research aims at implementing parallel programming models based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for parallelization transformation based on algebrai...