「最適化」に関するサイレントキーワード「最適化器」が含まれる科研費採択研究1件 【研究名】時相論理を用いたコンパイラ最適化器の生成・検証と別名を扱えるSSA形式高度最適化 【研究代表者】佐々 政孝 東京工業大学 大学院・情報理工学研究科 教授 https://nrid.nii.ac.jp/ja/nrid/1000020016182/ 【研究分担者】 滝本 宗宏 東京理科大学 理工学部 講師 https://nrid.nii.ac.jp/ja/nrid/1000000318205/