昨晩はちゃんと寝ないと思っていたが、随分遅くまで起きていた。寝不足の筈だったが眠く成らない。YouTube で鉄道ネタでも見たら眠く成るだろうと思ったが、全然眠く成らない。そのうち腹が減ってきたので、腹ごしらえをしてちょっと喉を潤したて寝床に戻ったら知らんうちに寝ていた。で起きたのは12時過ぎ。まあそれなりには寝たし、大丈夫だ。で職場に着いて弁当を売っている辺りに行ったら、1軒だけまだ売っていたが、いつもの唐揚げ弁当のお兄ちゃんがいかがですかと言ってきたが、いやいやもう無いがな、と思うと何と箱に売れ残りをしまった直後だったらしく、売る気満々だった。買ってあげようということにして、600円払う。まあよかった。で掻っ込んで1時10分からゼミ。
今日はデデキントの判別定理と、それにまつわる話が幾つか。難しかったが、もうちょっとちゃんと準備しておいて欲しかったな。証明が書いてないと説明しないでスルーとする。2箇所あった。1箇所はもう一人の学生が冷静に分析してくれて一瞬で解決したが、もう1箇所はすったもんだで解決しなかった。色々微妙だと思うのだが、考え過ぎだろうか？まあいいです。考えておいて夏休みのどこかでメールしよう。小生担当の春学期の講義、ゼミは今日で終了。学生はあと1日残っているが。
その後ちょっと部屋でウダウダと。今日中に決着を付けようと思った物は終わらなかった。まあ急ぐことではないので、ゆっくりやるわ。で雨が心配だったが、7時くらいに表を見たら降ってなかったので、帰ることにした。車で高速道路を走ってる最中にちょっと降ったが、まあ大したことは無かった。住処に着いて駐車場に車を入れてる時にちょっと降り出した。ニュースを見ると近畿の話題はほぼ無かったが、名古屋とか関東とか東北とか結構降ったらしい。北海道に台風が上陸しそうという情報も。まだ7月も中旬なのに台風とはちと早い。やはり温暖化だろうか？
来週選挙なのでそのニュースが多いが、外国人のことを争点にしている所が多いとか。今の日本は外国人頼みだ。工事現場だったり中規模の工場の働き手だったり観光だったり。排斥運動みたいなのをしてる党があるが、いいんだろうか？と思ってしまう。昨日深夜にファミリーマートに行ったら、レジに立っていたのは外国人だった。深夜は給料がいいから、留学生とか働きたいのかもしれない。日本語は普通に使えていたし、1人でも大丈夫なのだろうが、ちょっと不安じゃないかな？と思って見ていた。大学も留学生頼みの所が多く成ってる。そうじゃないと経営が成り立たない所もあるだろうに。うちも大分留学生が増えてきた。ここ数年新入生歓迎企画（と言うのかな？）で喋る学生のうちの1人以上はA堀先生のゼミの留学生が選ばれている。留学生で孤立している学生はいるようだから、手厚くやれるのならやった方がいいでしょう。小生は留学生云々よりも学生と絡むのが苦手なので、自分から企画したりはしないが。えーと、選挙。来週はどこに投票しましょうか？
さて寝不足だが呑むか。取り敢えずはご苦労様ということで。明日教授会に参加して、一件事務から出されてる宿題を片付ければ来週の水曜日の試験監督とその後の博士論文公聴会とそれに関する会議をやれば暫く職場に行かなくて済む。あ、答案の受け取りがあるな。うまくいくとその日の内に答案を受け取れるので、そうだと有り難い。まあ駐車場利用料（月5000円也）を払っているから、今月中は何回行ってもいいけどね。暑いから極力行きたくない。まあ印刷したくなったら行くけど。
