こんばんは、高橋と申します。 Takeshi Murakami さんは書きました: > 議事録、ポストします。村上 (snip) > 17.4.9 観測可能な振る舞いと終了しない実行 > - ｜O'|(集合の絶対値)とは何か？Kは何か？ > 「|O'|」この記法は集合O'の要素数のことだと思います (英語ではcardinarity と言うようです)。 Kは O' を定義する上での制約のために使われているんだと思います。K>=|O|と なってるので。 しかし、何を言っているかサッパリわかりませんね。この文は。 Oの定義にOを使ってるあたりが…。 -- 高橋 透 mailto:tsumekiri@xxxxxxxxx