Why·Liam·Blog

人生若如初見

0%

发表于 分类于 Waline：

写这篇文章，是想尝试回答学习图灵机模型中遇到的三个问题：

  1. 为什么图灵机有不可判的问题？
  2. 为什么强大的图灵机会不停机？
  3. 为什么图灵当初要设计图灵机？

图灵机（Turing machine）是英国数学家阿兰·图灵（Alan Turing）于1936年设计的一种抽象机器，用于定义和模拟计算（computing）。图灵机虽然构造简单，但却及其强大，它能模拟现代计算机的所有计算行为，堪称计算的终极机器。然而即便是这个终极机器，也有令它无能为力的问题，这便是第一个要回答的问题：为什么图灵机有不可判的问题？

首先明确什么是图灵可识别（Turing recognizable）和图灵可判定（Turing decidable）。图灵机的识别对象是语言，图灵可识别当然不是说图灵本人能识别的语言（照这样说汉语可能是图灵不可识别的~），事实上这只是简称，全称应该是图灵机可识别语言（Turing machine recognizable language）和图灵机可判定语言（Turing machine decidable language）。

阅读全文 »

发表于 分类于 Waline：

别告诉她，我还想她，恨总比爱容易放下。当泪水堵住了胸口，就让沉默，代替所有回答

MV讲的是喜欢音乐的男主角爱上了冷美人的女主角，男主角一直在追求女主角，图书馆中，女主角无意丢失了唇膏，男主角归还，并在课桌上巧妙的表达了爱意，2个人都喜欢在天台听音乐欣赏风景，共同的爱好促使2个人感情彼此拉近，沉浸在恋爱甜蜜中的女主角没想到，男主角出了车祸，离开人世。女主角心痛，但却无法挽回这结局，这段恋情给女主角学生时代的心留下了难以磨灭的印记。

The Why·Liam·Blog by WhyLiam is licensed under a Creative Commons BY-NC-ND 4.0 International License.

阅读全文 »

发表于 分类于 Waline：

前几天，何炅发了一条关于梦想的微博：我叫_____. 今年_____.我十八岁时的梦想是_________，现在我在做_______.

评论中有各种各样的梦想，有些人实现了当初的梦想，但是更多的留下了遗憾。然后有两位梦想和现实刚好互换的博友，挺有意思。

从幼儿园开始，家长、老师就会问你长大后想做什么？那个时候，大多数人的梦想都是老师、警察、医生、科学家。

还有一些奇怪的梦想，宇宙大王、奥特曼等等，现在想想还挺好笑的，小孩子的梦想简单而美好，和现实无关。

阅读全文 »

发表于 分类于 Waline：

金山软件CEO张宏江博士在珠海UIC高桌晚宴上表示，移动互联成主流，不再是趋势，而是现实。

张宏江当晚在UIC演讲了《移动互联时代的机遇》，据其介绍，全球PC出货量正在减少，智能手机和平板电脑出货量不断增加，预计在2013年第二季度，智能手机和平板电脑的保有量将超过PC。

中国智能手机2012年出货量超过1亿部，出货量占全球总出货量的26.5%，张宏江认为中国移动互联网经济驶入快车道，预计今年移动互联网经济规模达976.2亿人民币，经济规模增速148%。

张宏江称，2013年新的科技趋势有五方面：一是移动设备大战，预计2015年销售的手持设备中超过80%是智能手机。二是随着HTML5的功能越来越强，长期来看将会从原生app过渡到Webapp上面。三是个人云将会逐渐取代PC。四是企业应用市场，预计2014年许多机构将通过私有应用市场向员工分发移动应用程序。五是战略大数据，大数据从关注个人项目转移到影响企业战略信息架构上。

阅读全文 »

发表于 分类于 Waline：

从别后，忆相逢，几回魂梦与君同。今宵剩把银红照，犹恐相逢是梦中。

望湖畔，伊人坐此苦思念。笑苍天，何苦为伊泪眼潸。立誓言，汝若不弃共结缘。熟不知，伊人倦，此心早为初人献。君心碎，无可盼，许诺来世再相见。君欢喜，皆圆满，双双投水无人怨。伊化鸯，君化鸳，只羡鸳鸯不羡仙。

一江明月，回首少了谁。一杯浊酒，相逢醉了谁。一年春事，桃花红了谁。一眼回眸，尘缘遇了谁。一点灵犀，真情赠了谁。一句珍重，天涯送了谁。一番萧索，鱼书寄了谁。一帘幽梦，凭栏念了谁。一夕霜风，雪雨遣了谁。一声低唱，才情痴了谁。一种相思，闲愁予了谁。

阅读全文 »

发表于 分类于 Waline：

相信对嵌入式开发感兴趣的朋友最近一定不会对一个新名词陌生—— Arduino。尤其对初学者来说，恐怕都听到过「嵌入式开发从哪里上手最好？Arduino！」这样的说法。那么Arduino到底是什么呢？是一种新的控制芯片？还是一种新的开发软件呢？

首先我们先看看 Arduino的实物图，下面是最常见的一种Arduino实物图片（关于Arduino的分类，我们会在后面详述）：

图中已经用红线根据功能将各个模块区分出来，相信对单片机开发稍有了解的朋友一定已经发现，这不就是一个以AVR单片机最小系统为核心的控制板吗？

阅读全文 »

发表于 分类于 Waline：

UIC（United International College)是对我们学校的简称。

UIC是一间新生的创新式大学，校龄只有5年（非常地嫩）。

今年开始在除广东外的其它省份以重本招生，而UIC实际是香港浸会大学在内地办的大学，由于教育处的要求，必须要以合作形式办学，于是你就看到了像标题一样长的校名。

对于报考UIC的同学们来说，它最大的好处就是可以获双毕业证，一个是香港浸会大学的毕业证，另一个则是UIC本校的毕业证。

阅读全文 »

发表于 分类于 Waline：

OpenGL是一个开放的系统，它是独立于任何窗口系统或操作系统的。尽管它包含了许多图形函数，但它却没有窗口函数，也没有从键盘和鼠标读取事件的函数，所以要初学者写出一个完整的图形程序是相当困难的。另外，OpenGL图形函数中只提供基本的几何原形：点、线、多边形，因此要创建基本的三维几何体如球、锥体等，也很不容易。而OpenGL辅助库就是为解决这些基本问题专门设计的，它提供了一些基本的窗口管理函数和三维图形绘制函数，能帮助初学者尽快进入OpenGL世界，掌握关键的三维图形技术，体会其中奇妙的乐趣。但是，对于复杂的应用，这些函数远远不够，只能作为参考。

辅助库函数分类

辅助库函数大致分为六类：

1.窗口初始化和退出。

阅读全文 »