From 3d099c7506eb7bcdc2a62b6191f7d1bbfc6e5507 Mon Sep 17 00:00:00 2001 From: Thomas Pietrzak Date: Thu, 5 May 2022 16:35:10 +0200 Subject: [PATCH] Of course I needed an extra one. --- tex/2-output.tex | 1 - tex/4-loop.tex | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/tex/2-output.tex b/tex/2-output.tex index 3adae8d..738272a 100644 --- a/tex/2-output.tex +++ b/tex/2-output.tex @@ -561,7 +561,6 @@ The second technology leverages the squeeze film effect to reduce the perceived Technically, the whole surface vibrates at a high frequency, typically tens of thousand Hertz~\cite{amberg11}. This frequency is way beyond the tactile sensitivity range. However, it creates an air cushion between the surface and the finger, which makes the surface feel more slippery. - This project has two orthogonal challenges. First, the technology was new and developed by colleagues with expertise in electrical engineering. Therefore we had to work with research prototypes, called Stimtac, that were evolving in parallel to our own studies. diff --git a/tex/4-loop.tex b/tex/4-loop.tex index e948106..cfda7b7 100644 --- a/tex/4-loop.tex +++ b/tex/4-loop.tex @@ -773,6 +773,7 @@ It ensures in turn that the \verb+length+ function ends because there is no recu This simple example shows the rigidity of algorithmic behavior. All information about the problem must be known in advance, the computing process is precisely defined, and the output is specified by the inputs~\cite{knuth68}. Wegner and Goldin describe interaction as a more general model in which the machine is connected to input streams, that provide unpredictable data~\cite{goldin08}. +They discuss interaction between systems, but Beaudouin-Lafon explains how their concept also applies to HCI~\cite{mbl08}. They model interaction with co-induction as in the example in Listing~\ref{lst:coinduction}. This example defines a stream of numbers, which is a non-finite structure, and a function that returns another stream in which numbers from the input stream are multiplied by \num{2}. The co-inductive definition of the stream only has one constructor, identical to the second constructor of lists. -- 2.30.2