2017年4月 - 2021年3月 リアクティブプログラミングのための高信頼化技術 日本学術振興会 科学研究費助成事業 基盤研究(B) 細部 博史, 中島 震, 日高 宗一郎 課題番号 17H01726 配分額 (総額) 18,330,000円 (直接経費) 14,100,000円 (間接経費) 4,230,000円 ID情報 課題番号 : 17H01726