トップ «前の日記(2003-10-28) 最新 次の日記(2003-11-02)» 月表示 編集

日々の流転


2003-10-31 [長年日記]

λ. 集合クラス

既にset.rbが標準で配布されてるし原さんのfinite-set.rbもあるのに何をいまさらと思われるかもしれないけど、ふと集合クラスを書いてみたくなった。どうせなので、AFAを満たすようにしてみる。とりあえず簡単なコードは動くようになった。

a = Variable.new
b = Variable.new
 
# 等式系
#   a = {a}
# の解(Quine atom)を求める
atom = Set.solve(a => Set[a])[a]
 
assert_equal(atom, Set[atom])
assert(atom.member?(atom))
 
# 等式系
#   a = {0, b}
#   b = {b, 0}
# の解を求める
set1 = Set.solve(a => Set[0, b], b => Set[b, 0])[a]
 
# 等式系
#   a = {0, a}
# の解を求める
set2 = Set.solve(a => Set[0, a])[a]
 
assert_equal(set1, set2)
Tags: ruby

λ. 100の質問

そういえば、こないだ読んだ筒井康隆の『文学部唯野教授のサブテキスト』に「文学部唯野教授に100の質問」というのがあって思ったのだけど「100の質問」って誰が最初に考えたのだろう?

気になって気になって、夜も眠れません。

本日のツッコミ(全3件) [ツッコミを入れる]
ψ ささだ (2003-11-02 16:34)

私もボンテージは嫌い。でも、(以下略)

ψ ささだ (2003-11-02 16:34)

書く場所間違えた・・・。

ψ さかい (2003-11-03 16:13)

ささださん…… (笑)