Selected Publications:  <Complete List>  <Back>

  1. 遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀 淳:
    変数参照関係を用いた関数型プログラムのコードリーディング支援.
    コンピュータソフトウェア, 2014. Accepted.
  2. Akimasa Morihata, Kiminori Matsuzaki:
    Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.
    IPSJ Journal of Programming, Vol. 7, No. 5, pp. 1-9, 2014.
  3. Shigeyuki Sato, Akimasa Morihata:
    Syntax-Directed Divide-and-Conquer Data-Flow Analysis.
    In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8858, pp. 392-407, Springer, 2014.
  4. Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori:
    The Essence of Ruby.
    In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8858, pp. 78-98, Springer, 2014.
  5. Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
    Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes.
    Science of Computer Programming, Vol. 98 (4), p. 484–515, 2014.
  6. Akimasa Morihata, Masato Koishi, Atsushi Ohori:
    Dynamic Programming via Thinning and Incrementalization.
    In: Functional and Logic Programming, 12th International Symposium, FLOPS 2014, Kanazawa, Japan, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8475, pp. 186-202, Springer, 2014.
  7. Akimasa Morihata:
    A Short Cut to Parallelization Theorems.
    In: ICFP'13: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, Boston, Massachusetts, September 25 - 27, 2013, pp. 245-256, ACM, 2013.
  8. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
    Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations.
    Journal of Functional Programming, Vol. 22, No. 3, pp. 275-299, 2012.
  9. Akimasa Morihata:
    Calculational Developments of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems.
    In: Functional and Logic Programming, 11th International Symposium, FLOPS 2012, Kobe, Japan, 2012, Proceedings, Lecture Notes in Computer Science, Vol. 7294, pp. 213-227, Springer, 2012.
  10. 森畑明昌:
    先読み付き正規表現の有限状態オートマトンへの変換 (Translation of Regular Expression with Lookahead into Finite State Automaton).
    コンピュータソフトウェア, Vol. 29, No. 1, pp. 147-158, 2012.
  11. Akimasa Morihata:
    Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism.
    In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Lecture Notes in Computer Science, Vol. 7078, pp. 204-219, Springer, 2011.
  12. Akimasa Morihata, Kiminori Matsuzaki:
    Balanced Trees Inhabiting Functional Parallel Programming.
    In: ICFP'11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, September 19-21, 2011, pp. 117-128, ACM, 2011.
  13. Shin-Cheng Mu, Akimasa Morihata:
    Generalising and Dualising the Third Homomorphism Theorem (functional pearl).
    In: ICFP'11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, September 19-21, 2011, pp. 385-391, ACM, 2011.
  14. Akimasa Morihata, Kiminori Matsuzaki:
    A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree.
    In: Proceedings of the International Conference on Computational Science, ICCS 2011, Nanyang Technological University, Singapore 01-03 June 2011, Procedia Computer Science, Vol. 4, pp. 7-16, Elsevier, 2011.
  15. 森畑明昌, 松崎公紀, 武市正人:
    領域限定言語に基づく最適経路問合せ (Optimal Path Querying based on a Domain-Specific Language).
    情報処理学会論文誌 プログラミング, Vol. 4, No. 2, pp. 1-18, 2011.
  16. Akimasa Morihata:
    A Short Cut to Optimal Sequences.
    New Generation Computing, Vol. 29, No. 1, pp. 31-59, 2011.
  17. Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
    Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning.
    In: Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming, Baltimore, Maryland, USA, Sep. 26th, 2010, pp. 97-108, ACM, 2010.
  18. Akimasa Morihata, Kiminori Matsuzaki:
    Automatic Parallelization of Recursive Functions using Quantifier Elimination.
    In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings, Lecture Notes in Computer Science, Vol. 6009, pp. 321-336, Springer, 2010.
  19. Akimasa Morihata:
    A Short Cut to Optimal Sequences.
    In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings, Lecture Notes in Computer Science, Vol. 5904, pp. 63-78, Springer, 2009.
  20. 森畑明昌, 松崎公紀, 胡振江, 武市正人:
    並列プログラムの候補生成と適合性検査による並列化 (Program Parallelization by Candidate Generation and Conformity Testing).
    情報処理学会論文誌 プログラミング, Vol. 2, No. 2, pp. 132-143, 2009.
  21. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
    The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer.
    In: POPL'09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, ACM, 2009.
  22. Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi:
    Write It Recursively: A Generic Framework for Optimal Path Queries.
    In: ICFP'08: Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM, 2008.
  23. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
    Automatic Inversion Generates Divide-and-Conquer Parallel Programs.
    In: PLDI'07: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 11-13, 2007, pp. 144-155, ACM, 2007.
  24. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
    Swapping Argument and Results of Recursive Functions.
    In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 4014, pp. 379-396, Springer, 2006.