新着情報

カテゴリ:談話会

筑波大学数学談話会 (11月26日)

日時:11月26日(木曜日), 15:30--16:30 (15:00 より tea)

場所:自然系学系 D棟 509

講演者:桑原 敏郎 氏 (筑波大学)

題目:超局所微分作用素によって構成される非可換代数と表現論

概要:
非常に基本的な例を基に、超局所微分作用素を用いてシンプレクティック多様体を量子化(非可換変形)して得られる代数とその表現論について簡単に解説します。このような代数には(古典的な)半単純リー代数の普遍包絡環のほか、有理チェレドニック代数や有限W代数がありますが、多様体の基本的な性質が量子化された代数にまで持ち上がるなどの良い性質を持ちます。本講演ではそのような点に触れるとともに、最近増えている正標数の場合や、q-類似、頂点代数での類似についても簡単に紹介しようと思います。

筑波大学数学談話会 (5月21日)

日時: 5月21日 (木曜日)、 15:30--16:30 (15:00より tea)

場所: 自然系学系 D棟 509

講演者: 井ノ口 順一 氏 (筑波大学)

題目: 可積分幾何・差分幾何

概要: 無限可積分系とよばれている非線型偏微分方程式の多くが, 微分幾何に密接に関わることが知られている. 無限可積分系を構造方程式にもつ曲線や曲面の研究は「可積分幾何」とよばれるようになった. 本講演では, 現在,可積分幾何で関心をもたれている研究対象の中から, 「3次元幾何 (Thurson 幾何)における極小曲面の構成」について解説する(時間が許せば曲線の差分幾何にも触れたい).

筑波大学数学談話会 (12月4日)

日時: 12月4日(木曜日)、15:30--17:00 (15:00 より tea )

場所: 自然系学系 D棟 509

講演者: 岩根 秀直 氏 (国立情報学研究所)

題目: 計算機が数学試験問題を解く - 数式処理編

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

我々は数学入試問題に取り組んでおり, 開発中のシステムは問題文を入力として, 自然言語処理により構築された一階述語論理式を数式処理により問題を解く方法をとっている. 本講演では, 数学入試問題の数式処理による解法と, 自然言語処理との接合による課題解決方法について紹介する.

筑波大学数学談話会 (11月20日)

講演者: 中島 誠 氏 (筑波大学)

題目: 生物の人口模型と(確率)偏微分方程式

概要: 数学では生物の個体数の時間変動を表すものとして有名なものでは微分方程式で現れるLogistic方程式やLotka-Volterra方程式などがある. 確率論においてもGalton-Watson過程という個体数の変動のランダム性を考慮して模型がある. さらに個体に空間の動きを加えた模型を考え, そこから自然な極限として現れる確率過程は非線形熱方程式や確率偏微分方程式との関連が知られている. 今回は時空間にランダムな要素を含めた生物の人口模型を考えたとき, 関連する非線形熱方程式や確率熱方程式はどのような影響を受けるのかについて話す.

筑波大学数学談話会 (10月16日)

日時:10月16日(木曜日)、15:30--16:30 (15:00よりお茶の時間)


場所:自然系学系棟D509


講演者:金子 元 氏 (筑波大学)


講演題目:Nonzero digitが少ないベキ級数の値の超越性および代数的独立性


概要:ほとんどすべての複素数が超越数であるにもかかわらず, 具体的に与えられた複素数が超越数であることを示す事は一般に難しい. 例えば, $$e+\pi$$は超越数であると予想されているが, まだ証明されていない. 関数の値の超越性および代数的独立性を示す事は数論において重要である. 本講演では, ベキ級数で与えられる関数に代数的数を代入した値の超越性および代数的独立性を調べる.