Здравствуйте, HrorH, Вы писали:
D>>http://homotopytypetheory.org/
HH>Извините, а можно своими словами, что это? HH>И какой должен быть уровень предварительной подготовки, чтобы в это въехать?
Из твиттера
Don Stewart @donsbot
If Python shops include Haskell in job descriptions to filter for talent, we use Agda/Coq/Twelf as a way to filter Haskell devs for talent.
James Iry @jamesiry
@donsbot Agda/Coq/Twelf shops use...homotopy type theory?
Здравствуйте, deniok, Вы писали:
D>Про гомотопию можно (и даже очень полезно), только это имеет меньшее отношение к тематике RSDN, чем гомотопическая теория типов.
Глаза у меня добрые, но рубашка — смирительная!
Чтение
От:
Аноним
Дата:
05.11.12 15:21
Оценка:
Что посоветуете почитать для расширения кругозора и повышения уровня интеллекта?
А> Что посоветуете почитать для расширения кругозора и повышения уровня интеллекта?
для расширения кругозора нужно аккумулировать факты реальной жизни.
проверенные достоверные факты распространяются в документах (юридических и нормативных)
для повышения уровня интеллекта необходимо решать задачи.
Решение задач целесообразно оформлять письменно (с целью последующего обсуждения).
Изучите статистические данные, напишите несколько бизнес-планов, оттестируйте их на людях.
Re[2]: Чтение
От:
Аноним
Дата:
05.11.12 16:12
Оценка:
Здравствуйте, serra, Вы писали:
S>для расширения кругозора нужно аккумулировать факты реальной жизни. S>проверенные достоверные факты распространяются в документах (юридических и нормативных)
А более конкретное что-нибудь посоветуете?
S>для повышения уровня интеллекта необходимо решать задачи. S>Решение задач целесообразно оформлять письменно (с целью последующего обсуждения).
Программирование повышает интеллект? Или математика?
S>>для расширения кругозора нужно аккумулировать факты реальной жизни. S>>проверенные достоверные факты распространяются в документах (юридических и нормативных)
А> А более конкретное что-нибудь посоветуете?
Я бы посоветовал:
1) Общероссийские классификаторы:
— общероссийский классификатор специальностей
— общероссийский классификатор органов государственной власти и управления
2) Далее информация разделяется на теоретическую и практическую
2.1) Теоретическую информацию преподают в соответствующих учебных заведениях, там есть:
— программа обучения по специальности
— рекомендованная литература
— учебный план по специальности
2.2) Практическую информацию собирают и публикуют различные государственные органы на своих сайтах (список органов см. в классификаторе)
— росстат
— центробанк (лицензии банков, общеэкономическая информация)
— антимонопольная служба
— другие (их много)
S>>для повышения уровня интеллекта необходимо решать задачи. S>>Решение задач целесообразно оформлять письменно (с целью последующего обсуждения).
А>Программирование повышает интеллект? Или математика?
да, решение любых задач повышает навыки решения таких задач.
Пример — Каспаров хорошо умеет решать шахматные задачи.
Здравствуйте, serra, Вы писали:
S>Пример — Каспаров хорошо умеет решать шахматные задачи.
Каспаров и играть хорошо умеет.
S>да, решение любых задач повышает навыки решения таких задач.
Не только. Ещё и улучшает игру за доской. http://www.chesscafe.com/text/skittles148.pdf http://www.chesscafe.com/text/skittles150.pdf
TL;DR: Автор говорит, что чувство позици и стратегическое виденье — это всё, конечно, хорошо, но усиленное натаскивание тактики даёт куда больший эффект (выраженный численно в пунктах Эло или Глико, и реально наблюдаемый). Игрок, который оценивает позицию хуже своего соперника (менее начитанный, эрудированный, опытный), но зато видит «всего» на один ход дальше — имеет существенное преимущество (по мнению автора).
Так что важной частью треноровочного процесса практикующих шахматистов является как раз прорешивание кучи тактических задач, например, http://chesstempo.com/chess-tactics.html или http://chess.emrald.net.
Здравствуйте, Аноним, Вы писали:
А>Что посоветуете почитать для расширения кругозора и повышения уровня интеллекта?
Тут скорее посмотреть, послушать, поделать -- https://www.coursera.org-- тут скорее посмотреть, послушать и поделать.
Здравствуйте, господин в рыжем колпачке
D>Поскольку у меня нет сомнений в высоком исходном уровне интеллекта RSDN-овского анонима, то вот, например: D>http://homotopytypetheory.org/
1.зачем это в первую очередь читать?
2.зачем англоязщычный ресурс? ну неужели нельзя почитать про гомотопию например Фоменко А. Т. или Свитцера Р.М. ?
Чтобы оттачивать интеллект на современной проблематике, а не на темах представляющих лишь исторический интерес.
А>2.зачем англоязщычный ресурс? ну неужели нельзя почитать про гомотопию например Фоменко А. Т. или Свитцера Р.М. ?
Про гомотопию можно (и даже очень полезно), только это имеет меньшее отношение к тематике RSDN, чем гомотопическая теория типов.
Здравствуйте, deniok, Вы писали:
D>Поскольку у меня нет сомнений в высоком исходном уровне интеллекта RSDN-овского анонима, то вот, например: D>http://homotopytypetheory.org/
Извините, а можно своими словами, что это?
И какой должен быть уровень предварительной подготовки, чтобы в это въехать?
Здравствуйте, HolyNick, Вы писали:
V>>Карлоса Кастанеду
HN>Нудная тягомотина имхо.
Для расширение кругозора и повышение интеллекта нужно потрудиться. а вам нужно в развлекательной форме? Так чтобы удовольствие получить и интеллект развить?
Если хочется в развлекательной форме, то попробуйте добиться эффектов у Кастанеды описанных. Когда начинает получаться хрень к которой невозможно относиться иначе кроме как к мутной сказке, становится очень, даже очень-очень весело
Здравствуйте, HolyNick, Вы писали:
V>>Карлоса Кастанеду HN>Нудная тягомотина имхо.
он есть в полупереваренном виде — "Путешествие в Икстлан" и "Колесо Времени". я психоделических опытов не ставил, но "остановку мира" осуществил. правда, читая не только кастанеду, но и множество джругих книг, в основном в области психологии
Здравствуйте, Аноним, Вы писали:
А>Что посоветуете почитать для расширения кругозора и повышения уровня интеллекта?
для второго — то что тебе лично сложно понять. из математики, программирования, физики или любой другой области, требующей логического мышления. просто старайся выбирать те направления изучения, которые имеют какой-то практический смысл для тебя — ну скажем cuda/криптография/функциональное программирование, если ты программист