metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2009-06-30 01:50 pm

Гуглозло

Хотел спросить в ЖЖ, какой смысл несут слова "ковариантный" и "контравариантный" при использовании их в рассуждениях о системах типов и прочем CS-зле, но сначала пошел искать в гугле как правильно сформулировать вопрос, вместо этого нашел ответ.

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

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

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

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

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

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

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

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