1. 一些废话 #01这部分存在的意义是为了假装这篇文章不是写着玩的主观臆测。即便跳过本部分也不会造成任何阅读障碍。 定义1.1.: 本人、我、我们…一个德意志联邦共和国，巴登-符腾堡州，海德堡大学，跨学科计算中心，科学计算 M.Sc.项目的average chinese student；没有任何人文社科背景，对社会等复杂系统的观察力约等于0；长期没有进行过超过50个字的汉语写作。 定...

We are forever friends. Yes?– Rhypho L. 0. PrefaceTerence Tao presented in his Real Analysis script a very classical example of axiomatic system: Peano axiom, which formally ans...

2025 WiSe in Universität Heidelberg · Lecture Notes by Offensive77 This post was translated from Typst to Markdown by ChatGPT, with a loss of information. See the link for the original version. Ke...

Question Solution (incomplete)

Grönwall inequality Question 0 Proof 0 Question 1 Proof 1

Nun war er im Begriff, ein Tagebuch anzufangen. Das war nicht illegal (nichts war illegal, da es keine Gesetze gab), aber im Fall der Entdeckung war es ziemlich sicher, dass man dafür mit dem Tod o...

All the other properties are easy to show, except a notable one (g). The proof is given above:this is given by applying the chain rule.

Black-Headed Gull Swan Crow Egyptian Goose

本文写于2021年12月，发布在本人的旧博客和南邮校科协的网站上；现转载于此。 前言说到 C++ 的模板技术，有一个术语不得不提：SFINAE (读作 Sfee-nay，Substitution Failure is Not An Error )。这个技术使得 C++ 这样的静态语言在一定程度上可以实现类似反射的功能 (可以根据类型的特征，表现出不同的行为)。在 C++20 标准概念库发布之后，许多运用到 SFINAE 的场景都可以被概念取代，这一古老的方案也许也将退出到幕后。 当然，这不是一件值得悲伤的事情，这说明标准委员会在积极地寻求摆脱历史的包袱的途径。 这篇文章旨在向想要了解 SFINAE 的读者介绍这一技术的发展历史。

本文搬运自本人的b站专栏。可能有一些排版问题但懒得改了。 写在前面今天是2024年7月26日。本人刚刚从日本返回中国，总计在日本停留了九天，其中前三天在高松（包括男木岛、女木岛、直岛）度过。决定写一篇专栏来记录我的第一次巡礼之旅。这是一场身体十分疲劳，心灵却得到治愈的旅途。在这之中，我也收获了许多意外的惊喜。