山梨大学電子シラバス>検索結果一覧>授業データ



授業科目名
担当教員
情報数学
宮本  泉
時間割番号
単位数
コース
履修年次
期別
曜日
時限
253123 2 F 2 後期 IV
[概要]
プログラムを実行したときに、どれくらいの時間を必要とするかというのが時間的計算量で、どれくらいメモリーを必要とするかが空間的計算量です。このように計算量の理論はアルゴリズムの効率を調べる基本的な理論です。本講義では時間的計算量について紹介します。誰もが情報ネットワークを使って様々な社会活動を行っている現代では、手軽な方法で安全に情報を送ることが必要です。それに答えたのが公開鍵暗号です。公開鍵暗号系は、計算量の理論に基いて安全性が保証されています。また、代数学を応用したアルゴリズムでもあり、関連する理論の基礎も紹介します。実例の紹介を中心に進めて、計算をすることができるようにすることを目標にします。また、そこで使われている数学の体系の基礎的部分を理解することで、基礎学力を豊かにします。
[具体的な達成目標]
 (1) 関数のオーダーを求める.<BR> (2) 漸化式から関数のオーダーを求める.<BR> (3) 多項式時間と非多項式時間計算量の例の学習.<BR> (4) 合同式の計算.<BR> (5) 公開鍵暗号に必要となる整数計算の知識とアルゴリズム.<BR> (6) 公開鍵暗号の計算法
[必要知識・準備]
情報数学基礎、アルゴリズムとデータ構造、線形代数学。必要な知識は復習でも補う。
[評価方法・評価基準]
No評価項目割合評価の観点
1試験:定期試験 80  %達成目標がどの程度学習できているか。 
2小テスト/レポート課題 20  %十分に考えたレポートを提出しているか。 
[教科書]
(未登録)
[参考書]
  1. 暗号 ネットワーク社会の安全を守る鍵, 共立出版, ISBN:4320016483
  2. コンピュータサイエンスのための 離散数学, サイエンス社, ISBN:4781906435
  3. オートマトン 言語理論 計算論 2, サイエンス社, ISBN:4781910270
  4. Discrete Mastematics, Oxford University Press, ISBN:0198507178
[講義項目]
  1.計算量の理論入門<BR>  2.関数の漸近的性質<BR>  3.分割統治法<BR>  4.多項式時間と非多項式時間計算量<BR>  5.暗号の紹介<BR>  6.整数の性質,合同式<BR>  7.公開鍵暗号、RSA暗号<BR>  8.エルガマル暗号,楕円曲線暗号<BR>  9.ディジタル署名<BR> 10.素因数分解と離散対数問題<BR> 11.代数系、群、環、体<BR> 12.有限体と多項式<BR> 13.関連するアルゴリズムの補足(1)<BR> 14.関連するアルゴリズムの補足(2)とまとめ
[教育方法]
黒板に書きながら説明して講義を進める。受講者が手を動かしてノートをとることにより集中力を養えるようにしている。授業中に簡単な質問に答えさせる,黒板に計算を書かせるなどで,学生とのコミュニケーションと授業中の気分転換を図りつつ、予備知識の確認をしている.
[JABEEプログラムの学習・教育目標との対応]
教育目標(A)暗号,電子署名などが情報通信においてどのように必要になるかを通して,情報処理技術者が社会に与える影響について学習する.<BR>教育目標(B)ソーティングアルゴリズムを解析するための木構造,代数的暗号系を理解するための数学的構造などについて学習し理解して,基本的な計算処理を習得する.<BR>教育目標(C)計算量の最良限界を求めるため、公開鍵暗号を実現するためなどの場合に,問題を抽象化,モデル化して解決する例を学ぶ.<BR>教育目標(D)計算量の理論に基いて,より効率の良いソフトウェア作成方法について学習する.公開鍵暗号に関連する数学的アルゴリズムを習得する.
[その他]
(未登録)