Запитання з тегом «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 

У доповіді з конференції, щоб довести -комплектність проблеми, я написав дурне речення "Зрозуміло, що проблема в . Тому ми доведемо, що це -твердий ". Насправді це було зовсім не ясно. Це навіть здається відкритою проблемою. Для цільової аудиторії це не велика справа, оскільки головним результатом є -твердість, і, отже, неможливість …

11 soft-question  conferences  journals 

У минулому журнали були головним способом поширення та перевірки науково-математичних відкриттів. У деяких районах вони все ще є. Однак у (теоретичній) інформатиці цю роль майже повністю виконують конференції та відкрите розповсюдження веб-сторінок (наприклад, арксив чи особисті домашні сторінки). Є ще ТКС журнали (як ToC і JACM ), але вони , …

11 soft-question  journals