2020年4月 - 2025年3月 安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論 日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 住井 英二郎 課題番号 20H04161 配分額 (総額) 17,680,000円 (直接経費) 13,600,000円 (間接経費) 4,080,000円 ID情報 課題番号 : 20H04161
