«soft-question» 태그된 질문

나는 첫 컴퓨터 과학 회의에 참석할 것이며 회의 개선 방법에 대한 조언을 읽은 후 대학원생들이 첫 회의에 참석하는 것에 대한 몇 가지 제안을 발견했습니다. 첫 번째 컨퍼런스에 참석하는 대학원생에게 어떤 조언이 있으며 그의 초점은 무엇입니까?

25 soft-question  big-list  conferences 

나는 이것을 읽고 있었다 . 그것은 말한다 ... 당신은 순수한 수학과 같은 기금에 굶주리는 것으로 자신을 찾을 수 없습니다. (여전히 항상 자금을 굶주리게 될 것입니다.) ... 왜 순수 수학자들에게 자금이 필요한가요? (웃음 수학 문제) 왜 이론적 연구를하는 사람이 자금을 필요로합니까? 무역 도구는 종이, 연필, 인터넷 연결이 잘 된 노트북 및 …

25 soft-question  career 

나는 최근에 확장기를 가르치고 Ramanujan 그래프의 개념을 소개했습니다. 마이클 포브스 (Michael Forbes)는 왜 이런 식으로 전화를했는지 물어 보았습니다. 누군가?

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

야심 찬 CoRR 논문을 너무 많이 읽은 것 같습니다 . 문제는 그 논문들이 동료 검토되지는 않지만 종종 흥미롭게 들리고 기본적인 타당성 점검을 통과한다는 것입니다. 또는 그렇지 않을 수도 있으며, 타당성 검사를 개선하기 만하면됩니다. 최근에 그러한 논문의 샘플이 있습니다 : 고유성 트리 : 그래프 동형 문제에 대한 다항식 접근법 그룹과 색 …

24 soft-question  graph-isomorphism  paper-review  ppad 

이 질문에 대한 그의 답변 에서 Stephane Gimenez 는 선형 논리의 증명을위한 다항식 시간 정규화 알고리즘을 지적했습니다. 지라드의 논문에서 증명은 증명 그물을 사용하는데, 이것은 실제로 잘 모르는 선형 논리의 한 측면입니다. 이제는 증거 그물에 대한 논문을 읽었 지만 ( Pierre-Louis Curien의 메모 와 같은 ) 실제로 이해하지 못했습니다. 그래서 제 …

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

Cormen, Leiserson, Rivest 및 Stein의 "Introduction to Algorithms"와 같은 표준 교과서에서 다루지 않는 고급 데이터 구조에 대한 책을 찾고 있습니다. Erik Demaine 및 MIT 의 André Schulz의 고급 데이터 구조 과정 과 같은 고급 데이터 구조에 대한 대학원 레벨 과정을 가르치는 데 사용할 수있는 책 . 백과 사전의 데이터 구조 …

24 soft-question  ds.data-structures  survey  books 

이론적 컴퓨터 과학에는 속성 테스트, 커뮤니케이션 복잡성, PAC 학습 및 기타 여러 연구 분야를 다루는 실제 분석 응용 프로그램이 많이 있습니다. 그러나 복잡한 분석에 의존하는 TCS의 결과는 생각할 수 없습니다 (복소수가 모델에서 본질적인 양자 컴퓨팅 외부). 복잡한 분석을 사용하는 고전적인 TCS 결과의 예가 있습니까?

24 soft-question  big-picture 

완전히 학업을 마치고 박사 / 석사 후 과정을 받거나 소프트웨어 개발에서 다소 '표준적인'직업을 찾는 것 외에, 이론적 또는 전체 이론적 CS 분야의 다른 직업 옵션은 무엇입니까?

24 soft-question  advice-request  career 

앞으로 30 년 후에 미래를 보자. 머신 러닝과 관련된 영역이 지난 10 년 동안 본 것만 큼 빠르게 발전한다고 가정 해 봅시다. 그것은 좋을 것이지만, 그런 미래에 전통적인 알고리즘의 역할은 무엇입니까? 여기서는 "전통적인 알고리즘"으로 TCS에서 수행하는 일반적인 프로세스 인 잘 정의 된 계산 문제를 공식화하고 문제 를 해결하기위한 알고리즘을 설계하며 …

23 ds.algorithms  soft-question  machine-learning 

내가 이해하는 것 (매우 작은 것이므로 오류가있는 부분을 수정 해주세요!)에서 프로그래밍 언어 이론은 종종 "직관적 인"증거와 관련이 있습니다. 내 해석으로는 논리와 확률에 대한 계산 결과를 심각하게 받아 들여야합니다 . 가설의 결과를 구성 하는 알고리즘 이 없으면 증거가 존재할 수 없습니다 . 예를 들어 또는 인 일부 객체 를 비 구조적으로 …

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

최근에는 저널과 진행 상황 (예 : SODA) 버전 사이에 큰 차이가 없다는 이유로 단지 저널 (예 : TALG)에서 논문을 거부하고 있습니다. 내가 저널에 제출하는 주된 이유는 철저한 검토 프로세스 때문입니다. 그 외에도 SODA의 20 페이지 제한은 내가 말하고 싶은 모든 것에 충분합니다. 실제로 데이비드 존슨 (David Johnson)은 SODA 관중들에게 "저널 …

23 soft-question  research-practice  conferences  journals 

현재로서는이 질문이 Q & A 형식에 적합하지 않습니다. 답변, 사실, 참고 자료 또는 전문 지식을 통해 답변이 뒷받침 될 것으로 예상되지만이 질문은 토론, 논쟁, 여론 조사 또는 광범위한 토론을 요구할 것입니다. 이 질문을 개선하고 다시 열 수 있다고 생각 되면 도움말 센터 를 방문하여 안내를 받으십시오 . 휴일 팔년 전에 …

23 soft-question  big-list  paper-review 

이 분야의 사람들 (이론적 컴퓨터 과학)이 프레젠테이션을 만들기 위해 어떤 도구를 사용하는지 궁금합니다. 많은 컴퓨터 과학이 논문을 쓰는 것이 아니라 프레젠테이션을하는 것이므로 이것이 중요한 소프트 질문이라고 생각했습니다. 이것은 논문을 작성하기 위해 어떤 도구를 사용 하는 이전의 질문에서 영감을 받았습니다 . 내가 본 가장 일반적인 것은 다음과 같습니다. 비머 마이크로 소프트 …

23 soft-question  research-practice  writing 

Thomas J. Schaefer 의 논문 "만족도 문제의 복잡성" 에서 저자는 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 

이것은 알고리즘을 얼마나 효과적으로 표현할 수 있는지에 관한 것입니다. 학부 교육을 위해서는 이것이 필요합니다. 의사 코드를 작성하는 표준 방법과 같은 것은 없다는 것을 알고 있습니다. 다른 저자들은 다른 규칙을 따릅니다. 여기 사람들이 지적하고 따르고 최선의 방법을 생각하면 도움이 될 것입니다. 이것에 대해 자세히 다루는 책이 있습니까?

22 ds.algorithms  soft-question  advice-request  writing