https://get-the.net/ 2026-07-29T11:40:59+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2010-04-10T09:36:56+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_3&rev=1270885016&do=diff Sémantique Dénotationnelle d'un langage de programmation Consiérons maintenant un langage de programmation impérative simplifié (que nous appellerons “L”) comportant : * instructions de base * l'affectation : x := expr * l'instruction vide : skip text/html 2009-10-15T08:04:11+02:00 https://get-the.net/doku.php?id=m1ilc:edid_tp_1&rev=1255586651&do=diff Note : this is not original material, merely an extract of the IBM Tutorial Documents omitting the procedures to have a slightly higher-level view of the tutorial before (and while) performing it. Module 1: Designing the physical data model for your data warehouse In this module, you will connect to the GSDB database and create a physical data model for the new data mart that you will build. You will create a MARTS schema in the data model and then update the GSDB database with the changes. text/html 2010-05-24T08:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_4&rev=1274680899&do=diff Détermination de la sémantique de Programmes Exercice 1 Déterminer la sémantique du programme while n > 0 do n := n-1 pour n∈N. Pour cela, on construit la suite des programmes (Wi) et leur fonction sémantique (wi) i+1 Wi+1 = if n>0 then i { n:= n-1; if n>0 then { i-1 { n:= n-1; if n>0 then { ... 0 { n:= n-1; bottom }... }}}}} avec i accolades fermantes wi+1(s) = non-définie si et (s| n-> 0) si text/html 2009-12-23T12:04:24+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_2a&rev=1261566264&do=diff TD 2 : Analyse Syntaxique Descendante Grammaire récursive Grammaire G0 E -> E+T | T T -> T*F | F F -> (E) | id | cte Cette grammaire est récursive à gauche. Pour la dérécursiver, nous observons que * E -> T ou T+T ou T+...+T * F -> F ou F*F ou F*...*F text/html 2010-01-01T22:58:21+02:00 https://get-the.net/doku.php?id=recipes:hopping_john&rev=1262383101&do=diff Hopping John Let me begin by citing a cook book I have that is crumbling: at least I'll preserve a page digitally! BLACK-EYED PEAS Black-eyed peas are esteemed in the South as an appetizing basic dish (traditionally served on New Year's Day for good luck). When possible they are boiled fresh with pork, but are very good in the dried state From black-eyed peas combined with rice comes the famous “Hopping John” (called “Hopping Jack” in some sections), a type of Jambalaya, said to be of Spa… text/html 2010-10-03T11:29:44+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_ex_5&rev=1286098184&do=diff Enoncé Trouver/concocter une MT grammaire qui valide engendre . pas sûr que c'était à rendre; j'ai modifié l'énoncé pendant ma réflexion (!) et trouvé (je crois) une MT (machine de Turing) qui vérifie L au lieu d'une grammaire qui l'engendre. text/html 2009-08-06T20:46:53+02:00 https://get-the.net/doku.php?id=wiki:syntax&rev=1249584413&do=diff DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing the Edit this page button at the top or bottom of the page. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too. text/html 2013-12-28T09:21:39+02:00 https://get-the.net/doku.php?id=recipes:eggnog&rev=1388218899&do=diff " Eggnog may not be a balanced diet, but I like it as a seasonal nutritional supplement (lots of calories!). " What is the right way (or best way) to prepare eggnog? To compare recipes, I've considered two criteria, composition and method. Composition comparison takes the list of ingredients and tabulates them side by side. To ease the comparison, recipes are scaled; one might scale them to a particular total fluid volume, a particular amount of alcohol (I'm looking at real eggnog here, not n… text/html 2010-11-17T18:47:06+02:00 https://get-the.net/doku.php?id=ubuntu:nanoweb&rev=1290016026&do=diff nanoweb is an HTTP (web) server written in php, and consequently runs on any platform with php. It is small and relatively simple to install and configure. Its latest version is now (Nov. 2010) two years old, so I guess we could say it is stable. One can, as the site says, text/html 2010-03-18T08:36:03+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_6&rev=1268897763&do=diff III. Preuves de correction des programmes Sémantique et preuve Comme nous l'avons vu, l'objectif premier des définition et développements formels de l'activité de programmation est de garantir la correction des programmes. Alors que la sémantique d'un programme donne toute la signification de ce programme, la preuve de correction, ell, se limite à démontrer une propriété de ce programme. text/html 2010-05-24T10:09:55+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_5&rev=1274688595&do=diff Sémantique des Programmes Récursifs On considère une autre construction dans les langages de programmation, celle des programmes récursifs. Un programme récursif (fonction ou procédure) est récursivement associé à un nom. Le corps du programme fait explicitement référence à ce nom (c'est ce qu'on désigne par “appel récursif”). text/html 2013-04-28T15:57:27+02:00 https://get-the.net/doku.php?id=recipes:ramequin&rev=1367157447&do=diff This recipe appears in Julia Child's TV show cookbook, but not in her two-volume Mastering the Art of French Cooking (if I'm not mistaken). I like its simplicity of preparation, and that it can be prepared in advance to ready-to-bake then baked just before serving. The basic recipe with mushroom filling serves 4 to 6; I recently made a half recipe for two adults and a small child. text/html 2013-05-31T17:53:01+02:00 https://get-the.net/doku.php?id=cms:begin_document&rev=1370015581&do=diff Introduction What would an ideal system for collaborative document sharing be like? In particular, what might an individual want to have for a family site, or a college class site, or a personal site? Can a same system satisfy all those wants? Is one technically feasible? text/html 2013-11-02T08:25:44+02:00 https://get-the.net/doku.php?id=prospects:stump&rev=1383377144&do=diff What and Why There are topics and ideas that occur to me that I'd like to keep notes on. Oddly, and to my disappointment, it is not so easy to do that in a wiki. For instance, the ways to add a new page in this wiki are * editing an existing page to add a link to the page-to-be, saving, clicking on the link, and answering “yes” to the do-you-want-to-create-this-page question; * typing the path and name of the page-to-be in the URL field of the browser, requesting the URL, then answer… text/html 2012-12-17T16:14:10+02:00 https://get-the.net/doku.php?id=friday_xiii&rev=1355757250&do=diff Is there a Friday XIII every year, or are there years without? Are there years with lots and lots? How many is the most in one year? The following simple table answers all these questions for you: I've already done the work. Just find the row that corresponds to the day of the week the first of January falls; the months with a Friday XIII are listed according to whether it is a leap year or not. text/html 2013-04-28T18:45:25+02:00 https://get-the.net/doku.php?id=recipes&rev=1367167525&do=diff Working long hours and raising children at the same time didn't leave me long hours to prepare meals every day. I also tried to limit my grocery shopping to once a week--on Saturday like everyone else! I'd make a menu plan for the week, prepare my shopping list accordingly (I even had an order-form like sheet I printed with the computer, with product categories arranging in the order of the aisles in my regular supermarket), and shop around noon, when most people were at lunch. text/html 2011-09-02T11:46:33+02:00 https://get-the.net/doku.php?id=ubuntu:ratpoison&rev=1314956793&do=diff As I've used emacs more and more, after a few months trying to compose LaTeX documents with LyX, I'm enjoying less and less using non-keyboard input devices (so-called “mice”). So I was intrigued by Ratpoison, a Linux window manager called ratpoison. I learned of it via Ubuntu Lite installation, which also provides lots of other interesting suggestions. text/html 2011-12-08T17:33:33+02:00 https://get-the.net/doku.php?id=recipes:aile_de_raie&rev=1323362013&do=diff This recipe is pretty simple. The trickiest part is getting the Sauternes to flame (flambé), more easily accomplished in a wide, low saucepan than in a tall, narrow one. The recipe calls for skate, a cartilaginous fish (like stingrays only smaller) which may have been overfished; indeed, I don't find it for sale as often as I did a couple of decades ago. However, the sauce goes well with scallops (St. Jacques), which can be poached, steamed lightly (or sautéed). text/html 2011-07-20T13:35:11+02:00 https://get-the.net/doku.php?id=r-project&rev=1311161711&do=diff Installation The R-project offers several installation possibilities for Ubuntu. * Oddly, the Synaptic package manager shows sections for GNU R statistical system (universe) and GNU R statistical system (multiverse), where many extensions are available, but the r-base packages are in the Mathematics (universe) section. The package r-base-dev needed for compiling contributed packages not available compiled in cran is in the Development (universe) section. * cran has a UBUNTU PACKAGES FOR … text/html 2010-05-26T18:51:16+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_9&rev=1274892676&do=diff Raffinement de Programmes Le raffinement établit une relation entre des programmes. => La propriété de satisfaction peut être par exemple * la correction partielle. * * la correction total : * . En particulier, : si P termine, alors P' termine aussi. text/html 2010-01-03T18:15:45+02:00 https://get-the.net/doku.php?id=m1ilc:compil_7&rev=1262538945&do=diff Génération de code intermédiaire Formes Possibles Les différentes formes possibles de code intermédiaire sont * arbre de syntaxe abstraite * notation polonaise inversée (forme linéaire de l'arbre de syntaxe) * un code à trois adresses : une séquence d'instructions étiquettée dont chaque intruction utilise au plus 3 adresses de variables de référence text/html 2009-12-24T14:10:35+02:00 https://get-the.net/doku.php?id=recipes:spicy_baked_chicken&rev=1261660235&do=diff Spicy Baked Chicken * Prepare marinade: * tsp ground cumin * tsp ground paprika * tsp ground cayenne -- reduce or omit if you prefer less spicy, it will still be very tasty. * tsp ground turmeric * tsp ground black pepper * tsp salt * 1-2 cloves garlic, mashed * 3 Tb lemon juice text/html 2009-09-28T09:44:52+02:00 https://get-the.net/doku.php?id=jsmath_debug&rev=1254123892&do=diff JSMath Debug I've been using a version of jsMath and the jsMath plugin for dokuwiki for several months. Whoever, I discovered that it seemed to be implicated in errors when I tried to save new or edited pages. To debug this phenomenon, it seemed to me that it would be best to try a “vanilla” version of the plugin: if that doesn't cause the error, I can then incrementaly change and test to get back to what I was initially trying to accomplish. The features I was trying to incorporate were… text/html 2009-09-13T19:50:08+02:00 https://get-the.net/doku.php?id=recipes:pollo_vinagreta&rev=1252864208&do=diff Pollo à la Vinagreta * Bring to boil, reduce heat, cover and simmer 30 minutes * about 3 lbs. (1300 g) chicken, cut in pieces. I prefer to skin the chicken pieces, both to reduce fat and because I like crispy, roasted skin but not soggy, simmered skin . * 1/2 Cup (12 cl) water * a little salt : this is not going to be drained, so salt as you would that amount of chicken. * 1 bay leaf or 3/2 bay leaves * 6 peppercorns (black) text/html 2010-01-04T18:10:57+02:00 https://get-the.net/doku.php?id=m1ilc:compil_ll&rev=1262625057&do=diff Analyse Descendante Exemple (simple) R1: S -> cAd R2: A -> ab | a Analysons 'cad' et construisons l'arbre de syntaxe abstraite. étape arbre symboles 0 S cad 1 S / | \ c A d cad même symbole, voyons si la suite correspond prenant une première hypothèse pour 'A' 2 S / | \ c A d / \ a b cad première hypothèse pour ce qu'a produit 'A' 3 S / | \ c A d / \ a b cad on avance le… text/html 2010-01-10T08:54:38+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td1&rev=1263110078&do=diff FAIN TD 1 Exercice 1 Reconnaitre des figures 4-connexes et 8-connexes. 7 7 bb b b 7 7 6 6 c d 6 6 5 5 c a d 5 5 4 4 c a d 4 4 3 3 c a d 3 3 2 2 c d 2 2 1 1 dd d d d 1 1 0 0 0 0 0 1234567 0 1234567 0 1234567 0 1234567 ensemble 1 ensemble 2 ensemble 3 ensemble 4 * ensemble 1 est 4-connexe, et donc 8-connexe (aussi) * ensemble 2 n'est ni 4-connexe, ni 8-connexe puisque la “barr… text/html 2010-02-10T12:41:20+02:00 https://get-the.net/doku.php?id=recipes:saag_aloo&rev=1265802080&do=diff Frozen spinach with potatoes Ingredients Serves 4-6, but only 2-3 if mussels are added to make a one-dish meal. 550g frozen leaf spinach (not creamed!). Swiss chard (“bettes”) and kale (“choux frisé”) are substitutes I like. 300ml water 110 g onion(s), peeled 5 Tb (75 ml) vegetable oil pinch asafoetida (optional? I don't think so.) 2 tsp (10 ml) whole black mustard seeds 2 cloves garlic 500 g potatoes -- the stay-firm type, like Charlottes, or cauliflower if you want a more … text/html 2010-10-08T14:44:03+02:00 https://get-the.net/doku.php?id=m2ilc:design_patterns&rev=1286541843&do=diff Contents * Introduction * What is a Design Pattern? “Each pattern describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can use this solution a million times over, without ever doing it the same way twice.” In general, a pattrn has four essential elements * The pattern name * The problem describes when to apply the pattern * The solution describes the elements that make up th… text/html 2009-12-24T15:04:40+02:00 https://get-the.net/doku.php?id=recipes:civet_de_canard&rev=1261663480&do=diff Civet de Canard * Prepare marinade: * 2 C (50 cl) red wine (vin rouge) * C (125 ml) oil (not olive, just a light, bland oil) * 2 onions, thinly sliced * 3 cloves garlic, chopped * herbs and spices to taste (use your best guess if you don't like mine): * thyme -- ml ( tsp) * bay leaf -- one * cloves -- three or four text/html 2010-05-24T13:49:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_7&rev=1274701751&do=diff Preuves de correction (suite) Exemple Démontrons ce théorème d la logique de Hoare : a:= n; b:= m while b<>0 do a:=a+1; b:=b-1 {a=n+m} | {n+m = n+m} a:=n {a+m = n+m} | Axiome 1 | {a+m = n+m} b:=m {a+b = n+m} Axiome 1 {n+m = n+m} a:=n; b:=m {a+b = n+m} R1 vrai => n+m = n+m {vrai} a:=n; b:=m {a+b = n+m= Règle 4 corps de l'itération {a+1+b-1 = n+m} a:= a+1 {a+b-1 = n+m} Axiome 1 {a+b-1 = n+m} b:= b-1 { {a+b = n+m } Axiome 1 {a+1+b-1 = n+m} a:=a+1; b:=b-1 {a+b = n+m} [ Règle 1… text/html 2014-10-22T10:40:36+02:00 https://get-the.net/doku.php?id=ubuntu:rsync_archive&rev=1413967236&do=diff " This is a reproduction of my note published elsewhere dated 21 August 2013." Normal: read the man pages. Confusing archive with merge One might naïvely suppose that the behavior of the -a or --archive option will be to replace files only by newer files of the same name, or to ask whether or not to replace files. However, rsync is intended to just run without interaction, so the latter behavior would be inappropriate. Why would it replace files regardless? The command is to archive, not to… text/html 2010-09-05T12:55:15+02:00 https://get-the.net/doku.php?id=college_rankings&rev=1283684115&do=diff Like many other alumni , rankings of colleges and universities get my attention, even if our schools' ranks sometimes disappoint. When they disappoint, we of course examine the methodology very critically and find flaws; that is easiest when they are multi-criterion, include “open answer” questions, or both, since the choice of criteria, relative weighting, and scaling of non-quantitative and other open answer questions has no right answer. text/html 2014-10-22T13:01:25+02:00 https://get-the.net/doku.php?id=lynx:advice&rev=1413975685&do=diff Eating Old Food Summary of key points from a BBC piece How safe is mouldy food? 2014-Oct-22 Source of advice: mould expert, Dr Patrick Hickey. * we will not be eating any foods that have passed their “use by” date. To do so would risk serious food poisoning. With “best before” or “sell by” things are more flexible. * cheeses: * cheddar and parmesan and other dry cheeses: cut away the mouldy part, being careful that the knife doesn't get contaminated by mould. Mould needs moisture… text/html 2010-10-08T14:59:47+02:00 https://get-the.net/doku.php?id=m2ilc:dp_visitor&rev=1286542787&do=diff Intent Represent an operation to be performed on the elements of an object structure. Visitor lets you define a new operation without changing the classes of the elements on which it operates. Motivation Applicability Appliquer le motif Visitor lorsque : text/html 2010-02-01T10:46:28+02:00 https://get-the.net/doku.php?id=fca&rev=1265017588&do=diff Resources * Best place to start for link and examples: FCA Home. Unfortunately, there seems to be little or no information provided about the algorithms, languages, and interoperability (file formats, e.g.) of the various tools listed. I'll try to remedy that here. text/html 2010-01-31T10:16:18+02:00 https://get-the.net/doku.php?id=contrast&rev=1264929378&do=diff Color Contrast It seems there are several steps to the calculation of color contrast: * Convert from 0-255 values to 0-1 values: * * * * Adjust that conversion for some non-linearity: * If then , otherwise. * Same adjustment for G and B. text/html 2011-09-03T14:23:53+02:00 https://get-the.net/doku.php?id=emacs:packages&rev=1315052633&do=diff The GNU Emacs Lisp Package Archive is a repository which the GNU Emacs Package Manager can use to simply install or update key emacs packages, such as org-mode. Apparently, according to the Org-mode FAQs it is a standard part of the Emacs 24 distribution, available for easy installation in Emacs 23, too. text/html 2010-05-24T19:02:04+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_8&rev=1274720524&do=diff Introduction L'aspect preuve de programmes a un dual naturel qui est la réalisation d'un programme à partir d'une spécification. Par exemple, en se basant sur la logique de Hoare pour les programmes impératifs : * preuve : étant donné un programme P, prouver que ce programme admet deux prédicats p et q comme pré- et post- conditions. * dérivation : étant donné deux prédicats p et q, prouver un programme P qui admette ces deux prédicats comme pré- et post- conditions (on utilise les règles… text/html 2012-04-18T13:10:43+02:00 https://get-the.net/doku.php?id=emacs:el-get&rev=1334747443&do=diff Installation The installation is very simple once emacs is already installed and the emacs init file is located. Simple add the script patch from someone's blog as I did at the bottom of my ~/.emacs.d/init.el file. ;; Add a package manager, el-get: (add-to-list 'load-path "~/.emacs.d/el-get/el-get") (unless (require 'el-get nil t) (url-retrieve "https://raw.github.com/dimitri/el-get/master/el-get-install.el" (lambda (s) (end-of-buffer) (eval-print-last-sexp)))) After makin… text/html 2012-12-18T10:13:53+02:00 https://get-the.net/doku.php?id=what_year&rev=1355822033&do=diff " Given an invitation for an event on “Saturday, April 26th,” for instance, might it (if correct, of course) have been from last year? " Without consulting a perpetual calendar, here's one solution that uses a sort of back of the envelope perpetual calendar that is easy to construct. text/html 2010-01-31T10:16:19+02:00 https://get-the.net/doku.php?id=my_css&rev=1264929379&do=diff my css I've made some improvements to my template (I think) but am puzzled by the missing border-right on the sidebar. Here is the document tree : * dokuwiki * framehead * bar bar_top * bar-right bar_topright * clearer * logo * logo-link