数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。

电子正版打印机电子打印机插件，当前支持58mm，需要电子＞=4.xx安装$npminstallelectron-pos-printer$yarnaddelectron-pos-printer用法在主要过程中const{PosPrinter}=require("electron-pos-printer");在渲染过程中const{PosPrinter}=require('electron').remote.require("electron-pos-printer");演示版看看这个const{PosPrinter}=require("electron-pos-printer");constpath=require("path");constoptions={

JADX最新版本,支持中文，2019年8月31日编译，JVM内存已经修改为8G，运行请点击bin目录下的jadx-gui.bat。
如需修改内存，请修改-Xmx8g字段。
@remAdddefaultJVMoptionshere.YoucanalsouseJAVA_OPTSandJADX_GUI_OPTStopassJVMoptionstothisscript.setDEFAULT_JVM_OPTS="-Xms128M""-Xmx8g""-Dawt.useSystemAAFontSettings=lcd""-Dswing.aatext=true""-XX:+UseG1GC"

对印刷数字识别。
过程：1对图片进行灰度化二值化.2对图片上的数字进行切割3.制作匹配印刷体数字模板4.平方和最小原则对数字识别配置环境：VS2013+,OPENCV2.4.xx都可以（opencv3不支持，可以配置多版本opencv）注意opencv的配置：如果没有需要先下载。
随后改项目属性：1.VC++目录包含目录：I:\opencv2.413\build\includeI:\opencv2.413\build\include\opencvI:\opencv2.413\build\include\opencv22.库目录：I:\opencv2.413\build\x64\vc14\lib3.链接器-输入-附加依赖项：opencv_core2413d.libopencv_imgproc2413d.libopencv_highgui2413d.lib

xx地产的新员工培训简单介绍

利用8253实现在显示器上显示XX（时）：XX（分）：XX（秒）

1.简介说明：3.1.学生基本信息:由班主任输入,包括如下内容：姓名（有可能达到10个字）、民族、性别、出生年月、家庭住址、所学专业、宿舍地址、联系方式、家庭情况简介、家庭联系方式。
3.2.分学期基本信息：学期名：XXXX—XXXX学年第X学期（比如2006—2007学年第2学期）3.3.智育素质部分：由班主任输入课程信息包括任课教师姓名，任课教师联系方式，每学期包含至少10门课程包含课程名称、平时成绩、总评成绩。
然后自动算出所有课程的平均成绩以及不及格门数填入下表：3.4.身心素质部分3.5.能力素质部分3.6.附加分部分3.7.学生请销假纪录表格。
由班主任填写有请假时间，原因、销假时间。
3.8.系统应该能够从上述表格中选择数据自动生成如下公示表：1、XXXX—XXXX学年第X学期XXXX学院综合测评成绩公示表2、xx大学XX学院专业奖学金、生活补助费审批表（3号字）3.9.智育素质部分不及格门数栏必须为0，填入的学生人数不超过总人数的70%。
）奖学金等级、金额、是否交学费、是否核发都由班主任手动填入。
此表格单独一张A4纸打印3.10.未享受奖学金、生活补助费名册后台管理：学院信息设置班主任信息管理(专业年级名称班级名称用户名班主任姓名联系方式密码是否管理操作)民族设置专业设置年级设置班级设置(专业名称年级名称班级名称操作)学生基本信息查看(专业年级班级学号姓名操作成绩假条出勤)新增学生信息学生信息查看学生成绩录入学生成绩查询学生素质信息添加学生信息查看2.系统升级：2.1以系统管理员登陆后，管理员页面不需要科目信息管理功能、班级课程安排功能这两项。
每个班级的课程名称，代课老师等信息应该放到办主任的班级管理里面去。
将科目信息管理功能放到班主任的具体班级的管理功能中去。
2.2办主任功能中，学生素质添加—卫生检查记录—“表现”下拉菜单中只有优秀和差。
应该有优秀、良好、一般、差四个选项2.3我在“学生素质信息添加”里，添加了每一项内容，但是在学生信息察看——个素质详细2.4录入成绩在IE6下不能录下的问题。
2.5学生管理应该有两种用户类型：1、学生管理办公室。
可以添加修改学院名称（输入学院名称后，网页界面上的学生信息管理平台字样的前面应该出现学院的名称）、班级名称、班级所属专业、班级所属年级（2位年）、班主任姓名、班主任联系方式班主任初始用户名和密码这几项每个班级的基础信息。
这些信息每个班级都应该是单独的。
该用户还应该可以查看每一个班的“学生信息查看”和“学生成绩查询”部分2、班主任。
班主任用自己的用户名登录后应该自动打开自己的班级。
其需要的功能就是现在测试的功能。
2.6把“新增科目信息”放到“科目信息管理”里面。
科目信息中应该包括学年学期。
科目信息管理的操作应该包括修改和删除。
每条记录中还应该包括任课教师的“联系电话”“新增学生信息”部分中，专业一栏应该自动填入该班级的所属专业。
2.7“民族”一栏中下拉菜单应该包括“汉族、维吾尔族、哈萨克族、回族、蒙古族、柯尔克孜族、塔吉克族、”以及“其他”。
“其他”中应该可以自行填入。
“年级”一栏的下拉菜单项目中应该还包括“预科”。
“家庭联系方式”应该放在“家庭情况简介”的前面。
2.8“学生成绩录入”中能否做到一次把所有的课程都列出来，一次添加所有成绩一次统一保存2.9综合素质总分：（自动计算出来）3.配置说明：1.新建数据库collegeburse通过备份文件collegeburse(public)还原数据库或者新建数据库collegeburse在数据库collegeurse的查询分析器里执行sql脚本完成数据库的构建2.将发布网站的所有文件放到要发布的文件夹下如果服务器没有安装ajax先安装ajax程序,ASPAJAXExtSetup.msi压缩包里自带.3.修改数据库配置文件用记事本打开发布网站里的web.config文件然后修改该节点的信息（用于连接配置数据库）各节点说明：Connectionstring里Server=数据库服务器地址（ip或网址）Userid=连接数据库的用户名Password=连接数据库的密码Initialcatalog=数据库名字然后保存。
管理员登录帐号25175密码123456运行环境：.net2.0+sql2000+Windows2003/2000/XP/vista+iis5.0以上+ASPAJAXExtSetup.msi(2.0)

本资源适合excel工作日志人群：输入：年，月输出：名称为XXXX年XX月的excel，XXXX-XX-XX格式的sheet，从该月份第一天到最后一天。

该文档主要是elasticsearch7.x版本的安装及集群配置，配合head，ik插件的安装。
【备注，配置参数更新如下：cluster.name:es-7node.name:t-1network.host:10.96.141.45http.port:9200transport.tcp.port:9301node.master:truenode.data:truebootstrap.memory_lock:truediscovery.seed_hosts:["10.xx.xx.104:9300","10.xx.xx.45:9300","10.xx.xx.45:9301"]discovery.zen.minimum_master_nodes:2bootstrap.system_call_filter:falsecluster.initial_master_nodes:["10.xx.xx104","10.xx.xx.45"]#外网访问http.cors.enabled:truehttp.cors.allow-origin:"*"】

自定义UnityGIF组件（使用UGUI）

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。