数学解题用语的英文表达

同样是在知乎上看到的问题,整理如下。 解: SOLUTION 。顶头写在第一行。证明题用 PROOF 。 因为: Since 。此时 So 一般省略。 所以: So 。 即: i.e. 。 由此得知: Consequently 或 Therefore 或 Thus 或 Hence 。 使得……满足……(某约束条件): s.t. ,即为 subject to (such that) 的缩写。 假设: Suppose 。 当且仅当: iff ,即为 If and only if 的缩写。 令: Let 。 同理: similarly 。 此外: Moreover ,「且」可写为 And ,一般跟在「因为」或「因此」后从而推出结论。 这表明: This implies that… 。 综上所述: Summarizing 。 得出……的结论: We conclude that… 。 证明完毕: Q....

September 2, 2022 · Zhaosi

Markdown:如何将重音符放在 inline code 框中

在编写前面的一篇笔记时,发现无法用 markdown 把 ` 符号放进 code 样式中。 尝试了下面的方法: `\`` 不成功。在网上搜寻,发现需要这样: `` ` `` References How to type a grave accent in markdown?

September 2, 2022 · Zhaosi

如何在 Linux 上输入特殊字符

在写上一篇笔记的时候,发现有些 Unicode 字符比较特殊,在键盘上打的时候需要按照下面的方式(适用于 Linux 系统)。 按 Ctrl + Shift + U 之后全部松手,此时可发现输入框内出现一个小写的 u,并处于被选中的特殊状态。然后在键盘上输入对应的 Unicode hex code,再按空格或者回车。此时字符应该已被成功输入。 有些教程说松开 U 后还要一直按着 Ctrl 和 Shift 再输入代码,实测在 Gnome 环境下不可。应该全部松开。 References How to Enter Unicode Characters How to type special characters in Linux?

September 2, 2022 · Zhaosi

常用符号的英文表达

在知乎上看到一篇介绍标点符号英文表达的文章,整理如下。 标点符号 { open brace, open curly 左花括号 } close brace, close curly 右花括号 ( open parenthesis, open paren 左圆栝号 ) close parenthesis, close paren 右圆括号 () brakets, parentheses 括号 [ open bracket 左方括号 ] close bracket 右方括号 [] square brackets 方括号 . period, dot, full stop 句号,点 | vertical bar, vertical virgule 竖线 & ampersand, and, reference, ref 和,引用 * asterisk, multiply, star, pointer 星号,乘号,星,指针 / slash, divide, oblique 斜线,斜杠,除号 # pound 井号 \ backslash, escape 反斜浅转义符,有时表示转义符或续行符 ~ tilde 波浪符 , comma 逗号 : colon 冒号 ?...

September 2, 2022 · Zhaosi

日本的职业生活

之前对日本职场规矩的严格略有耳闻,今天听了旅行快门的最新一集播客。才知道「社畜」二字的真正含义。 大概几周前在推特上看到有人发到了日本,在步行去往酒店的小视频。我就发现路人几乎都穿着西裤,白衬衫,手上挂着西装外套。这大概是下班时间。我从屏幕里嗅到了让我心有惴惴的「职场味」。 从播客里,获悉以下: 职场 非应届生找工作一般要通过中介。 在台湾连续在一家公司工作三年都算很稳定,但在日本会被认为是频繁跳槽,屁股还没做热就走了。日本有很多人在一家公司一干就是一辈子。 日本职场服装要求很正式,大多需要正装上班。即使晚上团队和上司一起出去吃饭也要穿西装外套,忘记穿外套只穿衬衫会让人很惊讶或惊慌。 加班是很正常的。业务繁重季节不加班就会让上司有看法。 加班晚上吃东西会被骂,说气味影响到他人。 请假很不容易,有人工作十几年只请过一天架。甚至年假连放四天会让部长很不高兴,乃至四天是公司成立以来员工请的最长的假。请假前后都要和部长打招呼,说很抱歉给其他人带来困扰。 公司组织的团建几乎都要去,迎新会、送旧会等等一定要去并穿西装。马拉松也要参加,或者当啦啦队。 结婚一定要和公司报备。结婚第一桌是公司的人。上台致辞的是上司或老板。 公司是生活的中心。 加班可以成为外遇时的借口。在公司内出轨也有一些。 基本自己做饭(进入家庭的人),家里人会给做爱心便当。 日本的业务超市(批发?)比较便宜。 人事调动不近人情。「单身赴任」。 公司的命令不太会违抗。 生活 书店会分女性区和男性区。食谱也在前者区。泾渭分明,很少有顾客待在异性区域转悠。 薪资有所差别。男性平均收入高于女性的平均收入。 电车有女生专用车。为了防止痴汉。但我之前看到说有不少诬陷案例 。 出门不会素颜。卷头发的电棒会带到公司用。在意形象。 男生眉毛、头发都很在意。 洗澡频繁。 吃完铁板烧会用衣物芳香剂,去除烧肉味。 对其他东亚人会有微歧视。 旅游 春天看樱花。京都背割堤。 夏天看烟火。大阪淀川花火大会(七月或八月?),京都祇园祭。 秋天去吊桥。大阪星田园地。交野吊桥。 冬天看树冰。山形县,藏王山。 有些景点 17 点关闭,周一不开放。偏东北地区关门早(天色有关)。 References EP198 請個假罪該萬死?台日職場的文化差異~公司地位遠勝一切的日本社會 大阪夏天必看!淀川花火大會 大阪最強人氣煙火大會,訂票教學、拍攝位置、住宿推薦 京都观光必看的5个祭典,京都三大祭也会介绍喔! 【大阪秘境】私房景點:星之鞦韆 交野吊橋 日本國內最大規模的木製地板吊橋!欣賞從「星之鞦韆」上所晀望的絕美景色及接觸扣人心弦的七夕傳說故事 日本東北冬天必看奇景!來去「藏王樹冰」和雪怪近距離接觸!

September 2, 2022 · Zhaosi