假设存在这么一个“停机程序”，不管它是怎么实现的，但是它能够回答“停机问题”：它接受一个“程序”和一个“输入”，然后判断这个“程序”在这个“输入”下是否能给出结果：
def is_halt(program, input) -> bool:
# 返回 True 如果 program(input) 会返回
# 返回 False 如果 program(input) 不返回月度归档： 2019 年 5 月
购房记
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日：公积金放款
