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

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

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

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

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

うわあああああああああああ

実験レポート提出日は明日です． いまからやろう！と思ってから既に3時間くらい経過しました．はあ

何もしてない．眠い．放射線浴びてパワーアップするあほな設定の映画ばっかり見てた． マーベル的なあれこれそれ

今日はいよいよのアルゴリズム論の中間テストであった．前も言ったように受理可能言語と判定可能言語を素朴集合論で扱うようなことは前提知識と持っているヤツへ向けて定義してみろ．というアレだ．文脈を無視して言うとチューリングマシンのプログラムであ…

今日はおのれとの戦いに勝った日だった． 帰り際，スーパーに寄ったのだが手提げ袋を忘れてしまい，会計時に袋をもらってしまった．ぴったりとフチが閉まっている袋を前に私は親指を舐めてしまうかと思ったのだが，2分ほどのすったもんだのうちなんとか指を…

今日は頭が痛い一日だった．何もしなかったし何も出来なかった．データベース論の課題提出日が今日までだったのでうんこみたいなコードを提出しただけの日だった．明後日はアルゴリズム論の中間テストである．これは離散数学を習った大学2年生へ向けて彼らが…

”hogeをしよう，fugaをしよう…”とか書いている時点でしないことはわかっていたつもりです．

休みの日は寝ていることが多い．今日もつい今まで寝ていた．抽象的な意味ではなく，ただ身体を寝かしつけていた．そして，今しがたアイアムレジェンドを見終わった．一人の旧人類が新人類を勝手に救ってやろうと勢い勇んでいる．旧人類に戻すということを治…

団地ともお，俺妹二期，ガラスの仮面ですが，アザゼルさんZ，惡の華追記 「ガラスの仮面ですが」は切ります．

はう！はてなブログ便利や．以前のはてダの記事のインポートもスイッチぽんで完了だし．記事の編集画面もすっごい良いですね． オサレ感も溢れてる． それにかっこいいテーマデザインをplatismさんありがとう 追記 俺はツイッターでのつぶやきをツイートと言…

ああ，ツイートとか上手く貼り付けられないし， はてダもきっと近いうちに無くなるだろうからはてなブログへ移行しよう．