開講学期 Course Start	2009年度 前期
授業区分 Regular or Intensive	週間授業
対象学科 Department	数理システム工学専攻
対象学年 Year	1
必修・選択 Mondatory or Elective	選択
授業方法 Lecture or Seminar	講義
授業科目名 Course Title	計算機リテラシー演習
単位数 Number of Credits	1
担当教員 Lecturer	森田英章、長谷川雄之、高坂良史、��橋雅朋
教員室番号 Office	Ｑ４１０（森田）、Ｑ４１３（長谷川）、Ｑ４０１（高坂）、Ｑ４０３（高橋）
連絡先(Tel) Telephone	（緊急連絡はE-mailを利用のこと。）
連絡先(E-mail) E-mail	森田：morita@mmm.muroran-it.ac.jp 長谷川：yuｊi＠mmm．muroran‐it．ac．ｊｐ 高坂：kohsaka@mmm.muroran-it.ac.jp 高橋：masatomo@mmm.muroran-it.ac.jp
オフィスアワー Office Hour	２００９年度前期： 　森田：水曜１６：３０〜１８：００ 　長谷川：水曜１６：１５〜１７：４５ 　高坂：金曜１６：３０〜１８：００ 　高橋：水曜１４：３５〜１６：０５
授業のねらい Learning Objectives	数理システム工学専攻で必要な計算機リテラシーである数式処理やシミュレーションの演習を行う。 前半ではグレブナー基底を題材とする。 また後半では、対称群の表現論における最近の結果にふれる。単純な例を用いて計算機を援用し、その問題の発見と解決のプロセスを眺め、工学における問題処理能力向上への一助とする。 In this course, the students learn how to study mathematical science by making use of computer.
到達度目標 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