中高生がプログラミングの腕を競う「国際情報オリンピック」で、日本が初の世界一に輝いたのは昨夏のことだった。…