【LPL】4章 ブール結合子の論理 (2)

4章完了。

とにかく問題数が多いのでたくさん訓練できる本。それがありがたい。
そして Grade Grinder が採点してくれるので、今のところ問題数に嫌気は感じない。たぶんGGが無ければ、この問題数にはめげていたと思う。

Grade Grinderの採点結果はこんな感じでメールで来る。

Grade report for aka (aka.xxxxx@xxxxx.xxxx)
Submission ID: xx.xxx.xx.xx.xx.xxxxxxxxxxx
Submission received at: Sun Sep 20 07:52:04 GMT 2009
Submission graded at: Sun Sep 20 07:52:09 GMT 2009
Submission graded by: gradegrinder2.uchicago.edu

#### No instructor name was given.  The report was sent only to the student.

The following files were submitted:
 Sentences 4.40.sen

EXERCISE 4.40

 Sentences 4.40  (Student file: "Sentences 4.40.sen")
    Your sentences are all correct.  Yes!

---------------------------------
The Grade Grinder is powered by a generous grant from SUN Microsystems.

Funding for the Openproof(TM) project comes from Stanford University's
Center for the Study of Language and Information and Indiana University's
Visual Inference Laboratory.

この本なら FOL を習得できるかなぁ。

こつこつ。