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

この中からぴったりの星座を選ぼう。
https://ja.wikipedia.org/wiki/%E6%98%9F%E5%BA%A7%E3%81%AE%E4%B8%80%E8%A6%A7

星座の名前で統一しようかな。

ノートパソコンのホスト名、いままで laptop にしてたのだけど二代目が来るから普通に名前被って嫌だなん。なんか考えるか。

VPN 接続するための準備するか。意外とまあまあやることあるな。

パソコン待ってる間に Windows を Debian で上書きするための準備するか。

新しく買ったパソコンが楽しみすぎて頭おかしくなりそう

新しいノートパソコンにしたとき、今動いている周辺機器がうまく動作しなくなるリスクあるのがなあ

今のノートパソコン、一日186円で使った計算になったのでそろそろ買い替えようかと検討中。

断熱めっちゃ効果ある。アルミ断熱シートを大きな窓に張ったらとても温かくなった。

NHKオンデマンドに来てた。
宇宙に限定しないことになったんか。ちょっと寂しいな。

後続番組見つけられない可能性あるから重要情報だ。
NHKオンデマンドにくるのかな。

やはり中途半端な場所で乗り換えのある電車移動は割と苦痛。パソコン開いてもまとまった時間がないから出し入れのコストのほうが高い。

忘年会の会場、驚くほどのはずれの居酒屋だった。自分の知ってた下限を遥かに下回ってきてびっくり。世の中広い。

Haskell の where に近いのかもしれない

Coalton の let は `letrec*` か

記事のコンセプトが破綻してしまった。

Lisp の `let` は関数適用の変形になっていて綺麗に見えてよいと思っていたのでちょっと困る。
というかいま書いている記事を色々直さないといけない。

Coalton の let は普通に再帰できるのか。

Coalton の let と Common Lisp の let って意味違うんだ。そうだったのか……。

コメダ珈琲はどの席に当たっても何かしらの意味であたりだと思える感じなのかもしれない。今日が3回目なのだけどいまのところ全て当たり席だった。