関数型言語ML (SML, OCaml, etc.), Part 6

[217 デフォルトの名無しさん 2009/11/18(水) 02:30:26]

>>214
類似定理に「キャロライン洋子を知っている人は1969年以前生まれ」がある。