19/05/13 15:00:06.59 BTSMmkpt.net
>>678
おっと、プロの数学者の方がいらっしゃったのかな。
f is surjective
∵[b∈B]→[b=f(a) for at least one a∈A]
∵∀b∈B, ∃h(b)∈A, f(h(b))=b
∵h:B→A
くらいしか書けないですけどね。答えやヒントをご存知ならどうぞ。
僕は「Ｔ」の開発者なので、どうやってこれらの数学を入力するか、とか考えてるん
ですけど、これは硬い人工知能を構成できるんですけど、人工生命ってことで柔らかいん
ですよ。逆に僕のようなミスをしてくるのかな、と妄想中。