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

2020年4月 - 2024年3月

真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践

日本学術振興会  科学研究費助成事業 基盤研究(B)  基盤研究(B)
課題番号
20H04164
配分額
(総額)
17,550,000円
(直接経費)
13,500,000円
(間接経費)
4,050,000円
ID情報
  • 課題番号 : 20H04164

この研究課題の成果一覧

絞り込み

講演・口頭発表等

  3
共同研究・競争的資金等の研究課題リストへ