ブログ

2013年11月の記事一覧

数学談話会(12月5日)

日時:2013年12月5日(木)15:30~17:00(15:00よりお茶の時間)
場所:自然系学系棟D509

講演者:松崎拓也 氏 (国立情報学研究所)
講演題目:計算機が数学試験問題を解く

概要:
国立情報学研究所を中心として進めている「ロボットは東大に入れるか」プロジェクトでは、
「人工知能」としてまとめられる諸技術に対する総合的ベンチマークとして、
様々な科目の大学入試問題を計算機で直接解くことに挑戦している。

本発表では、プロジェクトにおける数学試験問題に対する取り組みについて紹介する。
「数学問題を解く」とは何か、という問題定義から始め、自然言語で記述された問題を
論理式へ翻訳し、数式処理との接合により解を得るまでの流れについて述べる。

解析セミナー(12月4日)

日  時: 12月4日(水)16時00分~17時30分

講 演 者: Alexander Pushnitski 氏 (King's College London)

題  目: Inverse spectral problem for positive Hankel operators

【 場所 】 自然学系B棟 627教室

(開始時刻と場所が通常と異なりますので,ご注意ください.)

解析セミナー(11月27日)

日時:2013年11月27日(水)16:00~17:30
場所:自然系学系棟 D814
(開始時刻と場所がいつもとは異なりますのでご注意ください。)

講演者:伊藤悠 氏 (京都大学大学院 情報学研究科)
題目:Integrals along rough paths and Lyons' extension theorem via fractional calculus

秋B集中講義(11月26日~29日)

科目名:解析学特論Ⅰ (1単位)
科目番号:01BB076
講師:河備浩司 氏 (岡山大学理学部・大学院自然科学研究科)

日程:2013年11月26日(火) 14:00より
                    11月27日(水) 未定 (1回目の講義のときに決めます)
                    11月28日(木) 未定 (1回目の講義のときに決めます)                  
                    11月29日(金) 未定 (1回目の講義のときに決めます)
場所:自然系学系棟 D814

講義題目:Rough path 理論入門
講義概要:本講義では、近年の確率解析に新風をもたらしているrough path 理論の一端を紹介する。確率論の予備知識はなるべく仮定せずに、基礎となる考え方に重点を置いて以下のように講義を進めていく。
    (1) Rough path 理論とは? (制御型微分方程式からの序論)
    (2) Young 積分理論
    (3) Young 積分理論への代数的アプローチ
    (4) (Controlled) rough path 理論
    (5) Rough differential equation の概説
なお、出席者の予備知識によって、講義内容が若干変わる可能性もある。

TWINS 履修申請:11月14日までに申請すること
                                    
 世話人:梁松

 

代数セミナー (11月25日)

日時: 11月25日(14:00ー15:30)
場所: 自然系学系棟 D814

講演者 Chris Marks  (University of Alberta)

Title: The bounded denominator conjecture for vector-valued modular forms.

Abstract: In the first part of this talk, we will give a basic introduction
to the theory of modular forms, both scalar and vector-valued, which should
be sufficient background to understand what follows. In the second part of
the talk, we will discuss a conjecture regarding the Fourier coefficients
of vector-valued modular forms for noncongruence subgroups of the modular
group, including a brief discussion of how this conjecture connects to
rational conformal field theory in mathematical physics. We will conclude
the talk by explaining some results we have obtained in support of this
conjecture.