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

コロナワクチンの接種とかどうだろう。

コンテンツの作者が読者を説教するような構図になっているものが一番嫌い。

別に非倫理的な描写のあるコンテンツは好きというわけではないけど、倫理を教えようとしてくるアニメやゲームの方が個人的に嫌い。

@cmplstofB それであってます。なお ACL ではなくて ACL2 です(A Computational Logic for Applicative Common Lisp の略なので)。証明支援系の一つですね。

プライバシー優先ってめっちゃ書いてあるな。Cisco よりも信頼できそうならこっち使おうかな。

1.1.1.1 - インターネット最速､プライバシー優先DNSリゾルバ
https://1.1.1.1/ja-JP/dns/

なるほど〜、CloudflareとAPNICか。これってあれじゃん。ここ信頼できないならインターネットできないやつじゃん。

1.1.1.1 - インターネット最速､プライバシー優先DNSリゾルバ
https://1.1.1.1/ja-JP/dns/

プライバシー優先、言うのはタダだからなあ〜。Webサービスのプライバシーは安易に信頼できないんだわ……。

夜中になると極端なことをしがちなのと夜更かしの原因になって健康に悪いため0時から朝9時までは accounts modify --disable でアカウントロックすることにした。

明日から動く。

負の強化の随伴性で自由ソフトウェアを使うのだと駄目なんだよな。私が自由ソフトウェアを使う行動が維持されているのには負の強化の随伴性だけでなく正の強化による理由もあるはずだ。

一般的に喧伝できる自由ソフトウェアを使うことの利点というのは、不自由なソフトウェアを使うことによる不利益をなくすというものばかりであって、それだけでは自由ソフトウェアを使う行動は維持されない。

行動科学の知見を使って考えると、一番大きいのは「罰によるコントロールは失敗する」ということだろう。不自由なソフトウェアを使っている人を罰する方向のアプローチは基本的によくない。

これ結構深刻な問題だと思う。それぞれの人にあったキーボードを持参するのが当然な感じになってないと駄目な気がする。

Emacs のデフォルトキーバインドが私にとって使いやすい理由が身体的な理由(手が大きくて指が長く頑丈)である可能性があることに気づいてから、良いキーバインドに関する議論に参加しにくくなった。

タイピングの練習をしている人に 「Backspace をキーボードを見ずにタイプできるようになると良いかもしれません」とか言ったんだけど、その人の指が短かくて見ないで Backspace を押しにくいのを見たときにとても困った。

私は指が長いという理由で解決している問題なせいでどうアドバイスすればいいのか分からない。

その人にあったキーボードを買うのが良い気がするけど、職場のパソコンとかだとそうもいかないかもしれないし難しい。

届いた。オブジェクト指向をマスターして Common Lisp の CLOG でアプリ作るぞ。

たぶん、アンダーマイニング効果のことなんだろうな。
でもこれって「めっちゃ楽しい！何も言われなくてもずっとできるはこれ！」ってなっていることにたいして適用できる結果であって、行動の自発頻度に問題がある人には関係ない話だったはず。

色々探したんだけど下記ツイートしか見つけられんかった……
https://twitter.com/Yuu_ABA/status/1273440518643396608

「ニット」も同じような感じで、それを着ている人を見ても概念を獲得するまではそれを何か意味のある塊としては認識してなかったんだよな。

ビリヤニという概念を獲得したことで世界が広がった。今後、ビリヤニという単語を目にしたときに、もしくはビリヤニを目にしたときにそれをビリヤニとして捉えることができる。いままではそうではなかった。

ACL2, Vertion 8.5 でてるじゃん。最近ずっとインフラのことばっかりやってて気づかなかった。

といっても、これは結局焼却炉に余裕のある自治体であればしなくても良い努力だというわけだが。

まあ横浜市は人口がめちゃくちゃ多くて大変だしそういう判断になるもの仕方がないんだろう。

やっとなんで分別するかの謎が晴れたわ。

よってたとえプラスチックゴミが最終的に燃やされようと、海外に輸出されようと、輸出された結果結局リサイクルされていなかったとしても、プラスチックゴミを分別すること自体に価値があることに変わりはない。結局プラスチックは分別した方がいいんだ。特に生ゴミとは。