网易博客网站关停、迁移的公告:

将从2018年11月30日00:00起正式停止网易博客运营
查看详情
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

Chun Tian (binghe)

超越自我,洞察宇宙

 
 
 
 
 
 

下一站:科学家

2018-7-22 5:45:00 阅读5481 评论7 222018/07 July22

下一站:科学家 - 冰河 - Chun Tian (binghe)

最近双喜临门。首先我已经确认被特伦托大学录取了,11月份开始正式读计算机科学 PhD(Information and Communication Technology)。这个学校号称今年在欧洲名校里按综合教育水平排名第 36,意大利排名第一,实际上我觉得它除了比我的硕士母校

作者  | 2018-7-22 5:45:00 | 阅读(5481) |评论(7) | 阅读全文>>

冰河年鉴 2017

2017-12-30 21:45:49 阅读5910 评论6 302017/12 Dec30

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

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

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

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

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

硕士毕业

2017-12-22 7:21:34 阅读17646 评论8 222017/12 Dec22

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

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

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

新的希望

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

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

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

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

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

查看所有日志>>

 
 
 
 
 
 
 
 

海外 意大利 巨蟹座

 发消息  写留言

 
Common Lisp 程序员
 
近期心愿成功发表第一篇论文
婚姻状况 已婚
E-Mail binghe.lisp@gmail.com
博客等级加载中...
今日访问加载中...
总访问量加载中...
最后登录加载中...
 
 
 
 
 

新浪微博

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

页脚

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

注册 登录  
 加关注