「形式化」に関するサイレントキーワード「性能最適化」が含まれる科研費採択研究1件

【研究名】最適化検証つきコンパイラの理論と実証のための展開
【研究代表者】佐藤 周行  東京大学   情報基盤センター   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000020225999/	 
【研究分担者】
SATO Hiroyuki  The University of Tokyo  Information Technology Center  Associate Professor  	https://nrid.nii.ac.jp/ja/nrid/1000020225999/