ユーザがマウスとキーボードを使用して操作していたソフトウェアは、今後、徐々にAIエージェントに移行していくのではないか思っている。 人間が複雑な操作を覚えて、すべてを一つ一つ指示していくやり方は、AIができることが増えるにつれて不要になってくる…

最近はGitHub Copilotでバイブコーディングすることが多く、コードを直接書くことが減ってきている。先日、「電卓アプリを作るのは難しい？」という記事を書いたが、その際に言及した、かなり前に作ったAndroidの電卓アプリが最新のAndroidにはインストール…

「型システム入門 −プログラミング言語と型の理論」を読んだので内容をまとめる。 以下の内容は、ほとんどGemini 2.5 Pro (experimental)を使用して作成している。 本書はプログラミング言語の型システム理論に関する包括的な入門書である。型無し計算から単…

以前に、2024年11月時点のdlshogiの40ブロック512フィルタのモデルで、方策のみで指した場合の、floodgateでのレーティングを測定した。 その時点では、レーティングが2750という結果だった。今回、50ブロック640フィルタのモデルを学習したので、同様に方策…