List of Research Issues (研究テーマ候補リスト)  <Back>

Program Derivation based on Algorithmic Patterns (アルゴリズム類型に基づくプログラム導出)
Program Transformations (プログラム変換)
Parallel Programming / Parallelization (並列プログラミング・プログラム並列化)
Functional Programming / Languages (関数プログラミング・関数型言語)
Program Synthesis (プログラム自動生成)
Others (その他)

Last modified: Apr., 2020