<figure><img src="image_1.png" /></figure>

HAL
open science

# Parcours d'un informaticien

Jean-Christophe Filliâtre

► To cite this version:

Jean-Christophe Filliâtre. Parcours d'un informaticien. Supérieure - Paris, Sep 2018, Paris, France. hal-04524016

Séminaires Pour Tous, École Normale

HAL Id: hal-04524016

https://inria.hal.science/hal-04524016

Submitted on 29 Mar 2024

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
Parcours d'un informaticien

Jean-Christophe Filliâtre

Séminaire Info Pour Tous

20 septembre 2018
1. mon parcours

2. le métier de chercheur en informatique

3. mon domaine de recherche
CGAO

Les programmes vues par des programmes, dans un

conjoncteur, les graphiques font un

Lorsque

Mettre en oeuvre un CAPITOL

un programme, il est possible

d'obtenir un programme de

un programme de

un programme de

<figure><img src="image_3.png" /></figure>

SPECTRUM

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme

programme de programme, dans un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

conjoncteur, les graphiques font un

<figure><img src="image_4.png" /></figure>

<figure><img src="image_5.png" /></figure>

<figure><img src="image_6.png" /></figure>

<figure><img src="image_7.png" /></figure>

<figure><img src="image_8.png" /></figure>

<figure><img src="image_9.png" /></figure>

DELOS ATTAQUE

TO 7

Les habitants de la planète Otoxia s'attendent à

un programme de programme, dans un

conjoncteur, les graphiques font un

Lorsque

estimer le nombre de programmes

d'obtenir un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

un programme de

<figure><img src="image_10.png" /></figure>

<figure><img src="image_11.png" /></figure>

<figure><img src="image_12.png" /></figure>
<figure><img src="image_13.png" /></figure>

TO 770

THE VISION 0

A Z E R T Y U I O P L K
S D F O H J K L M
W X C V B N . ' ( )
TO 7 70

☐ 1 BASIC MICROSOFT 1.0

☐ 2

☐ 3

TO 7 70
CGAO

Ce programme vous permet de programmer, dans un
nouveau langage, des graphiques速速 dissimulés.

L'OUTIL PASCAL

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

<figure><img src="image_14.png" /></figure>

SPECTRUM

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

Afficheur d'information

DELOS ATTAQUE

TO 7

Les tablages de la piste DELOS s'appliquent à la Terre.

Le premier module de l'outil PASCAL est le plus

partie de l'outil PASCAL, mais il ne

peut pas être placé que sur un disque

à l'intérieur d'un disque.

Le disque à l'intérieur de l'outil PASCAL

peut être placé par le programme dans

l'outil PASCAL.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

<figure><img src="image_15.png" /></figure>

L'OUTIL ROUVRÉIL

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

Les graphiques de l'outil PASCAL sont tout à fait

comparables à ceux de l'outil BASIC.

<figure><img src="image_16.png" /></figure>
FILE File Save Options

<figure><img src="image_17.png" /></figure>

<figure><img src="image_18.png" /></figure>

<figure><img src="image_19.png" /></figure>

<figure><img src="image_20.png" /></figure>

<figure><img src="image_21.png" /></figure>

<figure><img src="image_22.png" /></figure>

Copyright © 1985

CABLE CDROM

FILE TO BE DOWNLOADED:

<figure><img src="image_23.png" /></figure>

ATARI

SC1224

ATARI

1040ST

<figure><img src="image_24.png" /></figure>
KNUTH
Fundamental Algorithms

Second Edition

<figure><img src="image_25.png" /></figure>

The Art of
Computer
Programming
TURBO.EXE

File

Edit

Run

Compile

Edit

Debug

Break/watch

Line

Col 1

Insert Indent

program helloworld;

begin

writeIn('Hello, world!');
end.

Evaluate Ctrl-F4

Call stack Ctrl-F3

Find procedure

Integrated debugging On

Standalone debugging Off

Display swapping Always

Refresh display

Watch

F1

Help

F5

Zoom

F6

Switch

F7

Trace

F8

Step

F9

Make
HAL 9000

<figure><img src="image_26.png" /></figure>

<figure><img src="image_27.png" /></figure>
<figure><img src="image_28.png" /></figure>

<figure><img src="image_29.png" /></figure>

<figure><img src="image_30.png" /></figure>
<figure><img src="image_31.png" /></figure>
<figure><img src="image_32.png" /></figure>
le métier de chercheur en informatique
Université
Paris Sud
LRI

Université
Paris Sud
CNRS

LRI

Université
Paris Sud
CNRS

LRI

Université
Paris Sud

Inria Saclay
CNRS

LRI

VALS

Université
Paris Sud

Inria Saclay
c'est

* identifier / résoudre des problèmes
c'est

* identifier / résoudre des problèmes

* écrire / évaluer des articles
c'est

* identifier / résoudre des problèmes

* écrire / évaluer des articles

* participer à des séminaires / conférences
c'est

* identifier / résoudre des problèmes

* écrire / évaluer des articles

* participer à des séminaires / conférences

* encadrer des stagiaires, des doctorants
c'est

* identifier / résoudre des problèmes

* écrire / évaluer des articles

* participer à des séminaires / conférences

* encadrer des stagiaires, des doctorants

* chercher de l'argent, écrire des rapports
c'est

* identifier / résoudre des problèmes

* écrire / évaluer des articles

* participer à des séminaires / conférences

* encadrer des stagiaires, des doctorants

* chercher de l'argent, écrire des rapports

* participer à l'administration de la recherche
c'est par exemple

* inventer de nouveaux algorithmes

* inventer de nouveaux langages de programmation

* développer des logiciels comme Coq
informatique = science + technique
le programmeur est un artisan

• 15 ans d'apprentissage

• 15 ans de maîtrise

• 15 ans de transmission
beaucoup de chercheurs sont aussi des enseignants
<figure><img src="image_33.png" /></figure>

http://projecteuler.net/
mon travail
<table><thead><tr><th>0</th><th>1</th><th>2</th><th>3</th><th>4</th><th>5</th><th>6</th><th>7</th></tr></thead><tbody><tr><td>-89</td><td>-3</td><td>17</td><td>42</td><td>42</td><td>73</td><td>987</td><td>1729</td></tr></tbody></table>
## le problème

```c
...
int mid = (low + high) / 2;
int midVal = a[mid];
...
```
une solution

...  
int mid = low + (high - low) / 2;  
int midVal = a[mid];  
...
prouver, une fois pour toutes, qu'un programme

* ne va pas planter

* fait ce qu'il est censé faire
a[52514], b, c=52514, d, e, f=1e4, g, h; main()[for( ; b=c-=14; h=printf("%04d",
 e+d/f))for(e=d%=f; g=--b*2; d/=g)d=d*b+f*(h? a[b] : f/5), a[b]=d%--g;]
a[52514], b, c=52514, d, e, f=1e4, g, h; main() {for (; b=c-=14; h=printf("%04d",
 e+d/f)) for (e=d%=f; g=--b*2; d/=g) d=d*b+f* (h? a[b] : f/5), a[b]=d%--g;}

calcule 15 000 décimales de $\pi$

pourquoi ? beaucoup de maths, dont

$$ \pi = \sum_{i=0}^{\infty} \frac{(i!)^2 2^{i+1}}{(2i+1)!} $$
programme
+
propriété

<figure><img src="image_34.png" /></figure>

énoncé
mathématique

<figure><img src="image_35.png" /></figure>

preuve
<figure><img src="image_36.png" /><figcaption>A. M. Turing. Checking a large routine. 1949.</figcaption></figure>

<figure><img src="image_37.png" /></figure>
<figure><img src="image_38.png" /></figure>

Tony Hoare.

An Axiomatic Basis for Computer
Programming.

1969.
<figure><img src="image_39.png" /></figure>

énoncé
mathématique

démonstrateur
automatique

vrai

faux
il n'est pas possible d'écrire un tel programme
(Turing/Church, 1936, d'après Gödel)

c'est le théorème anti-chômage pour les
mathématiciens

<figure><img src="image_40.png" /><figcaption>Kurt Gödel</figcaption></figure>
énoncé
mathématique

<figure><img src="image_41.png" /></figure>

démonstrateur
automatique

<figure><img src="image_42.png" /></figure>

vrai

faux

je ne sais pas

ne termine pas
<figure><img src="image_43.png" /></figure>

énoncé
mathématique

assistant
de preuve

vrai

faux
<figure><img src="image_44.png" /></figure>
$$987 \times 73 = ?$$
$$987 \times 73 = ?$$

987

73

0
$987 \times 73 = ?$

$$ \begin{array}{ccc} & 987 & 73 \\ & 1974 & 36 \\ \cline{3-3} & & 0 \\ & & 987 \end{array} $$
$987 \times 73 = ?$

987 73 0
1974 36 987
3948 18 987
$$987 \times 73 = ?$$

987 73 0
1974 36 987
3948 18 987
7896 9 987
$987 \times 73 = ?$

$987 \quad 73 \quad 0$

$1974 \quad 36 \quad 987$

$3948 \quad 18 \quad 987$

$7896 \quad 9 \quad 987$

$15792 \quad 4 \quad 8883$
$987 \times 73 = ?$

$987 \quad 73 \quad 0$

$1974 \quad 36 \quad 987$

$3948 \quad 18 \quad 987$

$7896 \quad 9 \quad 987$

$15792 \quad 4 \quad 8883$

$31584 \quad 2 \quad 8883$
$987 \times 73 = ?$

$$
\begin{array}{ccc}
 & 987 & 73 & 0 \\
 & 1974 & 36 & 987 \\
 & 3948 & 18 & 987 \\
 & 7896 & 9 & 987 \\
 & 15792 & 4 & 8883 \\
 & 31584 & 2 & 8883 \\
 & 63168 & 1 & 8883
\end{array}
$$
$987 \times 73 = ?$

987   73      0
 1974   36    987
 3948   18    987
  7896   9    987
 15792   4   8883
 31584   2   8883
  63168   1   8883
 126336   0   72051
des questions ?