Functional Programming & Proofs
Sample Applications
Neural nets
How to ...
- Define the sum of two vectors in
F#
(<+>
) ?
- Get the product of a value and a vector (
<*>
) ?
- Define the "dot" product operator (
<.>
) ?
Ex. [1.1;0.5] <.> [0.2;-1.0] = -0.28
- How to generate the following dataset ?
x | y
0.0 | 1.0
0.1 | 1.2
0.2 | 1.4
...
1.0 | 3.0
- By considering the following definitions, how to recursively apply
u
for all the values of the dataset ?
let W = [1.1;0.5];;
let u W x y =
let X = [x;1.0]
let ke = 0.1*(y - (W <.> X))
W <+> (ke<*>X);;
- How to repeat the process of the preceding question 1000 times ?
- The preceding code computes a linear regression by the way of a neural network. But how to compute a polynomial regression ?
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide