Pertanyaan yang diberi tag «soft-question»

Misalkan Anda bertemu dengan programmer yang telah mengambil beberapa program pemrograman profesional (/ saya pikir sendiri) tetapi tidak belajar matematika tingkat universitas. Untuk menunjukkan kepada mereka keindahan TCS, saya ingin mengumpulkan beberapa hasil bagus / pertanyaan terbuka yang berasal dari TCS yang dapat dengan mudah dijelaskan. Kandidat yang baik untuk …

13 soft-question  big-list  big-picture  teaching 

Di luar dunia akademis, apa gunanya 'kekuatan' saya? Apa yang bisa saya lakukan selain mengajar dan menerbitkan makalah? Di mana semua saya bisa menerapkan kekuatan saya? Demi argumen: Harap asumsikan saya memiliki PhD dalam algoritma / TCS dan telah belajar banyak 'barang' dan dibuat telah datang dengan batas terobosan pada …

13 soft-question  big-picture  career 

Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per jawaban.

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

Saya mencari beberapa saran dan umpan balik. Latar Belakang: Saya seorang mahasiswa matematika sarjana, dengan minat dalam ilmu komputer teoretis (kompleksitas komputasi, teori grafik, kombinatorik). Saya ingin mengejar gelar PhD dalam Ilmu Komputer dan fokus pada teori. Latar belakang saya dalam bidang matematika intensif dalam ilmu komputer, tetapi saya tidak …

13 soft-question  career 

Ini terkait dengan pertanyaan umum " Bagaimana cara saya memberikan referensi pada makalah? ". Saya sedang meninjau makalah untuk konferensi, dan makalah ini harus ditolak, karena tidak cukup signifikan untuk dipublikasikan dan memiliki beberapa kelemahan dalam detail teknisnya. Makalah itu tidak salah, tetapi cara-cara yang benar itu tidak terlalu menarik. …

13 soft-question  paper-review 

Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di lapangan?

13 soft-question  big-list  open-problem  compilers 

kompleksitas komputasi melibatkan sejumlah besar Combinatorics dan teori bilangan, beberapa ilmu pengetahuan dari stokastik, dan jumlah aljabar yang muncul. Namun, sebagai seorang analis, saya bertanya-tanya apakah ada aplikasi analisis dalam bidang ini, atau mungkin ide-ide yang terinspirasi oleh analisis. Yang saya tahu yang sedikit sesuai dengan ini adalah transformasi Fourier …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Saya seorang mahasiswa pascasarjana tahun ketiga di universitas "top-20" yang bekerja pada kompleksitas berbutir halus (banyak bermain dengan 3-SUM, OV dan dugaan kekerasan populer yang biasa). Saya telah cukup produktif selama sekitar setahun terakhir dan telah menerima 3 makalah dan dua makalah yang diajukan. Semua ini untuk mengatakan bahwa saya …

12 soft-question 

Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita asumsikan, TM tidak ada - lalu bagaimana seseorang bisa "secara intuitif" …

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

Saya bukan ilmuwan komputer teoretis. Saya seorang ahli teori homotopy yang stabil menggunakan -kategori. Saya telah melihat aplikasi teori kategori dan teori topos untuk ilmu komputer teoretis, dan saya bertanya-tanya apakah ada cara seseorang dapat menggunakan ∞ -kategori (dan lebih disukai bagi saya, teori homotopy yang stabil) dalam ilmu komputer …

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

Saya berada di tahun kedua saya di MSc yang tidak berhubungan terlalu banyak dengan TCS meskipun saya berharap itu akan terjadi. Ini pada dasarnya tentang teori kontrol, sinyal dan sistem dan saya mengambil kelas dalam sistem canggih (kuat, nonlinier, optimal, stokastik), pemrosesan sinyal canggih dan optimasi cembung. Saya mencoba mencari …

12 reference-request  soft-question 

Geometri komputasi adalah bidang yang menurut saya cukup menarik, dan saya ingin mencurahkan sekitar satu atau dua bulan untuk proyek yang akan memperkenalkan saya pada hal ini dan membantu saya mempelajari konsep-konsep kunci. Apa cara yang baik untuk mendekati ini dan apa konsep-konsep kunci yang saya harus yakin saya diperkenalkan …

12 soft-question  cg.comp-geom 

Mohon maaf sebelumnya untuk pertanyaan lembut yang tidak memiliki jawaban yang benar dan tertutup. Ini mungkin forum terbaik untuk menanyakan pertanyaan saya. Saya seorang mahasiswa tahun ketiga dalam kelompok teori sekolah top-15 di AS. Sejauh ini, saya telah melakukan dengan baik. Saya memiliki makalah teori penulis pertama dan makalah praktis …

12 soft-question  advice-request 

Dalam sebuah makalah konferensi, untuk membuktikan -completeness dari masalah, saya menulis kalimat bodoh "Jelas bahwa masalahnya adalah di N P . Jadi kita akan membuktikan bahwa itu adalah N P -Hard". Bahkan, tidak jelas sama sekali. Bahkan tampaknya menjadi masalah terbuka. Untuk pemirsa yang ditargetkan, itu bukan masalah besar karena …

11 soft-question  conferences  journals 

Di masa lalu, jurnal adalah cara utama penemuan ilmiah / matematika disebarluaskan dan diperiksa. Di beberapa daerah, masih ada. Namun, dalam ilmu komputer (teoretis) peran itu hampir seluruhnya dilakukan oleh konferensi dan diseminasi berbasis web yang terbuka (misalnya homepage arxiv atau personal). Masih ada jurnal TCS (seperti ToC dan JACM …

11 soft-question  journals