240 发简信
maxkibble
IP属地：北京
  • Resize,w 360,h 240
    Windows安装Hadoop

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

    0.9 12065 1 7
  • Resize,w 360,h 240
    RescueTime

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

    633 0 1 2
  • Resize,w 360,h 240
    TAPL练习：添加TmPLet

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

    0.1 1357 0 1
  • λ演算

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

    1578 0 0
  • 高级逻辑学笔记

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

    1379 0 0
  • Arch Linux 安装

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

    674 0 2
  • Archlinux使用pptpclient

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

    1569 0 0
  • Resize,w 360,h 240
    稳定匹配问题

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

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

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

    787 0 0
暂无个人介绍