[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[jfriends-ml 12792] Re: 読書会 (Java 言語仕様第3版) 第 10 回議 事録



こんばんは、高橋と申します。

Takeshi Murakami さんは書きました:
> 議事録、ポストします。村上
(snip)
> 17.4.9 観測可能な振る舞いと終了しない実行
>  - |O'|(集合の絶対値)とは何か?Kは何か?
> 
「|O'|」この記法は集合O'の要素数のことだと思います (英語ではcardinarity
と言うようです)。
Kは O' を定義する上での制約のために使われているんだと思います。K>=|O|と
なってるので。

しかし、何を言っているかサッパリわかりませんね。この文は。
Oの定義にOを使ってるあたりが…。

-- 
高橋 透
mailto:tsumekiri@xxxxxxxxx