«soft-question» etiketlenmiş sorular

İlk bilgisayar bilimi konferansına katılacağım ve konferansların nasıl geliştirileceğine ilişkin tavsiyeleri okuduktan sonra , birkaç önerinin ilk konferansa katılan mezun öğrenciler hakkında olduğunu fark ettim. İlk konferansa mezun olan bir öğrenciye ne tavsiye edersiniz ve odak noktası ne olmalıdır.

25 soft-question  big-list  conferences 

Ben okuyordum bu . Diyor ki ... Kendinizi Pure Mathematics gibi fonlara açlıktan bulamazsınız. (Hala her zaman finansman için aç kalmaya devam edeceksin.) ... Saf matematikçiler niçin fonlamaya ihtiyaç duyarlar? (Mathoverflow sorusunu aşar) Neden teorik araştırma yapan biri finansmana ihtiyaç duyuyor? Bence ticaret araçları kağıtlar, kalemler, internet bağlantısı iyi bir …

25 soft-question  career 

Son zamanlarda genişleticilere ders verdim ve Ramanujan grafikleri kavramını tanıttım. Michael Forbes neden bu şekilde çağırıldıklarını sordu ve bilmediğimi itiraf etmeliydim. Kimse?

25 graph-theory  soft-question  ho.history-overview  expanders 

Sanırım çok fazla iddialı CoRR makalesi okudum . Buradaki sorun, bu makalelerin hakem tarafından gözden geçirilmemesi, çoğu zaman ilginç gelmesi ve temel uygunluk kontrollerinden geçmesidir. Ya da belki yapmazlar ve benim uygunluk kontrollerimi iyileştirmem gerekiyor. İşte bu tür makalelerin son bir örneği: Teklik Ağaçları: Grafik İzomorfizmi Sorununa Olası Bir Polinom …

24 soft-question  graph-isomorphism  paper-review  ppad 

Cormen, Leiserson, Rivest ve Stein'in "Algoritmalara Giriş" gibi standart ders kitaplarında anlatılanların ötesine geçen gelişmiş veri yapıları üzerine bir kitap arıyorum. MIT'deki Erik Demaine ve André Schulz'un İleri Veri Yapıları dersi gibi ileri veri yapıları üzerine lisans düzeyinde bir ders vermek için kullanılabilecek bir kitap . Veri yapılarının ansiklopedik el …

24 soft-question  ds.data-structures  survey  books 

Verdiği cevap ise bu soruya , Stephane Gimenez doğrusal mantık provalar için bir polinom zamanlı normalleştirme algoritmasına beni işaret etti. Girard'ın makalesinde bulunan kanıt, aslında pek fazla bilmediğim bir doğrusal mantık yönü olan kanıt ağlarını kullanır. Şimdi, daha önce kanıt ağlarına ilişkin makaleleri okumaya çalıştım ( Pierre-Louis Curien'in bunlarla ilgili …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Teorik bilgisayar bilimlerinde, özellik testi, iletişim karmaşıklığı, PAC öğrenme ve diğer birçok araştırma alanını kapsayan birçok gerçek analiz uygulaması vardır. Bununla birlikte, karmaşık analizlere dayanan herhangi bir sonucu düşünemiyorum ( karmaşık sayıların modelde içsel olduğu kuantum hesaplama dışında). Karmaşık analiz kullanan klasik bir TCS sonucu örneği var mı?

24 soft-question  big-picture 

Tamamen akademik olmak ve doktora / doktora sonrası almak ya da yazılım geliştirmede az ya da çok 'standart' bir işe girmek dışında, tam ya da yarı teorik CS alanında diğer bazı kariyer seçenekleri nelerdir?

24 soft-question  advice-request  career 

Bundan 30 yıl sonra geleceğe bakalım. İyimser olalım ve makine öğrenimi ile ilgili alanların son 10 yılda gördüklerimiz kadar hızlı bir şekilde gelişmeye devam ettiğini varsayalım. Bu harika olurdu, ama o zaman böyle bir gelecekte geleneksel algoritmaların rolü ne olurdu? Burada "geleneksel algoritmalar" ile, TCS'de izlediğimiz olağan süreci kastediyorum: iyi …

23 ds.algorithms  soft-question  machine-learning 

Anladığım kadarıyla (çok az, bu yüzden lütfen beni yanlış yaptığım yerde düzeltin!), Programlama dilleri teorisi genellikle "sezgisel" kanıtlarla ilgilidir. Kendi yorumuma göre yaklaşım, hesaplamanın mantık ve erişilebilirlik üzerindeki sonuçlarını ciddiye almamızı gerektirir . Bir hipotezin sonuçlarını ortaya çıkaran bir algoritma olmadığı sürece bir kanıt bulunamaz . O da bazı nesne …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

Kısa bir süre önce dergilerden (yani TALG) dergi ile yargılama (SODA) versiyonu arasında anlamlı bir fark olmamasından dolayı reddedilir hale geliyorum. Bir dergiye gönderilmemin temel nedenleri kapsamlı inceleme süreci. Bunun dışında SODA'nın 20 sayfalık sınırı söylemek istediğim her şey için yeterli. Aslında, David Johnson, SODA grubundan defalarca “dergi versiyonu için …

23 soft-question  research-practice  conferences  journals 

Şu anda olduğu gibi, bu soru bizim soru-cevap formatımız için uygun değil. Yanıtların gerçekler, referanslar veya uzmanlık tarafından desteklenmesini bekliyoruz, ancak bu soru muhtemelen tartışma, tartışma, oylama veya genişletilmiş tartışmalar gerektirecektir. Bu sorunun iyileştirilebileceğini ve yeniden açılabileceğini düşünüyorsanız, rehberlik için yardım merkezini ziyaret edin . 8 yıl önce kapandı . …

23 soft-question  big-list  paper-review 

Bu alanda insanların (teorik bilgisayar bilimi) sunum yapmak için hangi araçları kullandığını merak ediyordum. Bilgisayar bilimlerinin büyük bir kısmı sadece kağıt yazmak değil, aynı zamanda sunum yapmak olduğu için bunun önemli bir yumuşak soru olacağını düşündüm. Bu, önceki sorudan , yazı yazmak için hangi araçları kullandığınızı ilham alır . Gördüğüm …

23 soft-question  research-practice  writing 

Yazıda "Gerçeklenebilirlik sorunlarının karmaşıklığı" Thomas J. Schaefer, yazar ifade etmiştir This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Bu, elimizdeki algoritmayı ne kadar etkili ifade edebileceğimizle ilgilidir. Lisans eğitimim için buna ihtiyacım var. Bir sahte kod yazmanın standart bir yolu olmadığını anlıyorum. Farklı yazarlar farklı sözleşmeleri takip eder. Buradaki insanlar, en iyi olanı takip edip, düşünme şeklini işaret etmeleri yararlı olacaktır. Bununla ilgili ayrıntılı olarak ele alan herhangi …

22 ds.algorithms  soft-question  advice-request  writing