22/11/30 20:50:59.01 D0f5nOYN.net
語録 意味論+のであった コンボ
次世代言語29 TypeScript Swift Go Kotlin Rust Nim
ｽﾚﾘﾝｸ(tech板:352番)
352: デフォルトの名無しさん sage 2022/09/22(木) 06:32:39.62 ID:KYC2ssXj
>>333
意味論(semantics)はコンピューターサイエンスでは常識かつ必須のものであり
今回のような証明においてももちろん不可欠のもの
そして>>309の論文を見てみたら当然のように今回の核心部分で意味論(semantics)が出てきている
皆が言及しているのも当然なのであった