|
|
Welcome to Masato Takeichi’s Web Site
|
|
|
|
Professor Masato Takeichi, PhD.
I have been a Professor of the University of Tokyo since January 1993. We established the Graduate School of Information Science and Technology ( http://www.i.u-tokyo.ac.jp ) 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 coming to University of Tokyo in 1987, I worked at University of Electro-Communications in Tokyo for 10 years. I have been working on Software Science and Mathematical Informatics throughout my research career. I have been a member of the Science Council Japan ( http://www.scj.go.jp ) since 2003.
|
|
|
|
|
|
| 武市正人 教授(工学博士)
1993年から東京大学教授を務めています。2001年に情報理工学系研究科を設立し、工学系研究科から移りました。2004年から2007年まで同研究科の研究科長を務めました。1987年に東京大学に来る前には、電気通信大学に10年間勤めました。ソフトウェア科学と数理情報学の研究をしています。2003年から日本学術会議の会員を務めています。
|
|
|
|
|
|
| Professor
Department of Mathematical Informatics
School of Information Science and Technology
University of Tokyo
|
|
|
|
|
|
 | (Affiliations in Japanese)
|
|
|
|
|
|
| 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/ .
|
|
|
|
|
|
| (Research Activities in Japanese)
|
|
|
|
|
|
| 正当性を保証するプログラムの変換は、関数プログラミング言語のコンパイラの最適化で大きな役割を果しており、系統的な扱いが求められる。一般に、運算に基づくプログラム変換はモジュラー性に優れ、実現が容易であり、コンパイラに埋め込むことができる。さらに、プログラム運算は効率のよいアルゴリズムの開発にも有用である。われわれは新しいアルゴリズムを系統的に導出する手法を開発している。
|
|
|
|
|
|
| 効率のよい正しい並列アルゴリズムの開発は逐次的なものの開発よりもかなり難しい。われわれは逐次的プログラムを運算による並列化手法を提案し、それがコンパイラによる並列化と並列プログラミングに有効であることを確認した。また、その手法を適用して、並列スケルトンによる効率的な並列プログラミングを支援するスケルトン(矩体)並列プログラミング環境を開発している。
|
|
|
|
|
|
| プログラマブル構造化文書とXML文書の双方向変換処理
|
|
|
|
|
|
| XMLの普及に伴い、双方向的更新処理が注目されている。われわれは、この問題にプログラム逆転とプログラム変換手法によるあらたな枠組みで取り組み、関数型言語と領域向けの双方向結合子による言語を設計した。また、双方向計算のための一般的な枠組みを開発し、効率的で信頼性の高い文書処理への応用に焦点をあてた研究を進めている。
|
|
|
|
|
|
|
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}