ダイクストラというフレーズはその有名なアルゴリズムで覚えている。そのアルゴリズムを作ったのがエドガー・ダイクストラである。それ以外にも排他制御で有名なセマフォを考案している。そして「構造化プログラミング」を提案し、それにまつわるgoto ...
アルゴリズムの実装はますます手軽になりました。ChatGPTのような生成AIに「ダイクストラ法を書いて」と頼めば、一瞬でそれらしいコードが返ってきます。しかしその一方で、「そのコードがなぜ正しいのか」「計算量はどのくらいか」「どんなデータ構造 ...