Akimasa Morihata (森畑明昌) PhD. (博士 (情報理工学))
Associate Professor (准教授)
Graduate School of Arts and Sciences, the University of Tokyo
(東京大学大学院総合文化研究科)
DBLP
Researchmap
Research Interest
Programming and Programming languages; in particular:
- Transformational program development / language-based algorithm development (esp. program calculation)
- Systematic developments of programs from specifications, including program synthesis
- Applications of program transformation and functional programming, including program parallelization
- Declarative and domain-specific programming languages
Introduction to Our Laboratory
Materials for Students (in Japanese)
Publications
<Selected Publications>
<Complete List>
Academic Activities:
- PC member:
PPOPP 2025,
FLOPS 2024,
WPTE 2021,
ICFP 2021,
WPTE 2020,
FLOPS 2020,
PPL 2020 (Program Co-Chair),
PPL 2019,
JSSST 2018 (Program Chair),
PPL 2018,
APLAS 2017,
JSSST 2017 (Vice Program Chair),
PPL 2017,
JSSST 2016,
TTATT 2016,
IFL 2015,
PPDP 2014,
TTATT 2013,
Haskell 2013,
WGP 2011,
PPL 2011,
PEPM 2010
- External review committee member:
PPOPP 2022,
ICFP 2019,
ICFP 2018,
ICFP 2016
情報処理学会プログラミング研究会 主査（2024年度～2025年度）
- 情報処理学会論文誌：プログラミング 編集長（2024年度～2025年度）
- APLAS 2023: Selection Committee of Student Research Competition and Posters
情報処理学会プログラミング研究会 幹事（2018年度～2021年度）
- 情報処理学会論文誌：プログラミング 編集委員（2013年度～2016年度・2018年度～2021年度）
- PPL 2021 組織委員
- FIT 2020 研究専門委員会担当委員
- 日本ソフトウェア科学会 企画委員（PPL研究会リエゾン）（2016年度～2019年度）
- 日本ソフトウェア科学会 プログラミング論研究会 運営委員（2016年度～2019年度）
- ICFP 2018: Publication co-chair
- 情報処理学会プログラミング研究会 運営委員（2014年度～2017年度）
- 情報処理学会学会誌：情報処理 FWG編集委員（2015年度～2016年度）
- AWFS 2009: Local arrangement
Awards:
-
パラメトリック多相関数の真偽値への単相化によるテスト.
日本ソフトウェア科学会第41回大会（2024年度）優秀発表賞
-
ブラックボックステストによる軽量なリダクションループ自動並列化.
日本ソフトウェア科学会第37回大会（2020年度）優秀発表賞
-
パラメトリシティに基づくプログラム微積分.
日本ソフトウェア科学会第36回大会（2019年度）優秀発表賞
-
代数的性質に基づくラムダ式の並列評価.
第18回プログラミングおよびプログラミング言語ワークショップ（2015年度）論文賞
-
並列木縮約を用いたマクロ木変換器の並列評価.
日本ソフトウェア科学会第29回大会（2012年度）高橋奨励賞
-
関数型言語での再帰関数の並列化に関する研究.
第23回 (平成24年度) トーキン科学技術振興財団 トーキン財団奨励賞
-
領域限定言語に基づく最適経路問合せ.
2011年度 情報処理学会山下記念研究賞
-
並列プログラムの候補生成と適合性検査による並列化.
2009年度 情報処理学会CS領域奨励賞
- The Third Homomorphism Theorem on Trees: Downward & Upward Leads to Divide-and-Conquer.
日本ソフトウェア科学会第25回大会（2008年度）高橋奨励賞
- 仕様記述言語に基づく最適経路問題のアルゴリズムの導出.
第10回プログラミングおよびプログラミング言語ワークショップ（2007年度） 論文賞
-
プログラミングおよびプログラミング言語ワークショップ 発表賞
第15回 (発表題目：分割統治計算可能性の多相型を用いた保証)
第13回 (発表題目：先読み付き正規表現の効率の良いマッチング)
第12回 (発表題目：累積変数をもつ木変換プログラムの並列木縮約に基づく並列計算)
第11回 (発表題目：動的計画法アルゴリズムを自己導出する結合子ライブラリ)
第10回 (発表題目：仕様記述言語に基づく最適経路問題のアルゴリズムの導出)
Grants:
Teaching:
- 令和3年度〜 東京大学総合文化研究科広域科学専攻広域システム科学系 情報系研究室合同輪講（毎セメスター；とりまとめ担当）
- 令和2年度〜 東京大学総合文化研究科先進基礎科学推進国際卓越大学院 アカデミック・ライティング（毎セメスター）
- 令和2年度〜 東京大学教養学部学際科学科 総合情報学実習（とりまとめ担当）
- 平成27年度～ 東京大学総合文化研究科広域科学専攻 計算機構論II（隔年）
- 平成27年度～ 東京大学教養学部 情報
- 平成26年度冬学期～ 東京大学教養学部 全学自由ゼミナール「囲碁で養う考える力」（毎セメスター；とりまとめ担当）
- 平成26年度～ 東京大学教養学部学際科学科 情報数理科学IV
- 平成26年度～ 東京大学教養学部 アルゴリズム入門（とりまとめ担当；平成26年度は「情報科学」として開講）
- 平成26年度～ 東京大学教養学部 計算機システム概論（主担当；平成26年度は「情報科学概論I」として開講）
これら以外にも複数の講義を部分的に担当しています。
Contacts:
Email: morihata `at` graco.c.u-tokyo.ac.jp
Addr.: Room 601A, Bldg. 15, 3-8-1, Komaba, Meguro-ku, Tokyo, Japan (ZIP: 153-8902)
TEL: (+81) 03-5454-6679