【C++ 模板元编程入门】在编译期实现 Peano 数

基本知识 类型的函数 我们都知道模板可以接受类型作为「参数」。同样地我们也可以有「返回值」,从而构造类型的函数。基本的范式是: template<class T> struct Computed { using type = T; } 这就构造了一个名为 Computed 的,接收一个类型参数,返回这个类型本身的函数,用法如 Computed<float>::type,这个类型应当还是 `float`。 为什么要包一层 struct?这是因为 C++ 不支持对 using 的偏特化。这样的代码是不行的: template <……

记孙正威老师

今天是教师节,我研究了一夜 OCaml,早上六点才睡。醒来已是下午两点。对这个节日,向来没有什么感受,可能是我在学校比较独立,和老师交流较少。师者,所以传道授业解惑,但是老师既没传给我道,也没怎么授过业,我更没有仰仗老师解惑。也从小到大,我都是在孤军奋战。这可能也是我学习不大好的重要因素之一。 但是今天水着工信群,突然想起了些什么。我一个学数学的,为什么会在工信群呢?为什么我会对编程有执念呢? 虽然我进大学的时候,确实是在几乎不会编程的状态,但我之前确实学过编程。它甚至是我开始拥有自己电脑的契机。那是在五年级升六年级的暑假开始前不久(2005 年)。有一……

关于游戏王全卡档的几点注解

正文: 问:为什么我下了游戏王全卡档文件,也拷到了存档目录,却无法在游戏里解锁全卡档? 答:原因可能是多样的,但本质上都是由于游戏读取到的校验码和存档文件不匹配导致的。 问:那么会有哪些原因呢?怎么知道我是哪个原因呢? 答:首先,我们要了解这个校验码是放在哪里的。答案是——注册表。这也是网上很多教程会让你导入注册表文件的原因,也是它们说“要备份存档文件,必须要备份 flcrc”的原因。准确地讲,这个校验码是放在注册表某个节点下的 \KONAMI\Yu-Gi-Oh! Power Of Chaos\system 节点下的 flcrc 键值,是一个 13 字节……

一个不正确的 TypeScript 类型定义引发的血案

Mongoose 的 TypeScript 类型定义并不完全正确! 昨天晚上在 bgs 研究了(或者说调试了)XGS 写的 nodejs 服务器项目。他在用 koa 作为服务器,mongodb 作为数据存储,写一个不知道什么项目(似乎名为「写作者平台」/ “Write’s Platform”)。反正当时还处于很初级的阶段,只有两个路由,一个 get,一个 post,后者是用来向 mongodb 提交一篇文章的。在测试过程中,他发现了一个问题——他在保存文章的回调中更改了响应的内容(如下),但是实际测试得到的响应内容却是……

一次隨機騎行

本来去讨论“英国历史与经典文献选读”的展示,完了之后突然想去沃爾瑪買奶酪,中途發現沒錢,索性騎到市區玩玩好了,結果卻騎到了萬象城。當然鑒於一分錢沒帶,就只能拍拍照啦。。。 途中本想在慶春路的書店停下逛逛,奈何拖延糾結中就過去了。好在萬象城也有家實體書店,Page One。它售賣的淨是些小資情調的書,什麼室內設計啦、烹飪飲食啦、文史哲啦,有很多英文書。 好像杭州每家商城都有BOSE店,BOSE已經這麼普及了麼?彩色的QC15倒是挺不錯的。 頂樓的餐廳,西文名叫Jardin de Jade,莫不是玉園?如此這般,比「蘇浙匯」更有已經(不明覺厲)。 樓頂看錢塘……

这些无法翻译的外语单词有哪些故事/典故?

tumblr的舶來品?原文英語,譯作中文更爲冗長,但真地要這麼多字才能表達嗎?原作恐有故意嘮叨博取噱頭之嫌。 再者很多詞(包括但不限於我認識的)也並不神奇。 waldeinsamkeit = wald + einsamkeit = forest + loneliness = 林中孤獨(孤感?) почемучка = почему + чка = 爲什麼 + 指小的後綴,實則專指小孩,《简明俄汉词典》的“小問號”之譯乃至勝過原詞。 木漏れ日 = 木(樹) +漏れ(漏れる)+ 日(太陽),譯作漢語也許去掉假名即可。 dépaysement = dépays……

为什么中国古代人物画总是看着不那么写实?

我觉得某些回答的某些部分是很有误导性的。比如 @张佳玮 拿一副古埃及的壁画和唐代画比,那可是公元前 1000 年以前的作品,而且这种画风至少公元前 3000 年以前就定型了,再说并不一定埃及就能代表西方,埃及没有写实绘画(其实罗马化还是有的)不代表希腊罗马没有。比如 @沈临枫 拿兵马俑当作写实的证据,未免有些太没说服力了。画说在前头,底下举一些例子(来自维基百科)。   Facsimile of the Narmer Palette, c. 3100 BC,跟那种画一个风格。     跟埃及人比也可以。。可以比雕塑,比如拿木乃伊的面具嘛,或者古埃及也有雕……

读《云图》的俄语台词 (4)

ОБЛАЧНЫЙ АТЛАС Острова Тихого Океана, 1849 год. Дело сделано, мистер Юинг, теперь сей контракт свят для исполнения… почти как Десять Заповедей. сделано: 完成 сей: 这个 свят: 神圣的 исполнения: 执行, 完成 почти: 几乎 Заповедей: 戒律 Благодарю, Преподобный Хоррекс, мой тесть с нетерпением ж……

读《云图》的俄语台词 (3)

– Здравствуйте. – Ваш пропуск. Смотрю вы начеку? пропуск: pass, admission начеку: on the alert Я был издателем Дермонта Хоггинса, а не психоаналитиком или астрологом, и это чёртова, чёртова правда, я и понятия не имел, что он сделает в тот вечер. издателем: publisher ……

《云图》中的一句话 (I)

Теперь я понимаю, что границы между шумом и звуком условный. Любые границы условный, и созданный, чтобы их переступать. Всё условности преодолимый, стоит лишь поставить для себя эту цель. граница: limit, confine между: between шум: noise звук: sound условный: conventional созданн……

多项式和幂级数 (I)

今天我们讨论多项式 交换环上 Nilpotents and units are closely related. In a commutative unital ring , if nilpotent, unit, then is again a unit. If is a unit for every , then , the Jacobson radical, approximately nilpotent. Let be a commutative unital ring, and the polynomial ring over . Let . ……

读《云图》的俄语台词 (2)

Вот тогда-то я и свёл знакомство с доктором Генри Гуссом, с человеком, который, как я надеялся, сможет излечить мой недуг. Вы что-то ищите? тогда-то: then, at that time свёл (свести): took; свёл знакомство с: made the acquaintance of который: who надеялся: hope сможет: be able to……

《交换代数》习题研讨 (I)

Units, nilpotents, and idempotents lift from to .Proof: Units and nilpotents are obvious. In fact they lift to any of their representatives. For idempotents, if , then , so for sufficiently large . And , so lifts to a unit . Moreover, its inverse . So and . This can be interprete……

一个简单的组合问题及相关的思考

Problem: If the decimal expansion of contains all digits (), then the number of length strings (shorted as -strings) is greater than . If you’ve established the simple lemma, the solution is instant. Otherwise very impossible. Lemma: The number of -strings is strictly great……

生成函数和形式幂级数

今天我们讨论生成函数 Problem 1: Give a finite set of positive integers . Let be the collection of sequences , such that , and each . Let for and , and . Find out what is explicitly. Solution: It is not hard to note the recursive relation for , if we set for negative . So that and , which i……

读《云图》的俄语台词 (1)

Тоскливая ночь. Обыватели печальный, ветер пробирает до костей. В нём я слышу…голоса. Это вой, вой предков, они рассказывают свои истории. Их голоса сплетаются в хор. Но один голос особенный… Этот голос, шепчет, преследует тебя из мрака. Клыкастый дьявол, сам Старина ……

《云图》中的一句话

На улице тяжёлый снег падал на шиферные крыши и гранитные стены. Подобно Солженицыну, томившемуся в Вермонте, я буду трудиться в изгнании. Но в отличие от Солженицына, я буду не один. Explanation: green: radical red: prefix blue: suffix dark red: preposition orange: auxiliary ing……

信念

小时候,我就对地球以外的世界深感兴趣。虽然住在城市里,并没有看到满天繁星的机会,但我还是喜欢想象。我买了很多讲人类探索宇宙的努力的书,看了很多这样的漫画(主要是蓝猫淘气三千问)。正是这种憧憬带我走向了科学。 许多年过去了,我现在专注数学(而不是科学)。但是深邃的星空依然对我意味着许多。我不关心金钱、荣耀、名誉或别的什么,因为我相信有些别的东西远比它们伟大——它们只在人类社会生效,其背后的欺骗和伪装,在浩瀚的宇宙中,更是不值一哂。 但我还是略有担心。在人类文明的早期,人类曾经尊重地球。但当人类变得愈发强大,这种尊重就渐渐消退了。如果未来人类足够的强大,那么……

Diary (Sep 4, 2010)

The book From Calculus to Cohomology by Madsen looks a nice book. Well, it’s the first time I saw an introduction to topology from CALCULUS so I believe it amazing. Maybe I am too ignorant in mathematics. I’m studying Commutative Algebra and Topology recently. As far ……