Conception & développement des systèmes d'information

Mes publications et exposés en programmation orientée objet

  • Cours de programmation orientée objet et Java en Licence, Université de Poitiers (2002-2006)
    download CM1.pdf: introduction, environnement, types de base, notion de classe
    download CM2.pdf: classes, constructeurs, encapsulation, destruction
    download CM3.pdf: héritage simple, polymorphisme, Object
    download CM4.pdf: classes abstraites, héritage multiple, interfaces
    download CM5.pdf: interruptions, paquetages, javadoc, collections, Java 1.5
    download CM6.pdf: transtypage, égalité, comparabilité, clonage
    download CM7.pdf: UML, conception OO, projet
    download CM8.pdf: fichiers, sérialisation, threads, applets
    download CM9.pdf: révisions autour de String, immuabilité
    download poly.pdf: polycopié

Ressources en POO et Java

Mes publications et exposés autour de la validité du développement logiciel

  • Cours de Logique en Licence, Université Paris XII (2002-2003).
    download poly.pdf: polycopié
  • Découvrez Objective Caml, GNU/Linux & Hurd Magazine France n° 43 (oct. 2002).

    Résumé:

    Objective Caml (Ocaml pour les intimes) est un langage de programmation magnifique: flexible, sûr, d'exécution rapide, doté de nombreuses bibliothèques (graphiques, réseau, ...). Il est souvent, à tort, considéré comme une curiosité qui n'intéresserait que quelques informaticiens théoriciens. Dans cet article, nous parcourrons rapidement l'arbre généalogique de ce langage pour en comprendre les principes fondateurs et familiariser le lecteur avec la programmation fonctionnelle; nous présenterons ensuite les différents modes de travail d'Ocaml et quelques aspects originaux de ce langage. Nous terminerons par un petit exemple d'utilisation des bibliothèques graphique et Unix et l'évocation des autres outils de développement disponibles pour Ocaml.

    Abstract:

    Objective Caml (aka Ocaml) is a wonderful programming language: flexible, safe, efficient, equipped with many libraries (graphics, network,...). It is often seen as a curiosity used only by theoretical computer scientists. In this article, we briefly browse the genealogical tree of this language to understand its main principles and to familiarize the reader with functional programming; then we present the different working modes and some of the original aspects of this language. We finish with a small example that features the graphics and Unix libraries and with the evocation of other developping tools that are available for Ocaml.

    download ocaml.html
  • Cours de programmation fonctionnelle en Licence, Université Paris XII (2001--2003)
    download poly.pdf: polycopié

Ressources autour de la validité des logiciels

Ressources sur Objective Caml

Autres

Mes publications, exposés et logiciels en algorithmique et mathématiques effectives

  • A Newton-Puiseux root finding algorithm over function fields of curves, exposé aux Journées Nationales de Calcul Formel, CIRM, (novembre 2005).

    Résumé:

    Nous proposons un algorithme pour trouver les racines d'un polynôme univarié à coefficients dans le corps de fonction d'une courbe algébrique (ou plus généralement dans un corps discrètement valué). Cette méthode peut être appliquée au décodage en liste des codes géométriques lors que la méthode de Newton-Hensel ne peut être utilisée.

    Abstract:

    We propose an algorithm to find the roots of a univariate polynomial with coefficients in the function field of an algebraic curve (or more generally, in a discretely valued field). This method can be applied to the list decoding of algebraic-geometric codes when the Newton-Hensel method can't be used.

    download 2005-CIRM_RootFF.pdf: exposé
    download 2005-RootFF.pdf: article
  • Introduction au système de calcul formel Magma. Exposé au séminaire du groupe algèbre effective et calcul formel du Laboratoire de Mathématiques de l'Université de Poitiers, France (octobre 2004).
  • Le système de calcul formel Magma. Exposé invité au Séminaire du Laboratoire de Mathématiques, de l'Université de Montpellier II, France (juin 2004).
  • La primalité d'un entier est facile à tester. Séminaire du Laboratoire d'algorithmique, complexité et logique, de l'Université Paris XII, France (décembre 2002).
  • Reconstruction of geometric functions and applications. Finite Fields: Theory and Applications, Oberwolfach, Allemagne (janvier 2001).
  • An Algorithm to Get some Factors of Bivariate Polynomials without Factoring. Fifth International Conference on Finite Fields and Applications, Augsburg, Germany (août 1999).
  • Empilements de sphères et problèmes connexes - Application du recuit simulé pour l'optimisation d'empilements hétérogènes en dimension finie. Supervision: Bernard Ycart Séminaire des Élèves de l'École Normale Supérieure de Lyon, France, 1996.
  • Contribution au package MAGMA de théorie des codes (contribution to coding theory package in MAGMA)

    Résumé:

    J'ai participé à la réalisation du package de théorie des codes intégré dans le système de calcul formel MAGMA. En particulier, j'ai collaboré à l'implantation de nouveaux codes tels les codes géométriques de Goppa et les codes sur les anneaux. J'ai également programmé des algorithmes de décodage et des bornes sur les codes.

    Abstract:

    I have participated to the realisation of the coding theory package in the computer algebra system MAGMA. In particular, I have collaborated on the implementation of new codes like Goppa's algebraic-geometric codes and codes over rings. I also programmed decoding algorithms and bounds on codes.

    download part16.html
  • Programme de calcul des bornes d'Oesterlé (Oesterlé bounds computation program)

    Résumé:

    Ce package contient deux programmes. L'un calcule une borne inférieure sur le genre d'une courbe définie sur un corps fini fixé possédant un nombre de points rationnels donné. L'autre calcule une borne supérieure sur le nombre de points rationnels d'une courbe de genre donné sur un corps fini fixé.

    Abstract:

    This package contains two programs. The first program computes a lower bound on the genus of a curve defined over a fixed finite field, given its number of points. The second one computes an upper bound on the number of rational points of a curve of given genus, over a fixed finite field.

    download oesterle_bounds.tgz, V. 1.0, 2000

Ressources en algorithmique et mathématiques effectives

Conférences

Publications en ligne

Systèmes de calcul formel

Histoire et problèmes célèbres

Quelques équipes et personnes

Mes publications et exposés en architecture des ordinateurs et systèmes d'exploitation

  • Cours d'architecture en DEUG, Université Paris XII, (2002-2003)
    download poly.pdf

Autres contributions logicielles

  • Un exemple Metafont/LaTeX: le symbole € (A Metafont/LaTeX example: the € symbol)

    Résumé:

    Ce package contient un fichier Metafont lpeuro.mf et un fichier lpeuro.sty pour afficher le symbole euro dans les documents LaTeX. Le fichier lpeuro.pdf, compilé à partir de lpeuro.tex (tous deux inclus dans la tarball) explique le fonctionnement du package.

    Abstract:

    This package features a Metafont file: lpeuro.mf and a file lpeuro.sty to display the euro symbol in LaTeX documents. The lpeuro.pdf, compiled from lpeuro.tex (both included in the tarball) describes how to use the package.

    download lpeuro.tgz, V 1.0, 2002. et downloadlpeuro.pdf, 2002.

Ressources en programmation

Aesthacking = aesthetic hacking

  • Calculatrices RPN en divers langages (RPN Calculator in many languages), par Frederik

    Résumé:

    Une calculatrice RPN en 30 langages:, Ada, Assembler (MC68000), AWK, Bash, Brainfuck, C, C#, C++, Chef, Common Lisp, Emacs Lisp, Erlang, Fortran, Haskell, Io, Java, JavaScript, K, O'Caml, Pascal, Perl, PHP, PostScript, Python, Ruby, Scala, Scheme, Sed, Standard ML, TCL.

    Abstract:

    An RPN calculator in 30 languages:, Ada, Assembler (MC68000), AWK, Bash, Brainfuck, C, C#, C++, Chef, Common Lisp, Emacs Lisp, Erlang, Fortran, Haskell, Io, Java, JavaScript, K, O'Caml, Pascal, Perl, PHP, PostScript, Python, Ruby, Scala, Scheme, Sed, Standard ML, TCL.

    download rpn calcs, 2004
  • Programme polyglotte (Polyglot program), par Kevin Bungard, Peter Lisle, et Chris Tham

    Résumé:

    Peut être compilé dans les 7 langages suivants: ANSI COBOL, ISO Pascal, ANSI Fortran, ANSI C, PostScript, Bourne shell script, et constitue un binaire pour langage machine 8086. Quelques exemples:

    Abstract:

    Can be compiled in the 7 following langages: ANSI COBOL, ISO Pascal, ANSI Fortran, ANSI C, PostScript, Bourne shell script, and is a binary for 8086 machine language. A few examples: 

    % cp polyglot polyglot.c
% gcc polyglot.c
polyglot.c:
 1: warning: data definition has no type or storage class
% ./a.out
hello polyglots
% cp polyglot polyglot.sh
% chmod 755 polyglot.sh
% ./polyglot.sh 
hello polyglots
...
    download polyglot, 1991.
  • Palindrome C (C palindrome), auteur et date inconnus

    Résumé:

    Un programme palindrome en C.

    Abstract:

    A C palindrome program.

    download palindrome.c
  • Programme C d'art ASCII ultimement cyclique (Ultimately cyclic ASCII art C program)

    Résumé:

    Pour profiter de ce magnifique programme combinant l'art ASCII et celui de la programmation en C, tapez les lignes ci-dessous dans un shell:

    Abstract:

    To see the behaviour of this wonderful program that combines the art of ASCII images and of C programming, type the following lines in a shell: 

    % gcc dhyang.c
% ./a.out > 1.c
% cat 1.c
% gcc 1.c
% ./a.out > 2.c
% cat 2.c
% gcc 2.c
% ./a.out > 3.c
% cat 3.c
% gcc 3.c
% ./a.out > 4.c
% diff 4.c 1.c
    download dhyang.c

Langages

Autres ressources

Conférences générales d'informatique

Autres logiciels

Geeks

[ Misc Work and links : Security & Defense | Design of Information Systems | Teachings | Communication | Recommandations | Tools | Culture: Cinema | History | Jokes | Literature | Music | Philosophy | Poetry | Science ]