検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れて、検索してください。
情報システム解析研究１
| 科目名 | 情報システム解析研究１ | ||||
|---|---|---|---|---|---|
| 教員名 | 戸田 誠之助 | ||||
| 単位数 | 4 | 学年 | 4 | 開講区分 | 文理学部 |
| 科目群 | 情報科学科 | ||||
| 学期 | 前期 | 履修区分 | 必修 | ||
| 授業テーマ | ３年次に学習した内容を発展させる。広い意味での計算理論（計算可能性の理論，計算意味論，計算量理論，アルゴリズム論）や記号論理学から専門文献を選んで学習する。 |
|---|---|
| 授業のねらい・到達目標 | 数学的な議論や日常的な言語現象に関して公理化や形式化の方法論を理解する。 |
| 授業の方法 | 専門文献を丁寧に読み解いていく。レジメを作成しながら，文献内容を詳しく解説したレポートを作成していく。 |
| 履修条件 | 学科内規による。 |
| 授業計画 | |
|---|---|
| 1 | 学習内容の発表と講評（１） |
| 2 | 学習内容の発表と講評（２） |
| 3 | 学習内容の発表と講評（３） |
| 4 | 学習内容の発表と講評（４） |
| 5 | 学習内容の発表と講評（５） |
| 6 | 学習内容の発表と講評（６） |
| 7 | 学習内容の発表と講評（７） |
| 8 | 学習内容の発表と講評（８） |
| 9 | 学習内容の発表と講評（９） |
| 10 | 学習内容の発表と講評（10） |
| 11 | 学習内容の発表と講評（11） |
| 12 | 学習内容の発表と講評（12） |
| 13 | 学習内容の発表と講評（13） |
| 14 | 学習内容の発表と講評（14） |
| 15 | 学習内容の発表と講評（15） |
| その他 | |
|---|---|
| 教科書 | 学習用資料を学期当初に指示します。 |
| 成績評価の方法及び基準 | 平常点(100%) 専門文献に対する理解の度合いや進捗状況に応じて総合的に評価します。 |
| オフィスアワー | 質問は，時間が空いている限りいつでも受け付けます。 |
| 備考 | 対面による質問のみ受け付けます。対面による質疑応答もこの科目の重要な学習事項の一つです。 |