-
4.3 枚举和注解
4.3 枚举和注解 4.3.1 枚举 4.3.2 注解 4.3.3 自定义注解 4.3.4 类型注解 4.3 枚举和注解 Java 有两种特殊形式的类和接口，在类型系统中扮演着特定的角色。这两种类型是枚举类型 （enumerated type）和注解类型 （annotation type），一般直接称为枚举 和注解 。 4.3.... -
排版约定
排版约定 排版约定 本书使用以下排版约定。 黑体 表示新术语和重点强调的内容。 等宽字体（constant width ） 表示程序片段，以及正文中出现的变量、函数名、数据库、数据类型、环境变量、语句和关键词等。 加粗等宽字体（constant width bold ） 表示命令以及其他需要用户输入的文字。 等宽斜体（consta... -
1.4 函数式接口
1.4 函数式接口 问题 方案 讨论 另见 1.4 函数式接口 问题 用户希望使用现有的函数式接口，或编写自定义函数式接口。 方案 创建只包含单一抽象方法的接口，并为其添加 @FunctionalInterface 注解。 讨论 Java 8 引入的函数式接口是一种包含单一抽象方法的接口，因此可以作为 lambda 表达式或方法引用... -
为人民谋利？[1]
为人民谋利？ [1] 为人民谋利？[1] 现实总是有点残忍，当明尼苏达州的人们还在为参议员保罗·威尔斯通（Paul Wellstone）的逝世哀悼的时候，许多居民就收到了画有墓碑图案的传单。这些传单是由一个保守的商业组织散发的，公开谴责这位议员支持征收遗产税。在墓碑图案的下方，有一段文字这样写道：“保罗·威尔斯通不仅要对你和你的企业收一辈子的税…... -
本书排版约定
本书排版约定 本书使用的排版规范如下所示。 楷体 用于表示新的术语和概念。 等宽字体 用于表示Excel 函数和代码示例。 等宽斜体 用于表示用户需要根据自己提供的值进行更换的部分。 用以下图标标示的文字部分读者要特别注意。 该图标表示提示、建议或者一般注解。这部分内容是对当前主题的补充，很有用。 下面三个温度计图标出现在每个H... -
1.1988年的IT梦
1988年的IT梦 平安在IT上的投入，最初是为了加强对公司的管控。后来数据集中产生化学反应，衍生出了很多新的应用。接着又发现，科技在提升管理、加强追踪辅导上大有所为。在持续大力投入科技后，平安具备了相当多的底层研发能力和科技应用创新能力，于是成熟的技术开始外溢，通过输出给市场，形成产业。 这是一个基本的发展脉络。 谢虹是平安早期创始人之一，毕业于中国... -
4.产险创新，从0到1到无穷
产险创新，从0到1到无穷 “喂，你好，邹女士，我是平安产险深圳福田服务区查勘员姜波，本次事故由我为您服务，请您先将车辆停到安全区域，人在车道外等待，您可通过平安好车主App实时在线查询我的到勘轨迹，我将尽快到达现场。” 2019年9月11日下午4点半，查勘员姜波的E理赔App上传来一阵语音提示。他先查看了事故信息：现场在北环快速主干道，此时又临近下班高峰... -
附录 构建你自己的四格表
附录 构建你自己的四格表 附录 构建你自己的四格表 当想到合理的医疗推理时，我们常常会面临许多罕见的疾病，即使检查结果呈阳性也并不意味着你已经患上了这种疾病。许多药物产品的疗效都很低，它们的副作用反而比所承诺的疗效大很多倍。 四格表可以让我们很容易地计算出贝叶斯概率模型，例如，这些问题的答案：“如果检查结果呈阳性，我患上这种疾病的概率是多少？”或“如... -
三、对象的增殖：内涵对象和可能个体
三、对象的增殖：内涵对象和可能个体 三、对象的增殖：内涵对象和可能个体 关于对象增殖的问题，最早可以追溯到弗雷格，他曾考虑外延论题不成立的间接引语语境。例如，“哥白尼相信地球围绕太阳旋转”这个复合语句的真假不依赖于哥白尼所相信的东西之真假，而只依赖于他是否相信子句所表达的思想。在这里，子句以及其中的语词具有间接指称，例如子句的指称不是通常的真值，而是一... -
三、逻辑和非逻辑的划界标准
三、逻辑和非逻辑的划界标准 1．问题的提出 2．划界的哲学标准 3．划界的形式标准 4．逻辑学的分类 三、逻辑和非逻辑的划界标准 1．问题的提出 逻辑与非逻辑的划界问题，是由逻辑真理的相对性引起的。具体考虑下述情形： 第一，目前，形式公理化方法已经可以应用于许多研究领域，比如数学、哲学、物理学，甚至还有生物学。如前所述，在哲学领域，就有一个...