|
|
Welcome to Masato Takeichi’s Web Site
|
|
|
|
Professor Masato Takeichi, Dr. Engineering in Computer Science
During 2011 to 2018, I worked as a Professor of National Institution for Academic Degrees and University Evaluation(NIAD-UE), Japan, which was reorganized as National Institution for Academic Degrees and Quality Enhancement of Higher Education (NIAD-QE) in 2016. I joined NIAD-UE on April 2, 2011 and was appointed as the Dean of Research Department of NIAD-UE and NIAD-QE since 2012.
Before this 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 at the University 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 the University of Tokyo in 1987, I worked at University of Electro-Communications in Tokyo for 10 years.
I am a member of the Science Council of Japan during 2003 to 2014, 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 was engaged in quality assurance of higher education and research on academic degrees in NIAD-UE and NIAD-QE.
|
|
|
|
|
|
| 武市正人 (工学博士)
2011年4月から2018年3月まで(独)大学評価・学位授与機構、(独)大学改革支援・学位授与機構の教授を務めました。この間、2012年4月から2018年3月までは研究開発部長の任にありました。
その前には、1993年1月から2011年3月まで東京大学教授を務めました。この間には、2001年に情報理工学系研究科を設立し工学系研究科から移り、2004年から2007年まで同研究科の研究科長を務めました。1987年に東京大学の前には、電気通信大学に10年間勤めました。また、2003年から日本学術会議の会員、2011年10月～2013年4月には副会長を務めました。2014年9月に会員任期を終えて、連携会員になりました。
大学ではソフトウェア科学と数理情報学の教育研究にあたっていました。また、その後、７年間、機構において、大学等の教育研究の評価、高等教育と学位、および高等教育の質保証のあり方に関する調査研究の統括を行うとともに、一部の研究を担当しました。これまでの研究論文等はPublicationsから参照いただけます。学術論文は約100編ですが、Google Scholarによれば、h-index は 26 だとのことです。
|
|
|
|
|
|
| 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/ .
|
|
|
|
|
|
 | Academic Degrees and Quality Assurance
|
|
|
|
|
|
| (Research Activities in Japanese)
|
|
|
|
|
|
| 正当性を保証するプログラムの変換は、関数プログラミング言語のコンパイラの最適化で大きな役割を果しており、系統的な扱いが求められる。一般に、運算に基づくプログラム変換はモジュラー性に優れ、実現が容易であり、コンパイラに埋め込むことができる。さらに、プログラム運算は効率のよいアルゴリズムの開発にも有用である。われわれは新しいアルゴリズムを系統的に導出する手法を開発している。
|
|
|
|
|
|
| 効率のよい正しい並列アルゴリズムの開発は逐次的なものの開発よりもかなり難しい。われわれは逐次的プログラムを運算による並列化手法を提案し、それがコンパイラによる並列化と並列プログラミングに有効であることを確認した。また、その手法を適用して、並列スケルトンによる効率的な並列プログラミングを支援するスケルトン(矩体)並列プログラミング環境を開発している。
|
|
|
|
|
|
| プログラマブル構造化文書とXML文書の双方向変換処理
|
|
|
|
|
|
| XMLの普及に伴い、双方向的更新処理が注目されている。われわれは、この問題にプログラム逆転とプログラム変換手法によるあらたな枠組みで取り組み、関数型言語と領域向けの双方向結合子による言語を設計した。また、双方向計算のための一般的な枠組みを開発し、効率的で信頼性の高い文書処理への応用に焦点をあてた研究を進めている。
|
|
|
|
|
|
|
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}
;){kind=small}