Akimasa Morihata

J-GLOBAL         Last updated: Oct 24, 2018 at 12:59
 
Avatar
Name
Akimasa Morihata
Research funding number
10582257

Research Areas

 
 

Academic & Professional Experience

 
Aug 2017
 - 
Today
Associate Professor, Graduate School of Arts and Sciences, University of Tokyo
 
Mar 2014
 - 
Aug 2017
Lecturer, Graduate School of Arts and Sciences, University of Tokyo
 
Mar 2010
 - 
Mar 2014
Assistant Professor, Research Institute of Electrical Communication, Tohoku University
 
Apr 2009
 - 
Mar 2010
Research Fellowship for Young Scientists, Japan Society for the Promotion of Science
 
Apr 2008
 - 
Mar 2009
Research Fellowship for Young Scientists (DC2), Japan Society for the Promotion of Science
 

Published Papers

 
Akimasa Morihata,Kento Emoto,Kiminori Matsuzaki,Zhenjiang Hu,Hideya Iwasaki
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings   166-181   2018   [Refereed]
番原 睦則, 鍋島 英知, 森畑 明昌
情報処理   57(8) 702-703   Jul 2016
森畑 明昌
情報処理   57(6) 544-549   May 2016
自動プログラム作成とは,入出力例などの補助的な情報から,プログラムを自動的に生成する技術である.古来非常に難しいものだとされてきた自動プログラム作成だが,近年著しい進展を見せ,実用的なシステムが作られるようになってきている.理由としては,(1)ライブラリ関数をいくつか呼ぶだけというような,小さなプログラムが多数必要になったこと,(2)計算機による力ずくの探索が可能になってきたこと,(3)学習や自然言語処理などによりユーザの意図をより正確に推測できるようになってきたこと,などが挙げられる.本...
森畑 明昌
情報処理   57(4) 362-365   Mar 2016
東京大学の1年生は全員,まず夏学期に必修講義である「情報」で情報に関する基本的な知識を学ぶ.理系の学生は,続く冬学期の「アルゴリズム入門」で,プログラミングをさらに学び,アルゴリズムや計算量,数値計算等についての理解を深める.東京大学は総合大学であるため,これらの全学教育では,情報系に興味のない学生にも,プログラミングを学び,面白さを感じてもらわなければならない.しかも,「情報」では履修者が数千人(数十クラス)にも達するため,プログラミングが専門ではない教員も授業を担当せざるを得ない.本稿...
Kento Emoto,Kiminori Matsuzaki,Zhenjiang Hu,Akimasa Morihata,Hideya Iwasaki
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016   200-213   2016   [Refereed]
Akimasa Morihata
Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016   1   2016   [Invited]
Akimasa Morihata
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings   215-231   2016   [Refereed]
ENDO Masanori, MUKADE Yuto, MORIHATA Akimasa, UENO Katsuhiro, OHORI Atsushi
Computer Software   32(1) 1_194-1_212   2015   [Refereed]
Code reading is important in several situations, including reusing existing programs and developing a program by several persons. In this paper, we report on our prototype implementation of a code-reading assistance tool for a functional programmi...
Shin-Cheng Mu,Array,Akimasa Morihata
Sci. Comput. Program.   98 484-515   2015   [Refereed]
Akimasa Morihata,Masato Koishi,Atsushi Ohori
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings   186-202   2014   [Refereed]
Shigeyuki Sato,Akimasa Morihata
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings   392-407   2014   [Refereed]
Katsuhiro Ueno,Yutaka Fukasawa,Akimasa Morihata,Atsushi Ohori
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings   78-98   2014   [Refereed]
Akimasa Morihata
ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013   245-256   2013   [Refereed]
MORIHATA Akimasa
Computer Software   29(1) 147-158   2012   [Refereed]
Most of the conventional implementations of regular expressions are based on backtracking. Such implementations are slow in the worst case, and thus, we would like to develop a better matching algorithm. However, it is nontrivial to provide an eff...
Akimasa Morihata
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings   213-227   2012   [Refereed]
Akimasa Morihata,Kazuhiko Kakehi,Zhenjiang Hu,Masato Takeichi
J. Funct. Program.   22(3) 275-299   2012   [Refereed]
Akimasa Morihata,Kiminori Matsuzaki
Proceedings of the International Conference on Computational Science, ICCS 2011, Nanyang Technological University, Singapore, 1-3 June, 2011   7-16   2011   [Refereed]
Shin-Cheng Mu,Akimasa Morihata
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011   385-391   2011   [Refereed]
Akimasa Morihata,Kiminori Matsuzaki
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011   117-128   2011   [Refereed]
Akimasa Morihata
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings   204-219   2011   [Refereed]
Akimasa Morihata
New Generation Comput.   29(1) 31-59   2011   [Refereed]
Shin-Cheng Mu,Yu-Han Lyu,Akimasa Morihata
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010   97-108   2010   [Refereed]
Akimasa Morihata,Kiminori Matsuzaki
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings   321-336   2010   [Refereed]
森畑 明昌, 松崎 公紀, 胡 振江, 武市 正人
情報処理学会論文誌プログラミング(PRO)   2(2) 132-143   Mar 2009   [Refereed]
近年,並列計算のための環境は身近になってきている.しかし,効率の良い並列プログラムの構築は逐次プログラムの構築に比べてはるかに難しい.そのため,逐次プログラムをもとにして自動的に並列プログラムを得る自動並列化の手法が求められている.プログラムの並列化に関連して,関数プログラミングの分野では第三準同型定理という定理が知られている.第三準同型定理は,配列からある値を計算する問題に対し,その配列の要素を右から順に走査するプログラムと左から順に走査するプログラムの両方が存在すれば,その問題を分割統...
Akimasa Morihata,Kiminori Matsuzaki,Zhenjiang Hu,Masato Takeichi
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009   177-185   2009   [Refereed]
Akimasa Morihata
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings   63-78   2009   [Refereed]
Akimasa Morihata,Kiminori Matsuzaki,Masato Takeichi
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008   169-178   2008   [Refereed]
Kazutaka Morita,Akimasa Morihata,Kiminori Matsuzaki,Zhenjiang Hu,Masato Takeichi
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007   146-155   2007   [Refereed]
Akimasa Morihata,Kazuhiko Kakehi,Zhenjiang Hu,Masato Takeichi
Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings   379-396   2006   [Refereed]

Conference Activities & Talks

 
松崎 公紀, 岩崎 英哉, 江本 健斗, 胡 振江, 森畑 明昌
日本ソフトウェア科学会大会論文集   18 Sep 2017   
森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉
日本ソフトウェア科学会大会論文集   18 Sep 2017   
Program Transformations for Developing Efficient and Correct Programs with Ease [Invited]
Akimasa Morihata
ACM SIGPLAN Programming Languages Mentoring Workshop, PLMW 2016   18 Sep 2016   
森畑 明昌
日本ソフトウェア科学会大会論文集   7 Sep 2016   
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
日本ソフトウェア科学会大会論文集   7 Sep 2016   
森畑 明昌
情報処理学会論文誌プログラミング(PRO)   21 Sep 2015   
漸増計算とは,以前処理したデータとわずかに異なるデータに対する計算を以前の計算で得られた情報を用い高速に行う手法である.漸増計算により,たとえば,エディタでの構文色分けなどを文書の編集と並行して行うことができる.本発表では,リストの処理に対する漸増計算手法(Jeuring, 1991)を様々なデータ構造の処理へと一般化する.しかし,リストでは現れないような複雑な編集操作が自然に現れうるため,この拡張は非自明である.そこで,短絡融合を利用することで,このような複雑な編集操作をも扱うことができ...
森畑 明昌
日本ソフトウェア科学会大会論文集   9 Sep 2015   
遠藤 誠典, 百足 勇人, 森畑 明昌
日本ソフトウェア科学会大会論文集   10 Sep 2013   
佐藤 重幸, 森畑 明昌
日本ソフトウェア科学会大会論文集   10 Sep 2013   
森畑 明昌
日本ソフトウェア科学会大会論文集   10 Sep 2013   
森畑 明昌
日本ソフトウェア科学会大会論文集   22 Aug 2012   
小石 真人, 森畑 明昌, 大堀 淳
日本ソフトウェア科学会大会論文集   22 Aug 2012   
森畑 明昌, 松崎 公紀
日本ソフトウェア科学会大会論文集   27 Sep 2011   
森畑 明昌
日本ソフトウェア科学会大会論文集   13 Sep 2010   
筧 一彦, 松崎 公紀, 森畑 明昌, 江本 健斗, 胡 振江
Conference Proceedings of Japan Society for Software Science and Technology   2005   
Skeletal parallel programming serves us as a successful method for parallelization. It provides a fixed set of program components called skeletons, each of which has its efficient parallel implementation. Their combination enables users to develo...
Morihata Akimasa, Kakehi Kazuhiko, Hu Zhenjiang, Takeichi Masato
Conference Proceedings of Japan Society for Software Science and Technology   2004   
In functional programming we construct programs by combining small functions. At this time, unnecessary intermediate data structures are introduced and decline efficiency. Deforestation, that is program transformation which eliminates intermediat...

Research Grants & Projects

 
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2015 - Mar 2019    Investigator(s): Akimasa Morihata
Study for Parallel XML Processing Language that Guarantees Parallel Speedups
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2012 - Mar 2014    Investigator(s): Akimasa Morihata
Japan Society for the Promotion of Science: Grant-in-Aid for JSPS Fellows
Project Year: Apr 2008 - Mar 2009    Investigator(s): Akimasa Morihata