标签： python

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 “图灵的“停机问题””

Posted in: Perl/R

安装 R 包的一些事

Written by springwood 安装 R 包的一些事有 2 条评论

普通用户安装R包

现代版本的 R（4.X） 已经模仿 Python、Ruby 等流行软件的做法，不再往系统目录里面安装包了，而是默认会把包安装在自身 R 对应的 Library 下面。例如，假设 R 的路径是：~/miniconda3/lib/R/bin/R，则包默认就会在 ~/miniconda3/lib/R/library/ 下面（在此我们再一次看到了用 conda 而非用系统内置的 R 的重要性）。所以此时已经完全不需要担心权限的问题，直接安装即可：

install.packages("packagename");

Read More “安装 R 包的一些事”

Posted in: Perl/R

使用 dbfetch 从远程数据库中批量下载序列

Written by springwood 使用 dbfetch 从远程数据库中批量下载序列有 9 条评论

天朝的网速已经不能容忍了。

在此推荐一个新的下载序列的方法：使用 EMBL-EBI 的 dbfetch 工具，它的主页是：http://www.ebi.ac.uk/Tools/dbfetch/emblfetch

你需要提供的信息有：序列的 ID 号、序列所在的数据库、序列的格式、下载的文件类型。注意：前面三个信息不是随意搭配的，EBI 支持的数据库列表参见 http://www.ebi.ac.uk/Tools/dbfetch/dbfetch/dbfetch.databases，每种数据库只能支持特定的 ID 号以及特定的序列格式，别张冠李戴了。

Read More “使用 dbfetch 从远程数据库中批量下载序列”

Back to Top