数学・数理科学専攻若手研究者のための異分野・異業種研究交流会 

若手研究者によるポスター発表概要集
 年  月  日

凡例

象者が，年収が高いためにデータを開示しなかったとすると，観測されたデータは相対的に年収が低い人のデータとなり，標本平均は過小評価されてしまう．このように，欠測したデータ自体が興味のある推定量に対する情報を持っている場合，欠測は無視不可能な欠測と呼ばれる．無視不可能な欠測に対する推測法は，通常，非常に強い仮定を要する．実際，従来法では  結
果変数 年収 に関する分布，  欠測メカニズ
ムの両方のモデルの特定が必要となり，応用の場面で用いられることは少ない．本研究では無視不可能な欠測値データ解析に対して，  の  つのモデルのいずれかが正しく特定できていれば興味のある推定量の一致推定量となる，
   推定量を構築する．我々の推定量は従来の推定量と異なり，いずれかが正しく特定できていれば，しかもどちらが正しいか分からなくても一致推定量となるため，実際の現場
でも扱い易い．
 欠測値データ，無視不可能な欠測， 

ポスター発表者の情報を，所属大学・研究機
関の名称毎  音順 にまとめて掲載しております．   の項目は，それぞれ
 氏名
 所属
 学年・役職
 ポスター題目
 ポスター概要
 キーワードを表しています．
♦ ♦ ♦

大阪大学
 田辺 竜ノ介

タナベ リュウノスケ 大阪大学大学院基礎工学研究科
 博士後期課程  年     を利用したベイズスパー
ス推定
 頻度論においてスパース推定を行うには罰
則項が  点周りで微分不可という性質が必要であった．しかし，ベイズ推定では   
事前分布を用いることで  周りで微分可能な罰則を用いてもスパース推定を可能としていることを示す．
 ベイズ統計，罰則付き回帰，スパース推定 
   !   ソムチャイ ヌアンブラ
サート 大阪大学大学院基礎工学研究科
 博士後期課程 年
 "  # $%&'  #      ( )  ) #  

) 森川 耕輔

モリカワ コウスケ 大阪大学大学院基礎工学研究科
 博士後期課程  年
 無視不可能な欠測値データに対する 
  推定量の構築
 データの 欠測 は経済学，疫学，標本調査
といったあらゆる分野で重大な問題となっている．例えば，年収調査等では年収の平均が興味の対象となるが，一部の対象者で得られなかったデータを無視して，単純な標本平均を推定量とした場合，バイアスが生じてしまい妥当な推論が行えなくなる．年収が開示されなかった対 *        #   

+,$ )       '  # ) #-    '   #  )   $%&    . &  #   )
   # '  #    )   /01 ( ) . 2   0   # 



#

   0 0   #  ' ) 

        #-  ) 0  )  0



# 

 

 

) ,3   4   # 

日本数学会異分野・異業種研究交流会 を構築することなのですが，その指導原理は，有限次元で起こっている代数，幾何，解析の交錯の真似をして，無限次元では普通には定義できない解析的，幾何的概念を，代数的な道具によって定義することにあります．今回の発表では，有限次元の表現論における代数，幾何，解
析の交錯と，それを無限次元化した先行研究を紹介します．
 ;  解析，表現論，ループ群，指数定理，
 1  作用素，;8   * 同型    #    ..  )  #  562   )    -  ## )   00 ,  7  &  ' 8 ) "4 9  ,7&8" )
   0 )   )   -  )   0. 6  

0          

# # '    

#     )    # 
 ' ## ' 0 

   )  . 2 )          #     - #  )  )
 +     




) # 

♦ ♦



).

+,$ $ )  

九州先端科学技術研究所$%& ( ) :    7     ,# 

♦

♦

)

 安田 貴徳

ヤスダ タカノリ 九州先端科学技術研究所

♦ ♦

 研究員
 群環を用いた格子ベース暗号とその応用

京都大学
 蘆田 聡平 群の圏から格子ベース暗号の圏への函手を構成し それを高機能暗号へ応用する方法を提案する.
 公開鍵暗号 格子ベース暗号 耐量子暗号 群
環

アシダ ソウヘイ 京都大学大学院理学研究科
 博士後期課程  年
 定磁場中の原子のボルン・オッペンハイマー近似
 量子力学によれば 電子や原子核などの粒子の振る舞いはシュレーディンガー方程式によって記述される. 原子や分子などは質量の小さい
電子と質量の大きい原子核により構成されているので この質量の比を小さいパラメーターとみなすことができる. このパラメーターが  に近づくときのシュレーディンガー方程式の解を近似的に求めることをボルン・オッペンハイマー近似と呼ぶ. 時間空間的に一様な定磁場がある
時には電荷をもった粒子は円運動をする. しかし 私はボルン・オッペンハイマー近似により
電子や原子核は電荷をもっているが 定磁場中の原子が近似的に一つの電気的に中性の粒子のような挙動をするということを証明した.
 シュレーディンガー方程式 ボルン・オッペ
ンハイマー近似 定磁場

♦ ♦

九州大学
 岡本 健太郎

オカモト ケンタロウ 九州大学大学院数理学府
 博士後期課程  年
 ゼータ関数と結び目不変量 有限集合上の力学系から定義されるゼータ関数を一般化し 組み紐のゼータ関数を構成した.
このゼータ関数はグラフの伊原ゼータ関数や代数体のデデキントゼータ関数と非常によく似た性質を持っており 比較の対象となっている. さらに この組み紐のゼータ関数の留数に結び目の不変量であるアレクサンダー多項式が現れることや ) 微分からジョーンズ多項式が得られる.
このように幾何学的対象の位相不変量が留数や) 微分から得られることと 代数体の不変量がデデキントゼータ関数の留数や ) 微分から得られることがうまく対応付けられている. 本ポ
スターでは 組み紐のゼータ関数の構成や性質
そして関係する応用分野について紹介する.
 組み紐 結び目 ゼータ関数


 高田 土満♦

タカタ ドマン 京都大学大学院理学研究科
 博士後期課程  年 代数・幾何・解析の表現論における交錯とその無限次元化 数学では，思いもよらないところで異なる分
野が交錯することがあり，しばしば有用かつ非常に興味深い現象が起こります．例えばリー群の表現論では，表現という代数的な道具によって特定の空間上の関数を調べることができます．
また，私が今目指しているのは，ループ群と呼ばれる無限次元のリー群における解析的な理論
 鴨田 健太郎

カモダ ケンタロウ 九州大学大学院数理学府
 修士課程  年  +       自然数  を自然数の和へ分割することを考えよう. 例えば自然数
の分割は次の五通りで

日本数学会異分野・異業種研究交流会 ある. , + ,  + ,  +  + ,  +  +  + . 割に条件を付け加え 例えば「互いに異なる自然数の和への分割」や「奇数の和への分割」を考えよう. 今の例では前者は , +  の二つ 後者も+ ,  +  +  +  の二つである. ここで  = の場合に両者の総数が一致したのは偶然ではなく
実は一般の  について一致することがオイラーによって示されている. 私の研究する  な分
割 は自然数 は 分割のヤング図形に条件を付けたものである. 今回のポスターでは = , , の場合に得られる関係式について発表する.
   

 工藤 桃成クドウ モモナリ 九州大学大学院数理学府
 博士後期課程  年
 格子基底縮約を用いた 7<" 問題の解法
 情報化が進む現代社会において 情報通信技術の一つである暗号技術の進展は不可欠である.
現代広く使われている暗号方式には 数学的な問題の求解困難性にセキュリティの根拠を置くものが多い. 本ポスター発表では そのような数学的な問題の一つである 7<" 7 ) < " 問題とその解法を紹介する. 7<" 問題とは 連立一次の合同方程式に「ノイズ」を加えたものである. 解読者には「ノイズ」がわからないため 容易に解けない場合も多くある. しかし 格子理論を用いると パラメータによっては効率的に解くことができる. 本発表においては
暗号技術の背後にある数学理論を解説することで 数学の産業への応用性を強調したい．
 情報通信 暗号セキュリティ 数理暗号 7<"問題 格子基底縮約
 森園 明範

モリゾノ アキノリ 九州大学大学院数理学府

 山口 達也

ヤマグチ タツヤ 九州大学大学院数理学府
 博士後期課程  年
  種類の周期的活動の位相差を学習するシナ
プス非可塑性の連想記憶モデル
 振動子を用いた神経細胞ネットワークが脳のモデル化に使われることがある．よく知られた学習モデルの構造は，シナプスの結合強度を適切に設定することで神経細胞の発火タイミングを記憶できるというものである．このようなシナプス可塑性を利用したモデルが提案される一方で，脳や運動神経における記憶の記憶部位は変わることが知られており，一つの個体に二つ以上の記憶システムが存在しても不思議ではな
い．本ポスターでは神経細胞の発火タイミングに記憶を埋め込む方法を提案する．我々のモデルは数学的，機能的にシナプス記憶と同等のモデルである．一方でシナプスの結合強度を固定するという点でシナプス記憶より下位の記憶であると言える．
 位相振動子，位相同期，連想記憶モデル


 > <) オウ イントウ 九州大学大学院数理学府
 修士課程  年
 +)

' $?@ &)       + ,  "       2 )   #   0 '  )  '  # $?@)

' $?@ 0  $?@   9 


0 





 ) #  )  )  .

0    ' $?@ )       9 )     9  
 #<  

 #  )  ) 

 A  ) #      )  

 修士課程  年   

 標準基底と " 多項式 

'9 # %    )

0 )   

 #   ) 二次体のイデアルにおける Z 基底の一つで%&.<  

ある標準基底について考える. 標準基底を求めることにより 整数環のイデアルについて色々なことがわかる. 今回の発表では標準基底の応用と√して " 多項式 ¾ +  +  と二次体 Q( )の類数との関係性を紹介する. より一般に  =¾
, , , , =,  に対して 多項式  +  +  に = , , ...,  −  を代入した値はすべて素数とな√るが  =  −  とすると二次体 Q( ) の類数
はすべて  となる. このようなことが起こる理由を標準基底を使って説明する.
 代数学 代数的整数論 整数環 二次体 類数
標準基底  ) # %     #  $?@    0        

#    )         #    )

' $?@   )  #-     #     )      777 )  .;  0      #  
0 

  )

' $?@

  )    )     #  

:+, ) # 1 . * )  

 ｔ       , !) #
, )    #    $?@ .
' )   :+     .

 , )

 ) 

' $?@ %    )  )

    

 7    

日本数学会異分野・異業種研究交流会 慶應義塾大学 関口 陽介

セキグチ ヨウスケ

同型類も決定する. 楕円曲線に付随する 
群の同型類についても紹介する.
 整数論 イデア類群 楕円曲線  群 慶應義塾大学大学院理工学研究科
 博士後期課程

年
 離散凸解析を用いた取引ネットワークモデル
 離散凸解析は 凸解析とマトロイド理論という  つの視点から離散集合上の関数の構造を考察する方法論であり 離散最適化やネットワー
クフローなどへの応用が知られている. 経済学
とも相性が良く 離散凸解析で重要な役割を果たす 3 凹性と経済学における粗代替性の間には密接な関わりがある. 本発表では 流通網を模式化した取引ネットワークモデルを離散凸解析の手法を用いて解析した結果を紹介する. この
モデルは経済学の分野でさかんに研究されている安定マッチングモデルの拡張である. 離散凸解析を用いると 各経済主体の選好が全代替性という性質をみたすもとでの競争均衡の存在や
競争均衡価格が束構造をもつことが証明できる.
 離散凸解析 歪 3 凹関数 全代替性 競争均
衡 安定性
 野村 次郎ノムラ ジロウ 慶應義塾大学大学院理工学研究科
 特任助教 関数の特殊値とイデアル類群
 7関数の特殊値とイデアル類群の間にある深遠な関係の研究は 整数論に於いて最も重要な研究テーマの一つとなっている. 本ポスターに於いては 7関数の特殊値を用いて作られる
  元と呼ばれる元が イデアル類群のガ
ロワ加群としての「大きさ」の情報を持っているかどうかという問題を考え その問題について得られた結果について紹介する.
 整数論 ゼータ関数 7関数 イデアル類群
 村上 翔太

ムラカミ ショウタ 慶應義塾大学大学院理工学研究科
 博士後期課程

年
 一次ベッチ数が  かつオイラー数が  を満たす複素曲面の変形同値類について
 複素曲面 が与えられ その位相を固定した
き に何種類の複素構造が許容されるかを考える. ただし 複素変形同値である複素構造は同じとみなす. まず に入る複素構造の数が有限であるかという問題について考察する. の一
次ベッチ数が  以外の場合は解かれていたので
我々はとくに一次ベッチ数が  の場合に注目した. そして更にオイラー数が  という条件を課した場合 には高々有限個の複素構造しか入らないことを示した. さらに の基本群がアーベ
ル群でなければ 高々 個の複素構造しか導入できないことも証明した.
そこで基本群がアーベル群の場合 に導入できる複素構造の個数を評価できないかと考え 結
果個数に関する上と下両方からの評価を得た. その系として の一次ベッチ数が  かつオイラー
数が  を満たす複素曲面ならば に入る複素構
造の個数は有限だが有界ではないことを示した.
 トポロジー 複素変形 基本群 井上曲面 8 #
曲面

♦ ♦

♦

芝浦工業大学 森岡 悠モリオカ ヒサシ 芝浦工業大学教育イノベーション推進セン
 村上 和明ムラカミ カズアキ 慶應義塾大学
 訪問研究員
 岩澤加群の同型類について  を素数   を  進整数環とする. 岩澤理論

においては   拡大に対してそのガロア群が作用する岩澤加群や  群が重要な研究対象である.  を   上一変数形式冪級数環とすると これ
らは 加群とみなすことができる. 有限生成ね
じれ 加群の構造定理により 加群の構造は
まず特性イデアルに現れ 有限生成ねじれ 加群全体は有限のずれを無視して擬同型類に類別できる. 今回は特性イデアルの生成元が重根を持たない 次または 次の多項式で生成される場合に同型類の分類を行う. また応用例として
虚二次体の円分   拡大に付随する岩澤加群のター
 特任講師 色々な格子における逆問題
 離散的なグラフ上での離散ラプラシアンを使った逆問題について紹介する. 特に ある種の有限グラフにおける逆問題は 有限回の行列計算によって厳密に解くことができる. 具体的な問題としては ポテンシャルやグラフの破損や欠損を決める境界値逆問題が解ける.
 シュレディンガー方程式 ディリクレノイマ
ン写像 "2* 格子欠損 散乱現象 結晶格子
注 筑波大学磯崎教授との共著

日本数学会異分野・異業種研究交流会 東京工業大学 北澤 直樹し 以下のことを証明する. もし系に市松模様状の外部磁場が与えられているならば 系の自由エネルギー密度は結合定数に関して体積 温度に依存しない原点の近傍で解析的であり 無限
体積 絶対零度への極限に一様に収束する. この
外部磁場に関する条件は自由エネルギー密度が最小となるための十分条件を含んでいる. したがって 系の最小自由エネルギー密度についても同様の結合定数に関する解析性と絶対零度への収束性が成り立つ.
 多体電子系 ハバード模型 繰り込み群

キタザワ ナオキ 東京工業大学大学院理工学研究科数学専攻
 +1
 「多様体」を調べてみよう関数や写像を使って
 直線 曲線 平面や曲面等の図形や 我々の生きる 次元の空間の自然な一般化 抽象化である「多様体」は 幾何学を含む数学において重要な研究対象である. また 宇宙等の物理学の舞台や 複雑なデータを扱うと自然に現れる図形など，周辺の科学や生活にも潜み 数学を越えて重要である. 例えば形 位相 や 堅い構造として微分積分が行えるようにした構造を入れた多様体の 微分位相 幾何学的な性質をみることが 多様体に関する基本的な重要課題である. 本ポス
ターでは 多様体を微分のできる良い写像を使って調べるという  世紀前半より現在まで切り拓かれ続けている手法と応用について 自らの研究も含め紹介する.
 多様体 可微分多様体 可微分写像 折り目写
像， 微分 位相幾何学♦


 梶原 直人

 修士課程  年
 電気生理学におけるバイドメイン方程式の解析性
 電気生理学とは 体の組織や細胞の電気的性
質と生理機能の関係を学ぶ学問である. その中で 心臓の電位の伝達を表すバイドメインモデ
ルが考えられている. この方程式の解析で不整脈などに関する電気信号の理解や &"1 やペー
スメーカーの研究も行われている. 一方数学的に考えなければならないものとして 解の一意存在性 時間に関する解析性が挙げられる. 方程式は一様放物退化放物型の連立系で 一般に解析を行いづらい. しかし 作用素の調和平均の形をした新たな作用素が導入され簡単な場合には解析が進んでいた. そこで私はこの作用素の研究をさらに進め 考察した結果を紹介する.
 電気生理学 バイドメイン方程式 適切性 解析半群 強解・古典解

♦ ♦

東京大学
 上坂 正晃

ウエサカ マサアキ

 東京大学大学院数理科学研究科
 特任助教  -  に関係する放物型偏微分方

程式系の逆問題  -  とは，固体液体間などの相転移現象の空間的な挙動を表すモデルの一つである．このモデルは秩序パラメーターと呼ばれる物質の状態を表すパラメーターと，温度を未知関数とする非線形放物型方程式のシステムである．本発表では，線形化された +;3 のシス
テムにおいて，部分領域での観測と，ある時刻での領域全体での観測から，熱拡散係数や易動度といったパラメーターを決定する逆問題を考察する．さらに，その際，部分領域では秩序パ
ラメーターの観測は不要であり，温度のみの観測で十分であることを示す．
 +   - ，逆問題
 加藤 本子

カトウ モトコ 東京大学大学院数理科学研究科
 博士後期課程  年
 高次元トンプソン群の  ;& についてはトンプソン群 の一般化であり  次元単位立方体間の区分的にアファインかつ向きを保つ全単射の成す群として定義される.  の定義はトンプソン群 のものと一致し 相異なる自然数 ,  に対して  と
は同型でないことが示されている. また は と同様に有限表示を持つ単純群であることが知られている. 本研究では 8 ) と 3
によって与えられた有限生成系を用いて  が  ;& を持つことを示した. ここで有限生
成群 が   ;& を持つとは その群の木への作用が常に固定点を持つということである. な
お が   ;& を持つことは ; によって示されている.
 高次元トンプソン群 
 鹿島 洋平

カジワラ ナオト 東京大学大学院数理科学研究科

カシマ ヨウヘイ 東京大学大学院数理科学研究科
 特任助教 多体電子系における絶対零度極限
 格子上を移動し 相互作用する電子たちからなる量子多体系を正の温度下で考える. その典型的な模型である超立方格子上の #- のハバード模型に対して繰り込み群の方法を構成



* 

* 



B

 )

) 

8 )   # )    ;&日本数学会異分野・異業種研究交流会  杉山 聡スギヤマ サトシ出した. この現象は 1!& の 次元内での配置によるものと考えられ 生物学において提唱された転写ファクトリー仮説との関係も指摘される.
本研究ではこのセルオートマトンモデルのある種の条件下における流量が不連続に変化することを示し 不連続点も含めて流量が厳密に計算できることを示した.
 転写 交通流モデル セルオートマトン

 東京大学大学院数理科学研究科
 博士後期課程  年
 ? 9 双対性と 5  面の ; 圏
 ? 9 双対性とは ? 9 代数に見られるある種の双対性である. ? 9 代数とは 向き付き
グラフ 箙 の上の道代数を  次式が生成するイデアルで割ったものである. 互いに ? 9 双対
な  つの ? 9 代数は 一定の条件下で有界導来圏が三角圏同値 導来同値 になることが 
年に &4  と 3 によって代数的に証明されている. 本研究では 有界導来圏の 増強を5  面の ; 圏を利用して構成し 導来
同値を幾何的に証明した. また 高次 ? 9 代
数の 代数としての ? 9 双対の構成について調べている.
 ? 9 双 対 性 & -  圏 ; 圏
;  圏 5  面 +&7;
 深沢 祐太 修士課程  年 非整数階拡散方程式の解の微分階数についての連続性
 非整数階拡散方程式は古典的な拡散方程式の一般化であり 古典的な拡散方程式では説明できない現象を説明する方程式として環境数理などで利用される重要な方程式である. しかし非整数階の微積分は古くから研究されてきたにも関わらず この方程式の性質は数学的に未解明な部分が多い. とくに古典的な拡散方程式と一般化された非整数階拡散方程式の関連性は不明であった. そこで私はこのことについて研究を進め「非整数階拡散方程式の解の微分階数についての連続性」を示した. 今回 研究結果と考察を紹介する.
 非整数階微分 特異拡散方程式 初期値境界問題 特異摂動問題 積分方程式


 鈴木 拓也

フカサワ ユウタ 東京大学大学院数理科学研究科

スズキ タクヤ 東京大学大学院数理科学研究科
 博士後期課程  年
 円筒型領域におけるストークスレゾルベン
ト評価について 本ポスター発表は阿部健氏 儀我美一氏
?     氏との共同研究に関する発表
です. 本研究では流体の運動を記述する方程式の一つである  方程式の初期値境界値問
題について特に解作用素である  半群の解
析性を考察しました.   8 9 分解が存在する場合は多くの研究結果が知られていますが 8 9 分解がない領域や 8 9 射影
作用素が有界でない有界関数空間上の解析は未解決の問題が多数存在します. そこで本研究では円筒型領域などで有界関数空間上の  半群の解析性について膨らまし法と呼ばれる背理法に基づく方法によりレゾルベント評価を考察し結果を得たので報告します.
  レゾルベント評価 円筒型領域  方
程式   領域


 黄 欣馳

コウ キンチ 東京大学大学院数理科学研究科
 修士課程  年
 ,   #     9 3)

   4     '      

 3)  

381

 



#   ' #    ) /     0. $  #     

 中田 庸一

ナカタ ヨウイチ 東京大学大学院数理科学研究科
 特任助教 転写ダイナミクスの数理モデルとその解析について
 1!& から情報を読み取り 5!& を生成する
転写は基本的かつ重要な生命現象であるが そのダイナミクスは様々な要因が絡み合っている
ため完全に理解されてはいない. 先行研究により大田らは転写時におけるポリメラーゼの時空間分布を実験により得て その結果をもとに特定のサイト間でジャンプが発生する交通流モデ
ルをベースとしたセルオートマトンモデルを提  )      0* '     . * . 2   -     ,    .

 

' 

# )    ' 0#  ) . 2     ,    # 0                # 8  . 2     0 )   '  
   . <   ' ) #    '        .
 ,    3)     ,  '    4 







日本数学会異分野・異業種研究交流会 同志社大学

 李 煥元 7  8>
 東京大学大学院数理科学研究科

 村上 浩司

 修士課程  年
 3   



'  

 博士前期課程  年    /  2 

'   #  )

 )   4           #0  # )  -. <  )  4) 0       <   '     # )    )  -  ' 

       ) / 

 楕円形方程式における内部にある介在物推定に対する逆問題について
 物体の内部がその物体で一様に満たされているのではなく 空洞や異なる材質の物体が中にあるときに 物体表面の情報から内部の状態を推定することが出来る. この方法は逆問題と呼ばれていて 非破壊検査などに応用することが出来る. 本研究では "2* "  2 *)  と呼ばれる楕円形方程式における介在物推定問題を考える. その中の一つの例に注目し計算を行った結果を紹介する.
 非破壊検査 "2* 囲い込み法 ディリクレノ
イマンマップ  0 0       )

# '

  .

 )  - 0      )

ムラカミ コウジ 同志社大学大学院理工学研究科



)

  # !'    #-     0

C     # 8)<)  D. 1 ## "4  E .


1   '  

2 )

 ' )  /  ♦ ♦)   :

♦

統計数理研究所
 松江 要 李 志遠リ シエンF 72 @ 
 東京大学大学院数理科学研究科
 博士後期課程 年
 G 4

 文部科学省委託事業「数学協働プログラム」
特任研究員
  マルチスケールダイナミクスを幾何学的に考えてみる  神経モデル $@ 反応 物質・材料科学 生命科学など 「マルチスケール」が伴う現象はさ
まざまな分野で見られます. その数学解析の一つの方法として「幾何学的特異摂動法」があり
多くの問題の解決に寄与しています. 本発表では 著者による独自の研究も交えて 幾何学的特異摂動を軸としたマルチスケール現象の一解釈を論じます.
  幾何学的特異摂動 マルチスケール現象

   )   0 )  #       #   ##  4 
 <      #0     #   
 ##  0

  




'     0   4   # -  . 2      0  ##  0 9    4   #  

 ## ) 

4     #0 #   

0  ## 

#  

0       H  # )    )0 . 2   数学協働プログラムの紹介      0  ##   ##  4  #      本プログラムは全国の数学・数理科学者と  . 6   

諸科学・産業界の研究者が集中的・継続的に議論する場を提供することにより 数学・数理科学と諸科学・産業の協働による具体的課題解決に向けた研究を促進する事を目標とし 平成  年 月より文部科学省の委託事業として始まりました. 主な活動として ワークショップや課題解
決型集中討論の場であるスタディグループの公募・支援 一般むけシンポジウムを含めた情報の発信・収集があります. 本発表では活動内容をより詳細に紹介し 企業や学生を含めた若手の方々など 参加者の皆さんに異分野協働に向けた取り組みに関心を持っていただく事を目指します.
  数学・数理科学と諸科学・産業との協働
ワークショップ スタディグループ シンポジウム

# 7   #   )#  C     4 C      #         ' #     #   ##  4 
' .

*  

      4   0   # #   )   0 ) #          ' '     '  .

 #   ##  4     
 ' '   '   7   # ' 

マツエ カナメ 統計数理研究所

  =

日本数学会異分野・異業種研究交流会 東北大学
 小松 尭 場の量子論は素粒子物理を記述する基礎理論であり 一方結び目理論は紐の結び目を数学的に研究する位相幾何学である. ,   理論
は場の量子論に基づく手法により結び目を研究する方法を提供する. これは単に結び目理論に対するアプローチのひとつという意味以上に場の量子論の研究において重要な意味を持つ. 本
発表では場の量子論の立場に立った際の結び目理論の位置づけを踏まえつつ ,   理論を紹介する.
 場の量子論 ,   理論 結び目理論
量子不変量

コマツ タカシ 東北大学大学院理学研究科
 博士後期課程

年 整数格子上の離散時間量子ウォークの性質 量子ウォークは古典ランダムウォークの量子版として導入され  年代初頭に量子アルゴ
リズムの改良に量子ウォークが使われたことか
ら盛んに研究され始めた. 最近では 量子情報理論の分野だけでなく量子物理の側面からも研究されはじめている. 本発表では 整数格子上の離散時間量子ウォークの漸近挙動に現れる性質を考察し 応用分野への糸口を探る. まず １次元
量子ウォークのモデルを通して量子ウォークを説明し 知られている極限分布を紹介する. 量子
ウォークは 線形な広がりを見せる一方 一点に粒子が局在する現象が見られる興味深い対象である. 整数格子上で局在化現象が どのような条件を満たすときに 起こるかを紹介する.
 離散時間量子ウォーク 極限分布 局在化現象 %' コイン +6:3   ' 
'   量子アルゴリズム



 佐藤 雅大

 博士研究員
 直観主義論理とアルゴリズム
 直観主義論理とは定理の証明時に背理法を認めないという制限付きの論理である. 一方 背
理法を認める論理体系は古典論理と呼ばれ 現
在の数学は古典論理をベースとしている. 背理
法の制限が大きな問題とならない数学の分野も実際には存在するが やはり背理法なしでは中間値の定理が証明できないなど いくつかの基本的な性質が証明できなくなることが知られている. しかし背理法を使わない証明は 実は 良い 性質をもったアルゴリズムに対応するという結果 $8? 解釈 が知られているため 現在非
常に興味深い研究対象となっている.
 直観主義論理 ,80 対応 構成的数学 計算可能性理論 $8? 解釈 ,4
 廣津 孝

ヒロツ タカシ 東北大学大学院理学研究科
 博士後期課程  年
 二進体上の , I  曲面の , 0 群
 スキーム

上の  サイクルの成す , 0 群
) は代数体のイデアル類群 曲線の + 群の一般化として 代数幾何学 数論の重要な研究対象である. しかし  次元以上のスキームに対しては ,8¼ ( ) の具体的な計算例はあまり知られていない. 先駆的に局所体  上の完備有理曲面 に対して ,8¼ ( ) の構造が研究されてきた. ,   と呼ばれる  上の曲面に対して ,8¼ ( ) の次数  部分 &¼ ( ) は有限  群であることが知られている. その典型的な曲面である , I  曲面 については多くの研究者によって &¼ ( ) の計算が数論的な問題に帰着され &¼ ( ) の群構造が決定されてきた. A ¾ − ¾ = (¾ − )  ,  は  の非平方数 のとき いくつかの場合に既知の計算を拡張
し の分解体が暴分岐のとき &¼ ( ) の群構造
は基礎体  に依存して複雑な挙動を示すことを明らかにできたので これを紹介する.
,8¼ (

♦



 丸山 貴志

マルヤマ タカシ 名古屋大学大学院多元数理科学研究科
 博士課程後期課程  年
 フラクタルの巡回的コホモロジー
 巡回コホモロジーは古典的に知られている

ドラームホモロジーの定義域をより広いクラスの空間に広げたものとみなすことができる. 良
い空間に対する巡回コホモロジーの構造は空間の次元に大きく影響を受ける. 今回は古典的なドラームホモロジーの枠組みでは扱うことのできなかったフラクタルの巡回的コホモロジーに関する話をする.
 ドラーム コ ホモロジー 巡回的コホモロ
ジー フラクタル 次元.

♦ ♦

名古屋大学
 亀山 昌也

サトウ マサヒロ 名古屋大学大学院多元数理科学研究科

カメヤマ マサヤ 名古屋大学大学院多元数理科学研究科
 博士後期課程  年
 場の量子論と結び目理論

J日本数学会異分野・異業種研究交流会 早稲田大学
 小野崎 香織

その不変性から擬共形生成作用素のライプニッツ則が成り立ち一般化解析函数空間に時間大域解を構成する事が出来る事を示す.
 非線型シュレディンガー方程式 解析性

オノザキ カオリ 早稲田大学大学院基幹理工学研究科
 博士後期課程

年

 制限４体問題に現れる不変多様体の解析と地球月輸送軌道の設計
 宇宙機の軌道設計においては航行時間および消費燃料の低減は宇宙科学における重要な課
題となっている．本研究は，太陽地球月系における宇宙機の低エネルギーな軌道設計を行うことを目的とする．すなわち，制限４体問題を２つの摂動を受ける制限３体問題の繋ぎ合わせとみなし，それぞれの摂動系における不変多様体をラグランジュ・コヒーレント構造から導出する．その上で低エネルギーで効率の良い軌道を見出すことにより，摂動系を結合させて地球から月へ向かう軌道設計の手法を示す．
 宇宙機，軌道設計，制限４体問題，不変多様体
注 早稲田大学大学院基幹理工学研究科吉村浩明教授との共著.
 齊藤 平和

サイトウ ヒロカズ

 早稲田大学大学院基幹理工学研究科
 次席研究員
 二相流の数理モデリングと数学解析
 水中を運動する気泡のように，気体と液体を隔てる界面が存在する流れを二相流と呼ぶ．その他にも，水と油のような液体と液体の二相流も考えられる．本発表では，初めに，これらの二相流のナビエ・ストークス方程式を用いた数理モデリングを紹介する．次に，導出した数理モデル 偏微分方程式 の数学解析を行い，方程式の可解性や解の漸近挙動を明らかにする．さらに，二相流の特別な場合として一相流を考えたときに，表面張力や重力が解の漸近挙動に関してどのような影響を与えるのかということについて考察する．
 流体力学，二相流，一相流，ナビエ・ストー
クス方程式，数理モデリング，解の漸近挙動
 星埜 岳ホシノ ガク 早稲田大学大学院先進理工学研究科物理学

及応用物理学専攻
 博士後期課程 年
 擬共形不変なシュレディンガー方程式の時空間解析的平滑化効果
 擬共形不変なシュレディンガー方程式の初期値問題について考察する. 特に空間遠方で指数函数的に減衰した初期値に対して ガリレイ生
成作用素と擬共形生成作用素による巾級数展開
で特徴づけた一般化解析函数空間に解を構成する方法を考える. 擬共形不変な非線型項に対してE