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

【研究名】COINSコンパイラの最適化器の時相論理による生成・検証と最適化器の高度化拡張
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	

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

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