• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

森畑 明昌  Morihata Akimasa

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

    (6件)
  • 研究成果

    (39件)
  • 共同研究者

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

    • 研究代表者
      森畑 明昌
    • 研究期間 (年度)
      2023 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京大学
  •  プログラム変換に基づく漸増計算理論の構築研究代表者

    • 研究代表者
      森畑 明昌
    • 研究期間 (年度)
      2019 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京大学
  •  代数的性質と型システムに基づく自動並列化研究代表者

    • 研究代表者
      森畑 明昌
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      東京大学
  •  大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

    • 研究代表者
      胡 振江
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立情報学研究所
  •  プロセッサ数に比例する並列速度向上を保証するXML処理言語の研究研究代表者

    • 研究代表者
      森畑 明昌
    • 研究期間 (年度)
      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件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi