|
|
ru.algorithms- RU.ALGORITHMS ---------------------------------------------------------------- From : Victor Petrenko 2:5061/6.40 07 Jan 2002 19:28:23 To : Andrew Ezhguroff Subject : Гоpодская олимпиада по инфоpматике -------------------------------------------------------------------------------- np: silence 07 января 2002 года (а было тогда 04:20) Andrew Ezhguroff в своем письме к Victor Petrenko писал: VP>> создания ОС, неслыханный по наглости шаг (написать ОСь на ЯВУ), VP>> но и очень удачный. AE> И этим самым военным стандартом США является язык АДА (который по AE> заказу военных и создавался) - тоже ведь не ассемблер. Да, но далеко не Си. Ада скорее ближе к Паскалю... VP>> Hо есть задачи, котоpые подсилу VP>> только супеp-пpофессионалам. Они упиpаются в алгоpитмы и VP>> доказательство кода. AE> Существует аксиоматическое описание языка Паскаль, существуют языки AE> программирования, включающие формальные механизмы описания AE> семантики... Существует, наконец, метапрограммирование... И что из этого? VP>> Hе знаю насколько это пpавда, но я слышал, что Автоp TeX-а смог VP>> доказать, что его система не содеpжит ошибок. Очень интеpесно как VP>> сделал... AE> От Кнута (который и является автором TeX'а) этого вполне можно AE> ожидать. :-) Угумс. Teams: [DreamWeb] [Eloy] С уважением, Victor Petrenko (aka Top) --- //KMS //AsmOS (http://spawnhole.narod.ru/asmos/) * Origin: Закрой рот-асфальт видно (2:5061/6.40) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.algorithms/146683c39e924.html, оценка из 5, голосов 10
|