Posted in: IT, Science

图灵的“停机问题”

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

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

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

购房记

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日:公积金放款
Posted in: IT

一个用于定位含简并碱基的oligo的工具

能用于定位oligo(或primer)的工具很多,比如BioEdit、BLASTN都可以,但是它们不能处理简并碱基的情况,只会把简并碱基当成错配。

现在列一个能够用于定位含简并碱基的oligo的工具:usearch中的search_oligodb命令。

命令格式为:

usearch -search_oligodb [your/target/seq.fa] -db [your/probes.fa] -alnout or -blast6out [your/result] 

可用参数有:

-strand: plus or both
-maxdiffs: [int]
Posted in: Life, Travel

银联卡境外取现

事情源于去年11月份澳门之行,网上看到说宁波银行借记卡每月前几笔可以免费境外取现,于是未携带任意现金即上路。然而事实证明不对:还是要收费的。

3月份准备去日本旅行,自然也做足了功课,找到两个网址:

  1. 银联借记卡境外ATM取现发卡银行手续费一览表 (由境内银行负责收费)
  2. 银联卡境外取款当地ATM收单机构手续费一览表 (由境外ATM负责收费)

简单来说,取现的费用由境内+境外两部分组成。宁波银行免了境内的部分费用,因此只需注意境外ATM费用即可。从表格上看,澳门的ATM设备一般均需收取手续费,而香港、台湾等地则不收取手续费

Back to Top