うたにっき konn-san.com

いや本当10時半には起きてたんですけど、ちょっと夢見が良くなかったので寝直したところ14時になっている。 パンとスープ、オムレツとヨーグルトを食べ院生室へ。

フライパンを替えてからというもの、卵料理が快調である。

今日は暑くなるということだったので、冷茶を仕込んでおいた。ちびちび服みつつ、目覚ましにコーヒーものむ。かなりのカフェインを摂取したことになるが、コーヒーはおおめの一杯に留めたのでまあ問題なし。 その後は研究課題の一つちびちび弄る。あまり良い結果は出なかったが、まあ試しにやってみる程度だったので問題はない。

そうこうしている内にロジック系学生の自主ゼミ顔合わせへ。適当に駄弁ったりMoschovakisを読んでいるという後輩に Kechris を押し付けたりした後（PDF版を買って持っているので印刷版が邪魔になっていた）、そのまま飲み会へ。 たらふく呑んで食べて歩いて帰ってきた。これからFGOのミステリイベやって寝ます。明日は早起き（したいなあ）。

昨日早起きしたということを口実に昨夜は目覚ましを切って寝た。 結果、半日くらい寝てしまい、漠然といやあな夢を見ていやあな気分になったので目覚めたら12:40頃。 パンとスープとシリアル、冷凍シュウマイを食べる。

その後、PFDSを進める。 わかるひとにしかわからない発言ですが、Maybeじみた操作をする時にはやっぱりidiom brackets とか、idris のdsl記法（関数適用とかをオーバーロードできる）とかが欲しくなる。

あと時々 Semantrisをやる。これは、上から単語が降ってくるので、関連する言葉を投げてAIに関連度順に並び換えさせて消すというゲームで、なかなか面白い。 というか一昨日くらいからやっていて、これは後輩がツイートしているのをみかけて知った。 5000点以上だとPROという基準らしいが、いまのところ二回くらいしか越えていないのでがんばりたい。 しかし主に生き物の種別とかで知らない単語がおおく、Turnipってなんやねんと思って雑に Turip と打つと通る、というような感じだった。 turnipはカブらしいので、まあ球根植物ということでチューリップと近かった奇蹟である。 あとタイムアタックではなく熟考して解く BLOCKS モードというのがあるんだけど、これは長文を打てるぶんなんか機械の判定に疑義が結構あって、あんまりやっていない。

今夜はラーメンと、一人暮らしで始めて買ってみたチャーハンを食べた。

ツイートもしたけど、わたしは一人暮らし始めるときに父からもらった電子レンジでラーメンが茹でれるラーメン丼を使っているんだけど、なんか最近麺がペチャペチャに仕上がってしまうことが多く、悲しい。普通に作る方に切り替えるべきか。 そうなると茹で卵を茹でるのにもう一つ小鍋が必要になってしまうが……。

あとはFGOのミステリイベを進めるなど。 一日中雨で気圧が低く、頭やお腹の調子が悪い一日であったことよ。 明日はいきなり28度とかになるらしいので、冷茶を仕込んだ。

うたったうた

• 井上陽水「傘がない」 雨なので。

• 井上陽水「氷の世界」 GOLDEN BESTで次の曲なので。

• U2 “Gloria”

  学部1年か2年の時（だからもう7、8年前だ）に口遊んでいたらミッション系出身の同期が反応し、その時にはじめて聖歌に影響を受けている事を知る。たしかにそんな歌詞だ。

• たま「かなしいずぼん」

  日曜の夜は出たくないので。この曲をミステリ読みの前で唄うとびっくりされる。それは曲が長いから──ではなくて（いやそれもあるけど）、

  倉知さんが見にいらっしゃって、「あのー　本の題名に勝手に使っちゃったんですけどー」と照れていました。なので、たまの方が先でーす。

  という訳です。

Amazonへ飛ぶ

Amazonへ飛ぶ

Amazonへ飛ぶ

まちあわせ ベストアルバム

たま

posted with iTunesLinker at 18.05.13

今朝は9時20分に起きて、物凄い勢いで布団をひっぺがし洗濯機に突っ込み外出。 極限まで眠りたいというのと布団洗いたいというのと皮膚科行きたいというのとを勘案した結果このような薄氷を踏む起床時間となった。

眠い眼をこすりつつ、まずはサンドイッチと珈琲の朝食を摂る。昼飯も兼ねられるくらいの分量を食べた。 その後、皮膚科へ。平日昼に行くと空いているので、今回もそれくらいを想定して診察終わって戻ればちょうど布団の洗濯も終わってる頃だろうと踏んだのだが、親子連れやら会社員やらでごった返している。 その間本を読んでいたのだが、14歳の少女20人を5回殺す短編集なので、横に親子連れがいる状態で読むのは大変スリリングだった。薬局で仕舞うときに薬剤師の人に表紙を見られてしまったかもしれない。

そんなこんなで必要最低限の買い物をしてコーヒーを服み、帰宅。 想定より1時間半くらい遅れて着いたら、当然布団は洗い終わっている。 最悪の場合、毛布類が一箇所に固まって途中で洗濯機が止まってる可能性もあったが、そういうことはなく、粛々と布団を干す作業に移行。 蒸し暑いが日射しは強くないので、どうか、と思っていたが、夕方にはカラッと乾いていてよかった。

その間、久々に Cities: Skylinesをやる。 適当に区画整備とか考えずに6万5000人都市の天井に到達し、とうとうメガロポリス認定。 ロケット打ち上げたくなったので（Civより遥かに簡単に打ち上げられる）、今更ちゃんと産業地区の整備を考え、資源がたくさん眠っている区画をアンロックして、ただの工場だけではなく石油プラントと採石場の設備を沢山つくり、周囲ぎりぎり汚染されないくらいの位置に都市を作る。 とにかく打ち上げたいという気持ちしかなかったので、他の都市が死体で溢れようがゴミに埋もれようがおかまいなく、発車場のまわりの都市だけひたすら保守をする。 あー、こうやれば良い都市が育つのかーという学びがあった。

ロケット発車の瞬間のスクショをとった記憶があったのだが、とれてなかったのでかなしい。 おもったより呆気なかった。

夕飯は病院のついでに買ってきた冷やし中華。

ちょっと高めのを選んだ結果、麺がしっかりしており、スープの味も深くてよかった。

布団も干したことだし、明日はFGOミステリイベの推理などをすすめつつゆっくりする予定。

昨夜はあのあと寝る前にドキュメンタル5の最新話を観る。 下ネタも増えてきたが許容範囲で、怒濤の失格者ラッシュに爆笑。 いまのところ前話の「尿道ペン」と、今回のザコシとサルのぬいぐるみの掛け合いが最高。

13時頃に起きて洗濯物を取り込み院生室へ。 大学の行き着けの食堂でブランチを摂る。 その後、PFDSを読んだりしつつ夜になったので、鶏まぜそばを食べて帰宅。 FGOのミステリイベを進める。七夜連続犯人当て劇場、楽しみですね。 シェリンガムやらホーソーンやらといった名前の登場人物が出て来るし、メタ構造に意識的な内容だし、いったい脚本は何居挽なんだ……。

そんなこんなで、今日はあんまり具合が良くないのでそろそろ寝ます。 明日も暖かいらしいので、早起きして布団を洗って干す所存。

一旦起きたのは13時頃だったのだが、うだうだしていて、布団を出たのは15時過ぎだった。 オムレツとパンとスープとヨーグルトを食べて院生室へ。

今日はPFDSの邦訳版を折角なので読み進めていた。

Amazonへ飛ぶ

人類の叡智という感じがする。 折角なのでただPFDSを読むだけではなく面白いことをしたいなあと思っていたので、各データ不変条件をLiquid Haskellで確かめつつやっていくことにしようと思った。 しかし、なんかどうも良く動かないので格闘している内に23時を回っている。仕方ないので諦めて帰ることに。 途中、ニュースを見たりカツ丼を食べたりした。

帰ってシャワーを浴び、洗濯物を干した。明日明後日と暖い快晴の天気が続くらしい。 明後日は起きたら布団を干そうと思う。

あ、あとドキュメンタル5の最新話が公開されたようなのでそれを観ながら寝ます。 4は途中からなんかド下ネタ合戦みたいになってしまって食傷気味だったので、今回はそうならないと良いなあと思う。

あと明日からFGOミステリイベが始まるので楽しみ。十中八九円居先生脚本でしょう。