革新知能統合研究センター

【会議名】第6回理研AIP数学系合同セミナー
【期間】2025年2月19日（月）〜2月21日（水）
【開催場所】 マホロバマインズ三浦（神奈川県、三浦市）

【プログラム】

• 2月19日（水）
  13:00 – 13:10：諸注意
  13:10 – 14:00：自己紹介
  14:00 – 14:40：中田 芳史さん (京都大学)「Unitary designs in quantum information theory」
  15:00 – 15:40：山崎 隼汰さん (東京大学)「Generalized Quantum Stein’s Lemma」
  16:00 – 16:40：園田 翔さん (理研AIP・深層学習理論チーム)「Theorem Proving by Lean + LLM」
  16:40 – 17:10：休憩/Coffee break
  17:10 – 18:50：ポスターセッション/Poster
  19:00 – 20:00：夕食/Dinner
  20:00 – 21:00：ディスカッション/Discussion
• 2月20日（木）
  9:00 – 9:40：池渕 未来さん (京都大学)「Homological study of equational logic」
  9:40 – 10:00：休憩/Coffee break
  10:00 – 10:40：加藤 本子さん (琉球大学)「円の自己同相写像のなす有限生成無限単純群について」
  11:00 – 11:40：今泉 允聡さん (東京大学/理研AIP・高次元因果解析チーム)「現代的高次元統計：構造モデル・ニューラルネットワーク・普遍性」
  12:00 – 15:00：昼食＆議論/Lunch & Discussion
  15:00 – 15:40：Thomas Möllenhoffさん (理研AIP・近似ベイズ推論チーム)「Extending and Improving Federated ADMM via Variational Bayes」
  16:00 – 16:30：休憩/Coffee break
  16:30 – 17:10：Hugo Monzón Maldonadoさん (理研AIP・近似ベイズ推論チーム)「How to Weight Multitask Finetuning? Fast Previews via Bayesian Model-Merging」
  17:30- 18:10： 西田 圭吾さん (理研BDR・計算分子設計研究チーム)「乱舞（LUMB）: Lie-Group Update via Multiplicative Bayes for Deep Learning」
  18:10- 19:00：休憩&議論/Coffee break & Discussion
  19:00 – 20:00：夕食/Dinner
  20:00 – 21:00：ポスターセッション/Poster
• 2月21日（金）
  9:00 – 9:40：高津 飛鳥さん (都立大学)「定義：エントロピーとは…/ Definition：Entorpy is …」
  10:00 – 10:40：松原 崇さん (北海道大学)「幾何学的力学に学んだ深層学習モデリング」
  11:00 – 11:30：ディスカッション/Discussion
• 講演者
  池渕 未来さん (京都大学)「Homological study of equational logic」
  今泉 允聡さん (東京大学/理研AIP・高次元因果解析チーム)「現代的高次元統計：構造モデル・ニューラルネットワーク・普遍性」
  加藤 本子さん (琉球大学)「円の自己同相写像のなす有限生成無限単純群について」
  園田 翔さん (理研AIP・深層学習理論チーム)「Theorem Proving by Lean + LLM」
  高津 飛鳥さん (都立大学)「定義：エントロピーとは…/ Definition：Entorpy is …」
  Thomas Möllenhoffさん (理研AIP・近似ベイズ推論チーム)「Extending and Improving Federated ADMM via Variational Bayes」
  中田 芳史さん (京都大学)「Unitary designs in quantum information theory」
  西田 圭吾さん (理研BDR・計算分子設計研究チーム)「乱舞（LUMB）: Lie-Group Update via Multiplicative Bayes for Deep Learning」
  Hugo Monzón Maldonadoさん (理研AIP・近似ベイズ推論チーム)「How to Weight Multitask Finetuning? Fast Previews via Bayesian Model-Merging」
  松原 崇さん (北海道大学)「幾何学的力学に学んだ深層学習モデリング」
  山崎 隼汰さん (東京大学)「Generalized Quantum Stein’s Lemma」

詳細は、下記よりご覧ください。
第6回理研AIP数学系合同セミナー

世話人
理研AIP数理科学チーム：田中章詞，関坂宏子, 池田正弘, 東條広一, 紅村冬大

関連研究室