スマソ、大学教員だが、高校の情報について希望がある

具体的な言語を使ってプログラムが出来るようにというのは別段望んでいないが、
処理（知識）を手続き的に考える、記述するってあたりは高校で身に付けといてほしい
手続き的でなくて、宣言的でもいいけど