Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

10. Topology #10

Open
1 of 2 tasks
subfish-zhou opened this issue Oct 16, 2024 · 1 comment
Open
1 of 2 tasks

10. Topology #10

subfish-zhou opened this issue Oct 16, 2024 · 1 comment
Assignees
@hewzhew

Comments

@subfish-zhou
Copy link
Member

subfish-zhou commented Oct 16, 2024 •
edited by hewzhew
Loading

  • 翻译
  • 校对
@subfish-zhou subfish-zhou moved this to 待译 in MIL翻译流程 Oct 16, 2024
@hewzhew
Copy link
Collaborator

hewzhew commented Feb 26, 2025

认领翻译

hewzhew added a commit to hewzhew/math-in-lean-zh that referenced this issue Feb 27, 2025
@hewzhew
更新拓扑学章节的滤子定义和文档的初步翻译。
32a94b4 
- 修改了 `C10_Topology/S01_Filters.lean` 文件。
- 修改了 `C10_Topology/C10_Topology.rst` 文档。

- Topology Lean-zh#10

- direct image查阅资料并未找到广泛接受的翻译，目前初步拟定为直接像，望专业人士指正
- 如We can do better by noting that一句，仍在斟酌忠实原文和易读之间平衡，望专业人士指教
- 尚未熟练翻译流程，参考规范“将原文注释掉后，在下方空一行再进行翻译。”
- 但参考本仓库中其余已翻译内容，似乎以上方式并非兼用

- 使用有道ai翻译粗翻后人工粗校，边学习对于本人较为陌生的领域边修正，还望海涵
- 参考OlingCat.trans-box，简单编写vscode插件，使用快捷键正则表达式进行错误格式的快速替换
- 接下来的方向，希望学习trans-box使用ai翻译api与解析文本格式实现半自动翻译

- 尚未提取术语表
@hewzhew hewzhew mentioned this issue Feb 27, 2025
Merged
@subfish-zhou subfish-zhou moved this from 待译 to 校对 in MIL翻译流程 Mar 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hewzhew hewzhew

Labels
None yet
Projects
MIL翻译流程
Status: 校对
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hewzhew @subfish-zhou