2005-09-22 つぶす 高階は気にせずに、1階だけで理論を作れば大抵うまくいくのは、ようするにモデルを作るときに「つぶせる」からですか? と lambda calculus 周りの本を読んでいて思った。