森畑明昌 (Akimasa Morihata) - マイポータル

基本情報

所属: 東京大学大学院総合文化研究科広域科学専攻広域システム科学系准教授

学位: 博士（情報理工学）(東京大学)

研究者番号: 10582257
J-GLOBAL ID: 201801013659473529
researchmap会員ID: B000304731

外部リンク: http://www.graco.c.u-tokyo.ac.jp/labs/morihata/

研究キーワード

研究分野

情報通信 / 情報学基礎論 / プログラミング言語

経歴

学歴

2006年4月 - 2009年3月

東京大学, 大学院情報理工学系研究科, 数理情報学専攻（博士後期課程）
2004年4月 - 2006年3月

東京大学, 大学院情報理工学系研究科, 数理情報学専攻（修士課程）
2002年4月 - 2004年3月

東京大学, 工学部, 計数工学科
2000年4月 - 2002年3月

東京大学, 教養学部, 理科I類

委員歴

2026年4月 - 現在

情報処理学会, プログラミング研究会幹事
2025年4月 - 現在

情報処理学会, 一般情報教育委員会委員
2024年4月 - 2026年3月

情報処理学会, 論文誌「プログラミング」編集長
2024年4月 - 2026年3月

情報処理学会, プログラミング研究会主査
2018年4月 - 2022年3月

情報処理学会, プログラミング研究会幹事
2016年4月 - 2020年3月

日本ソフトウェア科学会, 企画委員
2016年4月 - 2020年3月

日本ソフトウェア科学会, プログラミング論研究会運営委員
2015年4月 - 2017年3月

情報処理学会, 学会誌編集委員（FWG）
2014年4月 - 2017年3月

情報処理学会, プログラミング研究会運営委員

受賞

2016年3月

論文賞, 代数的性質に基づくラムダ式の並列評価, 第18回プログラミングおよびプログラミング言語ワークショップ

森畑明昌
2013年6月

高橋奨励賞, 並列木縮約を用いたマクロ木変換器の並列評価, 日本ソフトウェア科学会

森畑明昌
2013年3月

トーキン財団奨励賞, 関数型言語での再帰関数の並列化に関する研究, トーキン科学技術振興財団

森畑明昌
2012年3月

山下記念研究賞, 領域限定言語に基づく最適経路問合せ, 情報処理学会

森畑明昌
2010年3月

CS領域奨励賞, 並列プログラムの候補生成と適合性検査による並列化., 情報処理学会

森畑明昌
2009年6月

高橋奨励賞, The Third Homomorphism Theorem on Trees: Downward & Upward Leads to Divide-and-Conquer, 日本ソフトウェア科学会

森畑明昌
2007年4月

論文賞, 仕様記述言語に基づく最適経路問題のアルゴリズムの導出., 第10回プログラミングおよびプログラミング言語ワークショップ

森畑明昌, 松崎公紀, 胡振江, 武市正人

主要な論文

9

Test Your Polymorphic Functions with Boolean Values.

Akimasa Morihata

FLOPS 257-273 2026年査読有り筆頭著者責任著者
LLM-Based Explainable Detection of LLM-Generated Code in Python Programming Courses.

Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba

SIGCSE (1) 80-86 2026年査読有り
LR parsing for strings with placeholders.

Kohei Nakamichi, Akimasa Morihata, Tomoki Nakamaru

Inf. Process. Lett. 193 106627-106627 2026年査読有り責任著者
When does 0-1 Principle Hold for Prefix Sums?

Akimasa Morihata

New Generation Computing 41(3) 523-531 2023年9月査読有り
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.

Akimasa Morihata

J. Funct. Program. 31-7 2021年査読有り招待有り
Reverse engineering for reduction parallelization via semiring polynomials.

In Proc. ACM PLDI 2021 820-834 2021年査読有り
The third homomorphism theorem on trees downward & upward lead to divide-and-conquer

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Conference Record of the Annual ACM Symposium on Principles of Programming Languages 177-185 2009年査読有り
Automatic Inversion Generates Divide-and-Conquer Parallel Programs

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION 146-155 2007年査読有り