書籍・論文

アクセス情報Books

• 

  PythonとCasADiで学ぶモデル予測制御 (KS理工学専門書)

  著者： 深津卓弥 菱沼徹 荒牧大輔
• 

  n月刊ラムダノート Vol.5, No.1(2025) #1 自然数を作って学ぶLean言語

  著者： 井上亜星
• 

  ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発

  著者： 井上亜星

論文Paper

• Convergence of Laplacian Eigenmaps and Its Rate for Submanifolds with Singularities

  M Aino - Discrete & ComputationalGeometry, 2024 - Springer

• Prismatic Kunz's theorem

  R Ishizuka, K Nakazato - arXiv preprint arXiv:2402.06207, 2024 - arxiv.org

• On behavior of conductors, Picard schemes, and Jacobian numbers of varieties over imperfect fields

  I Nagamachi, T Takamatsu - Journal of Pure and Applied Algebra, 2024 Elsevier

• On homotopy exact sequences for normal schemes

  Ippei Nagamachi - Springer, Published: 20 November 2024 Volume 309, article number 7, (2025)

• Black p-Branes in Heterotic String Theory

  Masaki Fukuda, Shun K. Kobayashi, Kento Watanabe, Kazuya Yonekura

セミナーSeminar

• Noetherian perfectoid towers and small tilts

  東工大 数論・幾何学セミナー：仲里 渓

• Convergence of Laplacian and its rate for submanifolds that are not necessarily smooth

  ICIAM 2023: Masayuki Aino

• Perfectoid towers and small tilts

  Arithmetic Geometry, Algebraic Geometry and Analytic Geometry — celebrating Kazuhiro Fujiwara's 60th birthday: Kei Nakazato