述語論理の説明をしているとき、$\forall x (\exists y (P(x,y)))$ と、$\exists y (\forall x (P(x,y)))$ の区別がピンときていなそうな大学１年生を相手に、窮した挙句、$P(x,y)$ の例として、「$x$ さんと $y$ さんが付き合っている」を挙げてしまったことを懺悔します、
・・・と、そんなことをお知らせしたいのではなくて（笑）
まず、ホームページですが、現在、ファイルを置いているプロバイダのサーバに、FTP で接続できないトラブルが発生し、その状態が数日続いております。念のため、講義関係のホームページは、大学のサーバに置くことにしました。、ツィッターの更新の連絡の後に載っているURLのページが最新のものですのでご注意ください。もとのページにも、FTP以外の方法でファイルを置くことは可能なようですので、そのうちにそちらも更新しようかと思いますが、調子が悪いようでしたら、このまま、徐々に、大学のサーバにホームページ全体を移すかもしれません。その辺の状況は、変更があり次第お知らせいたします。最新記事がどこにあるかわかりにくくなってしまいますが、なるべく、ツィッターでお知らせするようにしたいと思いますので、ご承知おきいただけましたら幸いです。
あと、もう一つ、電話機の故障らしく、大学の外部からの電話が研究室に繋がらなく なっております。私に連絡がある場合は、なるべくメールでお願いいたします。
来週早々に２年生の代数学の中間試験があるのに、そんなときに限って、いろいろと支障が起きてしまいます。
