競技プログラミングを題材にした小説