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

いまの決定を個人日記にメモして寝よ。

日記システムも全部 Guile で実装するか。

Guile で PrimeExpMap つくろう。これで PrimeExpMap と Number を相互変換するのに Integer か Fraction かみたいなことも考えずに実装できる。

このコンピュータの init で Guile が動いている時点でパフォーマンスについてはある程度信頼できるというのがある。

やっぱ GNU 好きだし Guile がいいかなあ。過去に使っていた経験があるために自分にとって学習が楽というのも大きいし、いまも Guix のために書いてはいるし。

Coalton がリリースされたら Coalton を使う感じにしてそれまでは Scheme でプログラミングしよ。

Racket だと型をつけられるけど起動が遅くてメモリを消費しまくるのが不満で、Coalton はパフォーマンスが理想的でしかも型システムも綺麗だけどまだリリースされていないという問題がある。そして他の型付き言語は Lisp ではないという致命的な問題がある。

一旦型のことを忘れれば、いい感じの選択肢が結構あるので、良さそうな Scheme 処理系で好きにプログラミングするのがいい気がしてきた。

Guile のパフォーマンス最適化のコツを紹介してくれる記事を見つけた。
最適化意識するときはこの記事を参考することにして、Guile 使おうかな。

Optimizing Guile Scheme
https://dthompson.us/posts/optimizing-guile-scheme.html

一度型とか静的検証といったことはすべて忘れて普通に Scheme でプログラミングしようかな。
私は Lisp を書きたいだけなのに、どうもこの数年の間型がどうだとか証明がどうだとか考え過ぎた気がする。

素数どう扱えばいいのか分からんかったのでそのあたりの勉強からすることになる。

PrimeExpMap、Caolton で一度実装したけどやっぱ Coalton はまだリリースされていないのがネックだよなあ。ACL2 の勉強を再開して ACL2 で実装しようかな。

20250101素数だ。来年のあけおめのときに素数だっていおう。

というか2019年度に問題起こして2023年度にもまたひどい問題起こしてるわけなのでさすがに全大学リクナビ出禁にしたほうがいいのでは。もうなってるんかな。

リクルートの不の解消に対して、不誠実、不祥事、不適切、不正とかいうネタ全然見つからないな。誰でも思いつきそうなものだけど、リクルートを批判する層とリクルートが提唱する不の概念を知る層にずれがあるんだろうな。

リクルートの不の解消に対して、不誠実、不祥事、不適切、不正とかいうネタ全然見つからないな。誰でも思いつきそうなものだけど、これをリクルートを批判する層とリクルートが提唱する不の概念を知る層にずれがあるんだろうな。

そうか。終電間際なので降りそこねると致命的な結果をもたらす可能性があるのか。気をつけなきゃ。

草津いいな。温泉の湯がよかった印象ある。

山場を越えたらしく楽になった。

終電間際の山手線の過酷さを知った

割と最近サクラ問題引き起こしてるじゃん。不正、不祥事、不適切、不誠実の不のオンパレードで草
https://www.asami-keiei.jp/blog/2023/06/08/3374/