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

片付けを始めることが大切なのでまずは 0.2% 片付けるという戦略は正しい。

部屋の片付け量を指数的に増やしていけば間に合う()

計画的に、今日は部屋を 0.2% くらい片付けるか…

ACL2 の本はお届け予定日通りにはこないと分かったし到着するまでは自分で練習問題考えないとな。

Dark Moor、メタル界隈では 2nd, 3rd が傑作でそのあとは微妙っていう評判をよく見かけるんだけど、私にとってはその後のアルバムでもシンフォニックメタルのバンドして最高の傑作がいくつもあると思っている。今のところは The Moon という曲が特におすすめ。

性格問題に対してうまく説明されていてよかった。分かりやすいと思う。

心理学で言われている性格に対する考え方を整理してみたhttps://note.com/peoplepersons/n/n82fbe5dd56ed

昨日お届け予定日だった本が届かなくてしかもいつまでに届くかあまり定かではない影響で結構だるい

そういえば心理学の専門家以外の人がこの問題に言及してるの初めて見たな。

人事部だけでなくこれを批判しない人も同じか……

多くの企業の人事部がこんな感じだというのが、現状の日本の科学リテラシーの程度を示している。

死んだはずの性格診断がゾンビになって新卒の学生に襲いかかっている。

性格分析信仰の問題、世界全体の問題だと思ってたんだけど日本固有の問題である可能性がでてきた……。

> また、米国心理学会では随分前に効果が疑わしいとされた性格分析を、日本ではまるで世界標準のツールのようにうたい、適性診断等の「科学的手法」の根拠として利用しています。これが批判されないまま今でも通用してしまっていることに大変驚いています。

https://at-jinji.jp/blog/30397/#ttl03

ぐぬぬ

2万円以上する本を買ったんだけど配送業者ABFにあたって、お届け予定日を過ぎても届かないのでつらい。いつくるんだろうか。外出中に来たらやだな…。

配送業者ABFに当たってたので Amazon のお届け予定日は役に立たなかった。

自分で書いてて使わないと分からないことない気がしてきた。使い始めて初めて困って悟る系な問題な気がする

@tojoqk@mastodon.tojo.tokyo https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/COMMON-LISP____FLETfletで局所関数も作れたりするので変な値とやらはそこに隠すのもいいかも

@tacumi ここで話している変な値は関数が本来受け入れたくない値のことでした。たとえば、階乗を計算をする関数を実装する場合に自然数のみを引数に取りたいと思っても ACL2 では全ての関数が全域でないといけないので、どんな値を渡しても計算が停止しなんらかの値を返さなければなりません。この例の場合では zp という関数を使って条件分岐すると、自然数以外の値を全て 0 として処理してくれて、 0 の場合が基底部になるのでこれが正解(zerop で分岐すると話が難しくなる)なんですが、これに納得するのが難しいだろうなという趣旨でした。基本的には上記の zp のような異常な値を特定の値であるとみなす述語を使うことで解決します。

http://www.mathcs.duq.edu/simon/acl2/ZERO-TEST-IDIOMS.html

(誤解されると非常にまずいので毎回書いているのですが、ACL2 は Guard という機能で自然数でない値が渡されないことを静的に検証することが可能です。ただ、Guard を使っていても、自然数でない値を引数にとってもなんらかの値を返すように関数を書かないといけないんです)

ACL2 の使い方をうまく伝達して広めていきたい。Lisp が世界征服するチャンスだと思う。静的検証の機運も高まってるしいけるはず。

全ての関数が全域で変な値がどの分岐に入るかを一応考えないといけないのは少し難しい気がしてる。再帰関数の場合は変な値は基底部の方に入れるようにする。変な値を受け入れていいのかという問題自体は Guard で解決可能なのでそこを気にする必要はないんだけど、納得するのがむずかしい問題かもしれない。