Questions marquées «soft-question»

Une question douce est une question (éventuellement subjective) sur le domaine de l'informatique théorique par opposition à une question de l'informatique théorique.

2
Conseils pour assister à ma première conférence TCS
J'assisterai à ma première conférence informatique et après avoir lu les conseils pour améliorer les conférences j'ai remarqué que plusieurs suggestions concernaient des étudiants diplômés assistant à leur première conférence. Quels conseils donneriez-vous à un étudiant diplômé assistant à sa première conférence et quel devrait être son objectif?
6
Pourquoi un chercheur du SDC aurait-il besoin de financement?
Je lisais ça . Ça dit ... Vous ne vous retrouverez pas aussi affamé de financement comme Pure Mathematics. (Vous vous retrouverez toujours affamé de financement.) ... Pourquoi les mathématiciens purs ont-ils besoin de financement? (Oups sa question de flux mathématique) Pourquoi une personne faisant de la recherche théorique aurait-elle …
13
Analyse complexe en informatique théorique
Il existe de nombreuses applications de l'analyse réelle en informatique théorique, couvrant les tests de propriété, la complexité de la communication, l'apprentissage PAC et de nombreux autres domaines de recherche. Cependant, je ne peux penser à aucun résultat dans TCS qui repose sur une analyse complexe (en dehors de l'informatique …
2
Si les techniques d'apprentissage automatique continuent de s'améliorer, quel sera le rôle de l'algorithmique à l'avenir?
Regardons l'avenir dans une trentaine d'années. Soyons optimistes et supposons que les domaines liés à l'apprentissage automatique continuent de se développer aussi rapidement que ce que nous avons vu au cours des 10 dernières années. Ce serait formidable, mais alors quel serait le rôle de l'algorithmique traditionnelle dans un tel …
4
Quand la CS théorique se soucie-t-elle (ou devrait-elle) des preuves intuitionnistes?
D'après ce que je comprends (ce qui est très peu, corrigez-moi donc là où je me trompe!), La théorie des langages de programmation s'intéresse souvent aux preuves "intuitionnistes". Dans ma propre interprétation, l'approche nous oblige à prendre au sérieux les conséquences du calcul sur la logique et la prouvabilité. Une …
5
Curieux de connaître les preuves de complétude NP assistées par ordinateur
Dans l'article "LA COMPLEXITÉ DES PROBLÈMES DE SATISFACABILITÉ" de Thomas J. Schaefer, l'auteur a mentionné que 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. …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.