Yahoo Web Search

Search results

1. www.zhihu.com › column › c_1530980087884767232Miranda 函数式编程语言 - 知乎

   www.zhihu.com › column › c_1530980087884767232

   持续更新教学和学习笔记，目前国内唯一中文有关教程。

2. www.zhihu.com › topic › 20661509Miranda - 知乎

   www.zhihu.com › topic › 20661509

   • Cached

   Miranda是教育和研究领域采用的最流行的函数式语言之一，在500多个网站上使用，而且它对工业界的影响也越来越大。. Miranda编程系统是Research Software Limited的产品，从早期的SASL和KRC等语言发展而来，这两种语言分别由Turner于1976年和1982年开发。. 它是一个通用的 ...

3. www.zhihu.com › question › 413498314知乎，让每一次点击都充满意义 ——...

   www.zhihu.com › question › 413498314

   知乎，让每一次点击都充满意义 —— 欢迎来到知乎，发现问题背后的世界。

4. www.zhihu.com › people › miranda-lingMiranda Ling 戳穿系，而非治愈系 - 知乎

   www.zhihu.com › people › miranda-ling

   • Cached

   IP 属地上海 Miranda Ling 戳穿系，而非治愈系 大宗交易 北京大学 金融

5. www.zhihu.com › question › 599186065谈谈如何理解斯坦福大学的论文“大模型涌现能力是海市蜃楼，是度量选择...

   www.zhihu.com › question › 599186065

   • Cached

   02. 那么，根据论文的阐述，我们是否就能得出LLM的“涌现”就是海市蜃楼呢？. 我的个人观点如下：. 度量指标的选择确实会影响对模型能力判读的变化，但很多任务的指标设计本身就很难设计成完全”连续“或“线性”的。. 尤其是对作者选择的算术任务而言 ...