名古屋⼤学 ⼤学院情報科学研究科 教授
年 1 18 つながる 製品のセキュリティ 講座 IoT 時代の新たな脅威に向けたセキュリティへの取り組み 組込みシステムセキュリティ講座演習 45 松原豊 名古屋 学 学院情報科学研究科 附属組込みシステム研究センター助教 Web:
... • セキュリティホール：ソフトウェア製品やウェブ アプリケーションなどにおけるセキュリティ上の 問題箇所 • ⼈為的なミス：個⼈情報やカード情報等が，適切 なアクセス制御のもとで管理されていない ...
59
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 2015 年度講義結果報告 前期：微分積分学Ｉ Ｃ：講義方法 演習については講義回数のうちの二回を割り当てた。演習は基礎概念の定着のための重要な手段 であると考えており、その趣旨に添って問題を選んだつもりである。また、試験問題の多くが演習 問題の類題であることを明言することで、学生に達成目標が具体的にわかるようにした。演習の 終了時には解答を配布し、演習の時間内に取り扱えなかった問題についての解説の代わりとした。 ...
333
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 多変数函数論の基礎を確立した「岡・カルタン理論」を最近のテキストに沿って複素関数 論を復習しながら速習し、技術的な細部にはあまりこだわらずにその精神を学んだ後、直 交射影の方法を用いた多様体上への一般化へと進む。特に最近の複素モース理論の展開を 把握し、研究課題の発見と取り組みにつとめる。これは小平、ヘルマンダーらによって開 かれた道であるが、非線形問題との関連にも配慮し、アインシュタイン・ケーラー計量に ...
26
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 線形の方程式に対しては既に多くの整理された理論が存在し、入門書も数多くあります。そ れに対して、非線形方程式は工学など様々な分野に現れる興味深い研究対象であるにもかか わらず、理論的複雑さのため扱った入門書は少ないです。線形の楕円型、放物型、双曲型方 程式の代表的な性質とその研究のための関数解析的道具を学ぶだけでも多くの時間が必要で ...
12
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 複素解析にはコーシーの積分定理を始め、実解析にはない特有の美しさがある。そしてこ れは線形代数や微積分と並んで広範囲の応用をもつ数学の重要な基礎部門である。それに も関わらず、学部のレベルでは最近は複素解析のごく浅いところしか学習しない。このセ ミナーではそれを補う意味で、多様体論、群論、体論などの知識を全然必要としないごく 基礎的なレベルの複素解析をしっかり身に付けることを第一の目標とする。少し進むと測 ...
31
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名：納谷 信（なやたに しん） 2) 卒業研究のテーマ：曲面から多様体へ 3）目的： 空間内の曲面については３年次の講義でも学んだと思うが、この卒業研究ではこれまでに 学んだ数学を幅広く用いて曲面をより深く理解することを目指す。前期の目標は、曲面のオ イラー数と曲率を結びつけるガウス・ボンネの公式をその証明とともに理解することとする。 ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名： 川村 友美 （かわむら ともみ） 2) 卒業研究のテーマ： 結び目理論 3) 目的：結び目理論は主にトポロジーの一分野として発展してきました。近頃はそれにとど まらず他分野との関係についての研究も進んでいます。この卒業研究ではトポロジーの立場 から結び目理論の基礎を学ぶことを目的とします。一般的なトポロジーの知識は前提とはし ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 離散群（可算無限個の元をもつ群）は、そのケーレーグラフとよばれるグラフ（同時に距離空 間でもある）を考えることにより、幾何学的図形あるいは離散解析の舞台と考えることができ ます。 この少人数クラスでは、このようにみた離散群を幾何解析的な手法によって研究することを念 頭において、その基礎になる幾何学的な考え方をリーマン幾何学などの学習を通じて身につけ ...
48
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 調和解析というのは、土台の構造やその背後にある対称性に着目して関数や作用素の性質を調 べる解析学の一分野です。フーリエ級数やフーリエ変換は、普通は可換な群上の調和解析とし て位置づけられ、それはそれで底なしに深い分野ですが、このクラスで学ぶのは、主として非 可換なコンパクト群上の調和解析の話になります。基本的には解析の話題ですけれども、代数 ...
49
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1. 教員名：糸 健太郎 ( いと けんたろう ) 2. テーマ：曲面のトポロジー入門 3. 目的・内容・到達目標： 参考書の [1] に挙げたフルトンの「代数的位相幾何学入門（上・下）」を輪講形式で読む．ここで は，ホモロジー，コホモロジー，被覆空間，基本群などの概念を，平面領域や曲面の具体例を 通して学ぶ．これらの概念は，今後，幾何学のどのような分野に進む場合にも欠かせないもの である．この本では議論を ...
16
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 目標、内容は、博士課程進学希望者（ D コース）とそうでない人（ M コース） 、 M1 の人と M2 の 人、とによってさまざまに異なります。進学を目指す人は、修士論文で、小さなこ とでよいからとにかく問題を見つけ、自分で結果を出 し、論文としてまとめる、という作 業を体験することを最終目標とします。研究「現場」の習作体験で す。苦しいかもしれま ...
46
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 2017 年度講義結果報告 春学期：数理科学展望 III ／数理科学展望 I The purpose of my part is to give an elementary proof of the duality in the ADHM construction in four dimensional Euclidean space, together with a brief introduction ...
160
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 4.1. 目的： 一変数保型形式の基礎を学び、幾何学、数論との関係を理解することである。保型形式 とは数理科学全般に現れる非常に対称性の高い、非常に特殊な関数である。これらは解析 的な存在であるが、実は代数的、幾何学的な対象（モチーフやガロア表現と呼ばれる）と 深い関係がある（非可換類体論と呼ばれ、フェルマーの最終定理の解決とも関係がある） 。 ...
32
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 楕円曲線の名前は楕円の弧ସのڐ算に表れる楕円積分に由来する。楕円積分は４次式の平方根 の積分で表せ、変数変換で３次式の平方根の積分でも表される。従って、４次式、または３次 式の平方根を新たな変数と置くと新たな変数の自乗と 4 次式または３次式が等しいという２変 数についての方程式が得られ、このグラフは曲線となる。このような曲線のことを楕円曲線と 呼ぶ。楕円積分はその積分の逆関数を考えると楕円関数になり複素関数論の発展の動機となり、 ...
18
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... ほとんどの学生が毎回出席していましたが、後半では 5 人ほどの欠席者が出たりしました。 Ｂ：コースデザインとの比較、引継事項 共通シラバスでは空間図形・行列・行列の基本変形と連立一次方程式・行列式について目標が掲 げられています．こちらの都合で順序を少し変え，行列の演算を先に教え，空間図形をその後に 教えました．それぞれのテーマについて全てのキーワードを扱い，多くの発展的内容も扱いまし ...
304
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... [CE] J. Cheeger and D. G. Ebin, Comparison Theorems in Riemannian Geometry, North- Holland, 1975. [K] 小島定吉、多角形の現代幾何学（増補版） 、牧野書店、 1999 。 [W] F. W. Warner, Fundations of Differentiable Manifolds and Lie Groups, ...
48
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 4）到達目標： 基本として、1 次元代数多様体としての代数曲線を定義し、その基本的な性質 について勉強し、最終目標はリーマンロッホの定理を理解することとしたい。さらに、代数 曲線の持つ性質や、他分野との関連についての話題も織り交ぜて、代数曲線を身近に感じる ことができたら、より楽しめると思われる。しかし上にも書いたように、受講者によって、 代数幾何学入門としての代数曲線論とするか、代数曲線で遊ぶというような内容にするか、 ...
12
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教官名： 橋本 光靖 2) 卒業研究のテーマ： 可換環論 3）目的： 可換環論とは可換環を調べることであるが、単に加法、減法、(可換な）乗法が備 わった代数系という見方だけでなく、代数幾何学に現れる幾何的対象の上の関数の集まりと いう見方によって進歩を遂げてきた。現代的な可換環論は代数幾何学、とりわけ特異点の理 ...
13
非破壊 迅速 低コスト に ips 細胞の状態を評価できる品質管理技術を開発 名古屋大学大学院創薬科学研究科 ( 研究科長 : 人見清隆 ) 基盤創薬学専攻創薬生物科学講座細胞分子情報学分野の加藤竜司 ( かとうりゅうじ ) 准教授 国立研究開発法人医薬基盤 健康 栄養研究所ヒト幹細胞応用開発室の古
... 【概要】 iPS 細胞をなどのヒト多能性幹細胞は、無限の増殖能と多分化能を有することから再生医療 や創薬研究等への実用化が期待されています。しかし、非常にデリケートな細胞であり、培養 と品質管理は、熟練した作業者の目利きにより行われており、多大な時間と大きな労力を必要 とします。 ...
5