前回の続き。 2.2 Iswimの構文 Iswim()という言語の（抽象）構文（syntax）と意味論（semantics）は代数によって完全に定まる。 Iswimファミリはシンプルであり、以下の数段落で合理的で正確な仕様を与えることが出来る。 代数が与えられると、そのシグネチ…