TypeScriptで検証の絵

digraph {
  logic[label="形式化された\n定義／公理／定理／証明"]
  ts[label="TypeScript\nプログラムコード"]
  js[label="JavaScript\nプログラムコード\n(不要)"]
  logic -> ts[label="　人手で相互翻訳", dir=both]
  ts -> js[label="　トランスパイラが翻訳    "]
}