プログラマーが石炭を学ぶ 2025年頃