「型理論」に関するサイレントキーワード「Grid」が含まれる科研費採択研究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/