圏論で考えようの動画は3-8までやった． 気になったこと あと，授業でやった集合と論理の復習をしていてやはり気になったところがあるので書いておこう． いつも思うのだけど，全称命題 の証明をするときに と固定して， が真であることを証明するという手続…

最近は，わざわざクリスマスの日にレンタルビデオ店のアダルトコーナーで催される紳士の集いへ出かけ，世間の浮かれたムードに抵抗する遊びを楽しむ気も起きず，無関心にクリスマスを過ごすようになってしまった．まあとはいってもこういう日記を書いている…

proxyを刺してsendmailで外部へメールが送ることができない問題は私には解決できませんでした． とりあえず，先日の日記に書いたように設定しておりまする． 5日前の私は日記を書きやすくなったのでどんどん更新していきたいとのたまっているけど，早々にそ…

emacsからのテスト投稿（proxy無し） proxyなしはおそらくこれで投稿できるはず． emacsからメールを送る際のproxy環境の設定をあとで見直す． 追記 なぜかemacs側でmailを送信するときに改行が反映されない．あとで見直す

今日はブレイキング・バッドが見たかったのでバイトを休み優雅な午後を過ごした．ハイゼンベルグことウォルターホワイトの義兄のDEAのおっさんがかわいい．おっさん萌えというやつをひしひしと感じている．ブレイキング・バッドはシーズン2の8話まで見た． …