metaclass: (Default)
[personal profile] metaclass
Хотел спросить в ЖЖ, какой смысл несут слова "ковариантный" и "контравариантный" при использовании их в рассуждениях о системах типов и прочем CS-зле, но сначала пошел искать в гугле как правильно сформулировать вопрос, вместо этого нашел ответ.

Date: 2009-06-30 10:57 am (UTC)
From: [identity profile] lionet.livejournal.com
Speaking of evil, правильно произносить «ковырянтный» и «контраковырянтный»!

Date: 2009-06-30 11:36 am (UTC)
From: [identity profile] vp.livejournal.com
нас учили так как говорит метакласс
термины из бородатой электродинамики

Date: 2009-06-30 11:43 am (UTC)
From: [identity profile] blacklion.livejournal.com
ЭЛЕКТРОДИНАМИКИ?! У нас это в алгебре (высшей) было

Date: 2009-06-30 12:08 pm (UTC)
From: [identity profile] vp.livejournal.com
Там половина курса - необходимый математический аппарат, тензорное исчисление и т.п. Вот оттуда жуки в голове и засели :)

Date: 2009-06-30 12:10 pm (UTC)
From: [identity profile] blacklion.livejournal.com
А :) Да, у нас такое в школе было не раз — физик вводил новое раньше мтаетамтиков, потому что нужен матаппарат.

Date: 2009-06-30 12:17 pm (UTC)
From: [identity profile] metaclass.livejournal.com
У нас не было такой алгебры, а тензоры нам давали на электродинамике.
Как впрочем и всякие дифуры в частных производных - на квантовой механике :)

Date: 2009-06-30 12:22 pm (UTC)
ext_659950: (Default)
From: [identity profile] perplexed-bear.livejournal.com
Нет, раньше - на механике, в разделе гидродинамики :-) По крайней мере, нам с ребе.

Date: 2009-06-30 12:27 pm (UTC)
ext_659950: (Default)
From: [identity profile] perplexed-bear.livejournal.com
Я имел в виду ДУЧП, конечно :-)

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 9th, 2025 07:10 pm
Powered by Dreamwidth Studios