共同研究・競争的資金等の研究課題

2017年4月 - 2022年3月

高階・再帰的データ構造への破壊的代入を含む高レベル言語プログラムの高精度な検証

日本学術振興会  科学研究費補助金 基盤研究(B)
  • 寺内 多智弘

担当区分
研究代表者
配分額
(総額)
17,940,000円
(直接経費)
13,800,000円
(間接経費)
4,140,000円
資金種別
競争的資金

リンク情報
URL
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17H01720/