2024年（瑞士）

编程语言面向容错计算

安全自动 物理正确 运行理念 高度抽象 创新融合