 セミナー情報
|
|
|
2011年 5月30日（月）〜6月3日（金）
|
|
| 5月30日(月) |
■整数論セミナー 13:30--15:00【会場：合同棟801】
講演者： 小原 まり子 氏 (東北大学大学院理学研究科)
題目： 有理楕円曲面の $ K_2 $
■解析月曜セミナー13:40-- 【会場：数学棟202】
講演者： 小薗 英雄 氏 (東北大学大学院理学研究科)
題目： Generalized Lax-Milgram theorem and its application to the mathematical
fluid mechanics
|
5月31日(火)
|
■幾何セミナー 15:00--16:30 【会場：数学棟208】
講演者： 塩谷 隆 氏（東北大学大学院理学研究科）
題目： Measure concentration and eigenvalues of Laplacian
|
| 6月2日(木) |
■応用数学セミナー 16:00--17:30 【会場：合同棟801】
講演者：中島 徹 氏 (静岡大学工学部)
題目： 調和写像の不安定性について
■代数セミナー 【会場：数学棟208】 ＊2講演あります。
(1)13:30--15:00
講演者： 山上 敦士 氏 （京都産業大学）
題目： On p-adic analytic families of eigenforms of infinite slope in the p-supersingular
case
(2)15:15--16:45
講演者： 河村 尚明 氏 （北海道大学）
題目： On certain constructions of p-adic families of Siegel modular forms and
their applications
【概要】
In this talk, we'd like to show you some approaches to construct some
$p$-adic families of Siegel modular forms (i.e. automorphic forms on the
symplectic group) of higher genus with scalar values by means of the lifting
techniques in the sense of Saito-Kurokawa, Duke-Imamoglu-Ikeda and Miyawaki-Ikeda
for the well-known families of ordinary elliptic modular forms. Moreover,
as a corollary to the above issues, we also extend the original Duke-Imamoglu-Ikeda
lifting to be applied for elliptic cusp forms of $p$-power level. |
6月3日(金)
|
■代数幾何学セミナー 13:30-- 【会場：数学棟208】
講演者： 千葉 優作氏（東京大学大学院数理科学研究科）
題目： トーリック多様体への小林双曲的埋め込みについて
■ロジックセミナー 【会場：合同棟1201】
(1)16:00--16:45
講演者： 彭 寧寧 氏（東北大学大学院理学研究科）
題目： The distributional query complexity of Game Trees
(2)16:45--17:30
講演者： Sam Sanders 氏（東北大学大学院・理学研究科，Ghent university (Department
of Mathematics)）
題目： Nonstandard Analysis: a new way to compute
【概要】
The notion of computability (in principle) is central to
topics like e.g. Recursion Theory and Erret Bishop's Constructive
Analysis.
In contrast, the notion of computability has not been studied
intensively in the context Nonstandard Analysis.
Bishop even notoriously derided Nonstandard Analysis for its `lack
of computational content'. Today, we set the historical record
straight.
We introduce `$\omega$-invariance' a new notion of computability
based on Nonstandard Analysis. We show that $\omega$-invariance
has the usual properties of computability and even derive several
results from Constructive Reverse Mathematics.
|
 |
 |
|
