英国のコンピュテーショナルシンキングに基づくプログラミング教育における到達目標の検討