2011-12-16から1日間の記事一覧
今日は 5.3 非限定の全称限量子からです。実は昨日もここを読んでいたのですが、読み解くのが難しくて昨日はメモを書けなかったのでした。 生成公理とスコープの爆発 集合を表すシグネチャ Set の論理和についての検査を書く sig Element {} sig Seg { eleme…
今日は 5.3 非限定の全称限量子からです。実は昨日もここを読んでいたのですが、読み解くのが難しくて昨日はメモを書けなかったのでした。 生成公理とスコープの爆発 集合を表すシグネチャ Set の論理和についての検査を書く sig Element {} sig Seg { eleme…