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

雷の多い地域なら今でも停電することあると思う。夏の群馬はかなり雷が集中するのでたまに停電してた気がする。

電車の中で guix install しようかと思ったけど、テザリング中にするとやばい(通信量的に)ので踏み止まった。危なかった。

Nextcloud サーバーの重要性が上がり続けている。

思ったことを、Nextcloud Notes に記録する習慣を付けることにした。以前は Emacs の org-mode でよくねと思っていたんだけど org-mode だと何故か習慣化しなかったので Nextcloud Notes を試してる。不思議なことに、何故か継続できそうな気がしてる。

いろいろあってノートPC用に手元の環境に Debian + Guix の構成の環境を構築した。やっぱ不自由な Wifi ドライバが動かないと厳しい。

めっちゃ揺れた

本当は System の定義も Guix でやりたいので Raspberry Pi 4 に Guix System をインストールしたい(特にに cron の設定を guix で書きたい)けど、それはちょっと大変そうなので諦める。今回は Raspberry Pi を買ったのには明確な目的がありあまり寄り道をする暇がない。

Raspberry Pi 4 買ったんだけど、パッケージマネージャとして Guix を使う予定なのでメモリ 8 GB の方にした方がビルドが早く終わっていいのではないかといまさら後悔し出した。

ACL2 の本が届いたので、一回流し読みしてみた。ちゃんと勉強になりそうな雰囲気なので安心してる。https://mastodon.tojo.tokyo/@tojoqk/105624657912176959

今日の SICP 勉強会で ACL2 で証明できそうな話題があったので明日は ACL2 を長い時間使うことになりそう。

配送状況教えてって言ったら配送履歴がかくにんできるリンクを送ってくれた！今日日本に届いたらしいので明日には届くかも！

お天道様よりもカメラの方が効果あるな。

とりあえず一週間は行動分析学的な介入はせずにベースラインをとる。カメラで撮影しているだけで明らかに行動は変わっているので観測するだけで問題は解決するかもしれない。

定期実行の設定も実行するスクリプトも Scheme で書くの最高だな。

部屋の定点観測を始めた。1分間に1回 Web カメラで部屋を撮影してオブジェクトストレージにアップロードしてる。ffmpeg でキャプチャを取得して s3cmd でアップロードを繰り返してる。定期実行の設定とアップロードするためのスクリプトは Guix System の config.scm 内に記述した。

これで行動の所産のベースラインを取り放題になった。私にとってはこれが応用行動分析学の夜明けとなるだろう。

どうも部屋あったかくならないと思ったら冷房になってた

行動パターンはだいたい決まっているので何時間仕事して何時間趣味的なことをしたのかとかも画像からだいたいわかりそう。

よい位置にカメラを設置すれば、ものを探すときにいつ定位置からなくなったかとか確認できるようになるな。ちょっとカメラの調節とかしたいけどもうそろそろ始業しなければならない。

Web カメラで1分に一回部屋を撮影してみたんだけど結構面白い。なかなか布団から出てこないこととか、部屋がいつから明るくなったのかとか確認できる。

うん、とりあえず袋がいっぱいになるまでペットボトルを詰め込んだのできっと 0.2% 以上は掃除したぞ！(何Lの袋かは非公開、まだペットボトルは残ってる)