博文
- Aeviou中文滑行输入法即将在中秋节发布
- 详情请关注我们的微薄： http://weibo.com/u/1961313133 我们的主页： http://tcloud.sjtu.edu.cn/a eviou 简介 ： 伴随中国影响力的与日俱增，中文输入法已成为计算机领域极具战略意义的产品。而在触摸屏上传统点击拼音或手写输入方式显露出速度慢、误击率高的缺点。本输入法依据拼音字母后继不超 ...
- 西行记-11: CMU 二三事
- 访问结束，今天办理了所有手续，整理行李回国了。今天和cmu的一个博士生吃饭，聊起来确实有意思，原来在msra的时候就隔一个隔间。在国外，共同感受就是吃不方便，他也是一直自己做饭。一个来这里半年的硕士，已经瘦了很多了，所以这里是减肥的好地方啊。这边衣食住行费用不高，不过医疗和保险是很贵的，私立学校也不便宜。 ...
- 西行记-10: 匹兹堡是个好地方
- 热度 1
- 来匹兹堡也快近一年，本系列也接近尾声了，大家都说国外“好山好水好无聊”，倒也比较确切。 匹兹堡就是一个有山有水的地方，在两条大河的汇流处，周围群山逶迤，四季分明，冬天经常下雪，夏天不是很热，房间基本上也没有空调。春天百花盛开，秋天万山染红。这里民风淳朴，交通很便利，没有大的交通堵塞（除了上下班 ...
- 西行记-9：老美的素质和信用
- 现在呆了一段时间，老美的素质还是很高的。 他们遛狗，一旦狗拉屎，就拿袋子接着，所以草地上不会有狗屎之类的东东。 超市里面，有若干柜台，是自助结账的，只要拿着物品然后扫描，最后刷卡付钱。 总是等电梯的人全部出来，才进电梯。 很多快递就送物品，放在门口，估计不会怕其他人来拿走。 开车总是行人 ...
- 类型系统 和unification/semi-unification算法-3
- 热度 1
- 正好 CS 15-417 HOT Compilation 这门课本周结束，最后一课 Karl Crary 教授讲到了 type inference 。 结合这个主题，将 unification 算法再 review 一边。 Karl Crary 教授说到了不能确定 SML 的 type inference 算法是否 decidable 。因为它对 HM 算法进行了扩展。 Unification 算 ...
- 递归，尾递归和CPS风格
- 最近看到一个系统，递归运用规则，用 ocaml 写的， 说到为了避免堆栈溢出，采用了 CPS （ Continuation_passing_style ）风格。 于是深入了解一下递归与 CPS 的关系。 递归大家都熟悉，例如阶乘函数，递归写法如下（ ocaml 语法）： let rec fact ...
- 西行记-8： CMU计算机系的本科教学体系
- CMU大学的计算机系是1965年成立，属于早期建计算机系的大学。 现在是计算机学院，在多个学科上有很大优势。 本科教学也有一些特点，整个课程 360 units, 换成我们国内的约 90 学分，其中计算机科学类课程约３６学分，核心课程是必选，为１７学分，选修是每个方向选一门，合计１９学分，两者合计３６学分。总体感 ...
- AEVIOU蜂窝式中文滑行输入法获得全国大学生“挑战杯”特等奖
- 这次比赛，经历了很多困难，同学们还是很不错的，浩亮 嘉斌和 承彦等克服了很多意想不到的困难。在学院领导、学生工作的老师和团委的支持下 ，终于捧得全国大学生“挑战杯”特等奖这个殊荣！ 目前创新的氛围还是很浓厚，学生的点子也比较多，思路活跃。但最终成为一个可以推广的产品，还是有很多路要走。即使有了 ...
- 类型系统 和unification/semi-unification算法-2
- 上次说到 : lambda x,y,z : x(y(z)) , 其对应的类型是什么呢？ 这里面的 z 可以看作一个普通变量（也可能是一个函数）， y 和 x 肯定是一个函数变量。 假定 z 的类型是 c ，则 y(z) 的类型是 a ， 那么 y 的类型为 c-a ， 则 y(z) 作为 x 函数的参数，假定 x(y(z)) 的类型为 b ，那么 x 的类型 ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
