数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
2024/9/15 4:54:40
4.96MB
1
公开标准数据集图像显著性检测MSRA1000，包含1000张原图，及对应的标注图。
标注图与原图尺寸相一致。
标注图与原图尺寸相一致。
2024/9/10 11:24:42
40.17MB
1
labelme2COCO终极无限制版本，不限制分类名称，即输出分类就是labelme标注分类，不需要手动修改points值，含有area计算，真正的运行一下就可以。
当然了，输出目录还是要根据自己的情况修改的。
当然了，输出目录还是要根据自己的情况修改的。
2024/9/8 16:02:54
7KB
1
本资料为工程大《软件工程》课程的期末考试复习资料（含部分往年参考试题，已标注），仅供参考，禁止传阅。
如有侵权，请联系删除。
参考资料：施一萍老师编著的课本《软件工程及软件开发应用》。
如有侵权，请联系删除。
参考资料：施一萍老师编著的课本《软件工程及软件开发应用》。
2024/9/7 11:26:25
1.41MB
1
ComputerSystems:AProgrammer'sPerspective3rdedition，文字版，非扫描版，全文可标注，可搜索，带完整目录，pdf。
epub转制pdf，字体大小适中，页面分配合理，高清，适合电脑和移动端阅读、做笔记。
epub转制pdf，字体大小适中，页面分配合理，高清，适合电脑和移动端阅读、做笔记。
2024/8/15 5:32:55
15.13MB
1
自己整理的车辆类型数据集一共1500张图片，共分7个类分别为Bus、Car,SportsCar，MicroBus,Truck,SUV,Jeep，是VOC格式的数据集，用LabelImg工具进行标注，可以转成TFRecord格式的数据集
2024/8/9 10:10:21
219.43MB
1
ArcGISAPIforiOSV2.1正式发布了（今后后简称为ArcGISRuntimeSDKforiOS）。
此版本在V2.0.1的基础上提供iOS5的支持，新增功能包括： 使用ArcGIS10.1tilepackages(*.tpkfiles)查看地图的内容，即便设备处于离线状态 新的GPS自动平移模式，用于车辆导航和北斗导航 灵活的标注定位 旋转地图的能力 如何将现有的应用程序迁移到新的V2.1版上去，以及了解更多的信息可以访问http://help.arcgis.com/en/arcgismobile/10.0/apis/ios/2.1/concepts/index.html。
了解更多ArcGIS移动产品，可访问专题：http://www.esrichina-bj.cn/softwareproduct/technology/ArcGIS%20Mobile/
此版本在V2.0.1的基础上提供iOS5的支持，新增功能包括： 使用ArcGIS10.1tilepackages(*.tpkfiles)查看地图的内容，即便设备处于离线状态 新的GPS自动平移模式，用于车辆导航和北斗导航 灵活的标注定位 旋转地图的能力 如何将现有的应用程序迁移到新的V2.1版上去，以及了解更多的信息可以访问http://help.arcgis.com/en/arcgismobile/10.0/apis/ios/2.1/concepts/index.html。
了解更多ArcGIS移动产品，可访问专题：http://www.esrichina-bj.cn/softwareproduct/technology/ArcGIS%20Mobile/
2024/8/7 21:53:56
23.14MB
1
自己搭的永磁直驱风机模型，与网上下载的官方的相比结构更加清晰，做好了标注与说明，非常适合初做风机模型的人学习。
保证能运行。
保证能运行。
2024/8/5 22:08:19
454KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB