「最適化」に関するサイレントキーワード「プログラミング言語処理系」が含まれる科研費採択研究1件

【研究名】証明論に基づくコンパイラの系統的な構築法の研究
【研究代表者】大堀 淳  東北大学   電気通信研究所   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060252532/	 
【研究分担者】
上野 雄大  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000060551554/	
森畑 明昌  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000010582257/