開講学期 Course Start	2012年度 前期
授業区分 Regular or Intensive	週間授業
対象学科 Department	数理システム工学専攻
対象学年 Year	1
必修・選択 Mandatory or Elective	選択
授業方法 Lecture or Seminar	講義・演習
授業科目名 Course Title	計算機リテラシー演習
単位数 Number of Credits	1
担当教員 Lecturer	高坂良史、高橋雅朋、長谷川雄之、森田英章
教員室番号 Office	Q401（高坂）、Q403（高橋）、Q413（長谷川）、Q410（森田）
連絡先(Tel) Telephone	（緊急連絡はE-mailを利用のこと。）
連絡先(E-mail) E-mail	高坂：kohsaka＠mmm.muroran-it.ac.jp 高橋：masatomo＠mmm.muroran-it.ac.jp 長谷川：yuｊi＠mmm．muroran‐it．ac．jp 森田：morita＠mmm.muroran-it.ac.jp
オフィスアワー Office Hour	2012年度前期： 長谷川：火曜日16:15〜17:45 高橋　 ：月曜日16:15〜17:45
授業のねらい Learning Objectives	前半では、数式処理システムやＣ言語の基礎を学び、それらを数学の研究・応用上の手段にすることができることを目標とする。 後半では、数理システム工学専攻で必要な集合と写像および論理に関する基本的な言語を学び、それを運用できるようになることを目標とする。
到達度目標 Outcomes Measured By:	●数式処理システムやＣ言語の基礎を学び、それらを数学の研究・応用上の手段にすることができる。 ●集合・写像・同値関係に関する基本的な言語を学び、それを運用することができる。
授業計画 Course Schedule	１週目　ガイダンス （前半） ７週にわたり次の内容をそれぞれ２〜３回かけて演習する。 （１）Ｍａｔｈｅｍａｔｉｃａ等の数式処理システムを使った計算 （２）Ｋｎｏｐｐｉｘ／Ｍａｔｈ （３）Ｃ言語を使った計算 （後半） ７週にわたり数理的な思考の根底を支える集合と写像および論理に関する基本的な言語の運用方法を学ぶ。 （１）集合に関する基本的な言語とその運用法 （２）写像に関する基本的な言語とその運用法 （３）同値関係に関する基本的な言語とその運用法 これらの話題をそれぞれ２〜３回かけて講義する。
教科書 Required Text	開講時に受講者が読むべき教材を指示する。
参考書 Required Materials	必要であれば適宜指示する。
教科書・参考書に関する備考	適宜資料を配布する。必要に応じて参考書を紹介する。
成績評価方法 Grading Guidelines	各教員が課すレポートによって、それぞれ１００点満点で評価する。 成績は各教員の評価の平均（小数点以下は繰り上げ）で与え、６０点以上を合格とする。
履修上の注意 Please Note	数理システム工学専攻の学生に限る。
教員メッセージ Message from Lecturer	自ら進んで勉強をしてください。
学習・教育目標との対応 Learning and Educational Policy	この講義の単位取得は、本専攻の学習・教育目標 (1)　数学に関する高度な専門知識、工学分野の基礎的素養、 　　　及び特定の分野に偏らない分野横断的な思考の修得 (2)　数学の幅広い素養と数学を基にした数式処理・数値実験等の専門的知識の修得 (3)　数理科学の２つのふへんせい（普遍性、不変性）の重要性を理解し、物事を統一的な視点から眺め、 　　　処理する能力の修得 (4)　数学的知識と数理的思考により専門知識を活用・応用し、 　　　学際的な諸問題の解決と新技術の創生に貢献できる能力の修得、 に対応している。
関連科目 Associated Courses	計算機リテラシー特論
備考 Remarks	疑問や質問があれば研究室に来て下さい。オフィスアワー以外にも在室時には対応します。