240 发简信
  • 120
    Windows安装Hadoop

    环境 主机:Windows 10Hadoop:2.7.5Java:1.9 步骤 1. 确认Java已经安装,并已经添加到环境变量中,测试方法:c...

  • 120
    RescueTime

    最近发现了一款挺有意思的软件RescueTime,它既可以本地安装,也可以以浏览器插件的形式工作。功能是统计你每天的工作和娱乐时间,结果会以一个...

  • 120
    TAPL练习:添加TmPLet

    问题描述 本练习是北大本研合上课程编程语言的设计原理的一次上机作业,完整的代码可以参考这里。该课程教材是经典的TAPL,作业要为书中fullsi...

  • λ演算

    λ演算是一个具有与图灵机相同计算能力的形式系统,由图灵同学的老师Alonzo Church于20世纪30年代提出。 定义 对一个形式系统,我们的...

  • 高级逻辑学笔记

    这学期选了「高级逻辑学」这门课。课程所用的教材是王元元主编的计算机科学中的现代逻辑学。本文是课程的学习笔记,分为两部分:第一部分介绍书中对现代逻...

  • Arch Linux 安装

    制作启动盘 请使用Rufus,不要用UltraISO。 安装过程 Arch的安装过程中一定要联网。具体安装过程这篇文章写的简直不能更详细了。除了...

  • Archlinux使用pptpclient

    pptpclient是一个实现Microsoft PPTP协议的程序。因此它能够被用来接入另一个Microsoft VPN网络,比如学校和单位。...

  • 120
    稳定匹配问题

    这是 Algorithm Design 一书开篇介绍的一个很有意思的问题 问题描述 有n个男人和n个女人(n>=2),每个男人对所有女人有一个好...

  • 北大2017秋研究生算分课模拟考试题解

    A:To Europe! To Europe! AC代码: B:Radar Installation AC代码 C:Percolation 总时...