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

下記にある「脳回路タイプ診断」というのを基にした療法が私に効果がないことがほぼ確定した。これ以上この療法を適用されても無駄なことはもう明らかなんでとても申し分けないんだけど、介入者にこのことを伝えようと思う。

変なやつが心理療法を希望をしてしまったことについては申し分けないと思う。

正直、最初からあまり認知療法には期待してなかった。ただ、まだ 認知療法自体が私に効果がないことが示されたわけではなく、心理カウンセラーが利用している一部の手法が私にとって効果がないと分かっただけなので、まだ私が認知療法の効果範囲から外れていると確認できているわけではないので希望は残っている。

セルフチェック｜日本推進カウンセラー協会｜心理カウンセラー｜メンタルトレーナー｜認知行動療法士｜脳活性トレーナー｜SNS＆メールカウンセラーhttps://jp-ca.jp/mental_information_assessment/

心理療法の群間比較による効果測定、自分に効果があるかが運なのが本当に厳しい。

いま受けている療法がどうやら私に効果がないらしいことがほぼ確定した。どうやら私ははずれ値らしい。これだから群間比較は使えん。単一被験体法もっと流行ってくれ。

`for` の構文群は直感的かつ便利でだいたいこれでいいという感じなんでもっと知られていい気がする。

昔は Racket のコントラクトを推してたけど最近はほぼほぼ Typed Racket しか使わなくなってるから推しポイントも変わってきてる。

Racket がなんか凄い件についてはあんまり知られてない気がするし記事書こうかな。

一般的な印象としては開発環境の構築がしやすい Scheme の実装の一つって感じだと思う。

send って書くのがうざいだけで Racket のオブジェクト指向はそんなに特殊なものではないような印象がある。

racket/draw を使う限り、あんまりオブジェクト指向する必要を感じないんだよな。

racket/gui のボタンとかはなんか継承したりする価値がなくはなさそうだけどそういうことすると却って複雑になりそうだしどう扱えばいいのかよく分からん。

racket/gui と racket/draw を使うためにオブジェクト指向せざるを得なくなってしまった。

フィーリングで使うのやめて、ちゃんと Racket のオブジェクト指向について勉強するか。https://docs.racket-lang.org/guide/classes.html

Racket のオブジェクト指向は CLOS と違ってオブジェクト指向感がなんとなく強いんだけど、これは構文が普通のオブジェクト指向ぽいだけでなんか他の CLOS とそんな違いがないような気がしてきてる。

racket/gui をだいたい使えるようになってきたんで、何か作って Guix で動作するようにバイナリを生成するところまでたぶんできそう。優先度は高くないので Guix System で動作するバイナリを生成するのは後回しにするけど。

scheme-file を Racket のソースを吐くのに使えるという知見を得た。S 式という構文を共有してるのはなんか強いな。

Guix の Racket のビルド定義に ‘for/fold` とかいう Racket 特有の強烈な loop 構文を見つけて？？？ってなったんだけど、これは Guile じゃなくて Racket のコードだった。すごくびっくりした(クォートされたのに気づかなかった)。

「プログラミングの基礎」は Coalton じゃなくて Typed Racket でやろうと思う。

なんか色々迷走してたけど、結局 Typed Racket が「型付きの Lisp」としては最も無難な気がしている。

そもそも Lisp って基本的に Emacs の開発環境が要求されるのでその時点でちょっと厳しい。DrRacket がある時点で Racket が最強かと思う。

Haskell とかの代数的データ型のうまみの多くは match の網羅性チェックにあるような気がするし……。

Coalton、まだ match の網羅性チェッカが入っていないみたい。これ作るの大変そうだな……。何かお手伝いしたいが知識と(あらゆる)余裕がない。https://github.com/coalton-lang/coalton/issues/8

スマホの警報機能、たぶん鳴らないように設定した人が多いと思うので、ここで忘れずにオンに戻すことが重要だな。

肉と野菜ならポン酢なしでもいけるんだけど、卵入れるとポン酢ないときつくなるな。(なお、米は面倒なので炊いてない。昼食以外のタイミングで糖質とればいいかとか思ってる)

卵の殻を捨てるために用意したビニール袋の中に卵の中身を入れてしまって悲しい。清潔なビニール袋の中だったので取り出して使用したけどどうしてそんなミスを……。まあ、こういうミスの原因の説明に行動分析学はおそらくあまり向いてない。行動分析学の得意分野はミスの防止、すなわち行動の制御だ。長所を活かしていこう。