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

First Challenge: German VisaWell, I waited exatly 2 months until I received it (from 2. Sep. to 2. Nov.). Quite slow ja.I expected to celebrate Halloween (for the very first time) in Germany but th...

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

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