[GB21601 + GC50201] オートマトンと形式言語 (Automata and Formal Languages)
このページには,筑波大学情報学群 情報科学類および情報メディア創成学類
で開設している授業『オートマトンと形式言語』に関する情報を置きます。
- 担当教員:
亀山幸義
(電子メイル: automaton [at] logic.cs.tsukuba.ac.jp)
- 担当TA (ティーチングアシスタント):
祁 全羽 (電子メイル: qi [at] logic.cs.tsukuba.ac.jp)
- 重要情報:
授業の運営方法、
授業の目的
- シラバス:
情報科学類、
情報メディア創成学類
- 授業資料:
manabaシステム上のこの授業のページ
(TWINSで履修登録すると翌日から見られます。)
- 教科書
- 計算理論の基礎 [原著第2版] 1.オートマトンと言語, M. Sipser著、太田ら訳, 共立出版, 2008
- Microsoft Teams の利用について
この授業では,Microsoft Teams を使ってテレビ会議形式で質疑をおこないます.
また,manabaシステムが落ちたときには,manabaに置
く授業資料と同等のものを Microsoft Teamsにも置きます.
Microsoft Teamsは,(動画をみるために 皆さんが登録した) Office365のユー
ザIDとパスワードで使うことができます.ブラウザから使えるので,とくにソ
フトウェアのインストールは必要ありませんが,快適に使うためには,
Microsoft Teamsのデスクトップアプリをインストールするとよいでしょう.
- Microsoft Stream の利用について
この授業では,Microsoft Stream を使って動画(といっても実際には,スライドに音声解説をかぶせたもの)を配信します.
Microsoft Stream は,Office365のユーザIDとパスワードで使うことができま
.(user@u.tsukuba.ac.jp形式のアドレスで登録する必要があります.user@s.tsukuba.ac.jp形式のアドレスではだめです.)
亀山幸義 (kam[at]cs.tsukuba.ac.jp; ただし、この授業に関する連絡は
automaton [at] logic.cs.tsukuba.ac.jp あてに出してください。)