2009-09-22 めも wikipedia:一階述語論理 wikipedia:二階述語論理 wikipedia:型理論 http://itpro.nikkeibp.co.jp/article/OPINION/20060427/236520/