森畑明昌 Morihata Akimasa

研究者番号	10582257
その他のID
所属 (現在)	2025年度: 東京大学, 大学院総合文化研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2023年度: 東京大学, 大学院総合文化研究科, 准教授 2015年度 – 2016年度: 東京大学, 大学院総合文化研究科, 講師 2014年度: 東京大学, 総合文化研究科, 講師 2013年度: 東京大学, 大学院総合文化研究科, 講師 2010年度 – 2012年度: 東北大学, 電気通信研究所, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウエア研究代表者以外ソフトウェア / ソフトウエア
キーワード	研究代表者型パラメトリシティ / 多相型 / 関数型言語 / 並列計算 / 木変換器 / 多相プログラム / テスト / プログラム微分 / パラメトリシティ / パラメトリック多相型 … もっと見る / プログラム変換 / 多相型パラメトリシティ / 漸増計算 / プログラム並列化 / 並列化 / 自動並列化 / 並列リダクション / 代数的性質 / 型システム / ラムダ計算 / リダクション並列化 / XML処理 / 分散並列評価 / ＸＭＬ / 木構造計算 / プログラミング言語 / 関数プログラミング / XML / 並列処理 … もっと見る研究代表者以外ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / グラフ変換 / 双方向変換言語 / 双方向変換 / プログラミング言語処理系 / 最適化 / 証明論 / コンパイラ隠す

多相性をもつプログラムに対する理論的保証のある有限テストに関する研究研究代表者
- 研究代表者
  
  森畑明昌
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京大学
プログラム変換に基づく漸増計算理論の構築研究代表者
- 研究代表者
  
  森畑明昌
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京大学
代数的性質と型システムに基づく自動並列化研究代表者
- 研究代表者
  
  森畑明昌
- 研究期間 (年度)
  2015 – 2019
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  東京大学
大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
プロセッサ数に比例する並列速度向上を保証するＸＭＬ処理言語の研究研究代表者
- 研究代表者
  
  森畑明昌
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学
   東北大学
証明論に基づくコンパイラの系統的な構築法の研究
- 研究代表者
  
  大堀淳
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学

すべて 2023 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011

すべて雑誌論文学会発表

[雑誌論文] Conjuring Fusion Laws via Relational Calculus2023
- 著者名/発表者名
  Morihata Akimasa
- 雑誌名
  
  Journal of Information Processing
  
  巻: 31 号: 0 ページ: 21-32
- DOI
  10.2197/ipsjjip.31.21
- ISSN
  1882-6652
- 言語
  英語
- データソース
  KAKENHI-PROJECT-19K11896
[雑誌論文] 配列集約ループの実行時情報を用いた漸増化による効率化2021
- 著者名/発表者名
  松田知樹, 森畑明昌
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 14 ページ: 1-14
- NAID
  170000185959
- 査読あり
- データソース
  KAKENHI-PROJECT-19K11896
[雑誌論文] Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel2019
- 著者名/発表者名
  Akimasa Morihata
- 雑誌名
  
  Journal of Information Processing
  
  巻: 印刷中
- NAID
  130007663794
- 査読あり
- データソース
  KAKENHI-PROJECT-15K15965
[雑誌論文] Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning2019
- 著者名/発表者名
  Morihata Akimasa
- 雑誌名
  
  Proceedings of the ACM on Programming Languages
  
  巻: 3 号: ICFP ページ: 1-25
- DOI
  10.1145/3341644
- 査読あり
- データソース
  KAKENHI-PROJECT-15K15965
[雑誌論文] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018
- 著者名/発表者名
  Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
- 雑誌名
  
  Proc. FLOPS 2018 (Lecture Notes in Computer Sciense)
  
  巻: 採択決定済
- 査読あり
- データソース
  KAKENHI-PROJECT-15K15965
[雑誌論文] Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.2014
- 著者名/発表者名
  Akimasa Morihata, Kiminori Matsuzaki
- 雑誌名
  
  IPSJ Transaction on Programming
  
  巻: 7(5) ページ: 1-9
- NAID
  130004706253
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700019
[雑誌論文] Syntax-Directed Divide-and-Conquer Data-Flow Analysis2014
- 著者名/発表者名
  Shigeyuki Sato, Akimasa Morihata
- 雑誌名
  
  Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings (Lecture Notes in Computer Science)
  
  巻: 8858 ページ: 392-407
- DOI
  10.1007/978-3-319-12736-1_21
- ISBN
  9783319127354, 9783319127361
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] パラメトリック多相型からの融合変換類規則の自動導出2021
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第38回大会
- データソース
  KAKENHI-PROJECT-19K11896
[学会発表] Short Cut to Incremental Typed Functional Programs2020
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  WPTE 2020: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11896
[学会発表] パラメトリシティに基づくプログラム微積分2019
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19K11896
[学会発表] 累積引数を伴う木構造走査の代数的性質と融合変換に基づく並列計算2018
- 著者名/発表者名
  森畑明昌
- 学会等名
  情報処理学会プログラミング研究会第121回プログラミング研究発表会
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] 頂点主体並列グラフ処理の制約解消器による効率化2017
- 著者名/発表者名
  森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
- 学会等名
  日本ソフトウェア科学会第34回大会
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] Compilation from Lambda Calculus with Algebraic Simplification to Record Calculus2016
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  情報処理学会第111回プログラミング研究発表会
- 発表場所
  日本アイ・ビー・エム株式会社本社事業所（東京都中央区）
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] From Identification of Parallelizability to Derivation of Parallelizable Codes2016
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  5th ACM SIGPLAN Workshop on Functional High-Performance Computing
- 発表場所
  Nara Kasugano International Forum （奈良県奈良市）
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] 代数的性質に基づくラムダ式の並列評価2016
- 著者名/発表者名
  森畑明昌
- 学会等名
  第18回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  ダイヤモンド瀬戸内マリンホテル（岡山県玉野市）
- 年月日
  2016-03-07
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] 頂点主体グラフ処理の構成的アルゴリズム論に基づく定式化2016
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学電気通信研究所（宮城県仙台市）
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] 最適部分列問題に対する統一的な並列アルゴリズム2015
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第29回大会
- 発表場所
  早稲田大学（東京都新宿区）
- 年月日
  2015-08-22
- データソース
  KAKENHI-PROJECT-15K15965
[学会発表] A Datatype- and Editing-Operation-Generic Incremental Computation2015
- 著者名/発表者名
  森畑明昌
- 学会等名
  情報処理学会第103回プログラミング研究会
- 発表場所
  産業総合研究所
- 年月日
  2015-03-09
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] 漸増計算法の第三リスト準同型定理による系統的導出2014
- 著者名/発表者名
  森畑明昌
- 学会等名
  第16回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  阿蘇の司ビラパークホテル, 熊本県阿蘇市, 日本
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] A Short Cut to Parallelization Theorems (特別講演).2014
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  名古屋大学
- 年月日
  2014-09-08
- 招待講演
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] SML#のSQL統合へのgroupbyの導入2013
- 著者名/発表者名
  斎藤皓,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 二次元最大重み和問題のプログラム変換に基づく解法2013
- 著者名/発表者名
  小石真人, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 分割統治計算可能性の多相型を用いた保証2013
- 著者名/発表者名
  森畑明昌
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  福島県会津若松東山温泉「御宿東鳳」
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] Rubyの操作的意味論の形式的定義に向けて2013
- 著者名/発表者名
  深澤優鷹, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] Rubyの操作的意味論の形式的定義に向けて2013
- 著者名/発表者名
  深澤優鷹,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ(ポスターセッション)
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] SML#のSQL統合へのgroup byの導入2013
- 著者名/発表者名
  斎藤皓, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション)
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- 著者名/発表者名
  藤井貴啓, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] XPath問合せのWork Efficientな分散並列評価2013
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学, 東京都文京区, 日本
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] SML#のデータベース連携機能を活用したウェブアプリケーション構築技術2013
- 著者名/発表者名
  藤井貴啓,上野雄大,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-05
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] A Short Cut to Parallelization Theorems2013
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  ICFP'13: The 18th ACM SIGPLAN International Conference on Functional Programming
- 発表場所
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] 二次元最大重み和問題のプログラム変換に基づく解法2013
- 著者名/発表者名
  小石真人,森畑明昌,大堀淳
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  福島県会津若松市
- 年月日
  2013-03-04
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 構文主導型データフロー解析の並列実装2013
- 著者名/発表者名
  佐藤重幸, 森畑明昌
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学, 東京都文京区, 日本
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism (Extended Abstract)2012
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  the 1st International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2012
- 発表場所
  Nagoya University
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] Calculating Parallel Algorithms for Size-constrained Segment Problems2012
- 著者名/発表者名
  Akimasa Morihata
- 学会等名
  IFIP working group 2.1 69th meeting
- 発表場所
  Ottawa, Canada
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] 並列木縮約を用いたマクロ木変換器の並列評価2012
- 著者名/発表者名
  森畑明昌
- 学会等名
  日本ソフトウェア科学会第29回大会
- 発表場所
  法政大学
- データソース
  KAKENHI-PROJECT-24700019
[学会発表] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- 著者名/発表者名
  高橋和将,森畑明昌,上野雄大,大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  北海道札幌市
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 生存区間を変数名とする中間表現の実装と,それに基づく最適化2011
- 著者名/発表者名
  高橋和将, 森畑明昌, 上野雄大, 大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  札幌市
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- 著者名/発表者名
  松島勇介,上野雄大,森畑明昌,大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  北海道札幌市(本発表は、学生の部発表賞を受賞)
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22500023
[学会発表] 宣言的記述からの関数型言語によるゲームプログラムの導出2011
- 著者名/発表者名
  松島勇介, 上野雄大, 森畑明昌, 大堀淳
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  札幌市
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22500023

1. 大堀淳 (60252532)

共同の研究課題数: 1件

共同の研究成果数: 12件
2. 上野雄大 (60551554)

共同の研究課題数: 1件

共同の研究成果数: 10件
3. 胡振江 (50292769)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 江本健斗 (00587470)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 松田一孝 (10583627)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 加藤弘之 (10321580)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 中野圭介 (30505839)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 日高宗一郎 (70321578)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 浅田和之 (00570251)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. ZHU Zirun

共同の研究課題数: 1件

共同の研究成果数: 0件

森畑 明昌 Morihata Akimasa

研究課題

研究成果

共同研究者

多相性をもつプログラムに対する理論的保証のある有限テストに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

プログラム変換に基づく漸増計算理論の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

代数的性質と型システムに基づく自動並列化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

プロセッサ数に比例する並列速度向上を保証するＸＭＬ処理言語の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明論に基づくコンパイラの系統的な構築法の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Conjuring Fusion Laws via Relational Calculus2023

著者名/発表者名

雑誌名

DOI

ISSN

言語

データソース

[雑誌論文] 配列集約ループの実行時情報を用いた漸増化による効率化2021

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel2019

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.2014

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Syntax-Directed Divide-and-Conquer Data-Flow Analysis2014

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[学会発表] パラメトリック多相型からの融合変換類規則の自動導出2021

著者名/発表者名

学会等名

森畑明昌 Morihata Akimasa