名古屋大学 大学院多元数理科学研究科・理学部数理学科
住所: 〒464-8602 愛知県名古屋市千種区不老町

教育・就職 - 2024年度 - 少人数クラスシラバス - J. ガリグ

  • WELCOME
  • 行事予定
  • 交通案内
  • 進学案内
  • 教育・就職
  • 研究情報
  • 人々
  • ジャーナル
  • 名古屋大学 理学図書室
  • 採用情報
  • 社会連携
  • 名古屋大学数理科学同窓会
  • アーカイブ
  • リンク

ファイル更新日:2024年03月06日

教育・就職

少人数クラスシラバス


J. ガリグ

学部・大学院区分
Undergraduate / Graduate
多・博前
時間割コード
Registration Code
科目区分
Course Category
B類(講究) C類(実習)/Category B Category C
科目名【日本語】
Course Title
数理解析・計算機数学講究1
数理解析・計算機数学講究2
数理解析・計算機数学講究3
数理解析・計算機数学講究4
数理解析・計算機数学実習1
数理解析・計算機数学実習2
数理解析・計算機数学実習3
数理解析・計算機数学実習4
科目名【英語】
Course Title
Seminar on Computational Mathmatics and Computer Science 1
Seminar on Computational Mathmatics and Computer Science 2
Seminar on Computational Mathmatics and Computer Science 3
Seminar on Computational Mathmatics and Computer Science 4
Practical Class on Computational Mathmatics and Computer Science 1
Practical Class on Computational Mathmatics and Computer Science 2
Practical Class on Computational Mathmatics and Computer Science 3
Practical Class on Computational Mathmatics and Computer Science 4
コースナンバリングコード
Course Numbering Code
担当教員【日本語】
Instructor
ジャック ガリグ
担当教員【英語】
Instructor
Jacques Garrigue
単位数
Credit
B類4単位 C類1単位
開講期・開講時間帯
Term / Day / Period
授業形態
Course style
セミナー
学科・専攻
Department / Program
多元数理科学研究科
必修・選択
Compulsory / Selected
選択必修
授業の目的【日本語】
Goals of the Course(JPN)
コンピューターサイエンスは言葉どおりに読むと,計算の研究である.
計算を理論的に扱うためには,そのモデル化が重要である.
この少人数クラスでは,コンピューターで行う計算の様々なモデル化とその論理との関係を追求する.
授業の目的【英語】
Goals of the Course
Computer science is the science of computation.
To handle computation from a logical perspective, one needs to provide a model for it.
In this seminar we explore different models of computation and their relation to logic.
到達目標【日本語】
Objectives of the Course(JPN)
以下を目標としている
・計算論の基礎を理解する
・ある言語から別の言語へのコンパイラの概念を理解する
・プログラミング言語や論理体系において構造的帰納法をマスターする
到達目標【英語】
Objectives of the Course
This course has the following goals
* Understand the basics of computation theory
* Understand the concept of compilation between languages
* Master the use of structural induction in proofs of programming languages and logic
授業の内容や構成
Course Content / Plan
このセミナーは輪講形式で運用される.ますは{Jones]を読み,計算可能性が計算モデルに依らないことを学び,その後,学生の興味に合わせてλ計算か論理の本や論文に進む.
履修条件
Course Prerequisites
希望提出前に担当教員と連絡をとること.
The students should communicate with the instructor before application.
使用言語は応相談.
Language will be decided after a discussion with the students.
関連する科目
Related Courses
数理解析・計算機数学概論II(春学期,数理科学科では数理解析・計算機数学II).
Introduction to Computational Mathematics and Computer Science II (Spring semester)
成績評価の方法と基準
Course Evaluation Method and Criteria
到達目標に対して評価を行う.基本概念が説明できることを重視する.
Evaluation is according to the goals. Being able to explain the basic concepts is particulary important.
教科書・テキスト
Textbook
後日相談の上決める.とりあえず,以下のものから考えている.
Will be decided after a discussion with the students. Here are some possibilities.
{Jones] Neil D. Jones, Computability and complexity from a programming perspective, MIT Press, 1995.
[Huet] Gérard Huet, Deduction and computation, in Advanced Course: Fundamentals of Artificial Intelligence, Springer LNCS 232, 1986.
参考書
Reference Book
セミナー中に紹介する.
Will be introduced in the seminar.
課外学習等 (授業時間外学習の指示)
Study Load(Self-directed Learning Outside Course Hours)
発表メモを作りながら,しっかり準備する必要がある
It is necessary to prepare each presentation thoroughly
注意事項
Notice for Students
質問への対応方法
How to Ask Questions
メールで連絡を取ること.必要に応じてオンラインか対面で相談する.
Contact the professor by mail. If necessary a meeting will be organised.
他学科聴講の可否
Propriety of Other department student’s attendance
他学科聴講の条件
Conditions for Other department student’s attendance
要相談
レベル
Level
2
キーワード
Keyword
計算論・論理学・λ計算
履修の際のアドバイス
Advice
授業開講形態等
Lecture format, etc.
遠隔授業(オンデマンド型)で行う場合の追加措置
Additional measures for remote class (on-demand class)
オンデマンド型は考えていないが,オンラインの場合,発表者が発表メモを作り,公開する必要がある