主题 · 领域

航空航天

会飞的机器：飞机以及让它们留在空中的工程、电传操纵、火箭，以及离开大气层的飞行器。

页面
1
地图上 1 个页面及其周边主题
点一下选中，再点一下打开。

在完整地图中打开 →

  1. 2026

  2. 文章The Last Programming Language Might Not Be for HumansEN中한

    Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.

    AI 辅助工程编程语言抽象形式化方法Haskell编译器类型系统语言学航空航天

    26 分钟阅读 · 5 章

    打开完整搜索 →