Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Knights of the Lambda Calculus のロゴには、次のように書かれた無限があります。(Y F) = (F (Y F))
(Y F) = (F (Y F))
この Lisp コードは同じで、無限も表しているのですか?
(Y (λ (F) (YF)))