E. 計算モデル的思考

• E1. 代表的な計算モデルの本質や特徴、コンピュータとの関 わりに関する知識・理解。(知識:情報一般)、(知識:機械情報)
  • L1: ステップで記述・数式や述語で記述などの計算記述法を知っている。(高必)
  • L2: 特定の計算記述とそのコンピュータ上での実行の対応づけを知っている。(高必)
  • L3: 異なる計算モデルの対応や行き来する方法を知っている。(大情)
  • L4: チューリング完全や計算可能性など計算理論の成果を知っている。[理工]
• E2. タスクの相互関係を把握したり(必要なら並行性を含む)段 取りを組み立て実施する技能。(汎用:創造性)、(汎用:論理)、(汎用:問題解決)
  • L1: 特定のタスクについてその範囲内と範囲外を区分できる。(高必)
  • L2: 特定のタスクを複数のタスクに分解して示すことができる。(高必)
  • L3: タスク群の構造を把握しクリティカルパスを考えて実行計画を立てられる。(高選)
  • L4: スケジューリング・並行計算等の知見を問題に適用できる。[生農][社経][理工]
• E3. アルゴリズム的な考え方を取り扱い、問題に対するアルゴ リズムを構築する技能。(知識:機械情報)、(汎用:論理)、(汎用:問題解決)
  • L1: 具体的な動作例からその動作を一般化したアルゴリズムを記述できる。(高必)
  • L2: 読解したプログラムコードからそのアルゴリズムを抽出・記述できる。(高必)
  • L3: 未知の問題に対してそれを解くアルゴリズムを検討・考案できる。(高必)
  • L4: 計算量を考慮しつつ必要なアルゴリズムを考案/改良できる。(大情)
• 高校 --- E1L1、E1L2、E3L1、E3L2については、情報科の必履修科目 の中で、アルゴリズムとプログラムに関する内容の中核部分として座学 と演習を組み合わせて学ぶことが考えられる。 E2L1、E2L2、E3L3については、情報科の必履修科目の中で、基本的な問 題解決の内容と関連させて取り扱い、問題の分析や解法の検討のために 実際に使ってみることが考えられる。 E2L3については、情報科の選択科目の中で、情報システム的な問題解決 と組み合わせて学ぶことが考えられる。
• 大学一般 --- E1L3については、一般教育の中でアルゴリズム・プロ グラミングを扱う科目において、トピック的に取り上げることが考えら れる。 E3L4については、上記科目において演習として取り組むことが考えられる。
• 大学専門 --- E1L4については、[理工]の専門科目あるいは専門基礎科目 として扱う内容であるが、他の専門分野の学生もこれらの科目を受講す ることが望まれる。 E2L4については、[生農]では生命系、[社経]では社会系、[理工]では理工系の各分野を 題材としたタスクの並行性をそれぞれ扱う科目があるべきである。