Mark Weiser提出了泛化计算（ubiquitous computing）的概念。他设想在未来的生活场景中，计算资源极大丰富，可以在任何时间和地点为用户提供信息和服务。在泛化计算环境下，计算设备的形状尺寸、使用计算设备的用户类型和交互场景都会发生重大的变化。这些都会对人机交互技术产生深刻的影响。本文设计并实现了一个适用于微型计算设备的数学公式编辑器，并且试图通过这个非键盘输入的公式编辑器的设计和实现，为探讨在泛化计算的环境下人机交互搭建一个研究平台。 本文首先介绍了泛化计算的理念和它对人机交互的影响，接着介绍了隐式人机交互的概念，然后简要地介绍了公式编辑器的功能和操作环境。手写数学公式的识别技术是整个系统的难点和重点，文中花费了主要的笔墨来介绍其识别技术的实现方案。最后本文讨论了通过此公式编辑器体现的一些人机交互技术。