查看详情
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

Chun Tian (binghe)

超越自我,洞察宇宙

 
 
 
 
 
 

冰河年鉴 2017

2017-12-30 21:45:49 阅读7104 评论7 302017/12 Dec30

冰河年鉴 2017 - 冰河 - Chun Tian (binghe)

人生就要丰富多彩,不断的变化中谋求暂时的稳定和内心的安宁。其他诸如事业、金钱、女人什么的都是次要的,对这些东西的追求从来不是人生目标本身,只是作对了其他事情以后自然获得的奖励罢了。

2017 年是我在意大利留学(攻读硕士学位 )的收尾。事实上直到这一年的到来我都还活在过去的工作状态里,在相对富裕的生活状态中享受着学习的乐趣。自从 2016 年 10 月失业以后,生活一度陷入危机,然后我不得不收回过去的借款和寄给我父亲的钱以维持我毕业前的生活。所以我开始省吃俭用,同时一步一个脚印地完成毕业所需的剩下的考试(2017 年里通过了最后五门考试),以及毕业项目。

2017 年也是我开始掌握定理证明技术和逐步确定毕业项目的一年,事实上直到 2017 元旦以前我连一个定理也证明不了,可是元旦

作者  | 2017-12-30 21:45:49 | 阅读(7104) |评论(7) | 阅读全文>>

硕士毕业

2017-12-22 7:21:34 阅读18604 评论9 222017/12 Dec22

硕士毕业 - 冰河 - Chun Tian (binghe)
 
经过三年多的努力,我终于以满分 (110L) 的成绩从意大利博洛尼亚大学毕业(毕业项目和论文),拿到计算机科学硕士学位。从此再从事计算机相关工作终于算是科班出身了。

我十多年来最大的心愿是学会定理证明技术,最后如愿以偿,毕业项目就是用定理证明器 (HOL4) 形式化证明了并发理论的几个重要定理,其中包括我毕业导师 Davide Sangiorgi 两年前发表的最新成果。

作者  | 2017-12-22 7:21:34 | 阅读(18604) |评论(9) | 阅读全文>>

新的希望

2017-2-12 19:18:27 阅读9064 评论6 122017/02 Feb12

新的希望 - 冰河 - Chun Tian (binghe)

本文简要介绍我自从2017年初以来新的变化和学业上的主要进展。

我目前属于博洛尼亚大学2014年入学,目前已在编外(Fuori corso / out of course)的学生。我的成绩单其实不算难看,很多课程都是满分30分,其中还有3门课是最高分(30L)可以体现出教授对我的充分肯定。其实我校计算机系的给分标准相对较高,学生通过数次考试以后最终拿到高分并不难,甚至某些选修课程只要完成了教授要求的全部工作即可轻松拿到满分,就好像只要肯选修就已经很值得表扬了似的。所以通过成绩单本身并不一定能看出学生的实际学习能力。但我眼下还真的是除了成绩单以外别的什么更像样的也没有了。

作者  | 2017-2-12 19:18:27 | 阅读(9064) |评论(6) | 阅读全文>>

心态

2015-8-10 1:34:48 阅读10277 评论25 102015/08 Aug10

心态 - 冰河 - Chun Tian (binghe)

最近我时常感到其实自己还很年轻,无论有什么梦想只要现在哪怕从头开始努力都还来得及。我的思路是这样的:虽然我上个月刚过完33岁生日,但我没心没肺吃得好睡得香从而很有可能长命百岁,因此就算从眼下的年龄里抹掉10岁,搞不好国内外很大一部分小我10岁的年轻人还得死在我前面呢。虽然体力和精力不如以前了(10年前我还在大学里整夜整夜地不睡觉研究电脑呢),但由于身边的杂事和各种俗务比以前大幅减少了,最后算起来实际用于工作和学习的时间可能比10年前还要多,学习新知识的速度也比那个时候更快了。另外作为男人,等40岁以后功成名就了再考虑二婚也不迟(从生理上来说)。所以我索性把自己定位成一个大学本科以后立即开始读研的学生,过去的工作经历就忘掉算了,眼下最重要的是学习,其他比如事业和家庭现在考虑还为时尚早。这样一来,我多年积累的知识面和残留在记忆中的工作经历反而让我远远地超越了周围的同学。

作者  | 2015-8-10 1:34:48 | 阅读(10277) |评论(25) | 阅读全文>>

查看所有日志>>

 
 
 
 
 
 
 
 

海外 意大利 巨蟹座

 发消息  写留言

 
Common Lisp 程序员
 
近期心愿博士顺利毕业。
婚姻状况 已婚
E-Mail binghe.lisp@gmail.com
博客等级加载中...
今日访问加载中...
总访问量加载中...
最后登录加载中...
 
 
 
 
 

新浪微博

 
 
模块内容加载中...
 
 
 
 
 
 
 
日志评论
评论列表加载中...
 
 
 
 
 
 
 
心情随笔列表加载中...
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

页脚

网易公司版权所有 ©1997-2018

注册 登录  
 加关注