亀山 幸義(カメヤマ ユキヨシ)
- 研究課題
多値モデル検査法を用いたモデリング・エラーの発見 2008 -- 2009 日本学術振興会/挑戦的萌芽研究 3,000,000円 メタ・プログラミングの基礎理論 2004 -- 2007 日本学術振興会/基盤研究(C) 3,850,000円 限定継続の計算系と論理 2003 -- 2005 日本学術振興会/基盤研究(C) 1,900,000円 信頼性の高いコード生成のためのプログラミング言語の実現 2013 -- 2015 亀山 幸義 日本学術振興会/基盤研究(B) 17,290,000円 必要呼び計算体系とコントロール抽象 2013 -- 2014 亀山 幸義 日本学術振興会/挑戦的萌芽研究 1,560,000円