The chronicler of 452 (furia_krucha) wrote,
The chronicler of 452
furia_krucha

Categories:

Screamer caps and invented gommas, quoites puntlost, forced to farce!

Некоторые знают, что Петр Устинов был денщиком Дэвида Нивена. Менее известно, что Нобуо Йонеда, придумавший лемму Йонеды, был также членом IFIP TC2 WG2.1, одним из создателей Алгола-68, единственного языка программирования с формальной семантикой, описанной белыми стихами:




Именно благодаря ему UNION коммутативен и идемпотентен.

Неожиданное сближение в этой биографии вещей казалось бы несвязанных и удалённых очень похоже на его лемму.
Subscribe
  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 5 comments