複数のモデルや表現を用いたコンピュテーショナルシンキングの育成

イントロダクション

Hoppe and Werneburg(2019)によれば、"コンピュテーショナル・シンキング(CT)の本質は、人間のアイデアをコンピュータ上で解釈し「実行」できる形で外部化・再定義する「論理的成果物」の作成にある "とされています。この論理的人工物は、プログラミング活動の成果である場合もあり、CTとメディアとしてのプログラミングを結びつける。computational thinkingという用語は、特にJeannette Wingの造形論文(2006年)を通じて最近になって人気を博しているが、Seymour Papert(1996年)が先にこの考えを述べ、数学学習のメディアとしてのLogo言語の開発と併せてこの用語を使っている。

Wing (2008, 2017) は、CT における抽象化の重要性を強調している。一般的な常識的な概念である「抽象化」に対して、コンピュータサイエンスでは、具体例の詳細が因数分解される思考プロセスの一般的な概念ではなく、構成概念としての「抽象化」(複数形)を語ることが一般的である。その特徴はWing (2008)を参照すればよい。「計算機的思考の本質は抽象化である。. . . 抽象化されたレイヤーを扱う際には、レイヤーの各ペア間の関係が、抽象化関数、シミュレーション関係、変換、あるいはより一般的なマッピングによって定義されていることを必ず念頭に置いておく。. . . つまり、計算機的思考のコツは、抽象化を定義すること、複数の抽象化レイヤーを扱うこと、異なるレイヤー間の関係を理解することなのだ。抽象化とは、計算の「心的」道具なのだ。