Tutorial:CLOSで学ぶ集合論 - Common LISP users jpTag: チュートリアル セマンティックウェブ・ダイアリー: CLOSで学ぶ集合論 http://blog.livedoor.jp/s-koide/ チュートリアルで利用する処理系には、Allegro CLの試用版を想定 CLOSで学ぶ集合論 はじめに CLOS で学ぶ集合論 集合と同一性 CLOS で学ぶ集合論その２，同一性 空集合，合併集合，共通集合 CLOS で学ぶ集合論その３，空集合，合併集合，共通集合 部分集合，冪集合，補集合 CLOS で学ぶ集合論その４，部分集合，冪集合，補集合 順序数，超限順序数，カントールのパラドックス CLOS で学ぶ集合論その５，順序数，超限順序数，カントールのパラドックス CLOS で学ぶ集合論その５（続き） 包括原理，ZF集合論，ラッセルのパラドックス CLOSで学ぶ集合論その６，包括原理，ZF集合論，ラッセルのパラドックス CLOSで学ぶ集合論そ
