23に必要そうだったので読んだ。let-polymorphism とは初耳。morph と form、音の並びが逆だ。

ゼノブレイドやる 小説書く 仕事に関係する本を読む TAPL読む おもしろシステムの続きを書く

とにかく終わりを考える。というのが人ひとりの手に負えない問題に取り組むときには重要なのだとようやく今日気づいた。と書いてて、これはAmazonのworking backwardsなんやな。

ゼノブレ2のセーブデータ持ってたボーナスで金たくさんもらったので早速水着買ってフィオルンのケツ見てた。これがリアル。

再帰型が登場すると strong normalization が破綻する、normalization の中身読んでないので空気を読むと、型がついてても発散する項がありえるって話に驚き。あと D = μX.X→X（= D→D）と言う型で型無しラムダ計算を埋め込めてしまう……。無限はヤバイ。 Iso-…

数年ぶりにTAPLの続きを読んでる。こういう人生の諸問題から＊完全に＊切り離された抽象的な事象を扱うコトはリフレクシュアである。心なしか人生の諸問題（このフレーズが好きになった）を捉えなおす手助けになっていると思えなくもない。基本的な章はすで…

昨日はうまく眠れなかった。夜中に起きて、FFXするのもよけい眠れなくなるだろうと思って攻略サイト見てた……。いまザナルカンド遺跡でそろそろ終わりか、と思ってたらまたありそう。てかようやく飛空艇が開放されたとこだ。 ところで最近読んでるのはこれ！ …

先週末は極まった精神状態でホントひどいもんで、やはり月曜の朝の動悸が特徴的だったので、久しぶりにFitbitを装着しだした。これによるとおれは朝から脂肪燃焼してるらしい。……。先週のうちに懸念が半分くらいは解けてきて、今はマシ。でも嫌な気持ちはあ…

『合本俳句歳時記 第五版』と『コズミック 世紀末探偵神話 (講談社ノベルス)』を買ったら後者のほうが分厚かった……。ちまちま読んでるが、評判を聞いてしまってるので半分くらい読み飛ばしてる。たぶん本という密室に閉じ込められた被害者を殺しているのは読…

そんでFFX、終異体を倒せなくて置いてたのを思い出していたので再チャレンジ。全滅するとイベントシーンからやり直しなのでだるいのだが、結局ヘイスガかけて、やたら持っていた炎の魔石を投げ続けていたらあっさり勝ててしまった。キマリもユウナも出番はな…

FF7Rクリアした。やってる最中はなげーはよ終われ〜と祈ってたけど、終わってみるとなかなか楽しかったな。オリジナルのFF7も配信されてるのでこちらでもよかったな……と思わなくもないが。だいたい、据え置き機でゲームをクリアするって体験自体がかなりの久…

この恋と、その未来。3 -一年目 冬- (ファミ通文庫)作者:森橋 ビンゴ発売日: 2015/06/29メディア: Kindle版 この恋と、その未来。4 -二年目 春夏- (ファミ通文庫)作者:森橋 ビンゴ発売日: 2015/11/29メディア: Kindle版 この恋と、その未来。5 -二年目 秋冬-…

きのう 目覚まし前に起きる。起きたらすぐに動悸。かなり厭な心理状態。外に出て雑草を抜いていると気が紛れることが分かる。散歩3回。 白つつじこころのいたむことばかり（安住敦） きょう 目覚まし前に起きる。動悸を確認するが穏やか、徐々に動悸高まって…