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

Каковы типичные профессии для теоретических компьютерных ученых (людей с высшим образованием в области теоретической информатики)? Какие отрасли и учреждения ищут теоретические знания в области компьютерных наук? Какую карьеру обычно изучают теоретики-компьютерщики?

13 soft-question  career 

Предположим, вы встречаетесь с программистами, которые прошли некоторые профессиональные курсы по программированию (или думали сами), но не изучали математику университетского уровня. Чтобы показать им всю прелесть TCS, я хотел бы собрать некоторые хорошие результаты / открытые вопросы, поступающие от TCS, которые легко объяснить. Хороший кандидат для этой цели (ИМХО) покажет, …

13 soft-question  big-list  big-picture  teaching 

За пределами академического сообщества, какова польза от моих «способностей»? Что я могу сделать кроме обучения и публикации статей? Где все я могу применить свои полномочия? Для аргументации: пожалуйста, предположим, что у меня есть докторская степень в алгоритмах / TCS, я выучил много «вещей» и сделал, придумал прорывные оценки для существующих …

13 soft-question  big-picture  career 

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

13 reference-request  soft-question  big-list  ho.history-overview 

Я ищу советы и отзывы. Предыстория: я студентка математики, с интересом к теоретической информатике (вычислительная сложность, теория графов, комбинаторика). Я хочу получить докторскую степень в области компьютерных наук и сосредоточиться на теории. Мой опыт работы в математически интенсивных областях информатики, но у меня нет более прикладного фона в информатике. В …

13 soft-question  career 

Это связано с общим вопросом « Как мне рецензировать статью? ». Я рецензирую статью для конференции, и эту статью следует отклонить, поскольку она недостаточно значима для публикации и имеет недостатки в некоторых технических деталях. Бумага не ошибается, но способы, которыми она правильна, не очень интересны. Как мне написать отрицательный отзыв …

13 soft-question  paper-review 

Теория компилятора, кажется, довольно проверенная тема. Какие открытые проблемы или текущие исследования происходят в этой области?

13 soft-question  big-list  open-problem  compilers 

Я студент третьего курса университета «топ-20», который работает над мелкозернистой сложностью (много игр с 3-SUM, OV и обычными популярными гипотезами о твердости). Я был довольно продуктивным в течение последнего года или около того, и у меня есть 3 принятых документа и два представленных документа. Все это говорит о том, что …

12 soft-question 

Я пытался обернуть голову вокруг того, что, почему и как вычислить, но я не могу понять, «почему это работает»?λλ\lambda «Интуитивно» я получаю модель вычислимости машин Тьюринга (ТМ). Но эта абстракция просто оставляет меня в замешательстве.λλ\lambda Давайте предположим, что ТМ не существуют - тогда как можно «интуитивно» убедиться в способности калькулятора …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

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

12 lo.logic  soft-question  ct.category-theory 

Я на втором курсе магистратуры, который не слишком связан с TCS, хотя я бы хотел, чтобы это было так. Это в основном теория управления, сигналы и системы, и я брал уроки в продвинутых системах (надежных, нелинейных, оптимальных, стохастических), продвинутой обработке сигналов и выпуклой оптимизации. Я пытаюсь найти хорошую область для …

12 reference-request  soft-question 

Вычислительная геометрия - это область, которую я нахожу довольно интересной, и я хотел бы посвятить месяц или два проекту, который познакомит меня с этим и поможет мне изучить ключевые концепции. Какой хороший способ подойти к этому и какие ключевые концепции я должен быть уверен, что я тоже представлен?

12 soft-question  cg.comp-geom 

Заранее извиняюсь за этот мягкий вопрос, на который нет закрытого, правильного ответа. Это, вероятно, лучший форум, чтобы задать мой вопрос. Я студент третьего курса теоретической группы из 15 лучших школ США. До сих пор я неплохо справлялся. У меня есть первая авторская теоретическая статья и первая авторская практическая статья. Мой …

12 soft-question  advice-request 

В документе конференции, чтобы доказать -полноту проблемы, я написал глупое предложение: «Ясно, что проблема в N P. Поэтому мы докажем, что это N P -hard». На самом деле это было не совсем понятно. Это даже кажется открытой проблемой. Для целевой аудитории это не имеет большого значения, потому что основным результатом …

11 soft-question  conferences  journals 

В прошлом журналы были основным способом распространения и проверки научных / математических открытий. В некоторых областях они все еще есть. Тем не менее, в (теоретической) информатике эту роль почти полностью выполняют конференции и открытое распространение через Интернет (например, arxiv или личные домашние страницы). Есть еще ТКС журналы (как ToC и …

11 soft-question  journals