Reality Editor

A Web-Based Tool For Controlling The Physical World

Use our Bi-Directional AR and Logic Crafting for editing reality

MIT Media Lab Fluid Interfaces Group

应行仁 总结微积分

三百多年前,微积分以函数为阶梯从无穷小分析的思路,把人们带进了想象中的无穷世界。由线性联系着微观机制和宏观的表现,线性系统的叠加原理所惠,让它成为研究动态和连续系统最强有力的工具。短短的三百年时间,研究函数科学的分析,成为数学最大的分支。在这无穷可分几乎是线性的世界里,数学分析是撰写自然律法的笔墨文书,是从事理工研究必不可少的工具。我们对世界的认知,其实是符号的象征和想象的产物,数学工具极大地影响着研究者对事物构造的想象和规律的理解,进而推及大众。计算机的出现,将可能改变世界的图像,影响着数学研究方向和对世界的认知。世界也许将回到有穷分立的结构,非线性将是主流,复杂和不确定系统或成为富饶的主题。但无论怎么改变,数学都是人们用逻辑来及远的工具,指使计算机的方向,描绘世界的画笔。现在的计算机在科研中,还基本是分析计算的工具,图像表达的机器和记忆搜索的助手。人们还未找到代替叠加原理超越线性,组合分立研究结果的方法,还在等待着一个革命性的思想,来指引怎样用计算机来描述,理解和控制我们的世界。在这之前,数学分析仍然统治着物理和工程的世界,理科生还离不开这时代战士必备的这个武器。

LaTeX 排版软件


  1. 商业软件
    • Texpad:界面美观,功能齐全,但有时会崩溃
  2. 开源软件

MIT 6.270

课程主页

原型工具

HandyBoard

Topology

点集拓扑的角度看数学分析,从空间映射的角度看线性代数

  1. Topological Spaces
    1. Topology
    2. Open Sets
    3. Finite-Closed Topology
  2. The Euclidean Topology
    1. Euclidean Topology
    2. Basis for a Topology
    3. Basis for a Given Topology
  3. Limit Points
    1. Limit Points and Closure
    2. Neighbourhoods
    3. Connectedness
  4. Homeomorphisms
    1. Subspaces
    2. Homeomorphisms
    3. Non-Homeomorphic Spaces
  5. Continuous Mappings
    1. Continuous Mappings
    2. Intermediate Value Theorem
  6. Metric Spaces
    1. Metric Spaces
    2. Convergence of Sequences
    3. Completeness
    4. Contraction Mappings
    5. Baire Spaces
  7. Compactness
    1. Compact Spaces
    2. The Heine-Borel Theorem
  8. Finite Products
  9. Countable Products
  10. Tychonoff’s Theorem
  11. Quotient Spaces
  12. The Stone-Weierstrass Theorem

Arduino 不简单

Atmega 引脚图


频率计通用算法

  • 斜率检测法 
  • 中点检测法 
  • 正弦频率检测 
  • 通用频率检测

定时器/计数器/中断

清空串口缓存

  • Serial.flush()
  • while(Serial.read() >= 0){}
  • SerialEvent()

多任务处理

两门 MIT 的机械课程


  1. Medical Device Design
  2. Development of Mechanical Products

Google 开源项目:AIY

项目介绍:
This project demonstrates how to get a natural language recognizer up and running and connect it to the Google Assistant. Along with everything the Google Assistant already does, you can add your own question and answer pairs. All in a handy little cardboard cube, powered by a Raspberry Pi.


Google 作为科技领域的排头兵,此次发布的 AIY 项目涉及人工智能、语音识别领域,Google 之前发布的「Google Cardboard」则涉及 VR 领域。Google 再次采用了纸质材料,环保而且降低了制作成本。类似的还有纸质显微镜项目「Foldscope」。

纸,联想到 Erik Demaine 在 MIT 讲授的课程「Geometric Folding Algorithms: Linkages, Origami, Polyhedra

TurtleBot 3 来了

TurtleBot 3 官网


2017 年 5 月,IEEE Spectrum 刊登了一篇文章:Hands-on With TurtleBot 3, a Powerful Little Robot for Learning ROS

价格:Burger $549.00 / Waffle $1,799.00。