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.
私はこの表現に遭遇したばかりで、これまで普遍的な量指定子を学んだことがないので、これが何を意味するのかわかりません。
∀α.α → α
私はそれが普遍的な量指定子であることを知っていますが、それがどのように機能するのかわかりません
それがアイデンティティではないでしょうか。これについて私の言葉を鵜呑みにしないでください。私が全称量指定子を検討してから何年も経ちました