Pytania otagowane jako soft-question

Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.

3
Czy istnieje zapasowe / zastępcze zoo złożoności?
To pytanie nietechniczne, ale z pewnością istotne dla społeczności TCS. Jeśli zostanie to uznane za niewłaściwe, możesz je zamknąć. Witryna Zoo Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) z pewnością od lat cieszy się dużą popularnością wśród społeczności TCS. Wygląda na to, że od dłuższego czasu nie działa. Zastanawiałem się, czy ktoś nadal go …
6
Czasopisma z szybką recenzją
Tło: Motywacja tego pytania jest dwojaka. Po pierwsze, chciałbym uzyskać pewne twarde fakty, aby lepiej zrozumieć toczące się konferencje vs. debata w czasopismach . Po drugie, jeśli informacje te byłyby gdzieś dostępne, mógłbym podjąć bardziej świadomą decyzję, przesyłając dokumenty do przeglądu; Z przyjemnością faworyzuję czasopisma, których redaktorzy wykonują dobrą robotę, …
6
Czy zdałeś sobie kiedyś sprawę, że nie możesz rozwiązać zadania domowego, które przypisałeś?
To pytanie jest skierowane do osób, które przypisują problemy: nauczycieli, asystentów studentów, opiekunów itp. Zdarzyło mi się to kilka razy w mojej 12-letniej karierze profesora: pośpiesznie przypisałem jakiś problem z tekstu, myśląc, że „wygląda dobrze”. Później zrozumiał, że nie mogę tego rozwiązać. Niewiele rzeczy jest bardziej zawstydzających. Oto ostatni przykład: …
8
Wspólne narzędzia dla manekinów / profesorów
Załóżmy, że współautorzy z dwóch lub więcej różnych instytucji piszą papier w lateksie i chcieliby zrobić coś lepszego niż wielokrotne przesyłanie szkiców w tę iz powrotem. Zdają sobie sprawę, że mogą bezpłatnie otworzyć konto Dropbox, udostępnić hasło i zsynchronizować wersję papierową na swoim komputerze z wersją na Dropbox. Jeśli dwie …
7
Jaki jest najstarszy otwarty problem w TCS?
Ten problem jest inspirowany pytaniem MO , które moim zdaniem było bardzo interesujące. Jaki jest najstarszy otwarty problem w TCS? To pytanie wymaga wyjaśnienia. Po pierwsze, czym jest TCS? Myślę, że istnienie liczb nieparzystych idealnych nie jest TCS. Powiedziałbym, że dziesiątym problemem Hilberta jest TCS. Myślę, że problemy takie jak …
8
Po co chodzić na informatykę / badania teoretyczne?
Obecnie rozpoczynam naukę na uniwersytecie [informatyka] i tam mamy wiele możliwości, aby zacząć od badań. Przed znalezieniem tej witryny nie miałem zamiaru iść tą drogą [chciałem pracować z AI, prawdopodobnie twórcą gry], ale teraz mogę [lub muszę] dokonać wyboru. Czy możesz mnie przekonać do przyłączenia się do tego „świata”? Jakie …
4
Jaki jest najmniejszy wynik, który publikujesz na ArXivie?
Zasadniczo pytanie brzmi: Jaka jest najmniej możliwa do opublikowania jednostka dla ArXiv? Szczególnie interesujące są pola, które szeroko wykorzystują ArXiv, takie jak obliczenia kwantowe. Ale mile widziane są również komentarze dotyczące innych pól i usług przedruku (takich jak ECCC i ePrint). Szczegółowe pytanie Jest to oparte na dwóch następujących pytaniach: …
7
Jak zacząć w teoretycznej CS?
Jestem studentem pierwszego roku informatyki i już wiem, że chcę studiować na akademii, koncentrując się na kierunkach teoretycznych. Przeczytałem już niektóre artykuły wymienione w tym pytaniu i pytanie to przekonało mnie dalej. Co powinienem teraz robić , jako student, aby zaangażować się w polu? Co mogę zrobić, aby przygotować się …
8
Jakiej definicji asymptotycznej stopy wzrostu powinniśmy uczyć?
Kiedy postępujemy zgodnie ze standardowymi podręcznikami lub tradycją, większość z nas uczy następującej definicji notacji Big-Oh w pierwszych kilku wykładach klasy algorytmów: Być może podajemy nawet całą listę ze wszystkimi jej kwantyfikatorami: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 …
3
Rozszerzona teza kościelna
Jednym z najczęściej dyskutowanych pytań na stronie było to, co oznaczałoby obalenie tezy Kościoła . Wynika to częściowo z faktu, że Dershowitz i Gurevich opublikowali w 2008 r. Dowód, że teza Kościoła to Biuletyn Symboliki Logicznej. - bezwstydna autopromocja - napisałem wpis na blogu ). To pytanie dotyczy rozszerzonej tezy …
8
Wkład Alana Turinga w informatykę
Alan Turing , jeden z pionierów (teoretycznej) informatyki, wniósł znaczący wkład naukowy w naszą dziedzinę, w tym definiując maszyny Turinga, tezę Kościoła-Turinga, nierozstrzygalność i test Turinga. Jednak jego ważne odkrycia nie ograniczają się do tych, które wymieniłem. Na cześć jego 100. urodzin pomyślałem, że byłoby miło poprosić o bardziej kompletną …
6
Kod w dokumentach naukowych
W mojej karierze akademickiej przeczytałem sporo artykułów naukowych na różne tematy informatyczne. Wiele z nich obejmuje implementację i pewną ocenę tej implementacji, ale odkryłem, że bardzo niewielu z nich faktycznie publikuje używany kod. Dla mnie korzyści płynące z włączenia faktycznego wdrożenia byłyby znaczące, a mianowicie: Rozszerzenie zaufania lub odtwarzalności (po …
12
Algebra zorientowana na informatykę teoretyczną
Mam bardzo silną bazę w algebrze, a mianowicie algebra przemienna, algebra homologiczna, teoria pola, teoria kategorii, i obecnie uczę się geometrii algebraicznej. Jestem matematyką z tendencją do przejścia na informatykę teoretyczną. Mając na uwadze powyższe pola, które pole byłoby najbardziej odpowiednie w informatyce teoretycznej, na które należy się przełączyć? To …
2
W jaki sposób TCS stał się zorientowany na konferencję, a nie na czasopismo?
Zastrzeżenie: Mogę ręczyć tylko za moje dziedziny badań, a mianowicie metody formalne, semantykę i teorię języka programowania. Sytuacja jest prawdopodobnie inna w innych częściach dyscypliny. Wygląda na to, że TCS stało się raczej zorientowane na konferencję. Naukowcy zamierzają opublikować na następnej konferencji. Czasami pojawia się wersja dziennika. Czasem tak nie …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.