状況 macOS 15 でウィンドウの並び替え等の Windows っぽい機能が追加*1されて、便利なので活用したい。しかし自分の使っている HHKB HYBRID では fn キー (ショートカット上では地球マークのユニバーサルキーで表される) と矢印キーの組み合わせのショート…

最初 jsonwebtoken (https://www.npmjs.com/package/jsonwebtoken) で ES256 を使って生成/検証しようとしたけどエラーでうまくいかなかった。 調査 https://github.com/auth0/node-jsonwebtoken/blob/v9.0.2/sign.js#L117 createPrivateKey がエラーを発生…

仕事で a > c * n または b > c * m みたいな条件を判定する必要があり、 b / m > a / n の関係が成り立っているので b > c * m だけ確かめればいい、みたいなことを考えました。 ふと、本当にそうだっけ？と思ったので Lean4 で証明してみました。 variable…