wakka "プログラムはなぜ動くのか 第..." 2025年6月20日