学部・大学院区分
Undergraduate / Graduate
情報学部
時間割コード
Registration Code
1001310
科目区分
Course Category
専門科目(自然情報)
関連専門科目(人社,CS)
科目名 【日本語】
Course Title
数理情報学演習9
科目名 【英語】
Course Title
Mathematical Informatics Exercise 9
コースナンバリングコード
Course Numbering Code
SIS-11-3031-J
担当教員 【日本語】
Instructor
BUSCEMI Francesco ○ 大舘 陽太 西村 治道 木原 貴行 吉信 康夫 佐藤 潤也 柳浦 睦憲 加藤 晃太郎 小野 廣隆
担当教員 【英語】
Instructor
BUSCEMI Francesco ○ OTACHI Yota NISHIMURA Harumichi KIHARA Takayuki YOSHINOBU Yasuo SATOH Junya YAGIURA Mutsunori KATO Kohtaro ONO Hirotaka
単位数
Credits
1
開講期・開講時間帯
Term / Day / Period
秋集中 その他 その他
Intensive(Fall) Other Other
対象学年
Year
4年
4
授業形態
Course style
演習
Seminar
開講系(学部)・開講専攻(大学院)
Subject
自然・数理情報
必修・選択
Required / Selected
選択


授業の目的 【日本語】
Goals of the Course(JPN)
本演習では,実践的な演習を通して数理情報学における論文作成に必要な基本的事項を学ぶ。より具体的には,TeXなどの組版処理ソフトを用いて数式を含む文書を作成する技術を習得すると同時に,数理情報学の論文における適切な語彙や表現の選択,正しい文献引用や参照のあり方など,基本的な論文作成の作法について学ぶ。
授業の目的 【英語】
Goals of the Course
The purpose of this class is to acquire basic practical skills to prepare research documents.
For example, students are expected to learn how to use TeX. The proper way of preparing bibliographies and quoting other researcher’s work will also be taught.
到達目標 【日本語】
Objectives of the Course(JPN)
この授業では計算に関連する話題に関する実践的な演習を通して,数理情報学における研究を進めるための基礎力を付けるとともに,論文作成に必要な基礎力を養うことを中心に,研究成果を発表するために必要となる技術を身につけその応用力を修得することを目的とする。
到達目標 【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
論文作成に欠かせないツールであるLaTeXは,動的計画法に基づく計算理論に基づいて設計されており,これを題材として取り上げることで,計算の原理と応用,および論文作成技術の両面を学ぶ。また,計算に関連する文献をもとに発表やディスカッションを行うことで計算論に関する理解を深めるとともに,研究成果の発表に必要な技術について学び,演習を通して理解を深める。

1. ガイダンス
2. 計算の概念と計算量
3. LaTeXの基礎
4. 動的計画法の基礎
5. 動的計画法による最適レイアウト計算
6. LaTeXの計算原理と計算量
7. 文書作成における計算論の応用
8. まとめと
履修条件・関連する科目
Course Prerequisites and Related Courses
成績評価の方法と基準
Course Evaluation Method and Criteria
担当する教員が初回の授業で伝える。
教科書・参考書
Textbook/Reference book
担当する教員が初回の授業で伝える。
課外学習等(授業時間外学習の指示)
Study Load(Self-directed Learning Outside Course Hours)
担当する教員が初回の授業で伝える。
授業開講形態等
Lecture format, etc.
遠隔授業(オンデマンド型)で行う場合の追加措置
Additional measures for remote class (on-demand class)