システム数理特論

Advanced Systems Science

998F74A

86DMDTC504

柴　直樹

Naoki SHIBA

2026年度後期

2026年度

②Second semester

金曜2限

Friday 2

経営学研究科　経営学専攻

Department of Management, Graduate School of Management

2.0単位

講義

Lecture

-

① [対面]対面授業/ [On-site] On-site class

システム数理とは、「システム」の特性に着目した「問題認識のための枠組」のことである。それは、対象を要素に細分化して見るという従来の科学的方法では十分に理解できない「システム」というものを、総合的な視野から見るための視点を提供してくれるものである。

Systems Science is the framework for problem-solving which is focusing on the system's property of "systems". It gives us the wholistic point of view for ”systems", which we are not able to understand with the traditional scientific method of reductionism.

システムを数理的に語るための基本的な言葉である「論理・集合」、システムの代表的なモデルである「オートマトン」などを体系的に学ぶ。経営学研究科ディプロマポリシーの特に『1-(1)「経営学分野」及び「経営科学分野」についての高度な専門知識』と『1-(2)「経営学分野」及び「経営科学分野」における研究能力』、および東京理科⼤学「専⾨教育の⽬標」のうちの「専門知識を活用して各分野における課題を論理的・批判的に思考する能力」を実現する学習の一環である。

This course covers from the basic language for information systems, "logic and set theory" to typical model for information systems, "automata".  This course is primarily aimed at achieving the diploma policy of the Department 1-(1) and 1-(2) and the objective #1 of specialized education for specialized courses.

システム的な思考の基本と、その社会システムの応用について理解する。

To understand the basics of systems thinking and its application to social systems

講義内容の理解を確実にするため，適宜，演習・小テストを実施する．演習・小テストは採点後返却する場合がある。

Some exercise and mini-test will be conducted in order to consolidate students' understanding. Some of exercise and mini-test will be returned after grading.

課題に対する作文　Essay／小テストの実施　Quiz type test／ディベート・ディスカッション　Debate/Discussion／プレゼンテーション　Presentation／-

-

週当たり4時間の準備学習‧復習を必要とする。
準備学習としては、前回の講義で指示された準備を済ませておくとよい。復習としては、講義内容を復習しておくとよい。

This course requires four hours of preparation and review study each week.
Preperation: Finish the assignment given at the last class.  Review: Review the course content and materials.

演習・小テスト（40％）とレポート（60％）

Exercises and mini-test(40%), assignments(60%)

・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している
・B：到達目標を達成している
・C：到達目標を最低限達成している
・D：到達目標を達成していない
・-：学修成果の評価を判断する要件を欠格している

・S：Achieved outcomes, excellent result
・A：Achieved outcomes, good result
・B：Achieved outcomes
・C：Minimally achieved outcomes
・D：Did not achieve outcomes
・-：Failed to meet even the minimal requirements for evaluation

N

-

教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
​https://gomykits.kinokuniya.co.jp/tokyorika/​​​

It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store).
​​https://gomykits.kinokuniya.co.jp/tokyorika/

高原 康彦ほか 、『形式手法：モデル理論アプローチ』、日科技連出版社、2007、ISBN: 978-4817192455

１．ガイダンス：授業のねらい、進め方、評価方法について
２．論理的に考える（1）　命題
３．論理的に考える（2）　複合命題
４．論理的に考える（3）　述語
５．論理的に考える（4）　複数の変数を持つ述語
６．集合で記述する（1）　集合の表現とその記法
７．集合で記述する（2）　集合の演算
８．集合で記述する（3）　関係
９．集合で記述する（4）　同値関係と順序関係
１０．集合で記述する（5）　関数
１１．オートマトンでモデル化する（1）　オートマトンとは
１２．オートマトンでモデル化する（2）　オートマトンの定義
１３．オートマトンでモデル化する（3）　オートマトンの例
１４．オートマトンでモデル化する（4）　モデル化の実際
１５．講義のまとめ

1st: Guidance: Aim of the course agenda grading scheme
2nd: Logical thinking (1): Propositional logic
3rd: Logical thinking (2): Complex propositions
4th: Logical thinking (3): Predicate logic
5th: Logical thinking (4): Predicate with multiple variables
6th: Set theory (1): Set expressions and notations
7th: Set theory (2): Set operations
8th: Set theory (3): Relations
9th: Set theory (4): Equivalence relations and order relations
10th: Set theory (5): Functions
11th: Modeling with automata (1): What are automata?
12th: Modeling with automata (2): Definition of automata
13th: Modeling with automata (3): Examples of automata
14th: Modeling with automata (4): Practical modeling with automata
15th: Course summary

※本授業は全回対面で実施する。すべての回に対⾯で出席すること。
※授業計画については、状況に応じて⼀部変更する場合がある。

* This course is taught face-to-face.  Students must attend all classes face-to-face.
* Depending on the situation, the plan may be subject to change.

-

-

-

Y

N