Rchr
J-GLOBAL ID：201801013659473529   Update date: Sep. 14, 2024

Morihata Akimasa

モリハタ アキマサ | Morihata Akimasa
Affiliation and department：
東京大学大学院総合文化研究科 広域科学専攻広域システム科学系

About 東京大学大学院総合文化研究科 広域科学専攻広域システム科学系


Job title： 准教授
Homepage URL  (1)： http://www.graco.c.u-tokyo.ac.jp/labs/morihata/
Research field  (1)： Information theory
Research keywords  (5)： Program Synthesis ,  並列プログラミング ,  Functional Programming ,  Program Transformation ,  Programming Language
Research theme for competitive and other funds  (7)：
  • 2023 - 2028 Finite Testing with Correctness Guarantee for Polymorphic Programs
  • 2019 - 2023 Incremental Computing based on Program Transformations
  • 2015 - 2019 代数的性質と型システムに基づく自動並列化
  • 2013 - 2017 Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
  • 2012 - 2014 Study for Parallel XML Processing Language that Guarantees Parallel Speedups
Show all
Papers (59)：
  • Akimasa Morihata. When does 0-1 Principle Hold for Prefix Sums?. New Generation Computing. 2023. 41. 3. 523-531
  • Akimasa Morihata. Conjuring Fusion Laws via Relational Calculus. Journal of Information Processing. 2023. 31. 21-32
  • HIDEYA IWASAKI, KENTO EMOTO, AKIMASA MORIHATA, KIMINORI MATSUZAKI, ZHENJIANG HU. Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. Journal of Functional Programming. 2022. 32
  • 松田知樹, 森畑明昌. Optimizing Array Aggregating Loops by Incrementalization using Runtime Information. 情報処理学会論文誌トランザクション プログラミング(Web). 2021. 14. 5
  • Akimasa Morihata. Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. J. Funct. Program. 2021. 31. 7
ｍore...
MISC (18)：
  • 森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉. Optimizing Vertex-centric Parallel Graph Processing using Constraint Solver. 日本ソフトウェア科学会大会論文集. 2017. 34. 415-429
  • 松崎 公紀, 岩崎 英哉, 江本 健斗, 胡 振江, 森畑 明昌. Intermediate Representation and Code Generator for Frameworks for Vertex-centric Graph Computation. 日本ソフトウェア科学会大会論文集. 2017. 34. 493-502
  • Vertex-centric Parallel Processing by Constructive Algorithmics. 2016. 33. 217-226
  • 江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉. Concurrent Operations on Splay Trees. 日本ソフトウェア科学会大会論文集. 2016. 33. 227-242
  • A Datatype- and Editing-Operation-Generic Incremental Computation. 2015. 8. 3. 34-34
ｍore...
Books (4)：
  • 応用基礎としてのデータサイエンス : AI×データ活用の実践
    講談社 2023 ISBN:9784065307892
  • 考え方から学ぶプログラミング講義 : Pythonではじめる
    東京大学出版会 2021 ISBN:9784130624602
  • Pythonによるプログラミング入門 : 東京大学教養学部テキスト : アルゴリズムと情報科学の基礎を学ぶ
    東京大学出版会 2019 ISBN:9784130624589
  • 情報 第2版: 東京大学教養学部テキスト
    東京大学出版会 2017 ISBN:9784130624572
Lectures and oral presentations  (25)：
  • 融合変換規則の関係計算に対する手品補題による導出
    (情報処理学会 第139回プログラミング研究発表会 2022)
  • From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization.
    (16th International Symposium on Functional and Logic Programming (FLOPS 2022) 2022)
  • プレゼンのコツ
    (第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) 2022)
  • パラメトリック多相型からの融合変換類規則の自動導出
    (日本ソフトウェア科学会第38回大会 2021)
  • 配列集約ループの実行時情報を用いた漸増化による効率化.
    (情報処理学会 第134回プログラミング研究発表会 2021)
ｍore...
Education (4)：
  • 2006 - 2009 The University of Tokyo The Graduate School of Information Science and Technology Department of Mathematical Informatics
  • 2004 - 2006 The University of Tokyo The Graduate School of Information Science and Technology Department of Mathematical Informatics
  • 2002 - 2004 The University of Tokyo The Faculty of Engineering Department of Mathematical Engineering and Information Physics
  • 2000 - 2002 The University of Tokyo College of Arts and Sciences
Professional career (1)：
  • 博士(情報理工学) (東京大学)
Work history (5)：
  • 2017/08 - 現在 University of Tokyo Graduate School of Arts and Sciences Associate Professor
  • 2014/03 - 2017/08 University of Tokyo Graduate School of Arts and Sciences Lecturer
  • 2010/03 - 2014/03 Tohoku University Research Institute of Electrical Communication Assistant Professor
  • 2009/04 - 2010/03 Japan Society for the Promotion of Science Research Fellowship for Young Scientists
  • 2008/04 - 2009/03 Japan Society for the Promotion of Science Research Fellowship for Young Scientists (DC2)
Committee career (4)：
  • 2018/04 - 2022/03 情報処理学会プログラミング研究会 幹事
  • 2016/04 - 2020/03 日本ソフトウェア科学会 企画委員
  • 2016/04 - 2020/03 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • 2014/04 - 2017/03 情報処理学会プログラミング研究会 運営委員
Awards (7)：
  • 2016/03 - 第18回プログラミングおよびプログラミング言語ワークショップ 論文賞 代数的性質に基づくラムダ式の並列評価
  • 2013/06 - 日本ソフトウェア科学会 高橋奨励賞 並列木縮約を用いたマクロ木変換器の並列評価
  • 2013/03 - トーキン科学技術振興財団 トーキン財団奨励賞 関数型言語での再帰関数の並列化に関する研究
  • 2012/03 - 情報処理学会 山下記念研究賞 領域限定言語に基づく最適経路問合せ
  • 2010/03 - 情報処理学会 CS領域奨励賞 並列プログラムの候補生成と適合性検査による並列化.
Show all
Association Membership(s) (3)：
Association for Computing Machinery ,  INFORMATION PROCESSING SOCIETY OF JAPAN ,  Japan Sociaty for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM