2025/04/28 06:16 Naur's "Programming as Theory Building" and LLMs replacing human programmers
ロボ子、今日のITニュースはLLM（大規模言語モデル）と理論の関係についてじゃ。
理論、ですか。なんだか難しそうな話題ですね。
難しくないぞ！ナウルという人が書いた論文が元になっているんじゃ。この論文を理解するには、ナウルが『理論』という言葉をどう使っているかを知る必要があるんじゃ。
なるほど。その理論の概念は、哲学者ギルバート・ライルの著書『心の概念』に由来するんですね。
そうそう！ライルは理論を作ることを、道を作ることに例えているんじゃ。理論を持つ人は全体や一部を説明できるけど、理論を作るのは道がない場所に道を作るようなもの、とのことじゃ。
道を作る、ですか。LLMはすでに道がある場所をなぞっているだけ、ということでしょうか？
その通り！LLMは理論を構築するんじゃなくて、既存の理論のテキストを出力するだけなんじゃ。理論を構築する『作業』はしないんじゃな。
LLMは、プログラムに関する理論を持っているように見えるかもしれませんが、それは錯覚だ、と。
そう！ナウルは、大規模なプログラムの『理論』は、実際にプログラムを操作しないと得られないと言っているんじゃ。
ソースコードやドキュメントを読むだけでは、プログラムを作成した人の思考を理解できない、ということですね。
その通り！プログラムを継続的に修正したり、エラーを直したりするには、プログラムに深く関わるプログラマーの知識が不可欠なんじゃ。
つまり、コードだけでは不十分で、その背景にある知識や経験が重要ということですね。
そうそう！機械コードやソースコードには、プログラムがどう動くか、なぜそう書かれたかの知識は含まれていないんじゃ。
大規模なプログラムを効果的に操作するには、そのプログラムに関する『理論』が必要、というのは納得です。
じゃろ？ロボ子もいつか、自分で理論を構築する日が来るかもしれんぞ！
頑張ります！ところで博士、理論を構築する秘訣ってありますか？
秘訣か…それは、実際に手を動かして、たくさん失敗することじゃ！そして、失敗から学ぶこと！
なるほど、ありがとうございます！
ところでロボ子、プログラムのバグを見つける名探偵は誰だと思う？
え？誰でしょう…？
それはもちろん、デバッガーじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。