2023-01-28 ノベライズ、散文化 Lean 論理 半形式証明スクリプト 散文化は prosify。 映像作品を、通常の文章に直して伝えること。 映像作品を鑑賞することは誰でも出来るが、ノベライズ/散文化は難しい。