2007-04-22から1日間の記事一覧
これが思いのほか長く楽しめている。ふとした思い付きであったのに。よく有りそうな形なのに、探索範囲内には見つからないし。でも、どこかで見たことがあるのかも、とも思う。 意味論的にスコープがズレそうな感じが、「この文は矛盾している」や「真である…
これが思いのほか長く楽しめている。ふとした思い付きであったのに。よく有りそうな形なのに、探索範囲内には見つからないし。でも、どこかで見たことがあるのかも、とも思う。 意味論的にスコープがズレそうな感じが、「この文は矛盾している」や「真である…