«soft-question» 태그된 질문

이것은 기술적이지 않은 질문이지만 TCS 커뮤니티와 관련이 있습니다. 부적절한 것으로 간주되면 자유롭게 닫으십시오. 복잡성 동물원 웹 페이지 (http://qwiki.stanford.edu/index.php/Complexity_Zoo) 확실히 년간 TCS 커뮤니티에 큰 봉사하고있다. 분명히 꽤 오랜 시간이 지났기 때문에 다운되었습니다. 나는 누군가가 여전히 그것을 유지하고 있는지, 이동했는지, 백업 서버가 있는지, 또는 복잡한 클래스, 관계 및 인용에 대한 훌륭한 데이터베이스를 …

36 cc.complexity-theory  reference-request  soft-question 

배경 : 이 질문에 대한 동기는 두 가지입니다. 먼저, 진행중인 회의 대 저널 토론 을 더 잘 이해하기 위해 몇 가지 어려운 사실을 알고 싶습니다 . 둘째,이 정보가 이용 가능한 경우 검토를 위해 논문을 제출할 때보다 정확한 결정을 내릴 수 있습니다. 편집자가 심판을 선발하고 양치기하는 일을 잘하는 저널을 선호합니다. 질문 …

36 soft-question  research-practice  paper-review  journals 

이 질문은 교사, 학생 비서, 교사 등 문제를 할당하는 사람들을 대상으로합니다. 이것은 12 년 동안 교수로서 몇 번이나 일어났던 일입니다. 저는 서둘러 "이것이 좋아 보인다"고 생각하는 글에서 몇 가지 문제를 배정했습니다. 그런 다음 나중에 해결할 수 없다는 것을 깨달았습니다. 더 부끄러운 일이 거의 없습니다. 최근 예는 다음과 같습니다. "그래프 에 …

36 soft-question  teaching 

두 개 이상의 다른 기관의 공동 저자가 라텍스로 논문을 작성하고 있으며 초안을 반복해서 이메일로 보내는 것보다 더 나은 방법을 원한다고 가정하십시오. 그들은 Dropbox 계정을 무료로 개설하고 암호를 공유하며 컴퓨터의 종이 버전을 dropbox의 계정과 동기화 할 수 있다는 것을 알고 있습니다. 그러나 두 사람이 동시에 같은 섹션을 편집하는 경우 서로 변경 …

36 soft-question  research-practice  software  writing 

이 문제는 이 MO 질문 에서 영감을 얻었 으며 매우 흥미로 웠습니다. TCS에서 가장 오래된 공개 문제점은 무엇입니까? 분명히이 질문에는 약간의 설명이 필요합니다. 먼저 TCS 란 무엇입니까? 홀수 완벽한 숫자의 존재는 TCS가 아니라고 생각합니다. 나는 그 말을 힐베르트의 열 번째 문제는 TCS이다. 나는 "우리가 통치자와 나침반으로 X를 구성 할 수 …

36 soft-question  open-problem  ho.history-overview 

본질적으로 문제는 다음과 같습니다. ArXiv에 가장 적게 게시 가능한 단위는 무엇입니까? 양자 컴퓨팅과 같이 ArXiv를 광범위하게 사용하는 분야가 특히 중요하다. 그러나 다른 분야 및 사전 인쇄 서비스 (예 : ECCC 및 ePrint)에 대한 의견도 환영합니다. 자세한 질문 이것은 다음 두 가지 질문을 기반으로합니다. 알고있는 것을 언제 말해야합니까? 논문을 작성하기에 충분한 …

35 soft-question  advice-request  research-practice  paper-review 

저는 컴퓨터 공학을 전공하는 신입생이며 이론적 과학에 중점을두고 학계에 가고 싶다는 것을 이미 알고 있습니다. 나는 이미 언급 된 논문의 일부 읽기 이 질문을 하고 이 질문은 더 나를 설득했다. 학부생으로서 현장에 참여하려면 지금 무엇을해야 합니까? 현장에서 연구 할 준비를하려면 어떻게해야합니까?

35 soft-question  advice-request  career 

우리는 표준 교과서, 또는 전통을 따를 때, 우리 대부분은 알고리즘 클래스의 처음 몇 강의에 큰 오 표기법의 다음과 같은 정의를 가르쳐 : 에프= 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 \geq n_0)(f(n) \leq c \cdot g(n)). …

35 ds.algorithms  soft-question  teaching 

저는 현재 대학 [컴퓨터 과학]을 시작하고 있으며 연구를 시작할 수있는 많은 기회가 있습니다. 이 웹 사이트를 찾기 전에는 이런 식으로 진행할 의사가 없었지만 [AI와 함께 일하고 싶었을 것입니다. 아마도 게임 개발자 일 것입니다.] 그러나 이제는 선택을하기 위해 [또는 필요] 할 수 있습니다. 이 "세계"에 참여하도록 설득 할 수 있습니까? 어떤 …

35 soft-question  career 

이 사이트에서 가장 많이 논의 된 질문 중 하나는 교회 예배 주제를 반박하는 것이 무엇을 의미 하는가 입니다. 이것은 Dershowitz와 Gurevich가 2008 년에 교회 튜링 논문이 Symbolic Logic의 게시판이라는 증거를 발표했기 때문입니다. (나는 여기서 논의하지는 않지만 링크와 광범위한 의견은 원래 질문을 참조하십시오. -뻔뻔한 자체 프로모션- 내가 쓴 블로그 항목 ) …

35 soft-question  lo.logic  church-turing-thesis 

(이론적) 컴퓨터 과학의 선구자 중 한 사람인 Alan Turing 은 Turing 기계 정의, 교회-투어링 논문, 결정 불가능 성 및 Turing 테스트 정의를 포함하여 우리 분야에 많은 과학적 기여를했습니다. 그러나 그의 중요한 발견은 내가 열거 한 것으로 제한되지 않습니다. 그의 100 번째 생일을 기리기 위해, 나는 그의 작품에 대한 더 나은 …

34 soft-question  ho.history-overview 

이 질문은 일반적인 질문이 아닌 것 같지만이 청중에게 의미있는 방식으로 명확하게 전달 된 자료를 보았는지 궁금합니다.

34 soft-question  teaching 

학업 경력에서 다양한 컴퓨터 과학 주제에 관한 학술 논문을 많이 읽었습니다. 많은 것들이 구현과 그 구현에 대한 일부 평가를 포함하지만, 실제로 사용 된 코드를 게시하는 사람은 거의 없습니다. 나에게 실제 구현을 포함하면 다음과 같은 이점이 있습니다. 신뢰 또는 재현성 확장 (직접 테스트하십시오!) 모호함의 명확화 (특히 모국어가 아닌 사람이 작성한 논문의 …

34 soft-question  research-practice  paper-review 

나는 대수학에 매우 강한 기초를 가지고 있습니다. 정류 대수, 상동 대수, 현장 이론, 범주 이론 저는 현재 대수 기하학을 배우고 있습니다. 저는 이론적 인 컴퓨터 과학으로 전환하려는 성향을 가진 수학 전공입니다. 위에서 언급 한 분야를 염두에두고 이론적 컴퓨터 과학에서 어떤 분야를 전환해야합니까? 즉, 위의 분야를 추구함으로써 얻은 이론과 수학적 성숙도는 …

33 soft-question  algebra  advice-request  ct.category-theory 

면책 조항 : 나는 연구 분야, 즉 공식적인 방법, 의미론 및 프로그래밍 언어 이론에 대해서만 보증 할 수 있습니다. 징계의 다른 부분에서는 상황이 다를 수 있습니다. TCS는 회의 지향적 인 것으로 보입니다. 연구원들은 다음 회의에서 출판을 목표로합니다. 때로는 저널 버전이 나타납니다. 때로는 그렇지 않습니다. 다른 학문 (생물학, 수학, 그리고 내가 …

32 soft-question  conferences