·

翻译SGA 4 1/2后对法语文献的一些感想

Published at 2024-10-01 12:16:50Viewed 36 times
Professional article
Please reprint with source link

好累呀!今天翻译了一点SGA 4 1/2的内容,将法语翻译成英文,将这些内容写进自己的notes里面。我很惊讶地发现,翻译过程中,我只搜过一次单词其它我都行云流水地翻译出来了。我查的那个单词是couvrant,意思是覆盖的,但我不清楚用covered还是covering来对应它,最后我还是选择了covering,因为sieve不是被覆盖的。话说,我发现SGA 4 1/2里面的法语单词竟然有拼写错误,比如说constitué oar,这里oar应该是错误的,我查了很久都没有查到任何结果,相反oar在英文好像有木的意思。我不知道到底是Deligne在写SGA的时候写错了,还是用Latex打SGA到电脑上的人打错了,反正我将constitué oar翻译成consist of了。

不得不说,看法语文献确实有一种浪漫的感觉,这种感觉是与英文截然不同的,法语让人感觉很优雅。以前我曾后悔过自己浪费时间去学读法语,但现在看来这点时间还是值得的。至少现在只有极少法语文献被翻译了,还有很多法语文献的宝藏没有被人翻译。比如说关于motives,有一本书叫做An introduction to motives。还有关于crystalline cohomology的一些文献,要知道crystalline cohomology的知识很零散,需要很多文献拼凑起来,而除了Faltings的lIntegral Crystalline Cohomology Over Very Ramified Valuation等一些英文文献外,在网络上能找到的reference就剩下法语了。

-------------------------------

本文原发布于2021年5月12日

Comments

There is no comment, let's add the first one.

弦圈热门内容

Django change an existing field to foreign key

I have a Django model that used to look like this:class Car(models.Model): manufacturer_id = models.IntegerField()There is another model called Manufacturer that the id field refers to. However, I realized that it would be useful to use Django's built-in foreign key functionality, so I changed the model to this:class Car(models.Model): manufacturer = models.ForeignKey(Manufacturer)This change appears to work fine immediately, queries work without errors, but when I try to run migrations, Django outputs the following:- Remove field manufacturer_id from car - Add field manufacturer to carDoing this migration would clear all the existing relationships in the database, so I don't want to do that. I don't really want any migrations at all, since queries like Car.objects.get(manufacturer__name="Toyota") work fine. I would like a proper database foreign key constraint, but it's not a high priority.So my question is this: Is there a way to make a migration or something else that allows me to convert an existing field to a foreign key? I cannot use --fake since I need to reliably work across dev, prod, and my coworkers' computers.内容来源于 Stack Overflow, 遵循 CCBY-SA 4.0 许可协议进行翻译与使用。原文链接:Django change an existing field to foreign key

[antd: Message] You are calling notice in render which will break in React 18 concurrent mode. Please trigger in effect instead.

I'm getting this error when using MessageWarning: [antd: Message] You are calling notice in render which will break in React 18 concurrent mode. Please trigger in effect instead.Here is my code:import { message } from 'antd'; export default function Page() { const [messageApi, contextHolder] = message.useMessage(); const res = await fetch("/api/...", { method: "POST", }); if (!res.ok) { messageApi.error("Error! Fail to login!"); } return ( <Home> ... </Home> ) }

Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved