>>692
符号化だけで導ける
言語化は翻訳化
翻訳する必要はないという事
数式、論理式は言語じゃないw