計算数学２Ｂ｜シラバス情報

科目授業名称（和文）　Name of the subject/class (in Japanese)

計算数学２Ｂ

科目授業名称（英文）　Name of the subject/class (in English)

Numerical Mathematics (2-B)

授業コード　Class code

992133D

科目番号　Course number

21ISCIP302

教員名

寺田　好秀

Instructor

TERADA, Yoshihide

開講年度学期

2026年度後期

Year

2026年度

Semester

②Second semester

曜日時限

木曜7限

Class hours

Thursday 7

開講学科・専攻　Department

理学部第二部　数学科

Department of Mathematics, Faculty of Science Division Ⅱ

単位数　Course credit

2.00単位

授業の方法　Teaching method

講義

Lecture

外国語のみの科目（使用言語）　Course in only foreign languages (languages)

-

授業の主な実施形態　Main class format

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

概要　Description

計算機理論の数学的基礎の１つにアルゴリズム理論がある。
本講義ではアルゴリズムの基礎から応用までを講義する。
アルゴリズム論は各論の部分と基礎の部分があるが、各論の部分は興味深い実例が豊富にあり、基礎の部分は今までの数学とは一風変わった趣きを呈している。
これにより又、一味違った数学の風景に接する事ができる。
また、演習も行う。

目的　Objectives

計算できるとはどういうことかについて学ぶ．

到達目標　Outcomes

計算可能・計算不可能であることについて理解できる．

卒業認定・学位授与の方針との関係（学部科目のみ）

リンク先の [評価項目と科目の対応一覧]から確認できます（学部対象）。
履修登録の際に参照ください。
You can check this from “Correspondence table between grading items and subjects” by following the link(for departments).
https://www.tus.ac.jp/fd/ict_tusrubric/

履修上の注意　Course notes prerequisites

C言語、BASIC言語等、何らかのプログラミング言語に接していること

アクティブ・ラーニング科目　Teaching type（Active Learning）

小テストの実施　Quiz type test／-

授業内又は次回までの形式で演習を行う．

準備学習・復習　Preparation and review

各回の講義内容と，それまでの講義内容について，一連の流れとして理解できるようにしておくこと．

成績評価方法　Performance grading policy

本授業の成績は、定期的に課す小レポート課題および期末レポート課題の結果を総合的に評価して決定する。小レポート課題では、各授業において実践的な課題に取り組み、パソコンアプリケーション（Word、Excel、PowerPoint など）を用いて作成・提出することを求める。期末レポート課題では、授業で学んだ理論的な知識とその応用力を評価する。

学修成果の評価　Evaluation of academic achievement

・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

教科書　Textbooks/Readings

教科書の使用有無（有=Y , 無=N）　Textbook used(Y for yes, N for no)

N

書誌情報　Bibliographic information

-

MyKiTSのURL（教科書販売サイト）　URL for MyKiTS(textbook sales site)

教科書および一部の参考書は、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/

参考書・その他資料　Reference and other materials

有川節夫，宮野悟
『オートマトンと計算可能性(情報処理シリーズ９)』培風館

授業計画　Class plan

01. ガイダンス
02. 形式文法と形式言語
03. 正規文法と有限オートマトン
04. 文脈自由文法とプッシュダウンオートマトン
05. 文脈依存文法と線形拘束オートマトン，句構造文法とチューリング機械
06. オートマトンと形式言語の関係まとめ，形式文法の標準形
07. 言語の階層構造，正規言語の性質
08. 文脈自由言語の性質
09. 文脈依存言語の性質，句構造言語の性質
10. 計算可能性，言語のクラスの閉包性
11. チューリング機械とコンピュータ
12. 決定問題
13. Post の対応問題，形式言語に関する決定問題
14. 補遺
15. まとめ

担当教員の実務経験とそれを活かした教育内容　Work experience of the instructor

-

教育用ソフトウェア　Educational software

-

備考　Remarks

進度や大学の授業日程に応じて授業計画の調整を行う場合がある．

授業でのBYOD PCの利用有無　Whether or not students may use BYOD PCs in class

N

授業での仮想PCの利用有無　Whether or not students may use a virtual PC in class

N