ラースロー・ベラディ

レス・ベラディ・ラースロー^（ 1928年4月29日、ブダペスト生まれ- 2021年11月6日）はハンガリーの コンピュータ科学者で、 IBMリサーチに勤務していた1966年にベラディのMin理論メモリキャッシュ アルゴリズムを考案したことで有名である。また、ベラディの異常性の存在を実証した。1980年代にはIEEE Transactions on Software Engineeringの編集長を務めた。

ベラディは1950年にブダペスト工科大学で機械工学の学士号を取得し、その後航空工学の修士号を取得した^。[2]

彼は1956年のハンガリー革命後にハンガリーを離れた。その後、ケルンのフォード・モーター社で製図工として、パリのダッソー社で航空力学エンジニアとして働いた。1961年に米国に移住。1960年代から1970年代にかけては主にニューヨーク市に住み、カリフォルニアやイギリスにも滞在した。そこで彼はInternational Business Machinesに入社し、オペレーティングシステム、仮想マシンアーキテクチャ、プログラム動作モデリング、メモリ管理、コンピュータグラフィックス、アジア文字セット、データセキュリティなどの初期の研究を行った。^{[3] [2]}

1961年から1981年まで、 IBM社のトーマス・J・ワトソン研究所に勤務し、ソフトウェア技術のプログラム・マネージャーを務めた。 ^[2] IBMでの晩年は、ソフトウェア研究ラボを設立するために東京に移るまで、世界中のソフトウェア・エンジニアリングを担当した。1981年には、日本科学技術協会で2年間ソフトウェア・エンジニアリングのマネージャーを務めた。 ^{[2] 1984年、オースティンの}Microelectronics and Computer Technology Corporationに入社し、ソフトウェア・テクノロジー・プログラムを設立した。彼は、大規模で複雑なソフトウェア・システムの分散設計を支援するための先進技術の開発にプログラムを集中させた。1991年から1998年まで、三菱電機研究所（MERL）の社長兼CEOを務めた。コロラド大学ボルダー校のコンピュータサイエンス諮問委員会メンバーやハンガリー科学アカデミーの外国人会員など、^さまざまな大学の顧問を務めた。引退後はブダペストとオースティンで多くの時間を過ご

ベラディは「ベラディアルゴリズム」、OPT（またはMIN）ページ置換アルゴリズムで知られています。^[2]彼はIBM M44/44Xの 共同設計と構築を行いました。これは複数の仮想マシン構成を備えた最初のコンピュータである実験的なマシンです。 ^[2]彼は産業研究コンソーシアムであるMCCの共同設立者です。^{[4]ベラディは、最も初期の商用}タイムシェアリングシステムであるTSS-67の設計にも参加しました。^{[2] [4]}

• 1969年と1973年: IBM優秀貢献賞^[2]
• 1988年: IEEE「大規模ソフトウェアシステムの設計への貢献」^[2]
• 1990年：情報優秀賞JDワーニエ賞^{[2] [4]}

• Belady, Laszlo A.、「仮想ストレージコンピュータの置換アルゴリズムの研究」、IBM Systems Journal、第5巻、第2号、1966年6月、78～10ページ。^[2]
• Belady, Laszlo A.、Meir L. Lehman、「プログラムの進化、ソフトウェア変更のプロセス」、Academic Press、ロンドン、1985年。^[2]