「∀x」は、「任意のxに対して……」と読むが、「対して」という言葉からわかるように、既にある種の写像を想定している。 しかし、「∀x∈X ∃y∈Y (x,y)∈Q」（Qは二項述語）が証明されたからと言って、f(x)=y, (x,y)∈Qという写像fの存在を証明するのは容易ではな…

旅行から戻りました。 前のエントリに書いたレポート（期限1週間遅れくらいで提出した）ですが、「今年は成績の提出期限が早いのでレポート期限はぎりぎりに設定していたため、既に成績を大学に送付済みで、どうにもならない」ということで、 不可確定。 本…

で、今日から京都に行って来るのですが、5時50分に家を出るのに、今4時30分ですよ。 夏学期の、締め切りをとうに過ぎたレポートをやっていたらこんな時間に。 それにしても100行を超えるプログラムを書いたのは初めてですよ。 面白く、学ぶことも多かったで…