博文
- 西行记-3
- 本周一收到了ds2019表，共三份，其实就是2页1份，j11份，j2两份。问了同学之后，大人各自签自己的名，小孩j1代签，英文签名，名在前，姓在后。 另外，把签证费交了，996/人，共3人，而且跑道中信银行去交的，没看到网上提交。又购买了签证电话卡，打算明天早上预约签证。 这个签证费也太贵了。
- 西行记-2
- 终于把小孩护照也办好了，寄给了对方，已经在准备ds2019表了。在此把之前办理的文档总结一下： 1。J-1申请表（包括小孩和配偶的信息） 2。资金证明（包括基金委、和学校的资助证明，需要原件快递） 3。学校的guideline 4。邀请函 5。所有申请者的护照（电子版） 6。三封 ...
- 西行记-1
- 经过前一段时间的准备，与国外教授的联系告一段落，接下来就是很繁琐的手续办理。收到了对方的正式邀请函，刚刚把资金担保寄给对方。等待DS2019表的办理。 有可能有比较复杂的流程，所以开始记录一下整个过程。 到目前 ...
- P 不等于 NP, HP研究员Vinay Deolalikar的工作
- HP研究员VinayDeolalikar也许会拿走Clay研究所的大奖,8月6号的论文打破了计算机理论界的最大的难题,P=NP?一系列的证明都是以"ifP=NPthen"开头,以后也许不用再写了,这个证明将会产生新的结果,搞理论的同学们有一堆事情可以做了. ...
- 从高速公路改名看汉字编码的无比优越性
- 据报道,"苏州绕城高速将由原来的一条高速公路重新命名为四条省际高速公路。新命名的四条高速公路分别为：常熟-嘉善高速公路，简称常嘉高速，（编号：S5）；苏州—绍兴高速公路，简称苏绍高速（编号：S9）；上海—宜兴高速公路，简称沪宜高速（编号：S48）；上海—常州高速公路，简称沪常高速（编号：S58）。" ...
- 55期Italk——高端程序分析软件发展趋势及国内首款反编译软件发布
- 【时间】：2010年2月3日，周三，晚上6：30-8：30 地点】：张江大厦1楼560文化空间（松涛路560号，张江高科地铁站，步行约8分钟） 以反编译为基础的高端程序分析软件在国外已经占据软件产业链的上游，那么颠覆者等为代表的新兴产品能否开垦国内的程序分析软件市场这块为数不多的处女地？颠覆者是云计 ...
- 科学网的blog真好使
- 真不错，基本上不用关心写blog的其他事情，做得不错。如果能够提供类似wiki的功能就更好了。
- 类型理论、Domain及pi 演算的一些思考
- 最近参加了一系列的计算机理论讨论会，讲到类型理论和进程代数的关系。提出类型理论不作为元系统，可以用CCS来表达。CCS具有交互特性，那么一个交互的类型指称一个什么样的Domain呢？是否一定要指称一个domain，其语义就使用ccs来表达，采用bisimulation框架，不知是否可行？ 另外，交大这边得到一 ...
本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏
