きものさんから漫画を数十冊いただいたお礼に映画おごるよーと言ったのは今年の1月のことでしたが、それから10ヶ月たった今になってそれを達成することができました。相模原に戻ってからY田とラーメン食べた。小説買う。『ABC戦争』（105円）。本買う。『人…

「王国に行ってわーいって話かと」と思っていたきものさんにとっては地雷映画だったようです。一応「ダーク・ファンタジー」と銘打ってはいるし、PG-12だから、それなりにグロい描写もあるんだろうなあと自分は想像してはいたのですが、それでも想像していた…

# 6分遅れて登場 どうもこんにちは 出席点と取らないといったのにこんなにいてくれて… 良いのか悪いのか もっと来なくてもいいかも 出席点はないと言いつつなんとなく出席票は回す 回せと言われているので スクリーンを写すと黒板使えない こういう教室はや…

グーグーだって猫である作者: 大島弓子出版社/メーカー: 角川書店発売日: 2000/07メディア: コミック クリック: 31回この商品を含むブログ (77件) を見るいつの間にか3巻まで出ている大島弓子の猫エッセイ漫画ですが2巻まで読む。グーグーなる猫だけが登場す…

神田。重いからパソコンを持っていかない。まるでやる気がないかのよう。大学院やめても、どこかに就職するようなことがなければ、ようするにニートであれば、セミナーを続けることは可能みたい。

未だにコンタクトレンズ買えてない。本買う。『Java謎+落とし穴 徹底解明』（105円）。

SPINをインストールするという宿題はできましたでしょうか では始めます この授業 前回無線LANがつながらなかったこともありうまくいかなかったけれど 今日から本格始動 この教科書にそってやるけど 随時追加の問題を出したり もう少し高度な内容をやったり…

コンタクトレンズを買おうと思ったけれど、保険証を所持していなかったのでやめ。いつになったら買えるのやら。漫画買う。『百日紅』文庫版下巻，『無面目・太公望伝』，『ヤサシイワタシ』1・2巻，『スゥイート・ラヴィン・ベイビー』（各105円）。『ヤサシ…

ゲーム―Super 27years Life作者: 飯野賢治出版社/メーカー: 講談社発売日: 1997/07メディア: 単行本 クリック: 57回この商品を含むブログ (21件) を見る例えばITベンチャーの経営者の本はたくさんでているけれど、ゲーム会社の経営者の本はあまり出ていませ…

川崎のらぁ麺トラットリア Due Italianで食べる。「らぁ麺トラットリア」という名称が気になってついつい入ってしまう。実態は、麺がパスタふうなだけの普通のラーメンとか、器がラーメンふうなだけで普通のスープスパとかそんな印象。

引き籠もり。なんだかすごく久しぶりな気がします。人間はもっと引き籠もって生きていかなければならないと思います。日本の引き籠もり率を上げるにはどうするか。とりあえず失業率が上がればおｋかな。

今年も頑張って東浩紀の授業に粘着します。2年目だから、なるべくしょうもない雑談めいたことをメモしたいのだけれど、それではうまく講義録がまとまらなくなってしまって、具体的には話の流れが読めなくなってしまって、難しい。今年から文系単位にカウント…

新潮10月号に掲載されている、東浩紀と桜沢洋の共作。曰く、東浩紀をキャラクター化した小説。オタク論壇に興味があれば面白く読めるのだろうけど、興味がなければさっぱり楽しめないであろうことは容易に想像できます。どういった読者に向けて書かれている…

サクラさんにおすすめの日活ロマンポルノを借りた。筒井の『大いなる助走』の筋を教えてもらいました。『キャラクターズ』より面白そう。

南千住にある某社に営業に行きました。そしたら二流氏がいました。なんだろうこの人は。東浩紀の授業といい、どこにでも出没する。

大学院をやめる可能性は20%くらいだと思っていたのですが、50%に変更です。自分は将来成功する！という確信なしに大学院に通い続けるのは難しい気がします。

この世からきれいに消えたい。―美しき少年の理由なき自殺 (朝日文庫)作者: 藤井誠二,宮台真司出版社/メーカー: 朝日新聞社発売日: 2003/10メディア: 文庫購入: 2人 クリック: 74回この商品を含むブログ (43件) を見る宮台真司のようになりたくて、しかし能力…

眠くて寝てしまいました。来週以降出席するか分かりません。出席していればとりあえず単位を取るのは簡単ぽいけれど…。 計算の理論全体、情報科学の基礎のなかで どういう位置づけになっているか 量っていうのは所謂量 水かさが多いとか時間がかかる 概念的…

モデル検査システムとは何か Model Checking system Model Checker その名の通り、モデルを検査する モデルとは何かというと ほとんどのシステムでそれはオートマトン Model = オートマトン オートマトンの性質を検証・検査する 性質は、論理式で記述する SP…