背景、あるいは事実［1］http://www.cs.indiana.edu/~sabry/papers/purelyFunctional.psおよび［2］http://www.cs.nott.…