2005-03-21 ■ 他 そっか、analytical phenomenologyという言い方はすでにあるのですね。まあ私が興味あるのはtype-theoretical phenomenologyだな。なんだこれ。