月度归档： 2019年5月

Posted in: IT, Science

图灵的“停机问题”

Written by springwood Leave a Comment on 图灵的“停机问题”

资料来自：科普书《复杂》和知乎网站。

假设存在这么一个“停机程序”，不管它是怎么实现的，但是它能够回答“停机问题”：它接受一个“程序”和一个“输入”，然后判断这个“程序”在这个“输入”下是否能给出结果：

def is_halt(program, input) -> bool:
  # 返回 True  如果 program(input) 会返回
  # 返回 False 如果 program(input) 不返回

Read More “图灵的“停机问题””

最后更新于 2022 年 11 月 3 日 作者 springwood

Posted in: Life

购房记

Written by springwood 购房记有7条评论

本文原先post于水木论坛：

2019年

  • 年初：开始看房，但是感觉没有合意的（户型、朝向、周边环境、业主欠款情况），反而觉得自己现在租的这个最好，因此决定购买现在租的这个。
  • 5月9日-5月20日：与业主协商价格、付款方式、贷款银行、合同条款等，自己录入网签合同，预约银行面签时间。
  • 5月23日：和配偶、 业主一起去工商银行网点办手续：签合同、交定金、办理首期款资金监管（银行POS机刷的）、签各种贷款协议，由于是组合贷款，签字的地方比较多。
  • 5月26日：评估公司上门评估。
  • 5月27日：缴纳评估费。
  • 6月4日：公积金审核完毕（在微信小程序上查得）。
  • 6月13日： 工商银行电话审核。
  • 6月17日：工商银行通知贷款已审核通过（其实6月14日已经能在app上查询获得贷款结果）。
  • 6月20日：去不动产登记中心交件（在微信公众号上预约“国有建设用地使用权登记及房屋所有权转移登记”）、办理公证（业主香港人，需公证）
  • 6月27日：去不动产登记中心缴税、领证、办理抵押（那儿居然不让复印产权证，只能自己拍照扫描了）。银行放首期款给业主。
  • 7月3日：去把公积金取出来用了。
  • 7月7日：在工行app上查到了贷款合同，时间为7月4日，显示额度为71万。
  • 7月9日：工行贷款联系人告知商贷部分71万已放款，还款日期为下月开始每月9日。
  • 7月12日：公积金放款

Read More “购房记”

最后更新于 2022 年 2 月 20 日 作者 springwood

Back to Top