JavaScriptで集合を表現した https://pastebin.com/0Mc78u4S SICP第2章2.3節2.3.3項にも集合の表現が載っている 分出公理はfilter、置換公理はmapに対応し、{x ∈ U | φ(x)}はU.filter((x) => /* ... */)、{ψ(x) | x ∈ A}はhttp://A.map ((x) => /* ... */)に等しい
Keyboard shortcuts are available for common actions and site navigation.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
JavaScriptで集合を表現した https://pastebin.com/0Mc78u4S SICP第2章2.3節2.3.3項にも集合の表現が載っている 分出公理はfilter、置換公理はmapに対応し、{x ∈ U | φ(x)}はU.filter((x) => /* ... */)、{ψ(x) | x ∈ A}はhttp://A.map ((x) => /* ... */)に等しい
