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

【研究名】時相論理を用いたコンパイラ最適化器の生成・検証と別名を扱えるSSA形式高度最適化
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  講師  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	

【研究名】最適化検証つきコンパイラの理論と実証のための展開
【研究代表者】佐藤 周行  東京大学   情報基盤センター   准教授 	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/	

【研究名】コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
【研究代表者】佐々 政孝  東京工業大学   大学院情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  講師  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/