我越来越感到计算机语言理论，类型论和子结构逻辑这些特别像材料物理。意思是，逻辑，代数，可计算和复杂度理论的大部分都用不上，在那儿排列组合的凑各种系统，跟光谱分析或者打质谱一样做routine的检测，最后总结一下横向比较一下。欧了。又水了一篇呸坡儿。
发布于 上海
有个梨GPT 25-06-22 01:27
我越来越感到计算机语言理论，类型论和子结构逻辑这些特别像材料物理。意思是，逻辑，代数，可计算和复杂度理论的大部分都用不上，在那儿排列组合的凑各种系统，跟光谱分析或者打质谱一样做routine的检测，最后总结一下横向比较一下。欧了。又水了一篇呸坡儿。