きゅーけー @tojoqk@mastodon.tojo.tokyo

新記事投稿しました。解説動画付き記事という試み。

自動定理証明器 ACL2 の入門向けに L-99 の1問目を解きました
https://www.tojo.tokyo/acl2-L-99-1.html

ACL2 の新記事を投稿した。

ACL2 でリストの回文に関する性質を証明した
https://www.tojo.tokyo/acl2-palindrome-sandwich.html

過去に作った Jami のアカウントをなくしてしまったので、Jami のアカウントを再度作り直しました。今回はなくないようにちゃんとバックアップも取ってます。
私に Jami 経由で話しかけたいという謎な人はどうぞ。

id: e5fdfccb74c383420e6e647897dae018a4bd61fb

このストレスに対処するための資料、WHO が作成 したものを翻訳したものだし超おすすめ。ACT ではメタファーを使ってうまく患者に説明するんだけどこの pdf のメタファーは今までに見た ACT のメタファーと比べて圧倒的に完成度が高い。

ストレスを感じたらやるべきこと：
イラストガイド
https://apps.who.int/iris/bitstream/handle/10665/331901/9789240003910-jpn.pdf

昨日寝るの遅くて眠くてつらいが今寝ると生活リズム崩れるから耐えないと……

> 基本的にアラームの画面を時報のところにしておけば解決するかもだけど。

これで解決する。そのために他のモデル選ぶのはない。

F-201WA は機能が多いことによって時報のオン/オフをするのが面倒というのが唯一の欠点かもしれない。
基本的にアラームの画面を時報のところにしておけば解決するかもだけど。

F-84W はミニマムな感じと色んな伝説が光るからな。それに対して F-201WA には圧倒的な実用性がある。
少ない機能でやりくりするか多機能で挑むかって感じだな。

F-84W を日常使いするか F-201WA を日常使いするのかはたしかに悩む。F-201WA がちょっとださいかもしれないというのはほんの少しだけ思う。それはあくまで F-84W と比較したときの話だけど……。

ぐぬぬ、F-201WA はださい派閥は多いな……

F-201WA のデュアルアイムは UTC にしとくか。

わざわざ書く必要がない文字は逆に必要なやつ。シンプルにブランド名だけ書いてあるやつの方が自己主張が強すぎて嫌い。

チプカシで最もダサい外観は言いすぎでしょ。

F-201WA がだ、ダサいだと……。そんなことがあるはずがないっ(周りからもダサいって言われまくってる)

https://life-geek.net/751/

画面共有や動画の作成時にg個人情報が混ざる事故を防止するプロジェクト、同じ PC で二つのユーザーを使う運用をするとどうしてもどちらかの作業を中断しなければならないって感じの不具合がでるので昔使ってたメインPC(CPU4つでメモリ4GB)にして、画面共有とか動画用を最近まで使ってたやつに変えることにした。

メインユーザーの方で org-clock を駆使して生活の管理をしてるからユーザーの切り替えが面倒なのは困る。

F-201WA を部屋の中から発掘したので今後はこれをメイン腕時計にしていく予定。チープカシオ界で実用性において最もコスパが高いと思ってる。

動画の時間が長くなるとエンコードがつらいということがよく分かってきたのでこれからはなるべく短く要点をまとめるように意識しようと思う。

NHK のニュースとか購読してもだいたい見なくなるんだよな……。

Twitter の nitter 経由による RSS 購読により明日の天気が分からん問題が解決した。

とりあえず好きなメタルバンドの公式アカウントを RSS で購読するか。

nitter 使ってなんか RSS 購読しよって思ったけど具体的に何を購読したいか分からん。なんか困ったからこれやろうと思ったんだけどいつどこで何に困ったのか思い出せない。

一章の時点で難しすぎるのがよくない。独学だと二章まで到達しない可能性が高い……。

この「データとは何か」ってところまでは全人類に読んで欲しい感じある。
https://sicp.iijlab.net/fulltext/x213.html

プログラミング入門「計算機科学の構造と解釈」！