PRを更新するカスタムスラッシュコマンド Custom Commandという機能がある。あらかじめ作っておいた指示をコマンドで呼び出せる機能だ。 Slash commands - Claude Docs Claude Code でカスタムスラッシュコマンドを作成する ghコマンドを使うと CLIでPRのタ…

『はじめての数理論理学』という本を読み始めた。 図書館で数理論理学の書籍を探していくつか手に取ってみたけど、この本がとっつきやすそうだった。命題論理から始まり、証明法へ続き、後ろの方では意味論、健全性、完全性という言葉が並んでいるのも見えた…

この１ヶ月くらい、生成AIのコーディングエージェントを活用したwebアプリケーションの開発をしてきたけど、AIを使うからどうこうという学びは少なかったかも。 むしろAI使わない時代の開発で重要だったものは、たいてい重要なままというのに気が付かされる…