Akimasa Morihata / もりはたあきまさ / 森畑明昌
    PhD (Information Science and Technology), JSPS Research Fellow.
    morihata `at` ipl.t.u-tokyo.ac.jp
     Program Derivation and Program Transformation
    Selected Publications     Complete List

• PC member: PEPM 2010
• Local arrangement: AWFS 2009

• 並列プログラムの候補生成と適合性検査による並列化.
  2009年度 情報処理学会CS領域奨励賞
• 累積変数をもつ木変換プログラムの並列木縮約に基づく並列計算.
  第12回プログラミングおよびプログラミング言語ワークショップ　発表賞
• 動的計画法アルゴリズムを自己導出する結合子ライブラリ.
  第11回プログラミングおよびプログラミング言語ワークショップ　発表賞
• The Third Homomorphism Theorem on Trees: Downward & Upward Leads to Divide-and-Conquer.
  日本ソフトウェア科学会第25回大会（2008年度）高橋奨励賞
• 仕様記述言語に基づく最適経路問題のアルゴリズムの導出.
  第10回プログラミングおよびプログラミング言語ワークショップ　論文賞、発表賞