|
|
Masato Takeichi’s Web Site has been moved to
|
|
|
| (Updated October 10, 2011)
|
|
|
|
|
|
|
Professor Masato Takeichi, PhD.
I have been a Professor of National Institution for Academic Degrees and University Evaluation, Japan since April 2011. And I am appointed as Vice-President of the Science Council of Japan from October 2011 to September 2014.
I was a Professor of the University of Tokyo during January 1993 and 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 Japan since 2003.
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.
|
|
|
|
|
|
| 武市正人 教授(工学博士)
2011年4月から(独)大学評価・学位授与機構の教授を務めています。また、2011年10月～2014年9月の間、日本学術会議副会長に任命されています。
1993年1月から2011年3月まで東京大学教授を務めました。この間には、2001年に情報理工学系研究科を設立し工学系研究科から移りました。2004年から2007年まで同研究科の研究科長を務めました。1987年に東京大学に来る前には、電気通信大学に10年間勤めました。また、2003年から日本学術会議の会員を務めています。
ソフトウェア科学と数理情報学の研究をしていますが、最近は高等教育の評価、および学位に関する研究も進めています。
|
|
|
|
|
|
| Professor
National Institution for Academic Degrees and University Evaluation
|
|
|
|
|
|
| 1-29-1 Gakuen-nishimachi Kodaira-shi,Tokyo 187-8587 Japan
Phone: +81-42-307-1812
E-mail: “takeichi” followed by “@” and “niad.ac.jp”
|
|
|
|
|
|
 | (Affiliations in Japanese)
|
|
|
|
|
|
| 〒187-8587 東京都小平市学園西町1-29-1
電話: 042-307-1812
E-mail: takeichi @ niad.ac.jp
|
|
|
|
|
|
| Research Activities (Click triangles for details)
|
|
|
|
|
|
| Functional Programming and Calculational Program Transformation
|
|
|
|
|
|
| Correctness-preserving program transformation plays an important role in compiler optimization in functional programming languages, and it calls for a more systematic study. In general, program transformation in calculational form enjoys the nice properties of modularity and cheap implementation, which can be embedded in compilers of functional languages.
In addition, program calculation is very helpful in developing efficient algorithms. We have developed systematic derivation strategies with which we derived several new algorithms.
|
|
|
|
|
|
| Parallel Programming and Parallelization of Algorithms
|
|
|
|
|
|
| The problems involved in developing efficient and correct parallel programs have proved much harder than those in developing efficient sequential ones. We have made the first attempt to construct a calculational framework for parallelization of sequential programs. Being constructive, this work has proved to be useful both in parallelizing compiler and in parallel programming. We are now applying the technique to design and implementation of skeletal parallel programming environment which supports efficient parallel programming with a fixed set of parallel skeletons.
|
|
|
|
|
|
| Programmable Structured Documents and Bidirectional XML processing
|
|
|
|
|
|
| With the popularity of XML, bidirectional updating becomes a problem of interest. We are working on a new framework, inspired by program inversion and transformational programming techniques, to look at this problem. We have designed a functional language and a domain-specific bidirectional combinator language. We are now developing a general framework for supporting bidirectional computation and focus on its application to efficient and reliable structured document manipulation. More information about the project can be found in the PSD Web page http://www.psdlab.org/ .
|
|
|
|
|
|
 | University Evaluation and Research on Academic Degrees
|
|
|
|
|
|
| (Research Activities in Japanese)
|
|
|
|
|
|
| 正当性を保証するプログラムの変換は、関数プログラミング言語のコンパイラの最適化で大きな役割を果しており、系統的な扱いが求められる。一般に、運算に基づくプログラム変換はモジュラー性に優れ、実現が容易であり、コンパイラに埋め込むことができる。さらに、プログラム運算は効率のよいアルゴリズムの開発にも有用である。われわれは新しいアルゴリズムを系統的に導出する手法を開発している。
|
|
|
|
|
|
| 効率のよい正しい並列アルゴリズムの開発は逐次的なものの開発よりもかなり難しい。われわれは逐次的プログラムを運算による並列化手法を提案し、それがコンパイラによる並列化と並列プログラミングに有効であることを確認した。また、その手法を適用して、並列スケルトンによる効率的な並列プログラミングを支援するスケルトン(矩体)並列プログラミング環境を開発している。
|
|
|
|
|
|
| プログラマブル構造化文書とXML文書の双方向変換処理
|
|
|
|
|
|
| XMLの普及に伴い、双方向的更新処理が注目されている。われわれは、この問題にプログラム逆転とプログラム変換手法によるあらたな枠組みで取り組み、関数型言語と領域向けの双方向結合子による言語を設計した。また、双方向計算のための一般的な枠組みを開発し、効率的で信頼性の高い文書処理への応用に焦点をあてた研究を進めている。
|
|
|
|
|
|
|
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}