somefuture
- 浏览: 1089798 次
- 性别:
- 来自: 上海
-
最新评论
-
halomax：
插件可用，特别感谢楼主
Lombok不支持Idea2018的解决方案 -
tzq668766：
刚找到一个中文版springboot banner在线生成工具 ...
SpringBoot启动时的Banner设置 -
somefuture：
吕檀溪 写道我一直编译不成功，不知道能不能帮忙弄一个2018. ...
Lombok不支持Idea2018的解决方案 -
吕檀溪：
我一直编译不成功，不知道能不能帮忙弄一个2018.2 eap的 ...
Lombok不支持Idea2018的解决方案 -
lkjust08：
mac下的确是可以用了。
Lombok不支持Idea2018的解决方案
文章列表
数理逻辑之 自然演算规则（一）
- 博客分类：
- 数理逻辑
上一篇数理逻辑之 命题讲了关于命题的基本概念。
那么如何建立一个用于命题推理的演算，使得我们能建立前面论证的有效性呢？我们希望有一个规则集合，每条规则可以在给定某一前提假设序列，而得出一个结论。
在自然演算中，我们有一个证明规则集。用这一证明规则集，我们可以从一些公式推出另一些公式。
假设我们有一个公式集Θ1, Θ2, Θ3, Θn，也称为前提集，另一公式Ψ称为结论。我们通过对这些前提应用证明规则，我们希望得到更多的公式。然后再应用证明规则，最终得到我们想要的结论：
Θ1, Θ2, Θ3, …, Θn├Ψ
我们称这个表达式为相继式。
我们说一个相继式是有效的，当 ...
去还是留，已不是一个问题（续）
- 博客分类：
- 信口随手
本来不打算再写这种文章了，因为这种说说情况、发发牢骚的内容看起来更像怨天尤人。可能找工作中各种情况都会遇到，当成自己的经验就行了，何必拿出来供大家吐槽呢？不过今天的经历还是更让我打算写下来，说两句。
书接上文吧：《一年的艰辛---去还是留，已不是一个问题》
在前文写完不久，又收到了几家通知。依次来说一下吧。
1、惠普 HP
这是一个外派职位，由克莱特 camel ...
数理逻辑的一项重要任务是回答“什么是证明？” 并试图将“证明”这一概念（与之相关有可计算性概念）精确化。基于这个目的，数理逻辑需要设计适当的语言用于对计算机科学领域中遇到的情景建模，以便于对它们作形式推理，得到我们想要的结论。
为了将证明精确化，所用的方法是什么呢？数理逻辑在研究推理时要建立数学模型（我们称这个数学模型为形式系统）ß对形式系统进行研究，必须用普通的自然语言（元语言）ß研究推理时不可避免要用到逻辑ß逻辑是由演算组成的ß在进行推理时需要用到精确的演算规则ß推理过程中所使用的语言必须无二义性，以便于构造有效的推理论证。
在计算机应用中，这就要求我们构造的论证必须是有效的且能在计 ...
打算发表一系列关于数理逻辑基础的小文章，希望对一部分读者有用。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明 ...
一年的艰辛---去还是留，已不是一个问题
- 博客分类：
- 信口随手
在公司待得越来越没意思了，原因很多，下面会提到。最近一直在找新工作，可惜目前还是一无所获。
先说说近来面试的情况。
找工作的途径我真的不了解。作为职场新人，我感觉敢想到跳槽已经是很大的一步了。
在51job和智联上面放了简历，然后坐等。同事还给推荐了内推网，从广告里还看到了猎聘网。都一起放上去。
出乎意料的受到不少电话通知。
1、帮我买 B5M
这是第一个通知我去面试的公司。我长期留意着开源中国上面的招聘信息，所以对这家公司有一些了解，据说阿里旗下的一淘网就是模仿的帮我买。 HR通知我的职位是BI工程师。虽然还不知道确定的工作内容，不过相对比现在做Java WEB开发，BI ...
本文转自
http://it.deepinmind.com/java%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B/2014/03/15/Java%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B4%E9%9B%86%E5%90%88%E7%9A%84%E4%BD%BF%E7%94%A8.html
我们经常会用到各种集合，数字的，字符串的还有对象的。它们无处不在，哪怕操作集合的代码要能稍微优化一点，都能让代码清晰很多。在这章中，我们探索下如何使用lambda表达式来操作集合。我们用它来遍历集合，把 ...
原文地址 http://www.gradle.org/docs/current/userguide/java_plugin.html
23.1. Usage用法
要使用Java插件，在脚本里加入:
Example 23.1. Using the Java plugin
原文地址 http://www.gradle.org/docs/current/userguide/writing_build_scripts.html
13.1. The Gradle build language构建语言
Gradle提供了一种“领域专用语言”(domain specific language) 或者 DSL对构建进行描述。这种语言基于Groovy，并加入了其他特性使得描述更简单。
原文地址 http://www.gradle.org/docs/current/userguide/artifact_dependencies_tutorial.html
8.1. What is dependency management?何谓？为何？
依赖管理大致有两块：首先Gradle需要找到你工程需要的东西，这些东西就是所谓的“依赖”。另外Gradle需要构建和上传你工程的产出，这就是所谓的发行。让我们来仔细看看它们：
大部分工程都不太可能完全自给自足，一把你都会用到其他工程的文件。比如我工程需要Hibernate就得把它的类库加进来，比 ...
原文地址 http://www.gradle.org/docs/current/userguide/tutorial_java_projects.html
7.1. The Java plugin插件
我们已经看到Gradle是一个通用构建工具，它可以完成相当多的任务，只要你能在脚本里定义好。如果你没写好脚本，它就啥也干不成。
大部分Java项目都是这样的流程：编译源文件，单元测试，打成jar包。你希望不用每次都为每个项目搞下这个。你的小清新到了：Gradle通过插件解决了这个问题。一个插件就是一个Gradle扩展，它以某种方式配置项目。一般会预配置一 ...
原文地址http://www.gradle.org/docs/current/userguide/tutorial_using_tasks.html
6.1. Projects and tasks工程和任务
Gradle中的任何东西都基于俩概念: projects 工程 和 tasks 任务。
一个Gradle构建由一个或多个工程构成。一个工程 就是项 ...
原文地址 http://www.gradle.org/docs/current/userguide/installation.html
4.1. Prerequisites先决条件
Gradle依赖于JDK，需要已经安装好5.0（包括）以上的版本。虽然Gradle是基于Groovy配置的，但是不需要安装Groovy，它自带了。如果你已经安装了Groovy，没有关系，它会忽略掉的。
Gradle会在Path路径寻找JDK，找到哪个版本就用哪个版本。你自己可以用 java -version来检查你的Java版本。你也可以设置
通过java使用ssh访问远程Linux
- 博客分类：
- 血泪体验
需要做一个监控远程Linux磁盘空间的东西，绞尽脑汁终于发现一个东西。ch.ethz.ssh2。
它可以通过用户名和密码登录可以ssh登录的机器，并且可以执行命令，并将命令显示的东西返回来。
上代码了：
Connection con = null;
Session session = null;
BufferedReader dr = null;
try {
String ipd = mc.getIpAddress();
if(ipd.equals("127.0.0.1")){
con = new Connec ...
Java 下一代: 混入和特征
来自http://www.ibm.com/developerworks/cn/java/j-jn8/index.html
======================================转载正文
Java 语言的开发人员精通 C++ 和其他语言，包括多继承（multiple inheritance），使得类可以继承自任意数量的父类。多继承带来的一个问题是，不可能确定所继承的功能来自哪个父类。这个问题被称为钻石问题（请参阅 参考资料）。钻石问题和多继承中固有的其他复杂性启发了 Java 语言设计者选择 “单继承加接口” 的方法。
接口定 ...
本文是在Play2.1下进行的，不过很可能也适合Play2的各个版本。
=======================================
play2.1的业务操作返回信息可以使用Ajax的结果由alert向用户展示。
如果需要这种方法，可以参考http://somefuture.iteye.com/blog/1983621
（请一定注意：这种方法仅仅适合于Play!2.1，其他版本几乎是不可能这样做的。）
我写了一个通用方法，可以进行增删改：
import java.util.concurrent.Callable;
import play.db.jp ...