Pertanyaan yang diberi tag «soft-question»

Melihat pertanyaan melalui lensa algoritmik (yaitu dari sudut pandang algoritmik atau kompleksitas) telah menjadi berguna dalam disiplin ilmu di luar 'domain standar' ilmu komputer. Secara khusus CS telah membuat dampak pada biologi melalui biologi komputasi, pada fisika melalui pemrosesan informasi kuantum, dan teori AI dan kompleksitas tampaknya secara teratur berinteraksi …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Dalam kata pengantar untuk bukunya yang sangat berpengaruh Automata, Bahasa dan Mesin (Volume A, B), Samuel Eilenberg menggoda Volume C dan D yang berurusan dengan "suatu hierarki (disebut hirarki rasional) dari fenomena non-rasional ... menggunakan hubungan rasional sebagai alat untuk perbandingan. Rasional set berada di bagian bawah hierarki ini. Bergerak …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Saya baru di bidang CS dan saya perhatikan bahwa di banyak makalah yang saya baca, tidak ada hasil empiris (tidak ada kode, hanya lemma dan bukti). Mengapa demikian? Menimbang bahwa Ilmu Komputer adalah ilmu, tidakkah seharusnya mengikuti metode ilmiah?

31 soft-question  research-practice  writing 

Apakah seseorang berani mencoba untuk menjelaskan apa hubungan bidang studi ini atau bahkan mungkin memberikan jawaban yang lebih konkret di tingkat masalah? Seperti yang termasuk yang mengasumsikan beberapa formulasi diterima secara luas. Jika saya mendapatkan ini dengan benar, ketika Anda beralih dari SAT ke SMT pada dasarnya Anda memasuki bidang …

30 soft-question  sat  terminology 

Banyak ahli percaya bahwa benar dan menggunakannya dalam hasil mereka. Kekhawatiran saya adalah bahwa kompleksitasnya sangat tergantung pada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Jadi pertanyaan saya adalah: Selama tidak terbukti, bisakah / haruskah seseorang menganggapnya sebagai hukum alam, seperti yang ditunjukkan dalam kutipan dari Strassen? Atau haruskah kita memperlakukannya sebagai …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Baru-baru ini, seorang teman saya (bekerja di TCS) menyebutkan dalam sebuah percakapan bahwa "dia ingin melihat / mengetahui semua (atau sebanyak mungkin) hasil indah di TCS dalam hidupnya". Jenis ini membuat saya bertanya-tanya tentang hasil yang indah di bidang ini dan karenanya motivasi untuk pertanyaan berikut: Menurut Anda, hasil (atau …

29 soft-question  big-list 

Saya baru-baru ini mempelajari bahasa Haskell dan pemrograman. Bisakah seseorang merekomendasikan beberapa buku tentang teori jenis?

28 soft-question  pl.programming-languages  type-theory 

Menjadi seorang insinyur perangkat lunak untuk sebagian besar hidup saya, saya tidak punya absolutley bagaimana memulai dengan menerbitkan jenis kertas "akademik". Selama penelitian terbaru saya, saya telah menemukan algoritma yang menarik untuk tugas yang saya selesaikan (terkait dengan beberapa perhitungan di pasar keuangan). Ini bukan hasil yang bagus tapi saya …

28 soft-question  research-practice  paper-review 

Presentasi sekarang diberikan. Slide tersedia di bawah ini. Mempresentasikan pekerjaan yang sedang dalam proses adalah sesuatu yang harus kita semua lakukan untuk mendapatkan umpan balik awal dan untuk membantu mengkristal ide-ide kami. Sayangnya, banyak mahasiswa pascasarjana membutuhkan bantuan untuk mengatasi rintangan dalam mempresentasikan penelitian awal ini, meskipun hanya untuk kelompok …

28 soft-question  advice-request 

Selain ACM, Masyarakat komputer IEEE, Google Cendekia yang merupakan situs terbaik untuk mendapatkan entri bibtex untuk artikel terkait ilmu komputer?

28 soft-question  research-practice  paper-review  bibliography 

Saya minta maaf jika pertanyaan ini agak kabur, tetapi saya ingin tahu bagaimana para peneliti yang sukses mendapatkan "perasaan" untuk hasil di TCS. Misalnya, aljabar linier dapat dipahami secara geometris, atau dalam hal interpretasi fisiknya (vektor eigen dapat dianggap sebagai "titik stabil" dalam suatu sistem), dll. Juga intuitif bahwa terdapat …

27 soft-question  intuition 

Saya telah mendengar dari beberapa peneliti senior dalam ilmu komputer teoretis bahwa bekerja di pekerjaan industri non-penelitian, bahkan hanya selama beberapa tahun, akan membunuh karier Anda sebagai peneliti TCS. Namun saya curiga terhadap klaim bahwa jalan dari menjadi peneliti TCS ke pekerjaan non-penelitian di industri adalah jalan satu arah. Saya …

26 soft-question  advice-request  career 

Topik TCS yang hilang di Wikipedia mana yang paling Anda sukai untuk dijadikan artikel? Mereka bisa kelalaian mencolok atau hanya topik yang menurut Anda harus memiliki artikel. Tolong, satu topik per jawaban sehingga yang paling dicari dapat dipilih. Pembaruan 5/2/2017 : Shuchi Chawla memimpin upaya untuk meningkatkan cakupan TCS di …

26 soft-question  big-list  survey 

Ini adalah pertanyaan pertama saya di stack cstheory, jadi jangan terlalu kasar jika saya entah bagaimana melanggar etika) Seperti yang kita ketahui, dalam matematika bahkan ahli matematika terkenal, superstar dan genius melakukan kesalahan serius dari waktu ke waktu. Sebagai contoh, teorema 4-warna dan teorema Fermat memberi kita kasus dramatis tentang …

26 soft-question  big-list 

Saya harap ini bukan pertanyaan politis yang salah untuk ditanyakan, tetapi untuk mahasiswa PhD yang biasanya menerbitkan di CCC / ITCS / ICALP (dan kadang-kadang di FOCS / STOC), mungkinkah berbahaya (karena karier) untuk menerbitkan karya yang kurang signifikan di konferensi yang kurang bergengsi (mis. MFCS, FCT, STACS, IPL)? Mungkinkah …

25 soft-question  career