朝は暖かいが、日が暮れると急に寒くなる。画像は朝の風景。朝の光が海に反射する。 起床は9時、遅め。郵便局に寄ってから出勤。コード書き、いろいろ難航する。やはり任意の自然数nについて、コンピューター上でn変数述語を用意して述語論理を展開するのは…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。