#符号
Two notes on notation (1992)(arxiv.org)
2021-6-12 10:0下载PDF摘要：提交人从他的流行和联合教科书中提倡两份特定的数学符号，＆＃34;具体数学＆＃34;其中的第一个，延伸了艾弗森的想法，是符号＆＃34; [p]＆＃34;对于诸如The Boolean条件P时的功能，否则为0。此表示法Conencourage并澄清使用特征函数和克朗克替代俱乐部和积分。第二个符号将斯特林数......
I wrote a linker everyone can understand(briancallahan.net)
2021-6-9 21:1当我们写下我们的汇编程序时，我们制作了许多设计选择，帮助我们减少了汇编程序本身的复杂性。其中一个决定是将汇编程序直接输出可执行文件。这是一个不错的选择，因为它使我们能够快速测试，因为我们正在开发：一旦我们实现的操作码，我们可以写与操作码的汇编文件，通过我们的汇编程序运行它，而无需做任何运行产生的程序更多加工。
然而......
The T-34 keyboard layout(www.jonashietala.se)
2021-6-8 4:27几个月前，我开始研究符合人体工程学的键盘;主要分割键盘，钥匙更少，如36键Gergoplex和44关键的Kyria。我可以写一篇关于原因的另一个帖子，但长话短说，我开始在我的拇指，手指，手腕和前臂上痛苦地痛苦，而且我认为现在是时候做一些事情了。
因为我的新闪亮布局已经不变了一个多星期，所以我已经清楚地发现了我的终极......
Common Lisp Quick Reference(clqr.boundp.org)
2021-5-16 3:21常见的LISP快速参考是免费的小册子，具有ANSI标准中定义的千分之一左右符号的简称。它具有综合指数。
这种相当谦卑的努力绝不是竞争普通的LISP Hyperspec或任何伟大的介绍性网页资源和书籍。它的目的是给予那些喜欢一棵死树的人在他们的手中快速概述他们所知道的事情，或者一些关于在其他地方抬头的线索。
它......
Collection of Quotes on Notation Design(github.com)
2021-4-17 4:58
此教学大纲检查了符号的设计。 我们主要关心一个问题：如何在特定的符号系统中工作如何影响人们认为和创造的方式？ Conway的纸质有关结枚举的强大结符号（更可靠：我给了一个谈话） 其他良好数学符号的概述（平等标志，代数，变量，Dy / DX（可辩词），爱因斯坦符号） Sussman的古典力学结构和解释：物理学作为......
Floor, Ceiling, Bracket(www.johndcook.com)
2021-4-16 0:51数学符号随着时间的推移而缓慢变化，一般变得更好。我想不出一个我认为落后一步的实例。
高斯在1808年引入了最大的整数的符号[x]。符号是标准的，直到最近，虽然一些作者使用相同的符号来表示x的整数部分。如果x是正的，则两个定义同意，但如果x是否定的，则不同意。
[x]的两个含义之间不仅存在歧义，它不会立即显而易见，......
A Mathematical Keyboard Layout (2018)(terathon.com)
2021-4-4 23:53我经常发现自己将基本的数学符号键入Twitter评论，例如下标，指数，无限远，点产品，横向产品，尤其是减号，因为我无法使用连字符表示负面或减去。我在数字键盘上启用了十六进制Unicode输入，这需要注册表更改，并且我将键入我记住的代码，如2212，因为减去，或根据需要查阅。
最近，我了解到Microsoft在过去的......
Is Musical Notation Turing-Complete?(softwareengineering.stackexchange.com)
2021-4-4 21:3
我的第一个思想是音乐符号中有循环，但没有办法写条件分支，对吧？
8我不太了解音乐符号：你可以以某种方式编码无限量的＆＃34;可变变量＆＃34; （或＆＃34;磁带＆＃34;）？否则，我不会看到它是如何完成的。
- Nikie.
@nikiei＆＃39; m不确定否则是否作为存储的功能或类似的东西.......
Apple offers 2,400 icons for free(developer.apple.com)
2021-3-17 8:3使用超过2,400个可配置符号，SF符号旨在与旧金山的系统字体无缝集成，用于Apple平台。
Coq 8.13.0 Is Out(coq.inria.fr)
2021-2-18 23:50Enrico Tassi在2021年1月7日提交重点：对符号处理的许多改进，包括数字符号，递归符号和带绑定的符号。 一种新算法选择了可用于打印表达式的最精确的符号，这可能会导致打印行为的变化。
Einstein Notation(numpy.org)
2021-2-18 3:33使用爱因斯坦求和约定，可以用一种简单的方式表示许多常见的多维线性代数数组运算。在隐式模式下，einsum计算这些值。
在显式模式下，einsum通过禁用或强制对指定的下标标签求和，从而提供了更大的灵活性来计算其他数组操作（可能不被视为经典的爱因斯坦求和操作）。
将要求和的下标指定为逗号分隔的下标标签列表。除非包......
Symbols the Microsoft Way(randomascii.wordpress.com)
2021-1-31 5:49
符号服务器允许Windows上的开发人员工具自动查找符号。他们做得很好，以至于大多数开发人员都不必担心内部机制。但是，当出现问题时，了解它们的工作方式将很有帮助，事实证明，这一切都非常简单。
请注意，elfutils debuginfod最终可能会让Linux赶上Microsoft和Windows，但允许自动检索调......
2021-1-11 11:28
下载PDF摘要：MTProto 2.0是一套用于即时消息传递的加密协议，它是流行的Telegram Messenger应用程序的核心，该应用程序目前有4亿多人在使用。在本文中，我们使用基于Dolev-Yao模型的符号密码协议验证程序ProVerif分析了MTProto 2.0。特别是，我们提供了有关MTProto 2......
Doing Symbolic Math with SymPy(lwn.net)
2021-1-9 17:211月29日，发布了用于符号数学的Python库SymPy 1.7版。 新版本带来了大量的增强功能和错误修复，以及一些较小的向后兼容性。 尽管在发行说明中将详细列出这些内容，但我们将利用这次机会来查看SymPy可以完成的一些工作，并通过几个详细的示例探索其界面选项。
Emacs Symbolic Integration(www.gnu.org)
2021-1-8 22:14a i（calc-integral）[integ]命令根据提示变量计算堆栈顶部表达式的不定积分。不能保证该积分器可用于所有可积分函数，但是它能够积分多个大类的公式。特别是，任何多项式或有理函数（多项式除以多项式）都是可以接受的（有理函数不必采用显式商形式;但是'x /（1 + x ^ -2）'并不严格等于多项式的商，......
2020-12-19 7:45
12月17日是哈佛数学家和图灵奖获得者肯尼思·艾弗森（Kenneth E Iverson）诞辰一百周年，我们的产品即以此产品为基础。值得花一点时间来欣赏这个故事的绝对可能性，并思考下一步的发展方向。
艾弗森（Iverson）出生在艾伯塔省（Alberta），这是一个由遥远的统治者绘制的直线边界的领土，在地图上的形状......
Exotic Programming Ideas(www.stephendiehl.com)
2020-12-5 21:0继续我们关于异类编程思想的系列文章，我们将探讨逻辑编程的主题以及一种称为数据记录的特殊形式。
数据日志由查询处理器执行，该处理器给出这两个输入，查找数据库和规则所隐含的事实的所有实例。对于我们的示例，我们将使用Souffle语言编写示例。语言的名称是系统的，本体的，未发现的事实发现逻辑引擎的缩写。可以使用以下......
Compiling a Lisp: Reader(bernsteinbear.com)
2020-9-25 1:2欢迎回到“编译Lisp”系列。这一次，我想暂停编译，最后添加一个阅读器。我终于对手动输入日益复杂的AST感到沮丧了，所以我想是时候了。在这篇帖子之后，我们将能够输入如下程序：
让我们的编译器为我们制作ast！魔法。这也将为我们增加一些很好的调试工具。例如，假设有一个交互式命令行实用程序，我们可以在其中输入Lisp表达......
Universal Pictorial Picks (2018)(www.printmag.com)
2020-9-25 0:28
51年前，在交通部符号标志(设计师Ellen Lupton和J.Abbott Miller将其称为Helvetica Man)委托AIGA(他们要求库克和Shanosky Associates Inc.)之前10年。设计最初的34个符号，以帮助管理行人和乘客的拥挤
Comprehensive Repertoire of Mathematical Symbols(mathvault.ca)
2020-9-9 4:26
数学的语言和词汇包含了大量的符号--一些符号比另一些符号更具技术性。就像字母表中的字母一样，它们可以用来组成单词、短语和句子，这些词、短语和句子将构成数学词典的更大部分。从一个数学子字段到另一个数学子字段，一个数学符号可以用于不同的目的(例如，$\sim$作为三角形的逻辑否定和相似性)，只是，一个数学符号可以用于不同......
Collection of Calculus Concepts and Symbols(mathvault.ca)
2020-8-27 23:29
在数学中，微积分使对连续变化的研究形式化，而分析则为它提供了严格的逻辑基础。下面的列表记录了微积分和分析中一些最值得注意的符号和符号，以及每个符号的用法和含义。
出于可读性的目的，这些符号按主题和功能分类到表中。其他全面的数学符号列表-按主题、主题和类型分类-也可以在下面的相关页面中找到(或在导航面板中)。
获取电子......
Geometry and Trigonometry in a Nutshell(mathvault.ca)
2020-8-18 7:51
几何学和三角学是研究几何图形和三角形角度的数学分支。下面的列表记录了这些主题中一些最值得注意的符号，以及每个符号的用法和含义。
出于可读性目的，这些符号按其功能分类到表中。其他全面的数学符号列表-按主题、主题和类型分类-也可以在下面的相关页面中找到(或在导航面板中)。
获取电子书形式的数学符号的主要摘要-以及每个符号......
Terry Tao on some desirable properties of mathematical notation(mathoverflow.net)
2020-7-22 8:0
$\Beginggroup$在许多计算数学、运筹学中，例如优化问题的算法设计等，作者喜欢使用$$\Langle\CDOT，\CDOT\Rangle$$，而不是使用$$(\CDOT)^T(\CDOT)$$。
即使空间显然是欧几里得的，运算显然是点积。这样做有什么好处或好处呢？是不是这样，这些符号就可以很好地推广到其他空......
Nsibidi(en.wikipedia.org)
2020-7-9 14:29
Nsibiti(也称为nsiBiri，[2]nchibitdi或nchibitdy[3])是现在尼日利亚东南部的一种符号系统，显然是象形文字，尽管有人建议其中一些是语意文字或音节文字。[4]这些符号至少有4000多年的历史。[5]早期形态出现在出土的陶器上，以及最有可能是卡拉巴地区的陶凳和头枕上，日期范围从至少公元4......
Set theory in 6 diagrams and 100 symbols(mathvault.ca)
2020-7-1 3:6
集合论是数学的一个分支，致力于研究对象的集合、其性质以及它们之间的关系。下面的列表记录了集合论中一些最值得注意的符号，以及每个符号的用法和含义。
出于可读性目的，这些符号按其功能分类到表中。其他全面的符号列表-按主题、主题和类型分类-也可以在下面的相关页面中找到(或在导航面板中)。
获取电子书形式的数学符号的主要摘要......
CMU’s ‘Penrose’ Turns Complex Math Notations into Illustrative Diagrams(syncedreview.com)
2020-6-6 1:7
来自CMU和Technion的一组研究人员最近推出了一种新系统，Penrose，它可以将复杂的数学符号转换为各种风格的简单图表。这一新颖的系统迅速在社交媒体上引起了人们的关注，因为它是一种很有前途的可视化工具，可以有效地交流复杂的数学思想和概念。
研究人员指出，在数学写作中找到图表的情况相对较少，这些图表大多包含形式......
Symbolic mathematics finally yields to neural networks(www.quantamagazine.org)
2020-5-26 14:37
70多年前，处于人工智能研究前沿的研究人员引入了神经网络，将其作为一种革命性的方式来思考大脑是如何工作的。在人脑中，由数十亿个相互连接的神经元组成的网络能够理解感觉数据，使我们能够从经验中学习。人工神经网络还可以通过连接层过滤大量数据，按照他们自己学习的规则进行预测和识别模式。
到目前为止，人们将神经网络视为一种人工......
2020-5-16 14:3
=Poi Reduce 0.2==有关详细信息，请键入`help`。>；AND[NOT]AND[NOT]OR(AND[NOT]=&gT；OR)。
在计算两个拼接列表的长度时，有一种更快的方法，那就是计算每个列表的长度并将其相加：
>；(镜头。Concat)(a，b)(len·conat)(a，b)(len·c......
2007-7-4 3:56
你知道HTML里面的箭头对应的代码是什么吗？是→空格大家都知道 ，这里推荐的一个工具可以让你输入你想要字符的大致形状，就可以查询到一系列的符号以及相应的代码。作为工具收藏吧~~~~~~~~~