KAMEYAMA Yukiyoshi

Researcher's full information

Research projects
多値モデル検査法を用いたモデリング・エラーの発見2008 -- 2009Japan Society of for the Promotion of Science/挑戦的萌芽研究3,000,000Yen
メタ・プログラミングの基礎理論2004 -- 2007Japan Society of for the Promotion of Science/基盤研究(C)3,850,000Yen
限定継続の計算系と論理2003 -- 2005Japan Society of for the Promotion of Science/基盤研究(C)1,900,000Yen
信頼性の高いコード生成のためのプログラミング言語の実現2013 -- 2015亀山 幸義Japan Society for the Promotion of Science/基盤研究(B)17,290,000Yen
必要呼び計算体系とコントロール抽象2013 -- 2014亀山 幸義Japan Society for the Promotion of Science/挑戦的萌芽研究1,560,000Yen