ブログ改善

2025/04/01

久しぶりにブログ開いたら、AIへの課金が切れていて、表示がめっちゃ遅くなってた。 あんまブログ書かないけど、これだとさすがに不便だから、もうスタックが0のときは絶対昔のHTMLを使うように修正したゾ。 これで表示自体は課金が切れても爆速なはず。 よしよし。

近況報告

2ヶ月くらいブログ書いてなかったけど、最近は積読を消化するべく、3つくらいの本をターゲットにして、どれも毎日最低1ページは読むようにしてるぜ。 数学の入門書とか1ページ読むのも大変だけど...わからなかったらChatGPTに聞けるのが今の時代のいいところ。

あと、なにしてるっけ... あー、普段使ってるLinuxの環境を変えたかな。 もともと、NixOS+x11+XMonadで構築していたんだけど、NixOS+Wayland+Hyprlandに変更した。 これは、steamのモンハンをやろうとしたらx11だと全然モンスターが正しく描写されなかったから。 XMonadくん気に入ってたけど、泣く泣くHyprlandへ... まあHyprlandも気に入ってるんだけどね。 でもちょっと問題があって、fcitx5で日本語入力しているんだけど、VsCodeの内部ターミナルで日本語入力すると二重に入力されちゃうんだよね。ほかのところだと問題ないんだけど。 まあ、低レイヤーの勉強だと思って問題の原因を探るのも面白そうではある。低レイヤーなツールで作りたいものもあるしね。

ゲーム

モンハンを買って、一応ストーリーは全部見るとこまでやった。今後もDLCが色々あるらしいから、それらが楽しみだ。 ヴェノムが出たから、GGSTも最近買って、PS4コントローラでプレイしている。ためキャラとPS4コントローラの相性が悪すぎてレバーレスコントローラの購入モチベが上がってるところだ。 今後やりたいゲームとしてDYPINGってのがある。UnityRoomでプレイできるけど、Steam版も出るらしい。タイピングホラーゲームなんだけど、今は自分の配列がQWERTYから遠すぎてゲーム体験に支障がでることを恐れているぜ。

todo管理ツール

todo管理ツールを作りながら使ってる。 ツールつっても、lean4っていう言語の上でデータ構造を定義してそのまま眺めたり、evalしたりしているだけだけど。 markdown的な感じで書きたいときもhoge.leanってファイルにして、コメントの形でメモを書いてる。 こうするとJupyter Notebookみたいに、コードも自然言語もかけていい感じ。 markdownの色つけもなぜか認識してくれてるし。(本当になんで?) lean4にはコマンドってのがあって、これを使うと、VsCodeの内部ターミナルのProblemsのとことかに出力ができる。そんで、Error Lensっていう拡張機能を使うことで、コード上に表示もできる。これが非常に便利。

あと、lean4はバックスラッシュ+なんかで色々な数学記号を入力できるのがとてもいい。バックスラッシュ+forでForallの記号だせるし、バックスラッシュ+aでアルファになる。 数学のメモするときに非常に便利だぜ。何でどうなるのかの検索に関してはchatgptいるし問題なし。

欠点としては、コメント部分がMarkdownとしてVsCode上で色がつくといえど、流石にmermaidには対応していないので、図を書くときにちょっと使いにくい。 いっそ、lean4でmermaid的なことをするためのCustom Infoを作りたいけど、Custom Infoつくんのむずいんだよな〜。 言語の使用率が低いから、AIくんの間違い率も高め... みんな、Lean4を書こう。書いてくれ。

まとめ

こんなもんかな〜。このブログでもネコチャン使えるようにしたいな...