Domänenspezifische Sprache für differenzierbare Programmierung

Jeder hat im Schulunterricht schon einmal die Ableitung einer Funktion gebildet. Jedoch ist es auch möglich, Teile eines Computerprogramms abzuleiten. Im Rahmen dieses Projektes habe ich eine domänenspezifische Programmiersprache innerhalb der Programmiersprache Nim entwickelt. Sie kann Programme automatisch nach deren Eingabeparametern ableiten. Beispielsweise werden im Bereich des ma-schinellen Lernens Ableitungen zum Optimieren von Modellen eingesetzt. Meine Programmiersprache ermöglicht hier die einfache Implementierung neuer Operationen. Sie bildet jedoch nicht nur Ableitungen für Programme, sondern kompiliert diese auch automatisch zu parallelisierten Code für Grafikkarten. Zum Testen der Programmiersprache habe ich außerdem ein Deep Learning Framework auf deren Basis entwickelt. Da sich jedoch fast beliebige Programme paralle–lisieren und ableiten lassen, sind auch andere Anwendungen als das maschinelle Lernen möglich, wie beispielsweise eine Flüssigkeitssimulation.