试题试做

共 11035 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 367 页

在 Lean 中，函数调用 f x 的语法特点是什么？

Lean 具有哪双重身份？

Lean 定理证明器由谁创建？

形式化验证的核心目标是什么？

跨物种「基因树」（gene tree）重建为何常用最大似然（ML）而非简单计数？

针对纳米孔长读长「高错误率但长片段」的特点，你会如何设计错误校正算法？

把现有系统从 RSA/ECC 迁移到后量子密码，最大的工程挑战是什么？

为什么两条等长序列的汉明距离总是编辑距离的下界？

如果要你设计一个「类 BLAST」的近似比对工具，简述核心步骤。

OpenAI 与 Hugging Face 在模型评估中发生的安全事件，最关键的启示是？

用 Rust + Bevy 写「自运行的太空经济模拟器」，Bevy 主要提供什么？

一个问题能用动态规划求解，通常需要满足哪两个性质？

序列比对在「变异检测」（variant calling）中的角色是？

当前后量子密码（PQC）标准化的主流方向之一是？

多序列比对（MSA）的计算复杂度通常是？

AlphaGenome 特别强调对非编码区域的预测能力，是因为？

HERRO 在校正纳米孔读段时，特意保留父母本两套染色体间的真实差异，目的是？

群体遗传学语言模型为何选用 GPT-2 这类语言模型架构？

对于只依赖上一行和当前行的二维 DP（如编辑距离），空间可优化到？

Rust 的「借用检查器」（borrow checker）主要保证什么？

试题试做第367页 - 生命科学与前沿科技学习平台 | 必学必会