• 朝一番にもう一度はじめからやってみると、あっさりできる。ぬおー。変な方針にとらわれていたことが敗因。くやしいから書いておくので間違っていたら教えてください。
    B⇒C, C⇒DからB⇒Dを導いていいこと(あ)と、B⇒(C⇒D)からC⇒(B⇒D)を導いていいこと(い)を証明しておいて(これは簡単)、
    1. (¬C⇒¬B)⇒((¬C⇒B)⇒C) A3
    2. (¬C⇒B)⇒((¬C⇒¬B)⇒C) 1, (い)
    3. B⇒(¬C⇒B)            A1
    4. B⇒((¬C⇒¬B)⇒C)      2, 3, (あ)
    5. (¬C⇒¬B)⇒(B⇒C)      4, (い)■
  • [教訓]うまくいかない方針に固執するのはやめましょう。
  • 水泳1km。
  • 昨日の失敗を教訓に、今日は水泳の前にサンドイッチを購入しておくことで適正な昼食を取ることに成功。
  • おっと今日も授業じゃないか。
  • 授業二つ終了。水泳のせいか、舌がよく回る。考えていないことまでしゃべることがあるので要注意。
  • 教養ゼミはかなり充実した発表。20数時間かかってレポートを仕上げたらしい。まぁ、仲良くやってくれ。(謎)
  • 激動の現代、GR21くらいは人間として持っておくべきではないかという妄念に突然とらわれる。しかしその金があればTC-1の方がいいんじゃないかという悪魔の声も…。
  • 甲子園は雨で中止。しょうがないから金満軍の負け試合を観戦。
  • 24時まで。