2024
- 中道晃平, 中丸智貴, 森畑明昌:
Fluent API におけるプログラム断片のより柔軟な結合.
In: 日本ソフトウェア科学会第41回大会講演論文集, 4c-2-R, 2024.
- 森畑明昌:
パラメトリック多相関数の真偽値への単相化によるテスト.
In: 日本ソフトウェア科学会第41回大会講演論文集, 3c-2-R, 2024.
- Junyu Lin, Akimasa Morihata:
Synthesizing accumulative functions via program transformation.
In: 第26回プログラミングおよびプログラミング言語ワークショップ論文集, 2024.
2023
- 森畑明昌:
日本語で記述された大学初年次プログラミング課題に対するChatGPTの回答能力の調査.
In: 日本ソフトウェア科学会第40回大会講演論文集, 37-R, 2023.
- Akimasa Morihata:
When does 0-1 Principle Hold for Prefix Sums?.
New Generation Computing, 2023.
- 北川源四郎, 竹村彰通(編), 赤穂昭太郎, 今泉允聡, 内田誠一, 清智也, 高野渉, 辻真吾, 原尚幸, 久野遼平, 松原仁, 宮地充子, 森畑明昌, 宿久洋 (著):
応用基礎としてのデータサイエンス AI×データ活用の実践 (データサイエンス入門シリーズ).
講談社, 2023.
- Akimasa Morihata:
Conjuring Fusion Laws via Relational Calculus.
Journal of Information Processing, Vol.31, pp. 21-32, 2023.
2022
- 融合変換規則の関係計算に対する手品補題による導出.
Presented at: 情報処理学会 第139回プログラミング研究発表会, オンライン開催, 2022.
- From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization.
Presented at: 16th International Symposium on Functional and Logic Programming (FLOPS 2022), Online, 2022. (invited keynote).
- 交流セッション: テーマ「プレゼンのコツ」.
Presented at: 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022), オンライン開催, 2022. パネリスト.
- Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu:
Fregel: a functional domain specific language for vertex-centric large-scale graph processing.
Journal of Functional Programming, 32: e4, 2022.
2021
- 松田知樹, 森畑明昌:
配列集約ループの実行時情報を用いた漸増化による効率化 (Optimizing Array Aggregating Loops by Incrementalization using Runtime Information).
情報処理学会論文誌 プログラミング, Vol. 14, No. 5, pp. 1-14, 2021.
- 森畑明昌:
考え方から学ぶプログラミング講義 Pythonではじめる.
東京大学出版会, 2021.
- パラメトリック多相型からの融合変換類規則の自動導出.
Presented at: 日本ソフトウェア科学会第38回大会, オンライン開催, 2021. ポスター発表.
- Akimasa Morihata, Shigeyuki Sato:
Reverse Engineering for Reduction Parallelization via Semiring Polynomials.
In: PLDI 2021: 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 820-834, ACM, 2021.
- 配列集約ループの実行時情報を用いた漸増化による効率化.
Presented at: 情報処理学会 第134回プログラミング研究発表会, オンライン開催, 2021.
- 住井英二郎 (編):
日本ソフトウェア科学会第37回大会 受賞者による受賞研究紹介.
コンピュータソフトウェア, Vol. 38 (2), p. 2_5-2_13, 2021. 受賞者として一部を担当.
- Akimasa Morihata:
Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning: Extended Study.
Journal of Functional Programming, 31: e7, 2021.
2020
- 新しいプログラミング言語を作るということ―逆計算を例に―.
Presented at: 灘校土曜講座(2020年度後期), 灘中学・灘高等学校, 2020.
- 学問としての計算機科学への誘い.
Presented at: 灘校土曜講座(2020年度後期), 灘中学・灘高等学校, 2020.
- 森畑明昌, 佐藤重幸:
ブラックボックステストによる軽量なリダクションループ自動並列化.
In: 日本ソフトウェア科学会第37回大会講演論文集, 51-L, 2020.
- Akimasa Morihata:
Short Cut to Incremental Typed Functional Programs.
In: WPTE 2020: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2020.
- 伊藤恵 (編):
日本ソフトウェア科学会第36回大会 受賞者による受賞研究紹介.
コンピュータソフトウェア, Vol. 37 (2), p. 2_25-2_31, 2020. 受賞者として一部を担当.
2019
- 森畑明昌:
Pythonによるプログラミング入門 東京大学教養学部テキスト アルゴリズムと情報科学の基礎を学ぶ.
東京大学出版会, 2019.
- 森畑明昌:
パラメトリシティに基づくプログラム微積分.
In: 日本ソフトウェア科学会第36回大会講演論文集, 24-L, 2019.
- 佐藤重幸, 森畑明昌:
一般化max演算子の自動抽出.
In: 日本ソフトウェア科学会第36回大会講演論文集, 26-L, 2019.
- Akimasa Morihata:
Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning.
Proceedings of the ACM on Programming Languages, Vol. 3 (ICFP), p. 80:1-80:25, 2019.
- Akimasa Morihata:
Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel.
Journal of Information Processing, Vol. 27, pp. 411-421, 2019.
- 森畑明昌, 井上克郎, 楠本真二, 中川博之, 伊藤恵, 長谷部浩二:
日本ソフトウェア科学会第35回大会報告.
コンピュータソフトウェア, Vol. 36 (2), pp. 2-15, 2019.
- 森畑明昌 (編):
日本ソフトウェア科学会第35回大会 受賞者による受賞研究紹介.
コンピュータソフトウェア, Vol. 36 (2), pp. 16-20, 2019.
2018
- 累積引数を伴う木構造走査の代数的性質と融合変換に基づく並列計算.
Presented at: 情報処理学会 第121回プログラミング研究発表会, 日本アイ・ビー・エム株式会社 本社事業所, 2018.
- Akimasa Morihata:
Incremental computing with data structures.
Science of Computer Programming, Vol. 164 (15), pp. 18-36, 2018.
- Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.
In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Lecture Notes in Computer Science, Vol. 10818, pp. 166-181, Springer, 2018.
2017
- 森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉:
頂点主体並列グラフ処理の制約解消器による効率化.
In: 日本ソフトウェア科学会第34回大会講演論文集, 一般8-1-L, 2017.
- 松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌:
複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器.
In: 日本ソフトウェア科学会第34回大会講演論文集, 一般10-3-L, 2017.
- 山口和紀[編]:
情報 第2版.
東京大学出版会, 2017. (5.3-5.4章を担当).
2016
- Compilation from Lambda Calculus with Algebraic Simplification to Record Calculus.
Presented at: 情報処理学会 第111回プログラミング研究発表会, 日本アイ・ビー・エム株式会社 本社事業所, 2016.
- From Identification of Parallelizability to Derivation of Parallelizable Codes.
Presented at: The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing, Nara Kasugano International Forum, Japan, 2016. (invited keynote).
- Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki:
Think like a vertex, behave like a function! A functional DSL for vertex-centric big graph processing.
In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 200-213, ACM, 2016.
- Program Transformations for Developing Efficient and Correct Programs with Ease.
Presented at: ACM SIGPLAN Programming Languages Mentoring Workshop, PLMW 2016, Nara Kasugano International Forum, Japan, 2016. (invited talk).
- 森畑明昌:
頂点主体グラフ処理の構成的アルゴリズム論に基づく定式化.
In: 日本ソフトウェア科学会第33回大会講演論文集, PPL3-3, 2016.
- 江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉:
並列処理のための関数型領域特化言語Fregelとその評価.
In: 日本ソフトウェア科学会第33回大会講演論文集, 一般4-1, 2016.
- 番原睦則, 鍋島英知, 森畑明昌:
編集にあたって(<特集>SAT技術の進化と応用─パズルからプログラム検証まで─).
情報処理, Vol. 57, No. 8, pp. 702-703, 2016.
- 森畑明昌:
プログラミングするプログラム─自動プログラム作成最前線─.
情報処理, Vol. 57, No. 6, pp. 544-549, 2016.
- 森畑明昌:
東京大学における全学プログラミング教育 (<特集>プログラミング入門をどうするか).
情報処理, Vol. 57, No. 4, pp. 358-361, 2016.
- 森畑明昌:
代数的性質に基づくラムダ式の並列評価.
In: 第18回プログラミングおよびプログラミング言語ワークショップ論文集, 2016.
- 江本健斗,松崎公紀,胡振江,森畑明昌,岩崎英哉:
大規模グラフ並列処理のための関数型領域特化言語.
In: 第18回プログラミングおよびプログラミング言語ワークショップ論文集, 2016.
- Akimasa Morihata:
Incremental Computing with Abstract Data Structures.
In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Lecture Notes in Computer Science, Vol. 9613, pp. 215-231, Springer, 2016.
2015
- On the Size of Deterministic Finite Automata Obtained from XPath Expression.
Presented at: 情報処理学会第106回プログラミング研究会, 国立情報学研究所, 2015.
- 森畑明昌:
最適部分列問題に対する統一的な並列アルゴリズム.
In: 日本ソフトウェア科学会第32回大会講演論文集, 一般2-1, 2015.
- A Datatype- and Editing-Operation-Generic Incremental Computation.
Presented at: 情報処理学会第103回プログラミング研究会, 産業技術総合研究所, 2015.
- 遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀 淳:
変数参照関係を用いた関数型プログラムのコードリーディング支援 (Code Reading Assistance for Functional Programming based on Variable Def-use Relationships.).
コンピュータソフトウェア, Vol. 32 (1), p. 1_194-1_212, 2015.
- Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes.
Science of Computer Programming, Vol. 98 (4), pp. 484-515, 2015.
2014
- 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.
- 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.
- 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.
- Akimasa Morihata:
A Short Cut to Parallelization Theorems (特別講演).
In: 日本ソフトウェア科学会第31回大会講演論文集, PPL1-1, 2014.
- 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.
- 森畑明昌:
漸増計算法の第三リスト準同型定理による系統的導出.
In: 第16回プログラミングおよびプログラミング言語ワークショップ論文集, 2014.
- 斎藤皓, 上野雄大, 森畑明昌, 大堀淳:
SML#のSQL統合機能への行集約機能の実装.
In: 第16回プログラミングおよびプログラミング言語ワークショップ論文集, 2014.
2013
- 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.
- ソフトウェア構築における人間とシステムのディスコミュニケーション---最適経路探索を例に---.
Presented at: JSSST x FTD, 東京大学, 2013. 講演動画.
- 森畑明昌:
XPath問合せのWork Efficientな分散並列評価.
In: 日本ソフトウェア科学会第30回大会講演論文集, 一般4-3, 2013.
- 佐藤重幸, 森畑明昌:
構文主導型データフロー解析の並列実装.
In: 日本ソフトウェア科学会第30回大会講演論文集, PPL3-3, 2013.
- 遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳:
変数参照関係を用いた関数型プログラムのコードリーディング支援.
In: 日本ソフトウェア科学会第30回大会講演論文集, PPL2-2, 2013.
- The Third List-homomorphism Theorem: Recent Developments of a Folk Theorem.
Presented at: 3rd Parallelism-Oblivious Programming Workshop, Shonan Village Center, Japan, 2013.
- 森畑明昌:
分割統治計算可能性の多相型を用いた保証.
In: 第15回プログラミングおよびプログラミング言語ワークショップ論文集, 2013.
- 朝井雄大, 上野雄大, 森畑明昌, 大堀淳:
Cとの連携機能を持つ関数型言語におけるプロファイラの試作.
In: 第15回プログラミングおよびプログラミング言語ワークショップ論文集, 2013.
- 藤井貴啓, 上野雄大, 森畑明昌, 大堀淳:
SML#のデータベース連携機能を活用したウェブアプリケーション構築技術.
In: 第15回プログラミングおよびプログラミング言語ワークショップ論文集, 2013.
- 小石真人, 森畑明昌, 大堀淳:
二次元最大重み和問題のプログラム変換に基づく解法.
In: 第15回プログラミングおよびプログラミング言語ワークショップ論文集, 2013.
2012
- Calculating Parallel Algorithms for Size-constrained Segment Problems.
Presented at: IFIP working group 2.1 69th meeting, Sheraton Ottawa Hotel, Canada, 2012.
- 森畑明昌:
並列木縮約を用いたマクロ木変換器の並列評価.
In: 日本ソフトウェア科学会第29回大会講演論文集, 6A-2, 2012.
- 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.
- Akimasa Morihata:
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism (Extended Abstract).
In: the 1st International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2012, Proceedings, pp. 54-61, 2012.
- 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.
- 森畑明昌:
並列木縮約による並列データフロー解析.
In: 第14回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 85-99, 2012.
- 森畑明昌:
先読み付き正規表現の有限状態オートマトンへの変換 (Translation of Regular Expression with Lookahead into Finite State Automaton).
コンピュータソフトウェア, Vol. 29, No. 1, pp. 147-158, 2012.
2011
- 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.
- Akimasa Morihata, Kiminori Matsuzaki:
Balanced Trees Inhabiting Functional Parallel Programming (特別講演).
In: 日本ソフトウェア科学会第28回大会講演論文集, 3A-1, 2011.
- 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.
- 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.
- 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.
- 森畑明昌, 松崎公紀, 武市正人:
領域限定言語に基づく最適経路問合せ (Optimal Path Querying based on a Domain-Specific Language).
情報処理学会論文誌 プログラミング, Vol. 4, No. 2, pp. 1-18, 2011.
- 森畑明昌:
先読み付き正規表現の効率の良いマッチング.
In: 第13回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 48-59, 2011.
- 高橋和将, 森畑明昌, 上野雄大, 大堀淳:
生存区間を変数名とする中間表現の実装と,それに基づく最適化.
In: 第13回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 16-30, 2011.
- 松島勇介, 上野雄大, 森畑明昌, 大堀淳:
宣言的記述からの関数型言語によるゲームプログラムの導出.
In: 第13回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 193-207, 2011.
- Akimasa Morihata:
A Short Cut to Optimal Sequences.
New Generation Computing, Vol. 29, No. 1, pp. 31-59, 2011.
- From Parametric Polymorphism to Balanced Trees for Parallel Programming.
Presented at: 4th DIKU-IST Joint Workshop on Foundations of Software, Tokyo, Japan, 2011.
2010
- 森畑明昌:
運算手法によるアルゴリズムの自動構成に関する研究 (<連載>研究会推薦博士論文速報).
情報処理, Vol. 51, No. 10, p. 1363, 2010.
- 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.
- 森畑明昌:
効率の良い最適経路問合せシステムの実現.
In: 日本ソフトウェア科学会第27回大会講演論文集, 5A-3, 2010.
- 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.
- Parallelizing Recursive Functions with Accumulations.
Presented at: 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Palace Hotel Hakone, Japan, 2010.
- 森畑明昌:
累積変数をもつ木変換プログラムの並列木縮約に基づく並列計算.
In: 第12回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 229-243, 2010.
2009
- 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.
- 森畑明昌, 松崎公紀:
複雑なリダクションループの限定記号除去に基づいた自動並列化.
In: 日本ソフトウェア科学会第26回大会講演論文集, 1C-1, 2009.
- Akimasa Morihata:
Solving Maximum Weighted-sum Problems for Free.
Technical Report METR, 2009-20, Department of Mathematical Informatics, University of Tokyo, 2009.
- The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer.
Presented at: 6th Asian Workshop on Foundation of Software, National Institute of Informatics, Japan, 2009.
- 森畑明昌, 松崎公紀, 胡振江, 武市正人:
並列プログラムの候補生成と適合性検査による並列化 (Program Parallelization by Candidate Generation and Conformity Testing).
情報処理学会論文誌 プログラミング, Vol. 2, No. 2, pp. 132-143, 2009.
- Akimasa Morihata:
Calculational Approach to Automatic Algorithm Construction.
PhD thesis, Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo, 2009.
- 森畑明昌, 胡振江, 武市正人:
動的計画法アルゴリズムを自己導出する結合子ライブラリ.
In: 第11回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 57-71, 2009.
- 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.
- Write It Recursively: A Generic Framework for Optimal Path Queries.
Presented at: 2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Shonan Village Center, Japan, 2009.
2008
- 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.
- Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer.
In: 日本ソフトウェア科学会第25回大会講演論文集, 1A-3, 2008.
- Kiminori Matsuzaki, Akimasa Morihata:
Balanced Ternary-Tree Representation of Binary Trees and Balancing Algorithms.
Technical Report METR, 2008-30, Department of Mathematical Informatics, University of Tokyo, 2008.
- Akimasa Morihata, Kiminori Matsuzaki:
A Parallel Tree Contraction Algorithm for Non-Binary Trees.
Technical Report METR, 2008-27, Department of Mathematical Informatics, University of Tokyo, 2008.
- 森畑明昌, 松崎公紀, 胡振江, 武市正人:
仕様記述言語に基づく最適経路問題のアルゴリズムの導出.
In: 第10回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 96-110, 2008.
- A Quantifier-Elimination-Based Method for Parallelization.
Presented at: 29th TRS meeting, University of Tokyo, Japan, 2008.
2007
- Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
Calculus of Minimals: Deriving Dynamic-Programming Algorithms based on Preservation of Monotonicity.
Technical Report METR, 2007-61, Department of Mathematical Informatics, University of Tokyo, 2007.
- A Language for Optimal Path Queries.
Presented at: 3rd DIKU-IST Joint Workshop on Foundations of Software, Roskilde, Denmark, 2007.
- Kiminori Matsuzaki, Akimasa Morihata, Zhenjiang Hu, Masato Takeichi:
Associativity for Parallel Tree Computation.
In: 日本ソフトウェア科学会第24回大会講演論文集, 5B-1, 2007.
- Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong:
Bi-X Core: A General-Purpose Bidirectional Transformation Language.
In: 日本ソフトウェア科学会第24回大会大会講演論文集, 2C-3, 2007.
- A New Calculational Law for Combinatorial Optimization Problems.
Presented at: IFIP working group 2.1 63rd meeting, Hearton Hotel Kyoto, Japan, 2007.
- The Necessary and Sufficient Condition for Parallel Tree Reductions.
Presented at: Workshop on Parallelism Oblivious Programming, University of Tokyo, Japan, 2007.
- 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.
- 森畑明昌, 胡振江, 武市正人:
プログラム運算によるグラフアルゴリズムの導出.
In: 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 201-215, 2007.
2006
- 森田和孝, 森畑明昌, 胡振江, 武市正人:
弱逆関数の自動導出によるプログラムの並列化.
In: 日本ソフトウェア科学会第23回大会講演論文集, 5B-2, 2006.
- 中野圭介, 森畑明昌, 胡振江, 武市正人:
双方向変換に基づくウェブページ更新機構.
In: 日本ソフトウェア科学会第23回大会講演論文集, 4B-3, 2006.
- 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.
- Weak Inversion for Parallelization.
Presented at: 2nd DIKU-IST Joint Workshop on Foundations of Software, Shonan Village Center, Japan, 2006.
- Swapping Argument and Results of Recursive Functions.
Presented at: 第8回プログラミングおよびプログラミング言語ワークショップ, 琵琶湖グランドホテル, 2006. ショートプレゼンテーション.
- Using Constructive Galois Connections to Derive Parallel Programs.
Presented at: Informal Workshop on Skeletal Parallel Programming, University of Tokyo, Japan, 2006.
- Akimasa Morihata:
Relationship Between Arguments and Results of Recursive Functions.
Master's thesis, Department of Mathematical Informatics, the University of Tokyo, 2006.
2005
- Swapping Argument and Results of Recursive Functions.
Presented at: Fourth Workshop on Programmable Structured Documents, University of Tokyo, Japan, 2005.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
IO Swapping Leads You There and Back Again (Extended Abstract).
In: Proceedings of the 7th GPCE Young Researchers Workshop, pp. 7-13, 2005.
- IO Swapping Leads You There and Back Again.
Presented at: 1st DIKU-IST Joint Workshop on Foundations of Software, Copenhagen, Denmark, 2005.
- Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, Zhenjiang Hu:
Parallel Dynamic Programming using Data-Parallel Skeletons.
In: 日本ソフトウェア科学会第22回大会講演論文集, 4B-1, 2005.
- 森畑明昌, 筧一彦, 胡振江, 武市正人:
効率的な累積なし関数表現.
In: 第7回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 74-86, 2005.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Reversing Iterations: IO Swapping Leads You There and Back Again.
Technical Report METR, 2005-11, Department of Mathematical Informatics, University of Tokyo, 2005.
2004
- 森畑明昌, 筧一彦, 胡振江, 武市正人:
属性文法上のShortcut Deforestation.
In: 日本ソフトウェア科学会第21回大会講演論文集, 5C-1, 2004.
- 森畑明昌:
モデル検査技術を用いたループ内不要再計算の自動検出.
卒業論文, 東京大学工学部計数工学科, 2004.