SAKAI Masahiro - Hypersets Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= 超集合論
Non well-founded な集合を扱う集合論のひとつ。
== Implementations
=== in Haskell
* ((<files:hyperset-haskell-0.0.2.tar.gz>))
* ((<files:hyperset-haskell-0.0.1.tar.gz>))
=== in Ruby
* ((<RAA:hyperset>))
* 概念を本質的に誤解して実装していたので、公開を停止しました。
== Bibliography
* ((<"超集合論 - circularityの論理の現在 -"|URL:http://wwwsoc.nii.ac.jp/pssj/program/program_data/35ws/mukai.pdf>))
* ((<URL:http://web.sfc.keio.ac.jp/~mukai/2004-gainen/zfcafa-circularity.pdf>))
* ((<URL:http://ucsu.colorado.edu/~bsid/logic/papers/Smith/Smith_Hypersets.pdf>))
Non well-founded な集合を扱う集合論のひとつ。
== Implementations
=== in Haskell
* ((<files:hyperset-haskell-0.0.2.tar.gz>))
* ((<files:hyperset-haskell-0.0.1.tar.gz>))
=== in Ruby
* ((<RAA:hyperset>))
* 概念を本質的に誤解して実装していたので、公開を停止しました。
== Bibliography
* ((<"超集合論 - circularityの論理の現在 -"|URL:http://wwwsoc.nii.ac.jp/pssj/program/program_data/35ws/mukai.pdf>))
* ((<URL:http://web.sfc.keio.ac.jp/~mukai/2004-gainen/zfcafa-circularity.pdf>))
* ((<URL:http://ucsu.colorado.edu/~bsid/logic/papers/Smith/Smith_Hypersets.pdf>))