>>726
＞H[Γ_0] や H[ψ(Γ_(Ω+1))], H[ψ(Ψ)] の具体的な展開は
＞>>205 氏の Ruby のプログラムを使えばわかります。
消えたドキュメント参照してどうするｗ