月別アーカイブ: 2026年11月

将棋AIのアルゴリズムの正しさをLeanで証明した話

投稿日時: 2026年11月6日 投稿者: やねうらお

返信

私は将棋AIの開発にLeanを活用している。今回は、その話を詳しく書く。

続きを読む →