三重大学ウェブシラバス


シラバス表示

 シラバスの詳細な内容を表示します。

→ シラバスの一覧にもどる

科目の基本情報

開講年度 2017 年度
開講区分 工学研究科(博士後期課程)システム工学専攻
受講対象学生 大学院(博士課程・博士後期課程) : 1年次
選択・必修
授業科目名 ソフトウェア科学演習
そふとうぇあかがくえんしゅう
Seminar in Software Science
単位数 2 単位
他学部・他研究科からの受講
市民開放授業 市民開放授業ではない
開講学期

通年

開講時間
開講場所

担当教員 山田俊行(工学研究科システム工学専攻)

YAMADA, Toshiyuki

学習の目的と方法

授業の概要 プログラムの解析や検証に必要な基礎理論を学び,受講者の研究に結び付いた問題に応用する.
学習の目的
学習の到達目標
ディプロマ・ポリシー
○ 学科・コース等の教育目標

○ 全学の教育目標
感じる力
  •  感性
  •  共感
  •  倫理観
  • ○モチベーション
  • ○主体的学習力
  •  心身の健康に対する意識
考える力
  •  幅広い教養
  • ○専門知識・技術
  • ○論理的思考力
  • ○課題探求力
  • ○問題解決力
  •  批判的思考力
コミュニケーション力
  • ○情報受発信力
  • ○討論・対話力
  •  指導力・協調性
  •  社会人としての態度
  •  実践外国語力
生きる力
  •  感じる力、考える力、コミュニケーション力を総合した力

授業の方法 演習

授業の特徴 能動的要素を加えた授業

教科書 受講者に合わせて選ぶ
参考書
成績評価方法と基準
オフィスアワー
受講要件 離散数学や数理論理学に習熟していること
予め履修が望ましい科目
発展科目
授業改善への工夫
その他

授業計画

キーワード
Key Word(s)
学習内容 プログラミング言語,言語処理系,ソフトウェア検証,定理自動証明などに関する文献を輪読し討論する.必要に応じて演習問題を解く.
学習課題(予習・復習)
ナンバリングコード(試行)

※最初の2文字は開講主体、続く4文字は分野、最後の数字は開講レベルを表します。 ナンバリングコード一覧表はこちら


Copyright (c) Mie University