「型理論」に関するサイレントキーワード「最適化の検証」が含まれる科研費採択研究1件

【研究名】最適化を適応的に適用するコンパイラの研究
【研究代表者】佐藤 周行  東京大学   情報基盤センター   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000020225999/	 
【研究分担者】
黒田 久泰  東京大学  情報基盤センター  助手  	https://nrid.nii.ac.jp/ja/nrid/1000060323507/	
金田 康正  東京大学  情報基盤センター  教授  	https://nrid.nii.ac.jp/ja/nrid/1000090115551/