Робін Мілнер: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Немає опису редагування |
Немає опису редагування |
||
Рядок 40: | Рядок 40: | ||
== Наукові досягнення == |
== Наукові досягнення == |
||
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів |
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів, т. зв. ''алгоритм Хіндлі–Мілнера'' ({{lang-en|Hindley–Milner type inference algorithm}}). |
||
Версія за 00:55, 4 жовтня 2015
Робін Мілнер | |
---|---|
Robin Milner | |
Народився |
13 січня 1934 Ялмптон, Плімут, Англія |
Помер |
20 березня 2010 (76 років) Кембридж, Англія ·інфаркт міокарда |
Країна | Велика Британія |
Діяльність | інформатик, інженер, викладач університету |
Alma mater | Кембриджський університет |
Галузь | інформатика |
Заклад |
City, University of Londond Стенфордський університет Единбурзький університет Swansea Universityd |
Аспіранти, докторанти |
Alan Mycroftd Davide Sangiorgid Luís Damasd[2] Faron George Mollerd[2] |
Членство |
Лондонське королівське товариство Європейська академія[3] Французька академія наук Королівське товариство Единбурга Association for Computing Machinery |
Відомий завдяки: | ML, LCF, Вивід типів, Пі-числення |
Нагороди | Премія Тюрінга (1991)[1] |
Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у Ялмптоні (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець у галузі інформатики.
Біографія
Робін Мілнер народився у Ялмптоні, що біля Плімуту (Англія), у родині військових. З 1947 року навчався в ітонському коледжі, після чого проходив військову службу в інженерних військах британської армії (англ. Royal Engineers).
З 1973 року Мілнер працював в единбурзькому університеті.
У 1991 Мілнер отримав премію Тюрінга за свої наукові досягнення.
Наукові досягнення
Мілнер розробив одну з найперших програм для автоматичного доведення під назвою LCF (англ. Logic for Computable Functions), для чого він також створив мову програмування ML (англ. Meta-Language) з механізмом виводу типів виразів, т. зв. алгоритм Хіндлі–Мілнера (англ. Hindley–Milner type inference algorithm).
Посилання
- ↑ Milner, R. (1993). Elements of interaction: Turing award lecture. Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
- ↑ а б Математичний генеалогічний проєкт — 1997.
- ↑ https://www.ae-info.org/ae/User/Milner_Robin
Література
- Виступ Робіна Мілнера з нагоди отримання почесного диплому від Болонського університету (англ. [1]).
- Резюме Робіна Мілнера (англ. PDF).
Це незавершена стаття про особу Великої Британії. Ви можете допомогти проєкту, виправивши або дописавши її. |
Це незавершена стаття про науковця або науковицю. Ви можете допомогти проєкту, виправивши або дописавши її. |