2007年4月 - 2009年3月 並行プログラム検証のための型システムとそのオペレーティングシステムの検証への応用 日本学術振興会 科研費・特別研究員奨励費 末永 幸平 担当区分 研究代表者 資金種別 競争的資金