| ● 早稲田大学 エクステンションセンター (2011年度 「秋の講座」) | ▲ このウインドウを閉じる |
| 1 | プロローグ (抽象 データ型モデル、構文論と意味論、L-真と F-真) | 9月30日 |
| 2 | 個体指示子と性質、個体指示子の一意性 | 10月 7日 |
| 3 | 「関係」 の性質 (対称性と非対称性) | 10月14日 |
| 4 | 「組 オブジェクト」 と 「集合 オブジェクト」 | 10月21日 |
| 5 | 「関係」 文法、対応表、対照表 | 10月28日 |
| 6 | 対照表の構文論・意味論 | 11月 4日 |
| 7 | L-真 (制約・束縛) の対照表、再帰 | 11月11日 |
| 8 | entity、セット とクラス | 11月18日 |
| 9 | null (形式的 サブセット)、多値関数 (OR 関係と AND 関係) | 11月25日 |
| 10 | クラス 概念 (みなし概念、概念的 スーパーセット) | 12月 2日 |
| 11 | セット・アット・ア・タイム 法と根付き順序木 | 12月 9日 |
| 講義に ご参加いただいた皆様へ (謝意) | ||
| → 早稲田大学 エクステンションセンター の ホームページ | ▲ このウインドウを閉じる |