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

どうするのがいいのかまだ整理できていない。せっかく Guix を使っているので Docker 使うのはなんか違う気がしている。

Guix ユーザーなので Docker 使わないで部分的に guix environment で環境を作って acl2 を実行したんだけど微妙な気はしている。https://git.tojo.tokyo/ci.git/tree/jobs/acl2-verify.run#n11

Laminar CI はサーバー管理をやったことがあれば、学習コストが極めて低いのが良いところだと思う。

Laminar (https://laminar.ohwg.net/) で CI を回せるようになり、 ACL2 の証明がうまくいっているか確認できるようになった。https://ci.tojo.tokyo/jobs/acl2-theorems

Laminar CI 最高すぎる。私が丁度求めていたものが存在するとはなんて幸運なんだろう。作者に感謝。

(acl2-theorems のリポジトリ): https://git.tojo.tokyo/acl2-theorems.git/(ci の設定のリポジトリ): https://git.tojo.tokyo/ci.git/

Laminar CI の学習コストは最小だと思う。

過去のログを削除する UI がない -> DB 直接操作して削除しなさいhttps://github.com/ohwgiles/laminar/issues/152

なるほど。さすがだ。

Laminar と Guix の相性最高なのでは……

ACL2 の CI を書く

Laminar - Lightweight Continuous Integrationhttps://laminar.ohwg.net/

> Less is more

ほんとそれ。

Laminar、いままで CI 界隈に対して持っていた不満(車輪の再発明の繰り返し)を解消してくれているので最高。CI がやっていることのほとんどは既存の技術の組合せでできることなわけで、既存の技術をうまく組み合わせられるように設計された Laminar 大好き。

Guix で

いまはテストで ACL2 のビルドをしてるhttps://ci.tojo.tokyo/jobs/hello/24

Laminar で CI を回せるようにはなったけど、cgit のフロントエンドと Laminar を連携するのは簡単じゃないかもしれん。(コミットの隣にチェックマーク的なやつを出したい)

なんというか会社で CI の独自設定で苦しんでいるのがアホみたいに見えてきた。プライベートで同じ目にあうの嫌なので私は Laminar を使うことにする。https://laminar.ohwg.net/

CI はこれがよさそう。というかこれでいいじゃん。Guix にもあるのでこれ使おう。https://laminar.ohwg.net/

ここで述べられている行動の科学の必要性を考えたら、行動分析学の知見が生かされないまま終わってしまってはだめでは……。https://ousar.lib.okayama-u.ac.jp/files/public/5/53872/20160528121016853200/jfl_040_023_040.pdf

科学と人間行動の序章を思いだす。

いったい何のために行動科学が発展してきたのかと思ってしまう。。。まだ発展していないという話かもしれないけど。。。

結局行動分析学家自身も、行動分析学を一般人に伝える行動が消去されてしまっているのだろう。それでいいのか？

行動分析学家の方は人間の行動を制御する方法について学んでいるが、あまりに常識からかけ離れているせいで信頼されないという問題がありそう。人は人の行動を科学的に見ることが難しい。人以外の物に対する科学とは全然違う。