今日は何をしていただろう。雑多な感じだ。

Android は Mixi の https://github.com/mixi-inc/AndroidTraining をすこしだけ進めた。 Activity と Fragment でいろいろ脱線してくたびれてしまった。本当はこれを終わらせるくらいの気持ちだったのだけど、気持ちだけだった。良くない。

正座椅子が届いた。正座用の座椅子だ。足を体重で圧迫しないのは良い。正座椅子で猫背になってはまったく意味がないので、意識して伸ばす。横幅がせまいので、股関節が固まってしまいそうだ……。時間を区切って伸ばすようにしないと……。

あわせて本が届いた。『プログラム意味論』・『計算論 計算可能性とラムダ計算』・『論理と計算のしくみ』の 3 冊。パラパラと眺める。

『プログラム意味論』、『計算論 計算可能性とラムダ計算』、『論理と計算のしくみ』の3冊を手に入れた。

— bouzuya (@bouzuya) April 8, 2017

読みはじめたばかりの『アンダースタンディング コンピュテーション』のあとに読んでいくか、あるいは『型システム入門』のあとか……。『アンダースタンディング コンピュテーション』 Ruby を見ると、やる気がなくなる。本を変えたい気持ちになってきた。

収納ケースをまた買いに行った。今度はすこし小さいものを入れられるケースを。それに肌着やらをしまって、合わせて冬物を片付けた。棚をひとつ潰してクローゼットに納めた。部屋の風通しが良くなった。良いことだ。

整理ついでに昔の書類をいくらか処分した。思い切りが足りないので、まだまだ残っている……。

スーパーマリオ ランをクリアした。クッパを倒したのでクリアだろう。ワールド 6 まではワールド 4-1 のガリガリータワーのブラックコインを除いてコンプリートした。

あとはガリガリタワーとワールド 6 とスペシャルコース。キノピオも集めないとな……。

基本的にはマリオを使い、ヨッシーとルイージを必要に応じて使っている。一撃は耐えられるのがマリオ・ルイージの利点で、ルイージはジャンプの高さが足りないとき、ヨッシーはトゲが嫌なときに使っている。コースはマリオを基準につくられているのか、ルイージだとジャンプの幅がわりと合わない。なので基本はマリオにしている。

ああ、雑多だ。