授業ホーム
  • 授業一覧から探す
    • 教養教育院
    • 文学部・人文学研究科
    • 文学研究科
    • 国際言語文化研究科
    • 教育学部・教育発達科学研究科
    • 法学部・法学研究科
    • 経済学部・経済学研究科
    • 情報学部/情報学研究科
    • 情報文化学部
    • 情報科学研究科
    • 理学部・理学研究科
    • 医学部・医学系研究科
    • 工学部・工学研究科
    • 農学部・生命農学研究科
    • 国際開発研究科
    • 多元数理科学研究科
    • 環境学研究科
    • 創薬科学研究科
    • 国際教育交流センター
    • 国際言語センター
    • G30 for everyone
    • 名古屋大学ラジオ公開講座
    • 退職記念講義アーカイブ
    • 退職記念講義2016
    • nuocwをフォローしましょう
    • 過去の特集ページ
    • 教員の方へ
    • NU OCW Podcast
      RSS を iTunes の "Podcast" にドラッグ&ドロップすると、ポッドキャストが登録されます。
      (iTunesは最新版をお使いください)
  1. ホーム >
  2. 情報科学研究科 >
  3. オートマトン・形式言語特論 >
  4. 授業ホーム
授業ホームシラバス講義資料

開講部局:情報科学研究科

酒井正彦 教授

オートマトン・形式言語特論

授業時間 2014年度前期金曜
対象者 情報科学研究科・計算機数理科学専攻 前期課程

2単位、週1回全15回

授業の内容

オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。

授業の工夫

  1. 学部等の講義によりオートマトン理論を習得済の学生を対象としており、それと対比させることで容易に理解できるようにした。また、オートマトン理論をあまりよく知らない学生でも理解しやすいような説明も加えるよう心がけた。
  2. オートマトンと論理の関係についても触れ、木オートマトン理論の成果を応用して得られる論理分野における結果にも言及した。
最終更新日:2014年08月29日
最終更新日の時点の講義内容で公開を行っております。
最新年度の講義と内容が異なる可能性がありますのでご注意ください。

ページトップへ

http://ocw.nagoya-u.jp/