大学院情報科学研究科
工学部・大学院工学研究院 ・大学院情報科学研究科
... インタラクティブコンピューティング HP アドレス： http://aiwww.main.ist.hokudai.ac.jp 何を目指しているのですか？ インターネットやマルチメディア、スマートフォン等の普及に伴い、特に個人向けのコ ンピュータは、インタラクティブな情報収集・情報交換の手段として、日々新しい状況を 作りつつあります。また住宅や家電製品にもコンピュータが組み込まれ、私たちが特に意 ...
42
1 バイオメトリクスの研究動向とマイナンバー制度 東北大学大学院情報科学研究科伊藤康一 GSIS, Tohoku University
... そもそも各処理（顔検出，キーポイント検出，正規化，照 合など）が研究テーマになっている ディープラーニングにより，以前に比べて個人認証に使 えそうな技術になってきた ...
37
脳の自発揺らぎの数理科学 - その起源と神経情報処理における役割 - 寺前順之介 大阪大学大学院情報科学研究科 u.ac.jp
... (c) C.C.s between the output spike train and input spike trains at the 1st (red), 2nd (green) and 3rd (blue) strongest synapses on a neuron are plotted against the mean membrane potentia[r] ...
26
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... を通してその一端にふれるのがこのクラスの目的である。伝統的な 情報理論のテキストでは、シャノンの理論的なアイデアのみならず、コミュニケーションを達 成するための現実的なソリューションが記述されている。この本では、ベイジアンな立場、モ ンテカルロ法、変分法、クラスタリング手法、そしてニューラルネットワークなどによる情報 理論が展開されている。到達目標としては、これらのことばがどのようなことを意味している ...
48
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 3 年次も 4 年次も基礎論の講義がないので、その代わりに、この卒業研究で基礎論入門として、 モデル理論を自主的に学びます。 《内容》 一般の基礎論は普通の数学で扱う対象を扱わず、抽象的で入りやすくありません。しかしモデ ル理論は普通の数学にモデルを見つけれる論理がどうなっているか調べる学問です。意味が分 かりやすく、入りやすいのです。モデル理論を学ぶことで、さらに基礎論に進むのに役立ちま ...
16
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... を通してその一端にふれるのがこのクラスの目的である。伝統的な 情報理論のテキストでは、シャノンの理論的なアイデアのみならず、コミュニケーションを達 成するための現実的なソリューションが記述されている。この本では、ベイジアンな立場から、 モンテカルロ法、変分法、クラスタリング手法、そしてニューラルネットワークなどによる情 報理論が展開されている。到達目標としては、これらのことばがどのようなことを意味してい ...
49
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名： 齊藤 博 （さいとう ひろし） 2) 卒業研究のテーマ： 代数幾何 3) 目的：代数幾何は、代数多様体と呼ばれる、いくつかの多項式の零点として定義された図 形を研究する分野です。直線や円錐曲線はこの仲間ですが、サイクロイドなどはこの中に入 りません。研究方法としては、代数、幾何、解析を使います。この卒業研究では、主に幾何 ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 《内容》 ユークリッド空間の鏡映変換で生成された有限群を鏡映群といいます。鏡映群は有限群として は簡単な構造を持っていますが、幾何的な性質を反映する重要な群として深い研究がなされて 来ました。 鏡映群の典型的な例は、 n 次の対称群です。前期は、このような鏡映群の持つ性質 を詳しく調べ、鏡映群の分類を行うことを目標にします。次いで鏡映群の多項式環への作用を ...
17
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... パンルヴェ方程式の野海・山田による定式化について学ぶ . 《内容》 パンルヴェ方程式は 19 世紀末にパンルヴェにより導入された非線形微分方程式であるが , 20 世 紀後半に入りアフィンワイル群との関連が見出され , 現在でもそのさまざまな変種を含めて活 発に研究されている . このクラスでは 90 年代に導入された野海・山田による理論をその一人で ある野海の教科書にもとづいて学ぶとともに , ...
18
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 量子情報理論及びその周辺分野について基礎からスタートし，何らかの形で研究成果を挙げる ことができるレベルに到達することを目指す． 5. 実施方法： 量子情報理論には様々な方向性がある．年度の前半では，集まった学生と相談の上，学生の望 む方向性を踏まえて，主に下記の参考書の中から適切なものを選び，輪講形式で量子情報理論 ...
47
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 4. 目的・内容・到達目標： 微分方程式の数値解析をはじめとすると種々の数学的な問題のコンピュータシミュレーション は , 今日では多くの実用的な場面で利用されている . たとえば , 大気の動きをモデル化した微分 方程式を数値的に解くことによる数値予報と呼ばれる天気予測 , 量子力学にあらわれるシュレ ディンガー方程式を数値的にあつかう第一原理計算と呼ばれる手法による物質科学など , 実社 ...
47
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 目標、内容は、博士課程進学希望者（ D コース）とそうでない人（ M コース） 、 M1 の人と M2 の人、とによってさまざまに異なります。進学を目指す人は、修士論文で、小さなこと でよいからとにかく問題を見つけ、自分で結果を出し、論文としてまとめる、という作業 を体験することを最終目標とします。研究「現場」の習作体験です。苦しいかもしれませ ...
26
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名： 林 孝宏（はやし たかひろ） 2) 卒業研究のテーマ： リー環論 3）目的： リー環は、幾何学、数理物理学をはじめとして数理科学の様々な分野との関わり を持っている重要な代数系です。また、リー環論自体も大変豊富な内容を持っており、とり わけ複素単純リー環（リー群）の分類定理は、数理学科の４年間の締めくくりとしてふさわ ...
12
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 量子群と呼ばれるある具体的な非可換環とその表現論、とりわけ結晶基底の理論というも のについて学びます。量子群は、統計物理のある種の模型の研究中に発見された代数的構 造で、低次元位相幾何学、特殊関数論、作用素環、共形場理論など、数学、数理物理学の 様々な分野と密接な関連を持っています。量子群の表現論は、複素単純リー群（リー環）の 表現論と類似した部分も多いのですが、新しい内容もいくつか持っています。結晶基底の ...
46
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... シンプレティ ック多様体は、古典力学において粒子の運動する相空間として表われたの を始まりとして現代数学のいろいろな側面に顔を表すようになった。 しかし、シンプレ ティ ック多様体のトポロジーが組織的に研究され始めたのはこの数十年のことである。そ の典型的なものとしてグロモフの Psoudo holomorphic 曲線の理論と Floer コホモロジー ...
48
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教官名： 谷川 好男 2) 卒業研究のテーマ： ２次形式の数論 3）目的： まずは下に上げたテキスト ”フェルマーの系譜” を用いて（２次形式の）数論の歴 史をたどりながら如何にその内容が豊富になっていったかを学ぶ。この本は、各章が フェル マー , オイラー, ラグランジュ, ... となっており、それぞれの開拓者の苦労やアイデアが生き ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 複素解析にはコーシーの積分定理を始め、実解析にはない特有の美しさがある。そしてこ れは線形代数や微積分と並んで広範囲の応用をもつ数学の重要な基礎部門である。それに も関わらず、学部のレベルでは最近は複素解析のごく浅いところしか学習しない。このセ ミナーではそれを補う意味で、多様体論、群論、体論などの知識を全然必要としないごく 基礎的なレベルの複素解析をしっかり身に付けることを第一の目標とする。少し進むと測 ...
31
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 線形の方程式に対しては既に多くの整理された理論が存在し、入門書も数多くあります。そ れに対して、非線形方程式は工学など様々な分野に現れる興味深い研究対象であるにもかか わらず、理論的複雑さのため扱った入門書は少ないです。線形の楕円型、放物型、双曲型方 程式の代表的な性質とその研究のための関数解析的道具を学ぶだけでも多くの時間が必要で ...
12
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 1) 教員名：吉田 健一（よしだ けんいち） 2) 卒業研究のテーマ：可換環論入門 3）目的： 可換環論はそれ自身が研究対象の１つであるが , 代数幾何学, 代数的整数論, 組み合わせ論, あるいは表現論などと関連させて研究する際に , 「道具」として重要な働きをする理論であ る . この卒業研究では, 将来このような分野に進む可能性がある人を中心に, 可換環論の基礎 概念 ...
13
教務資料アーカイブ 名古屋大学大学院多元数理科学研究科・理学部数理学科
... 代数曲線や代数曲面のもつ様々な性質を , 具体例で現象として理解するとともに , 定理として一 般化される性質について , その証明を追うだけでなく , そこで使われる数学や論理的なつながり についても理解することを目標とします . また , 聴衆を前にして数学的に筋道の通った話がで き , 質問に対して的確に受け答えできるようになることも , この卒業研究の重要な目標になり ...
26