F(a) は 「a が animal である」という命題として。∃dog, F(dog) … there is exists dog that is animal. animal である dog が(少なくとも一つ)います∃dog, ¬F(dog) … there is exists dog that is not animal. animal でない dog が少なくとも一ついます∀d…

勉強ちう。http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E8%A8%98%E5%8F%B7%E3%81%AE%E8%A1%A8http://sss.sci.ibaraki.ac.jp/teaching/set.html学が無いと苦労するぜ。

さて二回目です。要件は実装しなければならない項目、と書きました。じゃあそれを、何をよりどころにして紡ぎだすか。これはユーザが何をしたいかによります。何のために”やりたい”のでしょう。この”何のために”を目的と言います。順繰りにつなげると「〜〜…