202603101

プログラミング言語というのはコンピュータに指示するためにつくられた言語である。仮に LLM でプログラミングが効率化されるなら、それは自然言語の方が簡潔に記述できるということになるんだろうか。自然言語で物事を説明するのが苦手な身としては意外な感じがする。

「じゃあ完全に形式化された数学の証明が、自然言語交じりの証明より読みやすいのか」と問われると「うーん確かに」とはなる。でも実際のコードって、数式と自然言語の間くらいの感じで、直感的に自明なことを延々と書いている感覚はないのだよな。