Akimasa Morihata (森畑明昌)   PhD. (博士 (情報理工学))
        Associate Professor (准教授)
        Graduate School of Arts and Sciences, the University of Tokyo
         (東京大学大学院総合文化研究科)
        DBLP         Researchmap
   Programming languages and algorithms; in particular:

• Transformational program / algorithm development (esp. program calculation)
• Systematic developments of programs from specifications, including program synthesis
• Program parallelization and parallel programming
• Functional programming
• Declarative and domain-specific programming languages for developing algorithms

• <研究室の紹介> (in Japanese)
• <研究室に参加したい方へ (How to Join Our Laboratory)>
• <研究とは何か> (in Japanese)
• <卒業論文・修士論文の書き方> (in Japanese)
• <良い発表をするために> (in Japanese)
• <「Pythonによるプログラミング入門」サポートページ> (in Japanese)

    <Selected Publications>     <Complete List>