情報数理講究4 （鍋島）

Research in Information Mathematics 4

991J446

14MAAPM604

鍋島　克輔

Katsusuke Nabeshima

2026年度後期

2026年度

②Second semester

水曜2限

Wednesday, 2nd Period

理学研究科　応用数学専攻

Department of Applied Mathematics, Graduate School of Science

2.00単位

講義

Lecture

-

① [対面]対面授業/ [On-site] On-site class

計算機代数に関する，輪講形式による授業を行う．

Lectures on computer algebra, in turn.

本科目は本専攻のカリキュラム・ポリシーに定める専門科目の特論の一つであり，ディプロマ・ポリシーに定める「応用数学の分野において高度な専門的学識と研究能力を持つことで、論理的・批判的に思考し、専門分野及び関連分野の諸問題を能動的に解決することができる能力」を身につけること，具体的には，修士課程における研究において必要とされる基本的事項，とくに課題の発見および解決能力を身に付けることが目的である．

This lecture is one of the special lectures in the curriculum policy. The aim is to obtain "the ability to think logically and critically based on the high level of expertise, research skills and insight acquired in the department of applied mathematics and to solve problems in the field,  proactively" described in the diploma policy. More concretely, it is to acquire the basics in research in the master's program, especially to acquire the ability to find and solve problems.

計算機代数において，
(1) 代表的な問題の現状について説明できる，
(2) 新しい問題を見つけることができる．
(3) 新しい問題の解決法を提案できる．

In computer algebra, aiming to be able to
(1) explain the state of the art of typical problems,
(2) find new problems, and
(3) propose solutions to them.

なし

Nothing special

ディベート・ディスカッション　Debate/Discussion／プレゼンテーション　Presentation／反転授業　Flipped classroom

-

とくに定めない．
Not specified.

発表の状況，議論への参加の積極性から総合的に評価する．
To be evaluated in taking account of performance of presentations and positiveness of participation in discussion.

・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している
・B：到達目標を達成している
・C：到達目標を最低限達成している
・D：到達目標を達成していない
・-：学修成果の評価を判断する要件を欠格している

・S：Achieved outcomes, excellent result
・A：Achieved outcomes, good result
・B：Achieved outcomes
・C：Minimally achieved outcomes
・D：Did not achieve outcomes
・-：Failed to meet even the minimal requirements for evaluation

N

必要に応じて随時指示する．
Provide texts as needed.

教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
​https://gomykits.kinokuniya.co.jp/tokyorika/​​​

It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store).
​​https://gomykits.kinokuniya.co.jp/tokyorika/

必要に応じて随時指示する．
Provide texts as needed.

全授業（15回）のうち半数（8回）以上を対面で受講すること．

第1回：導入
第2回：論文選択(1)
第3回：論文の概要，先行研究，主結果の理解
第4回：主結果証明の準備
第5回：主結果の証明
第6回：新しい問題とその解決法についての議論
第7回：論文選択(2)
第8回：論文の概要，先行研究，主結果の理解
第9回：主結果証明の準備
第10回：主結果の証明
第11回：新しい問題とその解決法についての議論
第12回：論文選択(3)
第13回：論文の概要，先行研究，主結果の確認
第14回：主結果の証明
第15回：新しい問題とその解決法についての議論

Require all students to attend 50%-or-more-on-site classes.

1st: Introduction
2nd: Selecting the first paper (1)
3rd: Understanding the outline, previous work, and the main results
4th: Preparing to prove the main results
5th: The proofs of the main results
6th: Discussion of finding new problems and solutions to them.
7th: Selecting the second paper (2)
8th: Understanding the outline, previous work, and the main results
9th: Preparing to prove the main results
10th: The proofs of the main results
11th: Discussion of finding new problems and solutions to them.
12th: Selecting the third (3)
13th: Understanding the outline, previous work, and the main results
14th: The proofs of the main results
15th: Discussion of finding new problems and solutions to them.

-

Mathematica

Mathematica, SageMath　

N

N