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

最大の懸念は、自分がブーストしてからの言及をしないということを忘れてやってしまうことだよな。今の私の姿勢でこれをやってしまうと本当に失礼なので最大限気をつけなければ。そもそもブーストじたいしなければいいので技術的に対策は可能そう。

ほぼ独り言を世界に発信するアカウントになるけどそれでよい。徐々に頻度は低下すると思うけどそれが目的なのでそれ自体は仕方がない。でも Mastodon 自体をやめるつもりもないのでゼロにはならない予定だ。

行動分析学が役に立っている。SNSに過剰に時間をかける原因を分析して通知をオフにできたのは行動分析学を学んでいたおかげだ。

これは私の行動を制御するための対処です。よろしくお願いします。

今後しばらくの期間、私は一切ブーストしてから言及するという行動を取りません。私の投稿に対するブーストしてからの言及は全て無視します。

メンションや投稿に対して返信された場合のみ反応します。

通知を切れば SNS 中毒から抜けられる。結局 SNS にはまるのは投稿に対して他者から即時強化されるからであって、SNS にはまっていくのは意志の問題ではなくて当然の結果である。

この姿勢で SNS をやっていくのはもはや SNS をやっているとは言いがたい状態ではあるが、個人的な事情により既にもう SNS をやっている場合ではないのだ……。

元気になったら通知をオンにして復帰しようと思う。

まあ、そうなってくると SNS とはいったい……って感じだけどまあ仕方ない。

いや、これマジであらゆる通知を切ればいいだけじゃん。解決したわ……。

https://mastodon.tojo.tokyo/@tojoqk/107062825959732340

いや、そんなの作らなくても通知のピン止めを外すだけで解決では……？こんご私との会話が成立しなくなっちゃうかもしれないけど私の精神の方が大切なんで仕方ない。

この文書は FSF じゃなくて GNU のやつか。

Mastodon はプロプライエタリじゃないんだけど、FSF がいっているソフトウェアによる中毒性の話は少なくともデフォルトの Mastodon なら当て嵌まっちゃうよなー。

なので、安全な Mastodon クライアントを工夫して中毒性を減少させるという可能性があるな。ちょっと検討してみるか。Mastodon をいきなりやめるのは難しい。

Proprietary Addictions - GNU Project - Free Software Foundationhttps://www.gnu.org/proprietary/proprietary-addictions.html#top

ちょうど昨日、マストドンのやりすぎで消耗するとしたばかりだったのに全然学習してないんだよな。マストドンの代替行動として積極的に日記に書き込もうとしたんだけどうまくいってないな。どうやって日記を即時強化するか。

実際にはいまは ACL2 やってないんだけどね。残念なことに ACL2 をやる体力を失ってる。

ACL2 はなんか実用したい野望があってやっているわけではなくて、純粋に面白いからやってる感じだしな。でも結果として何かしら実用できたらいいなーとは思っている。

そういうやつは動的型付きな Guile 使って書いちゃうだろうし、まあなんというか極端だというのは認めざるを得ない。

そもそも私の関心領域が ACL2 がターゲットにしてるような範囲なんで、その範囲外の話をされてもぶっちゃけそんな興味がないという問題があるわけで、まあ ACL2 で全てを置き換えられるとは思ってない。

半年前あたりまでは第一級の関数がないなんてありえないねとか言ってたのに ACL2 をやりはじめてから、まあ第一級の関数とかなくても耐えられるはとか言ってるの本当に笑える。

自動定理証明といっても、補助定理を用意するのは人間でありどんな補助定理を ACL2 に教えればいいかを考えるのは簡単ではないので、実際のところ全然自動じゃないけどね。

関数が第一級じゃなくてもマクロがあればなんとかなる(暴論)。