0973デフォルトの名無しさん垢版 | 大砲2018/07/11(水) 20:14:45.56ID:VhV09Bdv >>965 ↓の isnil あたりを参考にすれば作れそう。 https://en.wikipedia.org/wiki/Church_encoding#List_encodings