2022-03-07 Tenjin muses Tenjin, a semiformal concept description language for STEM documents目標は、グチャグチャな古典微分幾何とか記述できるレベル。