シラバス参照
シラバス参照
| 科目一覧へ戻る | 2026/03/11 現在 |
| 科目名／Subject | 現代情報システム特論／Advanced Information Systems |
|---|---|
| 担当教員（所属）／Instructor | 三浦 克宜 (商学部) |
| 授業科目区分／Category | 現代商学専攻博士後期課程 企業情報戦略教育研究分野 |
| 開講学期／Semester | 2026年度／Academic Year 前期／Spring Semester |
| 開講曜限／Class period | 月/Mon 3 |
| 対象所属／Eligible Faculty | 商学研究科現代商学専攻博士後期課程／Graduate School of CommerceGraduate School of Commerce Major in Modern Commerce |
| 配当年次／Years | 2年 , 3年 |
| 単位数／Credits | 2 |
| 研究室番号／Office | |
| オフィスアワー／Office hours |
| 更新日／Date of renewal | 2026/02/18 | ||
|---|---|---|---|
| 授業の目的・方法 ／Course Objectives and method |
現代の情報システムは，高度かつ知的な情報処理（画像解析や回帰分析など）を人間の代わりに行い，我々の社会生活やビジネス活動を支えている．そのため，情報システムの動作が「安全である」や「適切である」を保証することは極めて重要であり，システム開発手法の発展においても重要である．以上の観点から，本授業では，システム仕様に関する情報システムの正しさを数学的に保証する理論的基礎について学習する．また，ここで扱う仕組みを深く理解するために，講義形式に加えて，演習形式（プログラミング）を併用する． | ||
| 達成目標 ／Course Goals |
本授業により得られる知識や技術は以下の通りである． 1. 情報システムの要素であるプログラムの正しさを数学的に説明できる 2. 正しさを理解する上で，数学的仕様記述や宣言的意味の等価性が重要であることを知る 3. 正しさを追求するプログラム合成の理論的基礎を習得する |
||
| 授業内容 ／Course contents |
本授業は全15回からなり，話題ごとにレポート課題を出題する．予習・復習については必要に応じて適宜指示する． 第1週：本授業の概要 =必要な基礎知識と最終目標を知る= 第2−4週：宣言的意味の等価性に基づく問題解決手法 =等価変換理論の基礎を学ぶ= 第5−8週：等価性を保証するための証明手法 =論理等価式の基礎を学ぶ= 第9−13週：例題を基にその理論の重要性を考察する 第14週：今後のシステム開発手法のあり方を考察する 第15週：本授業のまとめ |
||
| 事前学修・事後学修 ／Preparation and review class |
基礎知識（用語）や技術をより深く理解するために，事前学修としては情報系の書籍やウェブ記事などを読むように心がけること．計算モデル，形式的意味，人工知能，機械学習，論理プログラミングなどをキーワードとして参考書籍を探す．例えば，以下の書籍が挙げられる． 1. プログラミング言語の形式的意味論入門, G.ウィンスケル, ISBN-10：461307630 2. プログラム意味論の基礎, 小林直樹ほか, ISBN-10：4781914837 3. 形式意味論入門, 田中拓郎, ISBN-10：4758918228 4. 数理議論学, 若木利子ほか, ISBN-10：4501555505 5. 計算理論と人間の思考 推論AIへの理論的アプローチ, ロバート・コワルスキ, ISBN-10：4909240063 6. 論理プログラミングの基礎, J.W.ロイド, ISBN-10：4782850034 そして，事後学修としては授業資料や参考書籍などに目を通すように心がけること． |
||
| 使用教材 ／Teaching materials |
授業資料はウェブサイト経由で配布する．参考書籍などは必要に応じて適宜指示する． | ||
| 成績評価の方法 ／Grading |
下記の評価要素とウェイトを基に総合的に理解度を評価する． 授業への参加度（事例紹介，討論）：20% レポート課題の提出状況：40% 最終的な理解度（議論形式）：40% |
||
| 成績評価の基準 ／Grading Criteria |
社会情報コース標準成績評価基準に従う． | ||
| 履修上の注意事項 ／Remarks |
1. 受講希望者は，第1週の授業開始の【7日前の正午】までにEメールで連絡すること． ※ k-miura (AT) res.otaru-uc.ac.jp (AT)を＠に置き換える 2. 本授業は，講義形式と演習形式の併用で行う． |
||
| 実務経験者による授業 ／Courses conducted by the ones with practical experiences |
該当しない／No | ||
| 授業実施方法 ／Method of class |
○大学院授業／Graduate school class | ||
| 遠隔授業 ／Online class |
|