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

Guix に新しいパッケージを追加したくなったの久々すぎて手順忘れてる。

いや、やはり GNU と Guile の発展のためにそんなことをいっている場合ではないし、Guix に ACL2 を追加するのは貢献のチャンスっぽいので頑張ろう。

うーん、正直職場の macOS でも利用可能なことを考慮すると Nix の方が個人的には便利な可能性は否定できないんだよな……。

うわ、Nix に適用するためのパッチが二つもある。https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/0001-Fix-some-paths-for-Nix-build.patchhttps://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/0002-Restrict-RDTSC-to-x86.patch

s/NixOS/Nix/

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/interpreters/acl2/default.nixNixOS にはあるじゃん！

ACL2 を Guix にインストールするバトルを始めるか……。難しそうなのでつらい。

GitLab のスニペットって変更差分見れないのか。ちょっと困るな。

今日は vikalpa (https://gitlab.com/tojoqk/vikalpa) を使用して、The Little Prover の序章の例題を解いた。+ の引数が natural? でないといけないという制約を追加しているので本の内容よりも若干難しくなっているけどなんとかなりそう。

https://gitlab.com/-/snippets/2063406

#qk_vikalpa

行動分析学は環境と行動の関係を研究して行動の原理を導いていて、これはヒトの仕様を明らかにしているんじゃないかと思ってる。それに対してヒトの実装について研究するのが脳科学とか認知心理学なんだと思う。

機械学習で使われている強化とか汎化のような概念は行動分析学でも出てくる。機械学習知っている人には行動分析学理解しやすいかも。強化子の定義も「報酬」のような概念に惑わされずに理解できる可能性がある。

行動分析学はそりゃそうだろうと思うようなことをちゃんと動物実験等を通して明かにして、行動の原理として整理して応用できるようにしたのは評価していいと思うんだよな。ただ、構築された行動の原理はシンプルで綺麗なんだけど正しく理解するのがとても難しいのはどうにかならないんだろうか……。行動分析学は分かりやすくすると崩壊するんだよな……。

逆行チェイニングは凄いな。行動連鎖の最後の方から順番に強化していく方法で、これなら行動の達成自体を強化子として機能させられるので使いやすいな。逆行チェイニングと同じやり方を行動分析学を知らずに思いつくのは難しそうだ。やっぱ行動分析学役に立つじゃん。

課題分析をしてどんな行動の連鎖が必要かを知ってから、シェイピングでそれぞれの行動をできるようにしたりチェイニングで行動と行動を連鎖できるように強化していくことにより、歩けるようになったり歯磨きができるようになる。

説明されるとめっちゃ当然のことに感じるんだけどね……

行動分析学の課題分析は日常生活で役立つ気がする。「無意識」にやっている行動がどういう行動が連鎖しているかを知ることで、同じ行動ができない人がどの部分でつまずいているのかとか何ができないといけないのかが分かる。

私がリンクを貼ったせいで障害起きたかも…

何故かリンクが貼れない…

行動連鎖と連鎖化・チェイニングhttps://hope.mark-no-juku.com/lshope/2019/02/21/post-709/

応用行動分析学の課題分析やチェイニングを応用できそう。