• ウチで開催される奥さんたちの某会合のため早々に大学に出てくる。
• 出てきたとたん、立て続けに諸学会関係の諸依頼（打診ともいう）が三件も。うむむ。
• しかし個人的には、なぜか某公理系の証明問題にハマっていて動けない。自分のアホさ加減に自己嫌悪のどん底。
  • [A1] B⇒（C⇒B）
  • [A2] （B⇒（C⇒D））⇒（（B⇒C）⇒（B⇒D））
  • [A3] （¬C⇒¬B）⇒（（¬C⇒B）⇒C）
  • [DR] MP
  という系で、（¬C⇒¬B）⇒（B⇒C）を演繹定理を使わずに証明しなさい、という問題なのですが誰か教えてください。いや！その前に自力で！（授業の準備をしろ）
• 水泳1km。かなり快調。
• 最近、運動のあとに昼食を取るから食べ過ぎる傾向にある。カツカレーなどを頼んでしまうことがあるので要注意だ。注意しながら慎重に日替わり定食を注文。しかし、ふと気づくと本日の日替わりはカツ丼であった。だけどおいしかったので良しとする。（なにを）
• 授業。やや喉の調子が悪い。夏風邪に注意。
• 『日経サイエンス』の今月号の見出しは「平行宇宙は実在する」。どういうことかと家族の問われ、いい加減なことを言ってごまかす。各自で読んで理解したらお父さんに教えてくれ。
• やっぱり上の証明問題に苦労して24時過ぎまで。