研究領域「数理・情報のフロンティア」2021年度研究年報

2019年度採択課題

宇田 智紀 (東北大学 材料科学高等研究所 助教)
「レーブグラフの順序定式化の数理とデータ解析」
宮内 翔子 (九州大学 システム情報科学研究院 助教)
「高精度3次元物体認識を実現するDenoising & Mesher DNNの構築」

2020年度採択課題

相川 勇輔 (三菱電機(株) 情報技術総合研究所 研究員)
「楕円曲線を用いた耐量子計算機暗号の安全性解析と高効率化」
朝倉 卓人 (東京大学 大学院情報理工学系研究科 大学院生(博士課程))
「数式と自然言語の統合的解析による学術文献理解の研究」
伊澤 侑祐 (東京工業大学 情報理工学院 大学院生(博士課程))
「汎用性と高性能を両立するハイブリッド型実行時コンパイラ」
石川 勲 (愛媛大学 データサイエンスセンター 特定助教)
「データ解析を見据えたKoopman作用素の包括的な理論研究」
石田 隆 (東京大学 大学院新領域創成科学研究科 講師)
「ベイズ誤差推定及び正則化手法の研究」
江原 遥 (東京学芸大学 教育学部 講師)
「教材内容理解に基づく教育の形を変える安定的な教材推薦技術基盤の創出」
大川 武彦 (東京大学 大学院情報理工学系研究科 大学院生(博士課程))
「模倣AIエージェントによる人物行動理解」
大西 祐輝 (東京工業大学 工学院 大学院生(博士課程))
「リーマン計量の合成による包摂アーキテクチャの構成」
加藤 本子 (愛媛大学 大学院理工学研究科 助教)
「幾何学的手法による群の分類と暗号理論への応用」
門本 淳一郎 (東京大学 大学院情報理工学系研究科 助教)
「微小チップ群を埋め込んだ形状自在情報デバイスの研究」
木村 慧 (九州大学 大学院システム情報科学研究院 准教授)
「演算不変性を用いた整数計画問題のアルゴリズム開発」
久野 恵理香 (大阪大学 大学院理学研究科 助教)
「写像類群の擬等長分類と機械学習への展開」
黒木 祐子 (東京大学 大学院情報理工学系研究科 助教)
「限られた情報に基づく統計的機械学習と数理最適化アルゴリズムの開発」
計良 宥志 (千葉大学 大学院工学研究院 助教)
「データドリブン計算代数幾何」
末廣 大貴 (九州大学 大学院システム情報科学研究院 助教)
「学習問題の統合的帰着」
高木 健 (東京大学 大学院工学系研究科 大学院生(博士課程))
「カクテルパーティ効果に着目したオンライン話者とオフライン話者の選択的聴取の支援」
高瀬 翔 (東京工業大学 情報理工学院 助教)
「ランダムベクトルを用いた軽量な埋め込み表現の構築」
辻 寛 (大阪大学 大学院理学研究科 大学院生(博士課程))
「量子論基礎にかかる高次元バナッハ空間の幾何学的研究」
中島 祐人 (九州大学 大学院システム情報科学研究院 助教)
「辞書式順序に基づいた文字列データ処理法の構築」
野間 裕太 (東京大学 大学院工学系研究科 大学院生(修士課程))
「大スケールかつ展開可能な折り紙構造のファブリケーション手法」
韓 燦教 (東京大学 大学院情報学環 助教)
「埋め込み型無線センサを用いた立体形状計測」
坂東 宜昭 (産業技術総合研究所 情報・人間工学領域 研究員)
「統計的時空間モデルに基づく雑踏音環境マッピング」
前田 洋太 (ソニーグループ(株) R&Dセンター 研究員)
「Kudla予想の解決及び志村多様体の研究と暗号への応用」
村松 久圭 (広島大学 大学院先進理工系科学研究科 助教)
「周期/非周期分離制御の開拓」
矢倉 大夢 (筑波大学 理工情報生命学術院 大学院生(博士課程))
「創作支援のための知覚的スタイル模倣フレームワーク」
横井 祥 (東北大学 大学院情報科学研究科 助教)
「言葉が埋め込まれた空間の形と言葉の意味の接続」
吉村 直也 (大阪大学 大学院情報科学研究科 大学院生(博士課程))
「時系列信号の画像表現を用いた複雑行動認識」
和賀 正樹 (京都大学 大学院情報学研究科 助教)
「近似的数理モデルによるCPSの動的安全機構」

2021年度採択課題

石塚 天 (九州大学 大学院数理学府 大学院生(博士課程))
「探索問題の計算量解析を量子計算へ拡張する研究」
伊藤 海斗 (京都大学 大学院情報学研究科 大学院生(博士課程))
「制御・最適輸送理論の融合による大規模系の制御法開発」
井上 昂治 (京都大学 大学院情報学研究科 助教)
「マルチモーダルなふるまいに基づく音声対話の人間目標型評価」
内藏 理史 (総合研究大学院大学 複合科学研究科 大学院生(博士課程))
「圏論と自動検証による機械学習の仕様保証」
栗田 和宏 (情報・システム研究機構 国立情報学研究所 特任研究員)
「順序制約付き極大部分集合列挙の基盤技術開発」
古賀 一基 (京都大学 大学院理学研究科 特定助教)
「計算調和解析学に基づく形状データ解析の深化」
小鳥居 祐香 (広島大学 大学院先進理工系科学研究科 准教授)
「トポロジーを用いた紐状物質の研究」
小林 健 (富士通(株) 富士通研究所 研究員)
「大規模混合整数半正定値最適化問題に対する効率的汎用解法の開発」
佐竹 翔平 (熊本大学 大学院先端科学研究部  特別研究員)
「Square-root bottleneckを超えるRIP行列と関連する組合せ論」
柴 康太 (東京大学 大学院工学系研究科 大学院生(博士課程))
「積層型AIチップの低電力高効率アーキテクチャ」
新屋 良磨 (秋田大学 大学院理工学研究科 助教)
「測度論的な概念を用いた形式言語理論への新たなアプローチ」
叢 悠悠 (東京工業大学 情報理工学院 助教)
「型理論に基づく音楽自動生成ツールの開発」
田中 佑典 (日本電信電話(株) NTTコミュニケーション科学基礎研究所 研究主任)
「物理現象を再現する深層ニューラルネットのベイズ学習法」
土屋 平 (京都大学 大学院情報学研究科 大学院生(博士課程))
「高速かつ高性能な広範にわたる逐次的意思決定問題の方策開発と解析」
中丸 智貴 (東京大学 大学院総合文化研究科 助教)
「試行錯誤を効率化するJupyter Notebook拡張」
中村 友彦 (東京大学 大学院情報理工学系研究科 特任助教)
「音メディア処理のための標本化周波数非依存深層学習」
幡谷 龍一郎 (東京大学 大学院情報理工学系研究科 大学院生(博士課程))
「Energy-based Modelによる人と相補する生成モデルの開発」
濵西 夏生 (東京大学 大学院学際情報学府 大学院生(博士課程))
「動画による動作観察と対面した人間を観察する体験とのギャップを埋めるローコストな時空間インタラクション技術の研究」
樋口 陽祐 (早稲田大学 大学院基幹理工学研究科 大学院生(博士課程))
「言語表現の階層構造に基づくEnd-to-End音声認識の研究」
藤澤 将広 (東京大学 大学院新領域創成科学研究科 大学院生(博士課程))
「ロバスト性と汎化性能を両立する機械学習法の確立」
星野 健太 (京都大学 大学院情報学研究科 助教)
「確率測度の空間上の動的システムの可到達性の解析と深層学習への応用」
星野 光 (兵庫県立大学 大学院工学研究科 助教)
「電気料金設計のためのマルチスケールモデリング」
松原 晟都 (東京大学 大学院情報理工学系研究科 大学院生(博士課程))
「運動誘導システムモデルに基づいた人間機械ダイナミクス」
水谷 明博 (三菱電機(株) 情報技術総合研究所 研究員)
「現実的な装置を用いた情報理論的安全な量子情報処理の実現」
ラルスン マリア カタリナ (東京大学 大学院情報理工学系研究科 大学院生(博士課程))
「計算機による伝統木工支援 / Computer-Assisted Wood Craft」
劉 田香 (東京工業大学 情報理工学院 助教)
「構造化制約付き最適化問題の効率的な解法の開発と機械学習への応用」
評価・報告書

プログラム

  • CREST
  • さきがけ
  • ERATO
  • ACT-X
  • ALCA
  • CRONOS
  • AIPネットワークラボ
  • 終了事業アーカイブズ
  • ご意見・ご要望