初学 Coq 时看的是 Mathematical Components 这本书,它自带了一个 Coq 的库,这是它的安装教程 这个库的安装要用到 OCaml Package Manager (OPAM) ,而它在本文所写之时(2021/9/25)仍不支持 Windows 我采用作者推荐的方式安装:采用 WSL 2 以下为步骤 确认 Windows 版本为 1903 及以上 可在终端内输入winver,在打开的窗口中查看 确认以下 Windows 功能均已启动: 适用于 Linux 的 Windo…

在Windows 10上安装Oracle 11g数据库,并且很多次出现过:当安装的进度条进行到快要结束的时候弹出一个提示框.如下: [Java(TM)2 Platform Standard Edition binary 已停止工作:出现了一个问题,导致程序停止正常工作.如果有可用的解决方案,Windows 将关闭程序并通知你]的错误提示信息. 最后,发现是因为jdk的安装路径含有中文才导致这一致命的错误,接下来我是这样做的: 1.将整个jdk文件夹移动到某一英文路径. 2.修改环境变量中的系统变…

在 Windows 10 上安装 3D Stuido Max 2016 报错,无法正常安装,查看日志是 VC 运行时安装错误,经过分析发现在 Windows 10 上已经有这些运行时并且版本比安装包中自带的还要高,所以安装总是失败,分析安装程序配套的 setup.ini 文件,发现里面有运行时安装的配置信息,并且可以忽略错误,因此修改 setup.ini 文件,然后就可以顺利进行安装了,修改后的 setup.ini 文件如所示 #============= VCREDIST Begin ====…

翻译自 Joey Sneddon 2020年10月30日的文章<How to Install WSL 2 on Windows 10> [1] 如果您想在最新的 Windows 版本中尝试经过改进的 Windows 子系统 Linux 2 (即 WSL 2) [2],要怎么做呢?我们在本文中介绍了安装它所需要做的所有事情. WSL 2 是微软早在 2017 年推出的 WSL 的原始版本的重大升级.WSL 2 不仅仅是版本的升级.它更快.更通用,并且使用真正的 Linux 内核.未来的 Linu…

知识点汇总:http://www.cnblogs.com/feipeng8848/p/8559803.html ------------------------ 安装方式有3种: (1)Windows安装包直接安装 (2)使用Cygwin安装 (3)如果是Windows 10 1709版本,可以开启Win 10的Linux子系统,在子系统中安装. 本系列教程中服务器是运行在XP系统上的,所以我用的第一种方法:使用Windows下的安装包. 1.Windows 安装包直接安装 OpenSSH Fo…

Windows 10 推出的WSL 功能可以协助我们直接使用binwalk 分析Windows 内的文件 文章更新时间:2020年3月11日 一.WSL 准备 1.打开控制面板→程序和功能→启动或关闭Windows 功能,打开"适用于Linux 的Windows 子系统",随后需要重启 2.打开Windows 10 自带的应用商店(Microsoft Store),搜索Linux,找到自己喜欢的Linux 发行版,安装 3.以Ubuntu 为例,安装成功后,在开始菜单内找到Ubuntu…

本文适用于学习目的而撰写.截止目前WebLogic已经有12.2.1.4.0了. 在安装WebLogic 12.2.1.3.0 首先要在Windows10之上Oracle JDK 1.8.  当前认证的最高版本是:Oracle JDK 1.8.0_231. 本文的JDK安装在目录:D:\jdks\jdk_180_231 下载安装介质 到甲骨文官网下载安装介质:https://www.oracle.com/middleware/technologies/weblogic-server-instal…

DB查询分析器 6.04 在 Windows 10 上的安装与运行展示 中国本土程序员马根峰(CSDN专访马根峰:海量数据处理与分析大师的中国本土程序员 http://www.csdn.net/article/2014-08-09/2821124)推出的个人作品----万能数据库查询分析器,中文版本<DB 查询分析器>.英文版本<DB QueryAnalyzer>.它具有强大的功能.友好的操作界面.良好的操作性.跨越各种数据库平台乃至于EXCEL和文本文件. 你可以通过它 ① 查询…

windows系统上安装与使用Android NDK r5  很早就听说了android的NDK应用,只是一直没有时间去研究,今天花了点时间在windows平台搭建了NDK环境,并成功运行了第一个简单的android应用. 一:什么是NDK? NDK 提供了一系列的工具,帮助开发者快速开发C(或C++)的动态库,并能自动将so 和 java 应用一起打包成apk.这些工具对开发者的帮助是巨大的. NDK 集成了交叉编译器,并提供了相应的mk 文件隔离CPU.平台.ABI 等差异,开发人员只需要简…

自2009年微软发布Windows 7以来,经过8年的市场验证,Windows 7已经成为史上应用最为广泛的操作系统.但是面对技术变化的日新月异,2015年微软正式停止了对Windows 7的主流支持,并将于2020年正式结束对Windows 7的所有技术支持.这一运行了8年之久的操作系统,在微软发布Windows 8.Windows 10以后多年,仍然保留着强大的生命力,至今还是许多企业和政府部门内部计算机的主流操作系统. 基于这种状况,许多应用程序的开发环境目前只支持Windows 7操作系…