2024年度学院等開講科目情報理工学院数理・計算科学系

計算機科学概論

開講元: 数理・計算科学系
担当教員: 叢悠悠 / 鹿島亮
授業形態: 講義/演習 (対面型)
メディア利用科目: -
曜日・時限 (講義室): 月7-8 (W8E-307(W833)) / 木5-8 (W8E-307(W833))
クラス: -
科目コード: MCS.T204
単位数: 210
開講時期: 2024年度
開講クォーター: 1Q
シラバス更新日: 2025年3月17日
使用言語: 日本語

シラバス

授業の目的（ねらい）、概要

この授業は、計算機科学講義、プログラミング講義、およびプログラミング演習からなる。計算機科学講義では、計算機の仕組みや計算の理論に関するトピックを扱う。プログラミング講義・演習では、Scala 言語によるプログラミングを通して、問題解決の手順を紹介する。最終回では、科学技術者倫理について議論する。この授業は数理・計算科学系でのすべての勉強・研究の出発点となるものである。

到達目標

計算機科学およびプログラミングの基本的な知識や技能を身に付ける。

キーワード

計算機科学，プログラミング，科学技術者倫理

学生が身につける力

専門力
教養力
コミュニケーション力
展開力 (探究力又は設定力)
展開力 (実践力又は解決力)

授業の進め方

講義と演習を行う。

授業計画・課題

	授業計画	課題
第1回	（計算機科学講義１）計算機の歴史・データの表現	授業時に指示する。
第2回	（プログラミング講義１）関数定義	授業時に指示する。
第3回	（プログラミング演習１）関数定義	授業時に指示する。
第4回	（計算機科学講義２）ブール代数と論理回路	授業時に指示する。
第5回	（プログラミング講義２）真偽値と代数的データ型	授業時に指示する。
第6回	（プログラミング演習２）真偽値と代数的データ型	授業時に指示する。
第7回	（計算機科学講義３）計算可能性・計算複雑さ	授業時に指示する。
第8回	（計算機科学講義４）プログラムの実行の仕組み	授業時に指示する。
第9回	（プログラミング講義３）複雑なデータ型	授業時に指示する。
第10回	（プログラミング演習３）複雑なデータ型	授業時に指示する。
第11回	（計算機科学講義５）ラムダ計算	授業時に指示する。
第12回	（プログラミング講義４）リスト・再帰・高階関数	授業時に指示する。
第13回	（プログラミング演習４）リスト・再帰・高階関数	授業時に指示する。
第14回	（計算機科学講義６）論理とプログラミング	授業時に指示する。
第15回	（プログラミング講義５）さまざまな再帰的データ型	授業時に指示する。
第16回	（プログラミング演習５）さまざまな再帰的データ型	授業時に指示する。
第17回	（計算機科学講義７）科学技術者倫理	授業時に指示する。
第18回	（プログラミング講義６）高度な再帰のパターン	授業時に指示する。
第19回	（プログラミング演習６）高度な再帰のパターン	授業時に指示する。
第20回	（プログラミング講義７）まとめ	授業時に指示する。
第21回	（プログラミング演習７）まとめ	授業時に指示する。

準備学修(事前学修・復習)等についての指示

学修効果を上げるため，教科書や配布資料等の該当箇所を参照し，「毎授業」授業内容に関する予習と復習（課題含む）をそれぞれ概ね100分を目安に行うこと。

教科書

特になし

参考書、講義資料等

M. Felleisen, R. Findler, M. Flatt, and S. Krishnamurthi. How to Design Programs, Second Edition. (https://htdp.org/)

成績評価の方法及び基準

講義中に行う筆記式のクイズ (30%) およびプログラミング演習の課題 (70%) の出来で評価する。
ただし、単位の取得にはクイズと演習課題の点数がともに60点以上であることが必要となる。

履修の条件・注意事項

この科目は数理・計算科学系の学生だけが履修できる。
情報リテラシ第一，第二 (LAS.I111, LAS.I112) を履修していること，または同等の知識があることを条件とする。