List of Research Issues (研究テーマ候補リスト) <Back>
Program Derivation based on Algorithmic Patterns (アルゴリズム類型に基づくプログラム導出)
- Incremental Computing (漸増計算)
- Divide-and-conquer Algorithms (分割統治法)
- Dynamic Programming Algorithms (動的計画法)
- Greedy Algorithms (貪欲法)
- Approximation Algorithms (近似アルゴリズム)
Program Transformations (プログラム変換)
- Type Parametricity (型パラメトリシティ)
- Function Fusion / Deforestation (融合変換)
- Function Tupling (組化変換)
- Transformation of Accumulative Programs (累積変数をもつプログラムの変換)
- Program Inversion / Bidirectionalization (プログラム逆化・双方向化)
- Program Incrementalization (プログラム漸増化)
Parallel Programming / Parallelization (並列プログラミング・プログラム並列化)
- Sytematic Derivation of Parallel Programs (分割統治並列計算の系統的導出)
- Structured Parallel Programming (構造的並列プログラミング)
- Automatic Parallelization (自動並列化)
- Parallel Graph Processing (並列グラフ処理)
Functional Programming / Languages (関数プログラミング・関数型言語)
- Structured Functional Programming (構造的関数プログラミング)
- Datatype-generic Functional Programming (データタイプ一般関数プログラミング)
Program Synthesis (プログラム自動生成)
- Synthesis by using Constraint Solving (制約解消器によるプログラム自動生成)
- Synthesis from Input-output Examples (入出力例からのプログラム自動生成)
Others (その他)
- Program Differentiation and Integration (プログラム微積分)
- Tree Querying / Transformations (木問合せ・木変換)
Last modified: Apr., 2020