|
|
|
|
| Zitat von Badmintonspieler
Allquantor (a,b): T
Allquantor a, Allquantor b: T
| |
Welche Logik?
Wie ist ersteres denn definiert?
Im allgemeinen würde man aber seine Logik wohl so definieren, dass Allquantoren kommutieren. Also ist die Antwort wahrscheinlich ja.
|
|
|
|
|
|
|
Erste Reviewanfrage...
I have an equation; do you have one, too?
|
|
|
|
|
|
|
|
|
|
|
Ich habe ihn noch nie gehört, hätte ihn jetzt aber verstanden als die leere Menge, also das Polytop, das keine Punkte enthält (und deswegen quasi "-1-Dimensional" ist).
Und dann hätte ich ein Buch geholt und nachgeschaut, ob die leere Menge überhaupt ein Polytop ist, denn ich bin mir nicht sicher, ob das ausgeschlossen wird.
|
|
|
|
|
|
|
|
|
|
|
Nach Adlershof zur UB fahren, wenn's nicht sofort gebraucht wird.
|
|
|
|
|
|
|
Watt, auch die Second Edition? Warum find ich das nicht?
|
|
|
|
|
|
|
Ne, nur die erste. Sorry.
|
|
|
|
|
|
|
Hast du über deine Uni vielleicht hierüber Zugriff?
|
|
|
|
|
|
|
Öhm, ACM DL haben wir afaik drauf Vollzugriff. Musste mal VPN anmachen (auch über Eduroam).
|
|
|
|
|
|
|
| Zitat von B0rG*
Hast du über deine Uni vielleicht hierüber Zugriff?
| |
Mit "Read as academic user" gehts nicht, aber ich hab mir mal nen gratis Testaccount gemacht, damit kann ich zumindest ein paar Tage reinlesen, danke.
xfxian: Haette ich eigentlich auch gedacht, aber war ueber VPN verbunden und hab keinen Download-Knopf gefunden.
|
|
|
|
|
|
|
Wenn ich pythons Pool.map benutze, um eine Funktion für eine Liste von Argumenten auszurechne, kann es sein, dass er dann die Liste immer in n-er Blocks unterteilt und auf n-Prozesse verteilt? D.h. keine neuen Worker aufruft, bis alle n-Prozesse returnen?
Manchmal dauert hier ein Prozess länger, dann würde ich gerne schon mal die anderen Kerne mit neuen Aufgaben belegen. Was müsste ich dafür nehmen?
|
|
|
|
|
|
|
Hast du mal probiert, den chunk size Parameter zu ändern?
|
|
|
|
|
|
|
Was raff ich hier wieder nicht? Ich schaeme mich ja schon ein bisschen ob der einfachen Aufgabe.
Ziel: Mit Sockets einen Echo-Server programmieren und das Echo vom Client empfangen und ausgeben lassen. Ich wuerds gern noch mit jeglicher Art Daten (also Bytes) machen, habs aber, weil ich da schon seit 3 Stunden rumeier, dann erstmal auf Strings beschraenkt.
In eine Richtung Senden/Empfangen funktioniert. Spricht vom Client zum Server, kein Ding. Lass ich jetzt aber den Server den gleichen String zurueckschicken und den Client empfangen, passiert gar nichts (nicht mal mehr die vorher funktionierende Sende/Empfang-Aktion) mehr.
Server
|
Code: |
package task04;
import java.io.*;
import java.net.ServerSocket;
import java.net.Socket;
public class Server {
public static void main(String[] args) {
try {
ServerSocket serverSocket = new ServerSocket(12345);
Socket clientSocket = serverSocket.accept();
// read
BufferedReader reader = new BufferedReader(new InputStreamReader(clientSocket.getInputStream()));
String message;
while ((message = reader.readLine()) != null) {
System.out.println("Server: Message received. Message : " + message);
}
// write
BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(clientSocket.getOutputStream()));
writer.write(message);
writer.close();
reader.close();
clientSocket.close();
serverSocket.close();
} catch (IOException e) {
e.printStackTrace();
}
}
}
|
|
Client
|
Code: |
package task04;
import java.io.*;
import java.net.InetAddress;
import java.net.Socket;
import java.net.UnknownHostException;
public class Client {
public static void main(String[] args) {
String ip = "127.0.0.1";
int port = 12345;
try {
InetAddress address = InetAddress.getByName(ip);
Socket socket = new Socket(address, port);
// write
BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(socket.getOutputStream()));
writer.write("hello");
// read
BufferedReader reader = new BufferedReader(new InputStreamReader(socket.getInputStream()));
String message;
while ((message = reader.readLine()) != null) {
System.out.println("Client: Message received. Message : " + message);
}
reader.close();
writer.close();
socket.close();
} catch (UnknownHostException e) {
e.printStackTrace();
} catch (IOException e) {
e.printStackTrace();
}
}
}
|
|
/Daran angeschlossen: Wir wuerde das dann mit Bytes gehen? Ich verliere bei den tausenden von StreamBufferByteArrays den Ueberblick.
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von MCignaz am 14.06.2016 20:32]
|
|
|
|
|
|
Probier mal eine newline mitzusenden. Nach der Dokumentation dürfte readLine nie nicht null zurückgeben wenn keine newline gesendet wird.
|
|
|
|
|
|
|
Newline mitsenden funktioniert nicht. Ohne das Ruecksenden gings ja auch so. Es ging auch ohne, dass ich beim Server in der Schleife das readline() gemacht habe, sondern einfach mit
|
Code: |
String message = reader.readline(); |
|
/BufferedWriter will geflusht werden, dann gehts.
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von MCignaz am 14.06.2016 22:16]
|
|
|
|
|
|
Hier meine leicht verspätete Rückmeldung bezüglich der PHP Thematik aus dem letzten Thread:
SBI: "PHP ist voll behinder"
Ja, da stimme ich voll und ganz zu. Das debuggen ist in PHP echt fürn Arsch. Da wir in der Firma für die Kunden leider mit PHP arbeiten müssen, ist der umstieg auch nicht ohne weiteres möglich
derSenner: Die 502 Problematik
Ich nutze XAMPP als Server. Also läuft alles lokal. Daher kann ich mir das nur wenig erklären.
Es sind so 80 CSV Dateien. Einige mal kleiner, andere mal größer.
Komischerweise bekam ich dieses Problem auch bei XML Daten eines anderen Projektes.
Die Schleife zur ausgabe spuckte mir ständig 502 aus.
Als mein Kollege mir riet, das Ergebnis mit die() auszugeben, zeigte das Programm alles schön sauber an. Das finde ich echt seltsam. Ich werde da heute abend noch bei den CSV ausprobieren und das Ergebnis hier mitteilen.
|
|
|
|
|
|
|
Wenn das mit die() funktioniert, liegt der Fehler vielleicht am Memory Limit? Sprich: Wenn du alles regulär ausliest, läuft irgendein Endpoint an ein Memory Limit.
Testweisee mal das PHP Memory Limit erhöhen.
Was steht denn eigentlich genau in deinem PHP und Apache Error-Log?
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von derSenner am 16.06.2016 12:09]
|
|
|
|
|
|
| Zitat von derSenner
Wenn das mit die() funktioniert, liegt der Fehler vielleicht am Memory Limit? Sprich: Wenn du alles regulär ausliest, läuft irgendein Endpoint an ein Memory Limit.
Testweisee mal das PHP Memory Limit erhöhen.
Was steht denn eigentlich genau in deinem PHP und Apache Error-Log?
| |
Kann ich frühstens heute Abend sagen.
|
|
|
|
|
|
|
| Zitat von derSenner
Was steht denn eigentlich genau in deinem PHP und Apache Error-Log?
| |
Dieses. Wenn php komische Dinge tut steht im Log (meist) warum.
|
|
|
|
|
|
|
Unrelated Shit: Das behindertkeiteste Diagramm aller Zeiten.
Wie kann man ein so straightforward-systematisches Problem derart undurchdringlich aussehen lassen?
Gesehen auf lachschon ähhhh in nem Skript zum Thema Reaktionskinetik.
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von Snowblind1911 am 16.06.2016 18:12]
|
|
|
|
|
|
Rührkessel hört sich so wunderbar einfach an... ist es ein Suppenrezept? Oder ein Chili?
|
|
|
|
|
|
|
Rührkesselkaskaden sind ein Versuch (kleiner) Batch-Betriebe, die Durchsatzkraft/Effizienz eines kontinuierlichen Prozesses zu nutzen ohne dabei... egal.
Wie es mit den Ingenieursfragen meistens so ist, sieht es von außen langweilig und einfach aus, aber in Wahrheit ist es langweilig und kompliziert.
Naja gut, hier ist es sogar mal echt einfach. Messen, Messwerte auftragen, Polynom anlegen, Steigung stumpf abmalen, Gerade erhalten oder halt nicht. Ende. Hab ich heute gemacht, hat traumhaft funktioniert, verstanden hab ichs auch, aber dieses Diagramm stellt mich weiter vor Rätsel.
|
|
|
|
|
|
|
|
|
|
|
Uh, danke für den Link, dass muss ich mir gleich mal anschauen .
hm... Kann es sein, dass man da auch über die Uni nicht rankommt?
Ach mit Fulltunnel gehts .
|
[Dieser Beitrag wurde 2 mal editiert; zum letzten Mal von Strahlung-Alpha am 20.06.2016 19:51]
|
|
|
|
|
|
| Zitat von Strahlung-Alpha
hm... Kann es sein, dass man da auch über die Uni nicht rankommt?
| |
funktioniert bei mir
|
|
|
|
|
|
|
Ja hier jetzt auch. Ich nutze normal für's VPN den Splittunnel, das scheint hier die falsche Wahl gewesen zu sein.
|
|
|
|
|
|
|
|
|
|
|
In der Statistik nimmt man für den Mittelwert oft einen Überstrich, also das Mittel zur Stichprobe wird notiert als .
|
[Dieser Beitrag wurde 1 mal editiert; zum letzten Mal von B0rG* am 21.06.2016 16:36]
|
|
|
|
|
|
|
|
|
Thema: pOT-lnformatik, Mathematik, Physik XX ( Der XX(X)-Thread. ) |