-
《线性代数入门》解题笔记 1.1
《线性代数入门》，梁鑫等编著，清华大学出版社，2022 年. 1 线性映射和矩阵 1.1 基本概念 1.1.1 考虑其中任意一个向量 a\boldsymbol{a}a，每个 a\boldsymbol{a}a 都有一个向量 b\boldsy... -
《线性代数入门》解题笔记 0
《线性代数入门》，梁鑫等编著，清华大学出版社，2022 年. 0 预备知识 0.1 逻辑与集合 0.1.1 图略. 0.1.2 证明 既然 A⇒BA\Rightarrow BA⇒B 可以定义为 B∨(┐A)B\lor(\urcorner ... -
在《无人深空》的无垠世界和自演原声中
原作者：Matt Kamen 原文链接：Inside the infinite world of No Man's Sky and its evolving soundtrack 欲领悟《无人深空》的真正大小几乎是不可能的。这个通过算法生成宇宙一... -
古乐10：Victimae paschali laudes
2022 年 11 月 15 日，黑曜石发布了他们新作 Pentiment 的发售预告片。预告片以一曲圣乐作为开场，一下子就把我们拉回到那个神秘的中世纪。黑曜石选用的圣乐，正是这首 Victimae paschali laudes。 这是在复活节弥撒... -
线段树与区间树算法详解（C++ 实现）
线段树（Segment Tree）和区间树（Interval Tree）是常常被搞混的两种算法，这里将对两种算法进行介绍。 线段树 RMQ 问题 RMQ 问题，即区间最值问题（Range Minimum/Maximum Query），一般表现为多... -
C++ 中 for 与 for_each 的用法
for (;;) for 语句是非常常见的重复执行语句。观察以下示例： 123456789#include<iostream>int n;int main(){ cin >> n; for (int i... -
船歌2：The Leaving of Liverpool
这首歌最早是 William Doerflinger 收集的，他把这首歌收录在他的 Shantymen and Shantyboys 中。 Doerflinger 的版本来自 Dick Maitland，他是 1885 年左右在诺克斯将军号（Gene... -
船歌1：Randy Dandy-O
歌词 Now we are ready to head for the Horn Way hey, roll and go! Our boots and our clothes, boys, are all in the pawn Timme ro... -
古乐9：Viderunt omnes fines terrae
这首《大地的每个角落》是一首非常典型的格里高利圣咏，创作于大约公元 5 世纪。歌词节选于旧约的《诗篇》。 1198 年佩罗坦把这首圣咏改成了四声部奥尔加农的形式。所谓奥尔加农（organum），别名花唱式奥尔加农，是欧洲最早的“复调音乐”形式。由于圣... -
认知话题推荐书单
心灵哲学 Philosophy of Mind 3rd edition. Jaegwon Kim. Philosophy of Mind and Cognition 2nd edition. David Braddon-Mitchell, Fra...