新着情報

カテゴリ:談話会

第12回 筑波大学RCMSサロン(2023年12月14日)

数理物質系数理科学研究コア(RCMS)主催「第12回 筑波大学RCMSサロン」開催のご連絡です.

RCMSでは,分野横断的な研究交流の一助となることを目指し,互いの研究分野の相互理解を推進する場として「RCMSサロン」を開催しています.

今回のRCMSサロンは「同期現象」をテーマとしまして,カエルの鳴き声の同期現象,リザバー計算における同期現象の応用,再帰と同期,など同期現象に広く関わる話題についての講演を企画しています.

プログラムや講演概要などの詳細,またオンライン参加申込につきましてはこちらをご覧下さい.

多くの皆様のご参加をお待ちしております.

 

第12回 筑波大学RCMSサロン「同期現象の数理とその応用」

日 時:12月14日(木)15:00 -- 18:00(Tea Time を含む)
場 所:筑波大学自然系学系棟D棟5階 D509室/オンラインのハイブリッド形式
講演者:合原一究(筑波大学システム情報系)
    常木澄人(産業技術総合研究所・新原理コンピューティング研究センター)
    平山至大(筑波大学数理物質系)

世話人:川村一宏,永野幸一,平山至大

11月2日(木)談話会 John Duncan (Academia Sinica, Taiwan)

談話会のお知らせです。

なお、この談話会は数学フロンティアの対象科目です。 

 

日時:2023年11月02日(木) 15:30   -   17:00
場所:自然系D棟509号室
連絡先:carnahan@math.tsukuba.ac.jp
講演者:John Duncan (Academia Sinica, Taiwan)
タイトル:Moonshine and Arithmetic

アブストラクト:Research in moonshine has mostly been conducted over the complex numbers. In this talk I will explain how umbral moonshine incorporates some arithmetic structures into the moonshine story, such as singular moduli, class numbers, and rational points on algebraic varieties.  

10月6日(金) 談話会 森 雅巳氏, 髙澤 光彦氏 (Arithmer株式会社)

10月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2023年10月6日(金)15:30~17:00

場所:D509

講演者:森 雅巳氏, 髙澤 光彦氏 (Arithmer株式会社)

講演タイトル: 数学とAIによる社会課題解決事例

アブストラクト

https://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/f83f48383e957e636df98f8db1181cb6?frame_id=109

 

第11回 筑波大学 RCMS サロン 「計算機によるAIとシミュレーションの数理」

筑波大学数理科学研究コア (RCMS) では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として「RCMS サロン」を開催しています。

今回は「計算機によるAIとシミュレーションの数理」というテーマで3名の講師の方々に講演していただきます。

要項

  • 日時:2023年7月27日(木)15:00~18:00 (Tea Time を含む)
  • 開催方法:対面/オンラインのハイブリッド形式
  • 場所:筑波大学自然系学系棟D509セミナー室/Zoom meeting
  • 参加申し込み: 登録ページはこちら https://forms.gle/x3R74N7PVqE1YQmv5
    • 参加申込は7月24日(月)まで受け付けます。Zoomのアクセス手順はRCMSサロンの数日前に登録者へお送り致します。 
  • 共催:科研費 基盤研究 (A) 20H00576「大規模複雑データの理論と方法論の革新的展開」(研究代表者: 青嶋 誠)
  • サロンwebページ:https://rcms.math.tsukuba.ac.jp/events/rcms-salon-11

プログラム

★ 15:00 -- 15:15 Tea Time

★ 15:15 -- 15:50  照井 章(筑波大学 数理物質系/人工知能科学センター)

タイトル:数式処理によるロボットマニピュレータの逆運動学問題と経路計画問題の解法

概要:本講演ではロボットマニピュレータ(腕型ロボット)を動かす際の問題を取り上げます.与えられたロボットの先端の位置から各関節の角度を求める問題を逆運動学問題,ロボットの先端を動かす経路が与えられた際にその経路に沿った運動を行うための各関節の変位を求める問題を経路計画問題と呼びます.本講演では,数式処理を用いて,各問題の解の存在を厳密に判定・保証しながらそれらの解を効率的に求めるための手法を紹介します.

★ 16:05 -- 16:40 藤澤 誠(筑波大学 図書館情報メディア系)

タイトル:物理シミュレーションにおける数理とその応用

概要:現実世界の物理現象をコンピュータ内で再現するための技術として,物理シミュレーションが様々な分野で使われています.特にコンピュータグラフィックス(CG)分野では,複雑な自然現象をリアルに再現したいという要求から盛んに研究が行われています.本講演では,その中でも流体シミュレーションを中心として,その基礎となっている支配方程式およびそれをコンピュータで計算する際に使われる数理やアルゴリズム,CGでの応用などについて紹介します.  

★ 16:55 -- 17:40 石坂 敢也,加茂 碧唯(富士フイルムビジネスイノベーション (株) )

タイトル:小規模学習データによる商品棚の陳列状態推定

概要:小売業において,商品管理や棚割り作業の効率化のために,商品棚にある商品をAIで特定したいというニーズがあります.この問題は一般に物体検出と画像照合により構成され,店舗毎に異なる照明環境や陳列状態下で,類似デザインを含む数百~数千商品を検出・峻別でき,頻繁な商品デザイン変更にも追随できることが求められます.この問題に対して各商品のone-shot画像だけが与えられた前提でアプローチする深層学習技術について紹介します.

★ 17:40 -- 18:00 Tea Time

お問い合わせ先

世話人: 照井 章(筑波大学 数理物質系)

E-mail:rcms-salon at math.tsukuba.ac.jp ("at" を @ に置き換えてください)

謝辞

今回のRCMSサロンは科研費基盤研究(A) 20H00576「大規模複雑データの理論と方法論の革新的展開」(研究代表者: 青嶋 誠)の支援を受けています.

6月1日(木) 談話会 伊藤 昇氏(茨城工業高等専門学校)

12月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2023年6月1日(木)15:30~17:00

場所:オンライン

講演者:伊藤 昇氏(茨城工業高等専門学校)

講演タイトル: A quantization of the Arnold strangeness invariant 

アブストラクト

https://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/f83f48383e957e636df98f8db1181cb6?frame_id=109

 

登録フォーム(学外の方はこちらの参加フォームから登録してください)

https://forms.gle/pyA4bHJyGWYYabE96

連絡先:tange_(あっと)_math.tsukuba.ac.jp  (丹下基生)

12月1日談話会 中山 優吾氏(京都大学情報学研究科)

12月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年12月1日(水)15:15~16:45

場所:オンライン

連絡先:丹下 基生

講演者:中山 優吾氏(京都大学情報学研究科)

講演タイトル:高次元データに対するガウシアンカーネルとその応用

11月24日談話会 野澤 啓氏(立命館大学理工学部)

11月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年11月24日(水)15:30~17:00

場所:D509

連絡先:丹下 基生

講演者:野澤 啓(立命館大学理工学部)

講演タイトル:タイル張りやグラフに現れるカオスについて

アブストラクト:ユークリッド空間R^dの非周期的なタイル張り(またはその点集合版であるR^d内のデローネ集合)に対して,
平行移動包と呼ばれる空間が考えられ,自然なR^d作用を持ちます.
このR^d作用がカオス的であるようなタイル張りやデローネ集合は,複雑な対称性を持つことが期待されます.
本講演では,こういったタイル張りが非常に多く存在することや,
R^dのタイル張りの構成法としてよく知られている切断射影法の双曲版による具体例の構成についてお話しします.
また,彩色グラフのカオス性についても触れます.
(‪Jesús A. Álvarez López氏 (U. Santiago de Compostela) , Ramon Barral Lijó氏 (立命館大), John Hunton氏 (Durham U.), John Parker氏(Durham U.)との共同研究)

10月5日談話会 川節 和哉(熊本大学)

10月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年10月5日(水)15:15~16:45

場所:オンライン

連絡先:Scott Carnahan(carnahan@math.tsukuba.ac.jp)

講演者:川節 和哉(熊本大学)

講演タイトル:アフィン頂点代数の表現論

 

アブストラクト:アフィン頂点代数のうちレベルが自然数のものは、
非同型な既約表現が有限個で尽くされる。
それらは全て(アフィン Kac-Moody リー環の表現として)
可積分表現であり、特に最高ウェイト表現である。
一方、(自然数でないが許容的な) 分数レベルのアフィン頂点代数は、
既約表現を無限個持つが、ある種の有限性を持ち、様々な応用がある。
近年、分数レベルアフィン頂点代数について、可積分表現や最高ウェイト表現とは限らないウェイト表現が注目を集めており、分類理論や応用などが進んでいる。
本講演では、分数レベルのアフィン頂点代数の表現論について概説し、
sl_3に付随する例を中心に、最近の進展を紹介する。

8月3日談話会 内海 晋弥氏 (学習院大学)

8月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年8月3日(水)15:15~16:30

場所:オンライン

連絡先:竹内耕太(kota@math.tsukuba.ac.jp)

講演者:内海 晋弥 (学習院大学 理学部 数学科)

講演タイトル:流体問題のための圧力安定化射影有限要素法について

講演アブストラクト:非圧縮粘性流の運動を記述するNavier-Stokes 問題の解を近似する数値解法を考える.流速と圧力が未知関数として現れるという特徴から,数学的な考察だけでなく,近似解を効率的に求解する計算効率の観点からも工夫を必要とする.本講演では,有限要素法と射影法を結合させた手法が主題となる.有限要素法は,応用上現れる領域に対して汎用的に計算可能な数値計算手法であり,数学的にも強固なバックグラウンドがある.ChorinとTemamから始まる射影法は流速と圧力を分離して解くことができる計算効率が良い手法である.本講演では,この射影有限要素法と,流速/圧力を近似する有限要素空間の通常許容される組み合わせについて概観した後,その組み合わせを広げる圧力安定化手法とその意義について解説する.さらに,物質微分の近似法に触れたのち,線形化問題に対する,解の正しさを表す誤差評価を示す.

 
 

数学域談話会(6/30:熊谷隆先生)

6月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年6月30日(木)15:15~16:45

場所:オンライン

講演者:熊谷 隆 先生(早稲田大学理工学術院)

講演タイトル:複雑な系の上のランダムウォークとブラウン運動 — フラクタルからランダム媒質まで — 

講演アブストラクト:複雑な系の上のランダムウォークやそのスケール極限であるブラウン運動は、ユークリッド空間上のものと大きく性質が異なり、いわゆる異常拡散現象を起こす。本講演では、フラクタルを典型例とする自己相似性を持った図形の解析から話を起こし、パーコレーションクラスターなどのランダムな図形(ランダム媒質)における確率過程の漸近挙動に至るまで、複雑な系の上の確率過程や、対応するラプラス作用素の解析について概説する。講演の後半では、当該研究に関する講演者の最近の結果も紹介する予定である。

 

 

学外で講演の参加希望の方は以下のフォームに記入して送信してください。

https://docs.google.com/forms/d/1mJlZQWkiCgZHPrE4UXPrOJVDFv1n38KN8HDl1D2zXss/edit

数学域談話会(6/9:橋本義武先生)

6月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年6月9日(木)15:15~16:45

場所:オンライン

講演者:橋本 義武先生(東京都市大学理工学部)

講演タイトル:安定曲線上の共形ブロックについて

講演アブストラクト:頂点作用素代数(VOA)とその上のn個の加群に対し、
共形ブロックとよばれる、種数gのn点つき代数曲線のモジュライ上の平坦ベクトル束Eが得られる。
このときEが安定曲線のモジュライ上のベクトル束に拡張できるかどうかが問題となる。
ここではその準備として、安定曲線のモジュライ上の連接層にEを拡張する方法について述べる。

 

 

学外で講演の参加希望の方は以下のフォームに記入して送信してください。

https://docs.google.com/forms/d/1mJlZQWkiCgZHPrE4UXPrOJVDFv1n38KN8HDl1D2zXss/edit

数学域談話会(5/12日:坂本龍太郎先生)

5月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2022年5月12日(木)15:15~16:45

場所:オンライン

講演者:坂本 龍太郎先生(筑波大学数理物質系)

講演タイトル:楕円曲線のSelmer群とL関数

講演アブストラクト:楕円曲線の数論は長い歴史を持つが,現在でも活発に研究が行われている.この講演では楕円曲線やMordell--Weil群の定義からはじめ,Selmer群やL関数,BSD予想について説明する.その後,BSD予想について分かっていることを簡単に説明し,残りの時間で講演者が得た最近の結果を紹介する.

 

 

学外で講演の参加希望の方は以下のフォームに記入して送信してください。

https://docs.google.com/forms/d/1mJlZQWkiCgZHPrE4UXPrOJVDFv1n38KN8HDl1D2zXss/edit

数学域談話会(12/23:山木壱彦先生)

12月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2021年12月23日(木)15:30~17:00
場所:オンライン
講演者:山木 壱彦先生(筑波大学数理物質系)
講演タイトル:グラフ上の因子理論と代数曲線
アブストラクト:グラフ上の因子理論は,Baker--Norineによるリーマンロッホの定理の確立以降急速に発展し,それ自体が興味深い理論であるのみならず,代数曲線上の因子に関する研究やモジュライの研究にも重要な応用がなされている.この講演では,前半には,基礎となるチップ発射ゲームの話から始め,有限グラフや(トロピカル曲線とも呼ばれる)計量グラフの上の因子理論を概説する.後半では,代数曲線上の因子理論との関連を概説し,この関連にまつわる近年の進展を時間の許す範囲で紹介する.

数学域談話会(11/25:竹内有哉先生)

11月の談話会を以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2021年11月25日(木)15:10~16:40
場所:オンライン
講演者:竹内 有哉先生(筑波大学数理物質系)
講演タイトル:CR多様体の埋め込み問題について
アブストラクト:CR多様体は複素多様体の実奇数次元版に当たる幾何学的対象であり,様々な観点から研究が行われている.今回の講演ではその中でもCR多様体の埋め込み問題に焦点を当てて,これまでに知られている結果を紹介する.まず複素多様体の基礎的な話から始め,CR多様体の定義が確かに複素多様体の実奇数次元版になっていることを説明する.次にCR多様体の埋め込み問題について紹介する.この問題は古くから調べられているものであるが,現在でもなお完全解決に至っているとは言い難い.この埋め込み問題について何がわかっていて,何がわかっていないのかを強擬凸と呼ばれるCR多様体のクラスに制限して詳しく説明したい.最後に3次元CR多様体の埋め込み問題と密接に関わっているCR Paneitz作用素に関して講演者が得た結果を紹介する.

数学域談話会(11/11:伊藤健一先生)

11月の談話会は以下のように企画しています。

たくさんの方のご参加をお待ちしています。

なお、この談話会は数学フロンティアの対象科目です。

詳細は以下の通りです。

 

日時:2021年11月11日(木)16:00~17:30
場所:オンライン
講演者:伊藤 健一先生(東京大学数理科学研究科)
講演タイトル:Hypergeometric expression for the fundamental solution to the 2-dimensional discrete Laplacian
アブストラクト:偏微分方程式論において,基本解の方法は極めて基本的である.特にラプ
ラシアンに対する基本解は学部レベルでも必須の事項であり,広く応用も知られ
ている.一方で,ラプラシアンを離散化した離散ラプラシアンに対する基本解
は,積分表示や漸近挙動など,実用面での性質は古くから知られていたものの,
明示的な表示公式自体は(私の調べた限り)1次元を除いて知られていなかった
ようである.本講演では,多次元離散ラプラシアンのレゾルベントに対し超幾何
関数表示を与え,特に2次元の場合に適切な変数変換公式を適用することで,各
閾値周りでの漸近展開を計算する.この展開の第0次係数として,基本解の明示
的表示公式が現れることを見る.本講演はArne Jensen氏(Aalborg大学)との共
同研究に基づく.

数学域談話会(2021/10/7,14) (佐々木建昭 名誉教授(筑波大学)による連続講義)

佐々木先生による連続講義を以下のように開催します。

(いずれもフロンティア対象科目)

オンラインで行います。学外で参加希望の場合は(https://forms.gle/UxuuM6ewFysE3jww9)まで。

 

2021年10月07日(木) 16:00 ~ 17:30

『たかが変数消去と侮るなかれ』-- 目的はグレブナー基底計算の高速化 -- (前半)

https://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/a9e585fcef3e778cc5a312d1bba1309d?frame_id=109

 

2021年10月14日(木) 16時~17時30分

『たかが変数消去と侮るなかれ』 -- 目的はグレブナー基底計算の高速化 -- (後半)

https://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/16d793e8b7dc58fe720be6ddc02b914c?frame_id=109

AIMaP集会「離散微分幾何と有限要素法の融合,建築とCGヘの応用」(2020年12月23日)

AIMaP集会【離散微分幾何と有限要素法の融合.建築とCGヘの応用】を以下のようにオンラインで開催いたします。ご参加をいただけますようお願いいたします。

開催日時: 2020/12/23(水) 10:00 – 17:50 

開催場所: Zoomによるオンライン開催

参加を希望される方は

https://zoom.us/webinar/register/WN_JX-rsM-1RUyVejiFn16L0A

より参加登録をお願いいたします。ご登録いただいた方にはZoomのミーティングリンク等をお知らせいたします。

主催:筑波大学数理科学研究コア (RCMS)

共催:文部科学省委託事業「数学アドバンストイノベーションプラットフォーム (AIMaP)」

協力:JST CREST[数理的情報活用基盤]設計の新パラダイムを拓く新しい離散的な曲面の幾何学

プログラム

10:00-11:10
古典的Plateau問題の有限要素近似について(1)
土屋 卓也(愛媛大)

11:20-12:30
古典的Plateau問題の有限要素近似について(2)
土屋 卓也(愛媛大)

- 昼休み –

13:40-14:50
離散微分幾何と有限要素法の関係について(1)
廣瀬 三平(芝浦工大)

15:10-16:20
離散微分幾何と有限要素法の関係について(2)
廣瀬 三平(芝浦工大)

16:40-17:10
空間構造における形状解析と応力変形解析について
横須賀 洋平(鹿児島大)

17:20-17:50
HDG法の超収束について
及川一誠(筑波大)

第7回 筑波大学 RCMS サロン「ロボティクスの数理」(2020年12月11日)

筑波大学数理科学研究コア (RCMS)」は、筑波大学数理物質系数学域の教員を中心に、諸科学分野・産業の研究者と数学者との協働・共同研究を推進する組織です。
文部科学省委託事業「数学アドバンストイノベーションプラットフォーム (AIMaP)」(幹事拠点:九州大学)の協力拠点としても活動しております。

当組織では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として「RCMSサロン」を定期的に開催しています。
今回は「ロボティクスの数理」というテーマで3名の講師の方々に講演していただきます。
ふるってご参加ください。

第7回 筑波大学 RCMS サロン「ロボティクスの数理」

日時:2020年12月11日(金)15:15 ~ 18:00 (Tea Time を含む)
場所:オンライン(Zoomを使用予定)
申込先:事前申し込み制です。下記のwebページよりお申し込みください。
http://rcms.math.tsukuba.ac.jp/events/rcms-salon-7
申込締切:12月9日(水)

お問い合わせ先

世話人:照井 章(筑波大学 数理物質系)  
E-mail:rcms-salon-7 at math.tsukuba.ac.jp

プログラム

★ 15:15 -- 15:30 ティータイム

★ 15:30 -- 16:00 三河 正彦(筑波大学 図書館情報メディア系)
タイトル:「ロボットマニピュレータの逆運動学問題に関する最新動向」
概要:腕型ロボットに代表される複数の関節から構成されるロボットは,ロボットマニピュレータと呼ばれます.マニピュレータの各関節の角度や変位からロボット先端の位置と姿勢を算出することを順運動学,先端の位置と姿勢から各関節の角度や変位を算出することを逆運動学と呼び,ロボットを動かす際に必要となる基本的な計算となります.順運動学は簡単に算出できるのですが,逆運動学は関節の数が多くなればなるほど,変数が多数含まれる非線形な連立方程式を解かなければならず,解が求まりにくくなります.今回は,このような逆運動学問題に関する最新動向をご紹介させていただきます.

★ 16:15 -- 16:45 照井 章(筑波大学 数理物質系)
タイトル:「数式処理によるロボットの運動計画:概要と課題」
概要:本講演では、数式処理のロボット制御への応用の中から、ロボットマニピュレータの逆運動学問題の数式処理による解法を取り上げます。数式処理による逆運動学問題の解法は、解の存在性や存在範囲を厳密に判定・計算可能な一方で、計算効率や、近似値で与えられる動作目標や設計パラメータを、厳密演算を旨とする数式処理にどのように適合させるかといった課題があります。本講演では、数式処理によるロボットマニピュレータの逆運動学問題の解法を概観し、最近の数式処理の理論や技術で課題を解決するための展望について論じます。

★ 17:00 -- 17:30 梶田 秀司(産業技術総合研究所)
タイトル:「2足歩行ロボット制御の数理」
概要:我々の多くが日常無意識に行っている動的2足歩行を、ロボット工学がどのようにモデル化し、ロボットの歩行を実現しているかについて、産総研で開発されたヒューマノイドロボットの具体例を示しつつ説明します。
その本質は、(1) 多剛体モデルから質点-角運動量モデルへの粗視化と、(2) 簡略化されたモデルのZMP(ゼロモーメント・ポイント、床反力作用中心)に注目した軌道計画と制御にあります。

★ 17:30 -- 18:00  ティータイム

数学域談話会(11月28日)

11月の談話会は退職された坂井公先生をお招きしてお話を伺います。
たくさんの方のご参加をお待ちしています。

詳細は以下の通りです。
日時:11月28日(木)15:30~17:00 (ティータイムは15時から)
場所:1E205 (ティータイムは1E204にて)
講演者:坂井公先生
講演タイトル:組合せゲームによる数論  
アブストラクト:タイトルから誤解を受けることが無いように最初に断っておきますが,おそらく通常の数論研究に参考になるようなことは何もありません。組合せゲームの中には,数としてとらえることで,その性質や必勝法が解析しやすくなるものが多々あり,その数理(病理?)についての話です。Conwayの超現実数と呼ばれるもので,実数全体に似た順序構造を作りますが,無限大・無限小などを含む奇妙な体になります。

連絡先:竹内耕太(kota@math.tsukuba.ac.jp)

数学域談話会(11月29日 薄葉季路氏)

11月の談話会を以下のように企画しています。
ぜひご参加ください。

 日時:11月29日(木) 15時00分~17時00分
 場所:自然学系棟 D棟 509

 講演者:薄葉 季路氏(早稲田大学基幹理工学部)
 題目:数学基礎論と位相空間論のコンパクト

詳細についてはhttps://nc.math.tsukuba.ac.jp/colloq/をご覧ください。

数学域談話会(4月19日 三原朋樹氏、蓮井翔氏)

4月の談話会を以下のように企画しています。
ぜひご参加ください。

 日時:4月19日(木) 13時30分~16時30分
 場所:自然学系棟 D棟 509

 第一部(13時30分~15時)
 講演者:三原朋樹氏(筑波大学数理物質系数学域)
 題目:空間と関数の双対の観点から見る非可換ポントリャーギン双対の整数論との関わり

 第二部(15時~16時30分)
 講演者:蓮井翔氏(筑波大学数理物質系数学域)
 題目:擬トーリック多様体の分類および関連する諸結果について

詳細についてはhttps://nc.math.tsukuba.ac.jp/colloq/をご覧ください。

数学域談話会(11月16日 小野 薫氏)

11月の談話会を以下のように企画しています。
ぜひご参加ください。

 日時:11月16日(木)15時半〜17時
   (15時からティーパーティ)
 場所:自然学系棟 D棟 509

 講演者:小野 薫氏(京都大学 数理解析研究所)

 題目:Floer 理論とそのいくつかの応用の紹介

詳細についてはhttps://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/186ccb6fd1079d68ba7e27cc3140346f/-476/#_476をご覧ください。

数学域談話会(10月26日 青嶋誠氏 日本統計学会賞受賞記念)

10月の談話会を以下のように企画しています。今回は青嶋教授の第22回日本統計学会賞受賞を記念して開かれます。ぜひご参加ください。

 日時 :10月26日(木)15時半~17時
      (15時からティーパーティー)
 場所 : 自然学系棟 D棟 509
 
 講演者: 青嶋 誠氏(筑波大学 数理物質系数学域)

 題目:高次元統計解析:理論・方法論とその周辺(再び)

詳細についてはhttps://nc.math.tsukuba.ac.jp/multidatabases/multidatabase_contents/detail/230/806e5ad69f489376c33fae7489dde044/-476/#_476をご覧ください。

数学域談話会(7月20日)


 7月の談話会を以下のように企画しています.
 興味のある方はぜひご参加ください.

 日時 :7月20日(木)15時半~17時
      (15時からティーパーティー)
 場所 : 自然学系棟 D棟 509
 
 講演者: 桑山 秀一氏(筑波大学 生命環境系)

 題目:細胞集団運動におけるソリトン現象の発見

 

数学域談話会(6月1日)


 今年度はじめの 数学域談話会を 以下のように企画しています.
 ぜひご参加ください.

 日時: 6月1日 15時半~17時(15時よりティーパーティー)
 場所: 自然学系棟 D棟 509
 講演者: 筧 知之氏 (筑波大学数理物質系数学域)
 題目: 平均値作用素について

数学域 談話会

12月の談話会を以下のように企画いたしました.奮ってご参加ください.

日  時: 12月 22日(木) 15時30分~17時 (15時からティータイム) 

場  所: 自然学系棟D棟  509 教室 


講 演 者:植田 一石 氏 (東京大学 数理科学研究科)

題  目: Grassmann多様体上の完全可積分系とミラー対称性

概  要: 
Grassmann多様体は複素幾何やシンプレクティック幾何学が表現論と交差する重要な対象であり、数学の進歩とともにその研究は深化を繰り返している。この講演では、Gromov-Witten不変量や量子コホモロジー、ミラー対称性、完全可積分系、クラスター代数などとGrassmann多様体の関係の一端を紹介したい。

数理物質融合科学センター 第6回 数理連携サロン

筑波大学数理物質融合科学センター (CiRfSE) では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として数理連携サロンを開催します。

今回は「人工知能」をキーワードにしています。興味のある方はお気軽にご参加ください。

日時・場所
2016年12月5日(月)  15:15~17:15
筑波大学第一エリア 自然系学系D棟 D509セミナー室

プログラム
15:45~15
:45
「大規模固有値解析エンジンの開発とそのシミュレーション・データ解析
への応用」
櫻井鉄也(筑波大学 システム情報系)

16:00-16:30
 「限量記号消去を推論器とする数学入試問題の自動解答器」
岩根秀直((株)富士通研究所/国立情報学研究所)

16:45-17:15
 「大学入試の数列問題を解く自動推論アルゴリズム」
照井 章(筑波大学 数理物質系)

14 時 45 分から 15 時 15 分までと 17 時 15 分 から 18 時までは tea time を設けます。他分野の研究者と気軽に交流できる機会です。ご自由にご歓談下さい。

お問い合わせ先
筑波大学数理物質融合科学センター (CiRfSE)
数理物質系数学域 青嶋 誠 (aoshima@math.tsukuba.ac.jp)

筑波大学数学談話会 (1月14日)

日時:1月14日(木曜日), 15:30--17:00 (15:00 より tea)

場所:自然系学系 D棟 509

講演者:辻井 正人 氏 (九州大学大学院数理学研究院)

題目:古典力学系の準古典解析

概要:測地流などの(平衡点を持たない双曲的な)古典力学系の性質を相空間上の関数への作用を通して解析をすることを考える.
計量を適当に調整すれば流れは単位速度で進むと見ることができるので,作用を「流れ方向のフーリエ成分」毎に分解することは(技術的には多少問題があるが)有効な考えである.さらに,周波数を無限大にする極限の解析が重要になり,そこに準古典解析の手法が応用されることは(名前に由来する不自然さを除けば)自然である.興味深いのは,解析の結果として古典力学系の中にその「量子化」が自然に埋め込まれているように見えることである.この「量子化」についてどのように考えるべきか私にはまだよく分からないが,興味深いと思われるので講演で話をしたい.

筑波大学数学談話会 (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$$は超越数であると予想されているが, まだ証明されていない. 関数の値の超越性および代数的独立性を示す事は数論において重要である. 本講演では, ベキ級数で与えられる関数に代数的数を代入した値の超越性および代数的独立性を調べる.

筑波大学数学談話会 (6月19日)

日時:6月19日(木曜日), 15:30--17:45 (15:00より tea )

場所:自然系学系 D棟 509

プログラム: (15:00--15:30 tea time)

15:30--16:30, 千原浩之 氏 (筑波大学)
題目:ユークリッド空間上のバーグマン変換と量子化
概要:ユークリッド空間上のバーグマン変換とよばれる積分変換は、関数をその超局所化を記述する正則関数へ変換してくれるので、超局所解析や準古典解析における有力な手段になっている。一方、この種の理論は信号処理等の応用分野の研究とも密接な関連がある。本講演では、まずこれらの話題をまとめて概観する。さらに、講演者の仕事や最近取り組んでいる課題を紹介する。

16:30--16:45 休憩

16:45--17:45, 平山至大 氏 (筑波大学)
題目:可微分力学系のエルゴード理論
概要:多様体上の保測な可微分写像の反復合成が生成する力学系のエルゴード理論について概説する.特に,エルゴード性やエントロピーの生成的な正則性に関する話題を紹介したい.

数学談話会(12月26日)

日時:2013年12月26日(木)15:30~16:30(15:00からお茶の時間)
場所:自然系学系棟D509

講演者:斉藤秀司 氏 (東京工業大学)
講演題目:Existence conjecture for smooth sheaves on varieties over finite fields

概要:
This is a joint work with Moritz Kerz. Let $$X$$ be a smooth variety over a finite field $$\mathbb{F}_q$$. For an integer $$r>0$$, let $${\cal S}_r(X)$$ be the set of lisse $$\overline{\mathbb{Q}_\ell}$$-sheaves on $$X$$ of rank $$r$$ up to isomorphism and up to semi-simplification. Let $$Cu(X)$$ be the set of normalizations of integral curves on $$X$$. Let $${\cal S}k_r(X)$$ be the set of systems $$(V_Z)_{Z\in Cu(X)}$$ with $$V_Z\in {\cal S}_r(Z)$$ such that
$$(V_Z)_{|Z\times _X Z'}=(V_{Z'})_{|Z\times _X Z'}$$ for $$Z,Z'\in Cu(X)$$.
The question is how to determine the image of the restriction map
 $$\tau:{\cal S}_r(X)\to {\cal S}k_r(X)$$,
i.e. when a system $$(V_Z)_{Z\in Cu(X)}$$ glues to a lisse $$\overline{\mathbb{Q}_\ell}$$-sheaf on $$X$$. We explain a conjecture of Deligne on the problem which describes the image in terms of a ramification condition at infinity and prove the conjecture in case $$r=1$$.

数学談話会(12月5日)

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

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

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

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

数学談話会(11月7日)

日時:2013年11月7日(木)15:30~16:30
場所:自然系学系棟D509

講師:大本亨 氏 (北海道大学)
講演題目:Image and discriminant Chern classes of stable maps

概要:In classical algebraic geometry,numerical characters of projective varietieswere extensively studied by means of enumeratingsingular points of naturally associated maps.A modern unified approach to such enumerative problemsis the theory of Thom polynomials based onthe classification of singularities of maps (Thom-Mather theory).In this talk I will introduce a new branch of the theory,in which we replace counting singular pointsby computing (weighted) Euler characteristics.In particular, I will talk about a universal formulaon (singular) Chern class of image varieties of maps.

●15:00からお茶の時間です。こちらもぜひご参加ください。また講演終了後、懇親会を予定しております。どうか奮ってご参加ください。

数学談話会 竹内耕太氏 (10月24日)

日付: 2013年10月24日(木) 15:30~16:30
場所: 自然系学系棟 D509

講演者:竹内 耕太 氏 (筑波大学)
講演題:ハイパーグラフの組み合わせ論とモデル理論

概要:モデル理論では数学的構造(群、環、体、グラフ、順序構造など)を安定性と呼ばれる指標を用いていくつかのクラスに分類する。構造Mが安定であるというのはきわめて大雑把に言うと、構造の自己同型全体のなす群による作用を考えたとき、その作用に関する軌道があまりたくさんは存在しない、という風に説明できる。
講演者は最近、安定性のひとつのクラスであるn-dependent theoryに対し、ハイパーグラフの組み合わせ論を用いて二つの特徴づけを与えた。証明で使われた道具はいくつかの分野で関連する話題が研究されており、そのような周辺の話題も交えながら研究成果について解説したい。

キーワード:universal minimal flow, Ramsey property, VC-dimension, Turan problem, indiscernibles

筑波大学数学談話会 (7月18日)

日時: 2013年7月18日(木)15:30-17:00 ※15:00からティータイム
場所: 自然系学系棟D509

講演者: 土岡俊介 氏 (IPMU)
講演題目: 対称群のモジュラー表現論の最近の話題について

概要:
2007年から2008年の間に、RouquierとBrundan-Kleshchevによって、正標数の対称群の群代数には、非自明な次数付き代数の構造が入ることが示された。前半でその背景や意義を解説し、後半でその射影表現類似に関する柏原正樹氏とSeok-Jin Kang氏との共同研究について解説する。

数学談話会のお知らせ (5月16日)


以下のように数学談話会を開催します。皆様のふるってのご参加を
お待ちしております。

日時: 2013年5月16日 15:30~16:30 (※15:00よりティータイム)
場所: 自然系学系D棟509号室
講演者: 青木敏氏 (鹿児島大学)
講演題目: 計算代数手法の実験計画法への応用
講演概要: グレブナー基底理論の統計学への応用は、ここ20年ほどで急速に
注目を集め、計算代数統計として新たな一分野となりつつある。
実験計画法は、その最も初期の話題のひとつである。特に、多因子
の一部実施計画の理論については、計画点の集合を、それを零点とする
多項式の集合(計画イデアル)として表現し、その生成系やグレブナー
基底に注目することにより、さまざまな結果が得られている。
本講演では、主に2水準、3水準の一部実施計画で得られたデータの
解析に、グレブナー基底の理論が利用できることを示した、講演者らの
最近の研究を紹介する。
 

筑波大学数学談話会 (1月24日)

以下のように数学談話会を開催いたします。皆様のご参加お待ちしております。

15:00 ~ 15:30  ティータイム

15:30 ~ 16:30  秋山茂樹氏 (筑波大学)
講演題:置換規則力学系の Pisot 予想 (Substitutive dynamical system and Pisot conjecture)
講演概要: 有限文字の生成するモノイドの自己準同型のことを置換規則という。置換規則により生成される無限語のシフト全体の閉包のなす空間は、シフト作用により位相力学系となる。このような力学系は、自己誘導構造を持つ最も簡単なモデルとして多くの関心を集めてきた。今回のお話では細部にこだわらず、どうしてこのような力学系が面白く、他の数学とも関連しているのかを主に例を通じて説明しようと思う。
 最後にこの力学系の歴史的問題である Pisot 予想について解説したい。

16:45-17:45 Scott Carnahan (筑波大学)
講演題: Monstrous Lie Algebra
講演概要: The Monster Lie Algebra is an infinite dimensional Lie algebra with an action of the monster simple group. It played an essential role in the Monstrous Moonshine conjecture, which establishes a connection between the representation theory of themonster and the theory of modular functions on the complex upper half-plane. There is a family of similar Lie algebras, parametrized by elements of the monster, and the Monster Lie algebra corresponds to the identity.  
These new Lie algebras can be used to establish cases of the Generalized Moonshine conjecture.

筑波大学数学談話会 (12月6日, 古田 幹雄 氏)

日時: 12 月 6 日 (木) 15:30 ~ 16:30    ※ 15:00 からお茶の時間です。
場所: 自然系学系棟 D509

講演者: 古田 幹雄 氏 (東京大学数理科学研究科)
講演題:低次元トポロジーにおけるゲージ理論

講演概要:
低次元微分トポロジーの分野でゲージ理論と総称される3つの理論があります。それらの関連は現在活発に研究が進められています。講演の前半では、それら3つの理論を比較しながら紹介したいと思います。

3つの中で現在もっとも強力とされるものはHeegaard Floer理論です。しかし一方で、その他の二つ、Donaldson理論(=ASD-Yang-Mills方程式を用いる理論)、あるいは Seiberg-Witten理論(=monopole方程式を用いる理論)を用いることによってアプローチできるが、 Heegaard Floer理論では現在アプローチの手段がないような現象も存在します。講演の後半では、そのような現象を紹介したいと思います。

筑波大学数学談話会(11/29 成瀬弘氏)

筑波大学数学談話会のご案内です。

日時: 11/29 (Thu) 16:00 ~ 17:30      ※ 15:30 よりお茶の時間。

場所:
自然系学系D棟509

講師:
成瀬 弘 教授 (岡山大学)

タイトル:
古典群のループ空間の(コ)ホモロジー環のシューベルト基底

概要:
A型のループ空間 $$\Omega SU$$のホモロジー・コホモロジーは,対称関数の空間と同一視できることが良く知られている。ここでは,B,C型の場合に Schur のP-,Q-関数を変形することで,K-理論や一般コホモロジーの場合に対称関数でシューベルト基底を作るという試みについてお話する。(中川征樹氏との共同研究に基づく。)

筑波大学数学談話会(9月27日)

当数学域の青嶋 誠 教授と矢田和善 助教が,
   Abraham Wald Prize in Sequential Analysis  および
  日本統計学会研究業績賞
を受賞しました。それを記念して談話会を開きます。

日時:9月27日(木)15:30 ~ 16:30
※ 15:00 ~ 15:30 にお茶の時間があります。
場所:自然系学系D棟509号室

タイトル:たった30個の標本で,10000次元のデータを,どこまで精密に解析できるか?

講演概要:近年,高次元小標本のデータ科学が,理論と応用の両面から世界中で活発に研究されています.ゲノム科学・情報工学・金融工学に端を発する高次元小標本データは,新しいタイプのデータ科学を生み出そうとしています.
 従来の統計学は,大標本を前提とするために,高次元小標本のデータ解析に精度を保証する解を与えてくれません.そのことは,最近まで正確には知られていませんでした.高次元小標本のデータ科学には,従来の統計学の枠組みを超えた,新しい発想が必要になります.
 本講演では,10000次元を超える高次元データを,100にも満たない僅かな標本数で扱います.上手に扱わないと,高次元データからはノイズしか聞こえてきません.しかし,本来,高次元データは,豊富な情報を内包しているはず.高次元小標本におけるデータ空間の特性を理解して,適切に解析を行えば,高次元データは驚くほど豊かな情報を語ってくれるのです.
 当日は,高次元小標本のデータ科学に高精度かつ高速な解析を行うために,青嶋・矢田が一連の共同研究で構築した理論と方法論について,アイデアの幾つかをなるべく平易に説明します.

筑波大学数学談話会のお知らせ (6/21)

次回の「筑波大学数学談話会」は,以下の通りです。

日時: 6月 21日 (木) 15:30 ~ 16:30 (※ 15:00 より,ティータイム)
場所:自然系学系 D棟 509号室
講演者:丹下 基生氏(筑波大学・助教)
タイトル:4次元多様体の記述法とその応用
概要:微分可能多様体はモース理論に基づき、ハンドル分解することができる。4次元の場合のハンドル分解とは3次元球面内の枠付き絡み目に対応する。その絵をハンドル図式という。この講演では、ハンドル図式を見ることで4次元多様体を体感することと、その図式を用いて得られる結果について話す。

筑波大学数学談話会のお知らせ (5/24)


今年度最初の談話会を以下のように開催します。皆様のお越しをお待ちしております。

5月24日(木) 15:00-17:30
自然系学系棟D509
講演者:有家 雄介 氏 (筑波大学)
      中島 誠   氏  (筑波大学)

講演題・講演概要

 有家 雄介氏  頂点作用素代数のフュージョン則について
            概要:頂点作用素代数の3つの加群の間のintertwining operatorの空間の次元を
                フュージョン則と呼ぶ. フュージョン則は射影直線上の3点に加群を対応させた
                共形ブロックの空間の次元と等しいことがY. Zhuにより示されている.
                本講演ではintertwining operatorにlog項を付け加えたものの空間と,
                射影直線上の3点に対数的と呼ばれる加群を対応させたときの共形ブロックの
                空間が同型となることを紹介する.時間が許せば, フュージョン則の計算の
                具体例についても紹介したい.


 中島 誠氏   有向パーコレーションの相転移に関する話題
           概要:パーコレーションと呼ばれる確率模型は様々な物理現象の中に見られ、
                 統計力学の中で重要な役割を果たしています。今回の講演では有向
                 パーコ レーションに現れる相転移のそれぞれの相での性質や相転移に
                 関する最近の発展をお話しします。必要な知識は中心極限定理です。

・ 時間には多少変更の可能性がありますこと、ご容赦ください。