Akimasa Morihata (もりはたあきまさ / 森畑明昌)
        PhD. (博士 (情報理工学))
        Assistant Professor (助教)
        Ohori Laboratory, RIEC, Tohoku University (東北大学電気通信研究所 大堀研究室)
        morihata `at` riec.tohoku.ac.jp
   Programming languages and algorithms; in particular:

• Transformational program/algorithm development (esp. program calculation)
• Program parallelization and parallel programming
• Functional programming
• Declarative and domain-specific programming languages

    Selected Publications     Complete List

• PC member: TTATT 2013, Haskell 2013, WGP 2011, PPL 2011, PEPM 2010
• Local arrangement: AWFS 2009
• Editor: 情報処理学会論文誌：プログラミング

• 並列木縮約を用いたマクロ木変換器の並列評価.
  日本ソフトウェア科学会第29回大会（2012年度）高橋奨励賞
• 関数型言語での再帰関数の並列化に関する研究.
  第23回 (平成24年度) トーキン科学技術振興財団　トーキン財団奨励賞
  
• 領域限定言語に基づく最適経路問合せ.
  2011年度 情報処理学会山下記念研究賞
• 並列プログラムの候補生成と適合性検査による並列化.
  2009年度 情報処理学会CS領域奨励賞
• The Third Homomorphism Theorem on Trees: Downward & Upward Leads to Divide-and-Conquer.
  日本ソフトウェア科学会第25回大会（2008年度）高橋奨励賞
• 仕様記述言語に基づく最適経路問題のアルゴリズムの導出.
  第10回プログラミングおよびプログラミング言語ワークショップ　論文賞
• プログラミングおよびプログラミング言語ワークショップ　発表賞
  第15回 (発表題目：分割統治計算可能性の多相型を用いた保証)
  第13回 (発表題目：先読み付き正規表現の効率の良いマッチング)
  第12回 (発表題目：累積変数をもつ木変換プログラムの並列木縮約に基づく並列計算)
  第11回 (発表題目：動的計画法アルゴリズムを自己導出する結合子ライブラリ)
  第10回 (発表題目：仕様記述言語に基づく最適経路問題のアルゴリズムの導出)

• JSPS 若手研究 (B) (2012-) 「プロセッサ数に比例する並列速度向上を保証するXML処理言語の研究」
• JSPS 特別研究員 (2008-2009) 「最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究」