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

自由意志を否定することで始めて行動を制御できる可能性を得られる。部下とか大衆を操作しないといけない立場にいる人はまず自由意志を否定して考えるのがおすすめ。

これを「時間がたって風呂に入るやる気が出た」といっても説明としては成立する。でもそれからなんの情報は得られない。行動を操作するための手がかりを手に入れるためには、やる気とかなんたら力とかは手放す必要がある。

いや早く風呂入れよと言われても仕方がない。人に自由意志などなく思いでは行動できないのだから。

ここで言っている「風呂に入るための力を溜める」とは何なのか真面目に考えたところ、おそらく「入浴の締切に接近すること」だな。睡眠時間によって決めた入眠予定時刻によって風呂に入る時刻の締切ができる。この「入浴の締切を超える前に風呂には入らないと睡眠時間が削られる」というのが阻止の随伴性として機能し入浴締切に近づくことによって風呂に入る行動の強化力が大きくなり風呂に入る行動が自発されるのだと推測する。

なかなか風呂に入ろうとしないのを気力がないとか風呂に入るための力が足りてないというような無意味な説明をしても解決する方向に導くことはできないので気をつけよう。

洗面台で音楽を流すことで風呂に入る行動を自発させやすくできる気がする。

↑は仮説的構成概念を使った説明で、正確には寝る前に風呂に入る行動を自発する必要があるが、現段階ではそのための先行刺激や条件を満たしていないため入れずにいることを表現している。

風呂に入るための力を溜めている。

もはやわざわざ公開する意味があるのか怪しい感じになってる。

参考にできるように Guix System のサーバーの設定ファイルを公開しているんだけど、人におすすめできそうな設定ファイルが一つもないことに気づいた。mcron のジョブの設定とかが混ざってて現状はとても見づらい気がする。https://git.tojo.tokyo/guix-config.git/tree/

CM だけで 60 分番組案面白いので色々考えてた。テレビの制作会社がやっていることを CM の制作業者がやるようになるだけで究極的には今の番組とあまり変わらない感じになるのではないかと思ってる。商品の紹介がコンテンツと融合する傾向がより強化される方向に進む感じかな。

って、2019年の話だった。

これ、私が Mastodon ユーザーだから見れているのか。何も考えずにブーストしちゃったけどアクセス過多とかいってるからブーストしない方が良かった説あるか。

昔はリモートの Emacs を no-x で使ってたんだけど、やっぱ GUI でローカルな Emacs を使ったほうがいいという結論になった。

org 系のファイルをローカルに置くのが嫌な問題を、全部 tramp で ssh してアクセスすることで解消しようとしている。今は回線がしょぼいので若干保存に時間がかかる問題があるんだけど光回線がお家に来たときに解消するのを期待してる。

自分はローカルの Emacs からリモートに ssh で繋ぐ派

カフェイン摂取してなくても睡眠薬効かず眠れないこともあるな。今日は夕方に寝ててそれが原因かもだけど。

Jupyter Notebook が html にして結果を見れるようにしておくことの大切さを教えてくれた。ありがとう Jupyter Notebook、この経験を踏まえて org-mode でやっていくよ。

Jupyter Notebook の魔法が解けて Emacs の org-mode の民になった。結局のところ、ブラウザで良い感じに表示されるのが嬉しかったみたい。

なので、org.private.tojo.tokyo というプライベートなサイトを作ってそこで org から html に変換した結果を見れるようにした。https://git.tojo.tokyo/guix-config.git/commit/?id=768f20583880caec0f745d8701ddd02350b9e58f

本当に必要最小限の機能しかないし、*shell* で ACL2 を実行するという ACL2 公式の Emacs に沿った実装でとてもださいんだけどとりえず org-mode の org-babel で ACL2 が動くようになった。

https://git.tojo.tokyo/ob-acl2.git/about/