Formal method翻译成形式化方法，搞得务实的人都不愿意研究它
【 在 ZHMZFFL 的大作中提到: 】
: https://static.mysmth.net/nForum/att/Programming/217271/247/large "单击此查看原图"](https://static.mysmth.net/nForum/att/Programming/217271/247)  
: https://
: ..................

发自「今日水木 on BRA-AL00」
--
FROM 39.144.105.*

双鸭山先生笑而不语
【 在 ZHMZFFL 的大作中提到: 】
:  ...
--
FROM 223.104.87.*

数学的 倒数，导数， 对数， 有理数，无理数都翻译得不好

【 在 milksea 的大作中提到: 】
: 这是数学名词翻译的问题。早期计算机确实是做科学计算的，用数学术语没问题。
: 数学名词叫函数，意思是类似y=ax+b这种，x蕴含于右边的式子，“函”就是蕴含的意思，这个译法是清代李善兰取的，当年没什么问题，是个和现代数学定义不太符合的讲法（函数的现代定义和映射一样，肇始于19世纪末，到20世纪集合论才流行），现在看就有点怪。当然，从现代计算机
: 科学角度看关联就更不明显了。
: ...................
--
FROM 36.101.220.*

socket 套接字->（网络）接口
handler 句柄->(文件)索引
pointer 指针->（数据）索引
function 函数->功能流程
robustness 鲁棒性->健壮性
RE 叫正则表达式没毛病，要更通俗些可称“模式表达式”

【 在 johnfader 的大作中提到: 】
: socket应该直译为插座，创建网络插座。
--
修改:Osram FROM 120.228.131.*
FROM 120.228.131.*

用 函式这个专有名词代替函数也挺好
【 在 Osram 的大作中提到: 】
: socket 套接字->（网络）接口
: handler 句柄->(文件)索引
: pointer 指针->（数据）索引
: ...................
--
FROM 36.101.220.*