Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 184

引越し成功した

明日引越しなので早起きした

書店で Lisp 本を見つけてしまうと買わないでいることが難しい。

持ってるやつだ。なんか漫画の部分はなんとなく読んでて謎な気持ちになった記憶がある。

謎の引力により買ってしまった……

あっ、欲

まあ、FSF の会員特典の Jitsi Meet が使えなくなるとやだという気持ちがないかというと嘘になる。(会社の同期とやってる SICP 勉強会でも使ってるし)

ACL2 モチベが上がってしまってるので引越しが終わっても自由ソフトウェア関連のことは何もしないと思う。そう思うと FSF への寄付を続けるのは、自由ソフトウェア活動に専念できない私にとってはありがたい選択肢だと感じる。

FSF への寄付(120USD)を更新した。来年忘れそうなので自動更新を設定しておいた。

ついに JavaScript を書く日が来てしまった

諸法無我っぽい話だ。我などなくて自分の存在を決めているのはまわりの人。

引越しの影響で都議選の選挙権を失ったの惜しいな。

眠れなくても目を閉じてればいいか。寝てないけど目を閉じてた時間を含めれば結構目は閉じてたはず……。

目覚ましをたくさんかければ起きてくれるかな……

いまから3時間寝れば4時間半寝たことになるわけなのでいまから寝て3時間後に起きるチャレンジをしても良さそう。

昨日の夜の行動履歴から睡眠時間は1時間半と推定した。1時間半寝てればたぶんなんとかなる。

これはもう寝るの無理だな。諦めた。

プログラミングと仏教の関係について考えてた。1. プログラミングにおける命名による抽象化は戯論の一例2. プログラムとデータの間に本質的な差がないことは不二の法門の一例

戯論 (下記の分別の解説中に戯論の話が出てる)https://www.otani.ac.jp/yomu_page/b_yougo/nab3mq0000000q85.html

不二の法門 (維摩経の中で出てくる概念)https://www.nhk.or.jp/meicho/famousbook/66_yuimakyo/index.html

やばい寝ないといけないのに眠れない。20時から22時まで寝たせいかもしれない。2時間しか寝てないのでこれから徹夜して明日(論理)元気に振舞うには明らかに時間が足りない。

仕事中、標準ライブラリに中央値とパーセンタイルを求めるやつがある Python マジ最高とか思っちゃったのでもうダメ。