Вопросы с тегом «soft-question»

Это не технический вопрос, но, безусловно, актуальный для сообщества TCS. Если считается неуместным, не стесняйтесь закрыть. Сложность зоопарка веб - страницы (http://qwiki.stanford.edu/index.php/Complexity_Zoo), безусловно , был большой сервис для сообщества ТКС на протяжении многих лет. По-видимому, это давно с тех пор. Мне было интересно, если кто-то все еще поддерживает его, если …

36 cc.complexity-theory  reference-request  soft-question 

Предыстория: мотивация этого вопроса двоякая. Во-первых, я хотел бы получить некоторые неопровержимые факты, чтобы лучше понять текущие конференции и дебаты в журналах . Во-вторых, если бы эта информация была где-то доступна, я мог бы принять более обоснованное решение при представлении документов на рассмотрение; Я был бы рад отдать предпочтение журналам, …

36 soft-question  research-practice  paper-review  journals 

Этот вопрос предназначен для людей, которые задают задачи: учителей, ассистентов студентов, репетиторов и т. Д. Это случалось со мной несколько раз за всю мою 12-летнюю карьеру профессора: я поспешно выдвинул некоторую проблему из текста, думая, что «это выглядит хорошо». Потом понял, что не могу решить. Мало что смущает. Вот недавний …

36 soft-question  teaching 

Эта проблема вдохновлена этим вопросом МО , который мне показался очень интересным. Какая самая старая открытая проблема в TCS? Очевидно, что этот вопрос нуждается в уточнении. Во-первых, что такое TCS? Я думаю, что существование нечетных совершенных чисел не TCS. Я бы сказал, что десятой проблемой Гильберта является TCS. Я думаю, …

36 soft-question  open-problem  ho.history-overview 

Предположим, что соавторы из двух или более различных учреждений пишут бумагу в латексе и хотели бы добиться большего успеха, чем неоднократно отправлять черновики по электронной почте взад и вперед. Они понимают, что могут бесплатно открыть учетную запись Dropbox, поделиться паролем и синхронизировать версию документа на своем компьютере с версией Dropbox. …

36 soft-question  research-practice  software  writing 

В настоящее время я начинаю учиться в университете, и у нас есть много возможностей начать исследования. До того, как найти этот сайт, я не собирался идти по этому пути [я хотел работать с ИИ, возможно, разработчиком игр], но теперь я могу [или мне нужно] сделать выбор. Можете ли вы убедить …

36 soft-question  career 

По сути, вопрос заключается в следующем: Какое наименее публикуемое подразделение для ArXiv? Особый интерес представляют области, которые широко используют ArXiv, такие как квантовые вычисления. Но комментарии к другим полям и услугам препринта (например, ECCC & ePrint) также приветствуются. Подробный вопрос Это основано на следующих двух вопросах: Когда вы должны сказать, …

35 soft-question  advice-request  research-practice  paper-review 

Я новичок, изучающий информатику, и я уже знаю, что я хочу пойти в академию с фокусом теоретической науки. Я уже читал некоторые статьи, на которые есть ссылки в этом вопросе, и этот вопрос убедил меня в дальнейшем. Что я должен делать сейчас , как студент, чтобы участвовать в этой области? …

35 soft-question  advice-request  career 

Когда мы следуем за стандартные учебники, или традиции, большинство из нас учат следующее определение большого Ах обозначений в первые несколько лекций класса алгоритмов: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). Возможно, мы …

35 ds.algorithms  soft-question  teaching 

Одним из наиболее обсуждаемых вопросов на сайте было « Что бы это значило, чтобы опровергнуть тезис Церковного Тьюринга» . Отчасти это связано с тем, что Дершовиц и Гуревич опубликовали доказательство тезиса Черч-Тьюринга - Бюллетень символической логики в 2008 году. (Я не буду обсуждать это здесь, но для ссылки и подробных …

35 soft-question  lo.logic  church-turing-thesis 

Алан Тьюринг , один из пионеров (теоретической) информатики, внес много полезных научных вкладов в нашу область, включая определение машин Тьюринга, тезис Черча-Тьюринга, неразрешимость и тест Тьюринга. Однако его важные открытия не ограничиваются перечисленными мною. В честь его 100-летия я подумал, что было бы неплохо попросить более полный список его важных …

34 soft-question  ho.history-overview 

За свою академическую карьеру я прочитал немало научных работ по различным темам информатики. Многие из них включают реализацию и некоторую оценку этой реализации, но я обнаружил, что очень немногие из них действительно публикуют код, который они использовали. Для меня преимущества включения фактической реализации будут значительными, а именно: Расширение доверия или …

34 soft-question  research-practice  paper-review 

Угадай, что это маловероятный вопрос, но интересно, видел ли кто-нибудь материал, который был явно сделан для того, чтобы адресовать эту аудиторию осмысленным образом.

34 soft-question  teaching 

У меня очень сильная база в алгебре, а именно коммутативная алгебра, гомологическая алгебра, теория поля, теория категорий, и я в настоящее время изучаю алгебраическую геометрию. Я - математик со склонностью переключаться на теоретическую информатику. Помня вышеупомянутые области, какое поле было бы наиболее подходящей областью в теоретической информатике, на которую переключиться? …

33 soft-question  algebra  advice-request  ct.category-theory 

Отказ от ответственности: я могу поручиться только за свои области исследований, а именно формальные методы, семантику и теорию языка программирования. Ситуация, возможно, отличается в других частях дисциплины. Кажется, что TCS стал скорее ориентированным на конференции. Исследователи стремятся опубликовать на следующей конференции. Иногда появляется версия журнала. Иногда это не так. В …

32 soft-question  conferences