亀山 幸義(カメヤマ ユキヨシ)
- 研究課題
メタ・プログラミングの基礎理論 2004 -- 2007 亀山 幸義 日本学術振興会/基盤研究(C) 3,850,000円 限定継続の計算系と論理 2001 -- 2003 亀山 幸義 日本学術振興会/基盤研究(C) 3,300,000円 プログラムのメタレベルを表現、操作する機構 2001 -- 2005 /出資金による受託研究 プログラム検証における精製法の研究 1998 -- 2001 /国内共同研究 計算論理の教育システムの研究開発 1998 -- 2001 /国内共同研究