亀山 幸義(カメヤマ ユキヨシ)

研究者情報全体を表示

研究課題
多値モデル検査法を用いたモデリング・エラーの発見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円