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

org-sidebar 便利そう。これ導入するだけで仕事の生産性がちょっと上がるかも

EXWM、menu-bar-mode と tool-bar-mode を有効にした方が X のウィンドウが Emacs の中に入った感が強くて満足度が高いかもしれない。

EXWM を使って Emacs を Window Manager にしてるし見た目的に邪魔だと思ってたからいままで Emacs ではツールバーを非表示にしてたんだけど、Dracula テーマのアイコンだとスタイリッシュでかっこよかったので、表示するように変更しよう。

Scheme に陰謀とか悪だくみ的な意味があるせいっぽい。

これ、Scheme 系の処理系はほとんど全てそう。Scheme の謎文化である。

GNU のプロジェクトではめっちゃ使われているので GNU のプロジェクトに関心があるなら学ぶ価値は普通にあると思う。

うむ、忠実に全部大文字に変換することにしよう。

縦棒によるエスケープにも対応するなら、Guile の read じゃだめじゃん。

そういえば、Common Lisp はエスケープされていない全てのシンボルを勝手に大文字に変換する仕様があるのを忘れてた。うう、厳密に正しく作ろうとするとつらいじゃん……。

ACL2 のパーサー、とりあえず Guile の read でいいかな……。

Guile の Tree-IL についてだいたい理解した(と思う)。私は、ACL2 のコードを Tree-IL に変換するという仕事をすればよいっぽい。

群馬県庁、まわりと比較して圧倒的に高い建物でとても高くて見晴らしも良いところだ。でもいま黄砂すごいのか。

ヒトが普段している行動のほとんどは他の動物と変わらないシンプルな行動の原理によって制御されているのに、ちょっと言語行動とかルール支配行動ができちゃうせいで、ヒトの行動のほとんどが他の動物とは全然違うのだと誤解されちゃう。

オペラント条件づけを駆使すればハトにピンポンをさせることだってできる。https://youtu.be/vGazyH6fQQ4

プロジェクトオルコンだ。研究費たくさんもらえたんだと思う。

鳩には色の弁別ができるので、色を弁別刺激として使ったオペラント条件づけをしやすいためによく行動分析学の実験に使われたというのをどこかで読んだ記憶があるんだけど思い出せない。

説明と予測に機能しても人の行動の制御にはなんら役立たないものがたくさんある。

行動の問題を現実的に解消するには、行動の制御にフォーカスしてきた行動分析学を学ぶのがおすすめ。行動分析学は行動の説明や予測よりも制御に役立つかどうかを重視しててとても実用的なものになってる。

公開書簡を根拠に RMS の進退を決めるようでは自立した組織とは言えないと思う。透明化されたプロセスによってどちらの道に進むかを適切な議論を踏んで FSF が決めるべき。

すくなくともすぐには。