Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Können die Formalismen der Kategorietheorie die der Typentheorie ersetzen?
Die Feinheiten der Entsprechung zwischen Typentheorie und Kategorietheorie liegen außerhalb meines Wissens. Durch mein naives Verständnis der Beziehung zwischen den beiden historisch konvergenten Disziplinen fasst die letztere die erstere vollständig zusammen. Wenn dies der Fall ist, können die von Kategorietheoretikern verwendeten sprachlichen und formalen / grafischen Beschreibungen die von Typtheoretikern …
1
Kubische Typentheorie für Dummies?
Ich habe eine dieser populären Veröffentlichungen zur Theorie des kubischen Typs gelesen , aber kein Wunder, dass ich nur Formeln und Diagramme sehen konnte, ohne sie überhaupt erkennen zu können. Also hier ist was ich will. Ich möchte eine hinreichende Erklärung dafür, was Zusammensetzung, Kan-Füllung und Kleben mit der Homotopietypentheorie …
2
Wiederholung
Hinweis: Dies stammt aus JeffEs Algorithmen-Hinweisen zu Wiederholungen, Seite 5. (1). Wir definieren also die Wiederholung ohne Basisfall. Jetzt verstehe ich, dass für die meisten Rezidive, da wir nach asymptotischen Grenzen suchen, der Basisfall keine Rolle spielen würde. Aber in diesem Fall sehe ich nicht einmal, wo wir den Basisfall …
2
Könnte ein Quantencomputer eine lineare Algebra schneller ausführen als ein klassischer Computer?
Angenommen, wir hätten einen Quantencomputer mit einer ausreichenden Anzahl von Qubits. Könnten wir damit die lineare Algebra schneller ausführen als mit einem klassischen Computer? Welche Art von Beschleunigung können wir erwarten? Hat jemand einen Quantenalgorithmus für die lineare Algebra erstellt und wie lange läuft er? Theoretisch ist eine Operation wie …
1
Ich habe einen mechanischen Computer gebaut, der mit Murmeln betrieben wird. Was sind ihre theoretischen Grenzen?
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über Zahnräder miteinander verbinden. Wenn eines dieser …
2
GCD eines Produktpaares
Ich habe zwei Zahlen, die jeweils das Produkt einer großen Anzahl kleinerer Zahlen sind, die ich kenne. Ich möchte den GCD (Greatest Common Divisor) dieser beiden Zahlen finden. Kann ich die teilweise Faktorisierung nutzen, um den Prozess zu beschleunigen? Insbesondere ist jede größere Zahl das Produkt von kleineren Zahlen, von …
1
Welches Fragment der Martin-Löf-abhängigen Typentheorie kann mit generischen Typen in Java ausgedrückt werden?
Ich habe kürzlich festgestellt, dass eine Reihe von Problemen, die ich vor einigen Jahren beim Versuch hatte, verschiedene mathematische Theorien in Java zu implementieren, darauf zurückzuführen sind, dass das Typisierungssystem in Java nicht stark genug ist, um die gesamte Martin-Löf-abhängige Typentheorie zu modellieren . Vor Java 5 und Generika war …
2
Wie würde eine Sprache aussehen, in der präzise GC als Bibliothek implementiert werden kann?
Angenommen, Sie haben eine Programmiersprache mit manueller Speicherverwaltung. Welche Funktionen muss diese Sprache haben, um eine präzise Speicherbereinigung als Bibliothek und nicht als grundlegendes Sprachkonstrukt implementieren zu können? Mit einem präzisen GC meine ich einen, bei dem nur Zeiger auf den Heap durchlaufen werden, um festzustellen, welche Variablen aktiv sind …
2
Zusammenhang zwischen Entscheidbarkeit der Typprüfung, Entscheidbarkeit der Typisierbarkeit und starker Normalisierung
Yo! Dies ist wahrscheinlich eine dumme Frage, aber ich habe nie gesehen, dass sie explizit niedergeschrieben wurde, wenn beispielsweise die Entscheidbarkeit der Typprüfung der starken Normalisierungseigenschaft entspricht. Daher stelle ich diese Frage, um alle möglichen Zusammenhänge zwischen Typprüfung, Typisierbarkeit und starker Normalisierung zu klären. Lassen Sie mich meine Motivation erklären. …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.