学位論文の題は「プログラム変換に基づくコンパイラ最適化に関する研究」。