子语言可以使用在线编程，这样免得用户安装.net环境。

积极建设类型系统
 之前没有哪套方法能够把所有社会资源都纳入其中，因此建设类型系统的意义尤为突出。充分建设类型系统可以使其成为社会管理的主要工具和所有人工智能的母体。
现在我们可以看到，建设好的类系可以把毫不相干的事情联系在一起。

类型系统与传统关系型数据库以及XML存在差异，后两者描述多维数据能力较弱，但可以模拟。
数据库系统一般分类网络式、层次式、关系式三种。但根据类型系统理论和它的数据特征，这三种数据库模式都无法满足类型系统建设的需要。建设类型系统需要一种新型的结合多种数据关系和储存结构的数据库，来实现类型系统中
模拟虚拟空间的数据存储。
类系中每引入一个分类或属性需要为其建立全域列表，这里的全域列表不一定是指对象的全部外延，还可能是方法的全部外延。
但最终实施时需要把这些用数据库表的形式予以存储。

逻辑学定义
　　在逻辑学的学术范围内，概念的逻辑结构分为“内涵”与“外延”。内涵是指一个概念所概括的思维对象本质特有的属性的总和。例如“国家”这一概念的内涵包括：他是阶级社会中所特有的政治实体，是阶级矛盾不可调和的产物，是统治阶级统治、压迫被统治阶级的工具，是由军队、警察、监狱、法庭、立法机构和行政机构组成的暴力统治机器，等等。外延是指一个概念所概括的思维对象的数量或范围。例如，“国家”的外延就是指古今中外的一切国家。由此得出，一个概念的内涵越大越丰富，则其对应的外延就越小。
其他领域定义
　　在一些领域，内涵和外延是有域的，如对个体域为：{1，2，5，4，6，9，12}则偶数的外延是集合{2，4，6，12}，内涵就是什么是偶数—— 一个数能被2整除。
举例
　　例如“生物”这一概念的内涵就是：自然界中有生命的物体。事物的特有属性是客观的，它本身并不是内涵；只有当它反映到概念之中成为思想内容时，才是内涵。
领导人的“一二三”哲学，国家或政府发言中许多时候以条款形式出现，这种方法其实有它深刻的哲学内涵，面对复杂的社会层层面面，
管理者需要沥清事理以期规范流转。

抽象空间可能与时间无关。

从数学地角度来看，信号与图像处理可以统一看作是信号处理（图像可以看作是二维信号）
现在，对于其性质随时间是稳定不变的信号，处理的理想工具仍然是傅立叶分析。但是在实际应用中的绝大多数信号是非稳定的，而特别适用于非稳定信号的工具就是小波分析。

◆网状数据库
　　处理以记录类型为结点的网状数据模型的数据库。处理方法是将网状结构分解成若干棵二级树结构，称为系。系类型是二个或二个以上的记录类型之间联系的一种描述。在一个系类型中，有一个记录类型处于主导地位，称为系主记录类型，其它称为成员记录类型。系主和成员之间的联系是一对多的联系。网状数据库的代表是DBTG系统。1969年美国的CODASYL组织提出了一份“DBTG报告”，以后，根据DBTG报告实现的系统一般称 为DBTG系统。现有的网状数据库系统大都是采用DBTG方案的。DBTG系统是典型的三级结构体系：子模式、模式、存储模式。相应的数据定义语言分别称为子模式定义语言SSDDL，模式定义语言SDDL，设备介质控制语言DMCL。另外还有数据操纵语言DML。
 
◆演绎数据库
　　是指具有演绎推理能力的数据库。一般地，它用一个数据库管理系统和一个规则管理系统来实现。将推理用的事实数据存放在数据库中，称为外延数据库；用逻辑规则定义要导出的事实，称为内涵数据库。主要研究内容为，如何有效地计算逻辑规则推理。具体为：递归查询的优化、规则的一致性维护等。

依据类型系统建设大型事务逻辑库。

 

 

所谓战略新兴产业发展是狭窄的技术创新方面，而不应该等同于传统的产业，地方政府急于拉投资，这样的做法是带有很大的技术风险的。

类型开发方向：向下：分类；向上：聚类 [比方领导人讲话时的几点建议等属聚类工作]

哲学、发明与计算：
 第一部分：范畴化哲学   该部分主要以范畴化哲学为主，另外，考虑到后两部分涉及到理论科学的较多，该部分更多地从社会学角度展开。
 第二部分：基于计算的发明 该部分主要论述计算时代的发明创造及其特征。该部分更多地体现在如果借计算工具实现发明创造。而不是依赖个人或群体
的能力。
 第三部分：类系与人工智能   该部分讨论并具体实施建设一个大型智能平台，这种平台可被视为一切人工智能的母体。

 

到目前为止我们还没有找到比分类法更直接有效又应用广泛的方法。但为了更好的掌握这种方法，我们还须深刻理解它的立论基础。

插值和逼近统称为拟合。

 

从目前来看，基于选择逻辑的类系比任何其他技术手段都可靠，其根本原因就是结构简单。许多问题一旦进入类系，其复杂度就会降低，并且它是同构拓扑的，
能够在任何位置上直接扩展。正是它的无处不在，目前很难找到比类系更具代表性和广泛性的其它理论结构。
关键的，并不是类系简单，类系通过最基本的方法建构现实中最复杂的对象，使我们得以更清晰地观察和理解。许多被认为难以掌握和理解的方法，往往适用
面会更窄。

理论上讲，类系可以看作是现实世界和精神世界的一个完整映射，因此世界上应该只有一个类系,而且应该是被高度标准化，并提供来自各方面的应用请求.

可以认为微软的成功在一定程度上得益于其类型概念的贯彻实施，并提出了一系列诸如“视图”(即窗口)、“文化”、“本地化”、“全球对象标识”的更接近哲学的
概念，这些概念通过
并不复杂的技术手段得到实现。
从它的成功中，我们不得不承认忽略了最基本最朴素的概念。
  为解决现实中的问题，我们可能使用数学方法、物理方法、思想工作以及其他一些手段等，但始终没有出现一种统一的工具或方法。基于选择逻辑的类树工具
提供了在绝大多数情况下适用的处理事情的能力,它比起譬如医学法律等方面的专业工具更让普通人能拿得起放得下。
  身份证系统可以看作是类系中一个绝好的例子,当然，它还不全是，因为还有许多人并没有身份证。

 

子语言：
 理解编译原理的读者朋友应该知道，自然语言是程序语言的一个子集，从范围上讲，但要窄一些，但是自然语言已经能够表达我们遇到的一切问题。
相反，程序语言反而过于灵活，因为它经常给出一些啼笑皆非的结果，这并是我们想到的。

类系存在脆弱的一面：如果某一分支或结点存在错误，则引用该处的所有分系都会出错。话又说回来，由于类系中的某一结点总是唯一的，一旦解决，由它引发的所有错误
都会自动消失。

下面这种话不能说：太可笑了！
从软件技术这个方面来看，许多国家迟迟没能推出自己的操作系统，除了受硬件制约以及产业化的原因外，笔者感觉就是没有一个为OS研发彻头彻尾、至始至终提供
全方位支持的框架技术。这种技术应该简单到谁都能参与，又能以这种简单的结构建构足够复杂的系统。充分建设的类型体系正好能够做到这一点，试想一下，
大厦由千万块砖建构，但它并不能由一个一个房间建构。砖块之所以能做到，便是它简单给予的灵活。

事务发生到它被处理的过程总是小于事务处理涉及的时间段。尤其是我们需要找到事务发生点以前的许多东西来处理事情。

对象类化的工作量决定于它涉及到概念的内涵大小，类化的列表的大小处决于概念的外延。涉事对象的内涵和外延之间的边界随着类系的细化或泛化不断变化。

 

在繁华的类树中提供路径采撷的功能，同时提供范畴化工具[包括收缩|扩展]以及逻辑削减工具。

人工智能实现的基础是逻辑路径，而不是计算。不能过早地用计算来解决问题。逻辑路径来源于与事务相关的逻辑范畴。
逻辑范畴是人们用以认识客观现实的具有最大普遍性的概念。它是思维反映客观世界辩证运动不可缺少的思维方式，是对各门科学的基本范畴的进一步概括和综合。
恩格斯说，要思维就必须有逻辑范畴。人们以逻辑范畴为思维工具，将对象进行分类、理解和规范化。逻辑范畴的产生标志着人类认识的深化,“人对自然界的认识（=‘观念’）的各环节，就是逻辑的范畴””（《列宁全集》第38卷，第212页）。

如果我们给马列主义的主要理论家排序，那么还是马克思、恩格斯、列宁、毛泽东。

由于逻辑范畴的高度概括性和适用性，因而它可以成为普遍有效的思维方法和逻辑工具，成为一切研究领域的科学思维都必须遵循的最一般的方法论原则。

 

子语言： 
 一般的人都能用自然语言通畅地交流，它是那么简单，表达的意思又是那么准确到底，子语言大有可为。

 

只要基于离散数字处理的现状不被改变，选择逻辑始终会占计算逻辑成分的绝大多数。
值得一提的是：选择总是某一计算阶段的最后一层抽象，而且对这个抽象的描述恰恰是计算运行的结果。
比方：就像一场没有平局的比赛，最终会有一方胜出，不管赛况如何变化，

另外，选择本身没有更多的含义，关键是如何利用这种人人都具有的能力处理和化解复杂问题。
在管理层的人思维总会有策略；在软件开发人员的思维中总会有算法；在研究人员的思维中总会有工具和方法，这些都是
非常泛的概念。它的据点是没有精确的起点，也没有具体详尽的路向图，因此严重依赖个人能力和现状。

类系在希望在一切认知中建立起一座通畅的桥梁，这些认知包括概念、知识、方法，以及世界上的所有事物。

随着社会的发展，新的知识、技术、发现和创新不断涌现，其中许多都是通过艰辛的努力和耗费各种资源才获得的，但我们一旦掌握，就觉得这些新的东西并不
如之前想像中的那么困难和神秘，当我们能熟练利用它们或把他们作为规律约定时一切都显得非常自然。而那些未知的事物被看作是没有出现，或它就在类系的
一个非常远的分支中。当然，一味认为一切想要的东西都能在类系中最终找到是错误的。
这便是从类系的角度来认识事物。类系的建设也遵循这种观点。它起源于范畴化哲学。

《哲学、发明与计算》本书的一个重要目的是把哲学思想直接应用于实际，并且深入指导具体事务。而不是像过去那样泛泛地体现在生活中或社会中。
《哲学、发明与计算》一书应该把顺序逻辑为选择逻辑作为一个同样重要的章节安排。大量选择逻辑最终都是为序列化服务。通常情况下行为者都是把杂乱无章
的东西理顺，这样说也许很缺乏代表性，但现在真的需要针对所有情况的通用的约定。

 

类系的一个重要特征：类系在逻辑路径上是完备的，但在事务的一次运行中，其逻辑走向是唯一的而且是确定的，尽管处理同样一件事情有不同方法，但可以把
它们看成是不同的。说它是“完备的”、“唯一的”和“确定的”意味着一个重要的功能，那就是类系在处理一个非常复杂的事物时可以直接到达，而不像其他
传统方法，由许多不同工具通过组合或相继完成一系列任务。[给出一个有力的例子：比方专利申请流程]