From 01b36c6e4854dd5ead04ded06e1998514d5eef61 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Wed, 7 Sep 2016 22:13:09 +0200 Subject: [PATCH] Aux files --- slides/biblio.bib | 1 - slides/concurgames.sty | 64 ++++++++++++++++++++++++++++++++- slides/math.sty | 81 +++++++++++++++++++++++++++++++++++++++++- slides/my_hyperref.sty | 27 +++++++++++++- slides/my_listings.sty | 64 ++++++++++++++++++++++++++++++++- slides/theorems.sty | 5 +++ slides/todo.sty | 10 +++++- 7 files changed, 246 insertions(+), 6 deletions(-) delete mode 120000 slides/biblio.bib mode change 120000 => 100644 slides/concurgames.sty mode change 120000 => 100644 slides/math.sty mode change 120000 => 100644 slides/my_hyperref.sty mode change 120000 => 100644 slides/my_listings.sty create mode 100644 slides/theorems.sty mode change 120000 => 100644 slides/todo.sty diff --git a/slides/biblio.bib b/slides/biblio.bib deleted file mode 120000 index b3b50e2..0000000 --- a/slides/biblio.bib +++ /dev/null @@ -1 +0,0 @@ -../biblio.bib \ No newline at end of file diff --git a/slides/concurgames.sty b/slides/concurgames.sty deleted file mode 120000 index b2fc6ee..0000000 --- a/slides/concurgames.sty +++ /dev/null @@ -1 +0,0 @@ -../concurgames.sty \ No newline at end of file diff --git a/slides/concurgames.sty b/slides/concurgames.sty new file mode 100644 index 0000000..a114cac --- /dev/null +++ b/slides/concurgames.sty @@ -0,0 +1,63 @@ +%% By Théophile Bastian +%% Useful commands for concurrent games as event structures + +\usepackage[normalem]{ulem} +\usepackage{MnSymbol} +\usepackage{stmaryrd} +\usepackage{tikz} +\usepackage{relsize} + +\usetikzlibrary{shapes,arrows,positioning} + +\newcommand{\fname}[1]{\textsc{#1}} + +\newcommand{\con}{\operatorname{Con}} +\newcommand{\confl}{\raisebox{0.5em}{\uwave{\hspace{2em}}}} + +\newcommand{\obseq}{\simeq_\text{obs}} + +\newcommand{\cov}{{{\mathrel-\joinrel\subset}}} +\newcommand{\longcov}[1]{{\stackrel{#1} + {\mathrel-\joinrel\relbar\joinrel\subset\,}}} +\newcommand{\forkover}[1]{\longcov{#1}} +\newcommand{\fork}{\cov} + +\newcommand{\edgeArrow}{\rightarrowtriangle} +\newcommand{\linarrow}{\rightspoon} +\newcommand{\redarrow}[1]{\overset{#1}{\longrightarrow}} + +\newcommand{\config}{\mathscr{C}} +\newcommand{\downclose}[1]{\left[#1\right]} + +\newcommand{\strComp}{\odot} +\newcommand{\strInteract}{\ostar} +\newcommand{\strParallel}{\parallel} + +\newcommand{\seman}[1]{\llbracket{} #1 \rrbracket} + +\newcommand{\tens}{\otimes} +\newcommand{\Tens}{\mathlarger\otimes} + +% LCCS + +\newcommand{\newch}[1]{\left(\nu #1\right)} + +\newcommand{\linearmark}{$\mathcal{L}$} +\newcommand{\lcalc}{$\lambda$-calculus} +\newcommand{\lccs}{$\lambda$CCS} +\newcommand{\linccs}{{\linearmark}CCS} +\newcommand{\llccs}{$\lambda${\linearmark}CCS} +\newcommand{\proc}{\mathbb{P}} +\newcommand{\chan}{\mathbb{C}} + +\newcommand{\validctx}{\mathcal{L}} +\newcommand{\freevars}{\operatorname{fv}} + +% Copycat +\newcommand{\CC}{{\rm C\!\!\!C}} +\newcommand{\cc}{\mathrm{\,c\!\!\!\!c\,}} + +\newcommand{\includedot}[2][]{% + \begin{tikzpicture}[>=latex,line join=bevel,#1] + \input{_build/dot/#2.tex} + \end{tikzpicture}} diff --git a/slides/math.sty b/slides/math.sty deleted file mode 120000 index b6e943c..0000000 --- a/slides/math.sty +++ /dev/null @@ -1 +0,0 @@ -../math.sty \ No newline at end of file diff --git a/slides/math.sty b/slides/math.sty new file mode 100644 index 0000000..1704974 --- /dev/null +++ b/slides/math.sty @@ -0,0 +1,80 @@ +\usepackage{stmaryrd} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{amsthm} +\usepackage{mathtools} +\usepackage{fancybox} +\usepackage{mathrsfs} +\usepackage{mathtools} + +\newcommand{\eqdef}{{~\coloneqq~}} +\newcommand{\lAnd}{~\&~} + +\newcommand{\overOr}[2]{\begin{array}{r l} + & #1 \\ + \textit{or} & \\ + & #2 +\end{array}} + +\newcommand{\id}{\operatorname{id}} + +% Intervalle discret. +\newcommand{\discrIv}[1]{\llbracket #1 \rrbracket} + +% ensembliste +\newcommand{\set}[1]{\left\{ #1 \right\}} +\newcommand{\card}[1]{\left\vert{} #1 \right\vert} +\newcommand{\abs}[1]{\left\vert{} #1 \right\vert} +\newcommand{\interior}[1]{\left({#1}\right)^\circ} +\newcommand{\floor}[1]{\left\lfloor{} #1 \right\rfloor} +\newcommand{\ceil}[1]{\left\lceil{} #1 \right\rceil} + +% Abréviations courrantes +\newcommand{\ie}{\textit{ie.}} +\newcommand{\eg}{\textit{eg.}} +\newcommand{\Eg}{\textit{Eg.}} +\newcommand{\wrt}{\textit{wrt.}} +\newcommand{\wlogen}{\textit{wlog.}} +\newcommand{\st}{\textit{st.}} + +% Notations à polices étranges +\newcommand{\domain}{\mathcal{D}} +\newcommand{\bigO}{\mathcal{O}} +\newcommand{\calA}{\mathcal{A}} +\newcommand{\calC}{\mathcal{C}} +\newcommand{\calG}{\mathcal{G}} +\newcommand{\calV}{\mathcal{V}} +\newcommand{\calT}{\mathcal{T}} +\newcommand{\calP}{\mathcal{P}} + +% Ensembles +\newcommand{\realset}{\mathbb{R}} +\newcommand{\natset}{\mathbb{N}} +\newcommand{\relset}{\mathbb{Z}} + +% Probas +\newcommand{\prob}{\mathbb{P}} +\newcommand{\probP}[1]{\mathbb{P}\left(#1\right)} +\newcommand{\expec}{\mathbb{E}} +\newcommand{\expecP}[1]{\mathbb{E}\left[#1\right]} +\newcommand{\variance}{\mathbb{V}} +\newcommand{\ber}{\mathcal{B}er} +\newcommand{\bin}{\mathcal{B}in} +\newcommand{\poi}{\mathcal{P}oi} + +% Suppression des points +\newcommand{\ibar}{\overline{\imath}} +\newcommand{\jbar}{\overline{\jmath}} + +% Fonctions +%\newcommand{\functiondef}[4]{\left\lbrace \begin{tabular}{r l} #1 & \rightarrow #2 \\ #3 & \mapsto #4\end{tabular} \right.} +\newcommand{\functiondef}[4]{\begin{cases} +#1 & \to #2 \\ +#3 & \mapsto #4 +\end{cases}} + + +% Preuve par équivalence - puces +\newcommand{\impliesbullet}{\ovalbox{$\implies$}} +\newcommand{\impliedbybullet}{\ovalbox{$\impliedby$}} diff --git a/slides/my_hyperref.sty b/slides/my_hyperref.sty deleted file mode 120000 index 1483ce6..0000000 --- a/slides/my_hyperref.sty +++ /dev/null @@ -1 +0,0 @@ -../my_hyperref.sty \ No newline at end of file diff --git a/slides/my_hyperref.sty b/slides/my_hyperref.sty new file mode 100644 index 0000000..4091de8 --- /dev/null +++ b/slides/my_hyperref.sty @@ -0,0 +1,26 @@ +\usepackage{hyperref} +\usepackage{xcolor} + +\definecolor{link_blue}{RGB}{0,0,97} +\definecolor{cite_green}{HTML}{009B55} + +\hypersetup{ +% bookmarks=true, % show bookmarks bar? +% unicode=false, % non-Latin characters in Acrobat’s bookmarks +% pdftoolbar=true, % show Acrobat’s toolbar? +% pdfmenubar=true, % show Acrobat’s menu? +% pdffitwindow=false, % window fit to page when opened +% pdfstartview={FitH}, % fits the width of the page to the window +% pdftitle={My title}, % title +% pdfauthor={Author}, % author +% pdfsubject={Subject}, % subject of the document +% pdfcreator={Creator}, % creator of the document +% pdfproducer={Producer}, % producer of the document +% pdfkeywords={keyword1} {key2} {key3}, % list of keywords +% pdfnewwindow=true, % links in new PDF window + colorlinks=true, % false: boxed links; true: colored links + linkcolor=link_blue, % color of internal links (change box color with linkbordercolor) + citecolor=cite_green, % color of links to bibliography + filecolor=magenta, % color of file links + urlcolor=link_blue % color of external links +} diff --git a/slides/my_listings.sty b/slides/my_listings.sty deleted file mode 120000 index c99828b..0000000 --- a/slides/my_listings.sty +++ /dev/null @@ -1 +0,0 @@ -../my_listings.sty \ No newline at end of file diff --git a/slides/my_listings.sty b/slides/my_listings.sty new file mode 100644 index 0000000..f720a6d --- /dev/null +++ b/slides/my_listings.sty @@ -0,0 +1,63 @@ +\usepackage{listings} +\usepackage{algorithmicx} +\usepackage{algpseudocode} +\usepackage{color} +\usepackage{xcolor} +\usepackage{courier} +\definecolor{color_comment}{HTML}{2D6F19} +\definecolor{color_linenum}{HTML}{9E9E9E} +\definecolor{color_strings}{HTML}{D300F3} + + +\lstset{ % +% backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor} + basicstyle=\footnotesize\ttfamily, % the size of the fonts that are used for the code + breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace + breaklines=true, % sets automatic line breaking + captionpos=b, % sets the caption-position to bottom + commentstyle=\color{color_comment}, % comment style +% deletekeywords={...}, % if you want to delete keywords from the given language +% escapeinside={\%*}{*)}, % if you want to add LaTeX within your code + extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8 + frame=none, % adds a frame around the code + keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible) + keywordstyle=\color{blue}, % keyword style + morekeywords={*,...}, % if you want to add more keywords to the set + numbers=left, % where to put the line-numbers; possible values are (none, left, right) + numbersep=5pt, % how far the line-numbers are from the code + numberstyle=\tiny\color{color_linenum}, % the style that is used for the line-numbers + rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here)) + showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces' + showstringspaces=false, % underline spaces within strings only + showtabs=false, % show tabs within strings adding particular underscores + stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered + stringstyle=\color{color_strings}, % string literal style + tabsize=4, % sets default tabsize to 2 spaces +% title=\lstname, % show the filename of files included with \lstinputlisting; also try caption instead of title +% inputencoding=utf8/latin1 % To accept utf8 encoding +} + +\lstset{literate= + {á}{{\'a}}1 {é}{{\'e}}1 {í}{{\'i}}1 {ó}{{\'o}}1 {ú}{{\'u}}1 + {Á}{{\'A}}1 {É}{{\'E}}1 {Í}{{\'I}}1 {Ó}{{\'O}}1 {Ú}{{\'U}}1 + {à}{{\`a}}1 {è}{{\`e}}1 {ì}{{\`i}}1 {ò}{{\`o}}1 {ù}{{\`u}}1 + {À}{{\`A}}1 {È}{{\'E}}1 {Ì}{{\`I}}1 {Ò}{{\`O}}1 {Ù}{{\`U}}1 + {ä}{{\"a}}1 {ë}{{\"e}}1 {ï}{{\"i}}1 {ö}{{\"o}}1 {ü}{{\"u}}1 + {Ä}{{\"A}}1 {Ë}{{\"E}}1 {Ï}{{\"I}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1 + {â}{{\^a}}1 {ê}{{\^e}}1 {î}{{\^i}}1 {ô}{{\^o}}1 {û}{{\^u}}1 + {Â}{{\^A}}1 {Ê}{{\^E}}1 {Î}{{\^I}}1 {Ô}{{\^O}}1 {Û}{{\^U}}1 + {œ}{{\oe}}1 {Œ}{{\OE}}1 {æ}{{\ae}}1 {Æ}{{\AE}}1 {ß}{{\ss}}1 + {ű}{{\H{u}}}1 {Ű}{{\H{U}}}1 {ő}{{\H{o}}}1 {Ő}{{\H{O}}}1 + {ç}{{\c c}}1 {Ç}{{\c C}}1 {ø}{{\o}}1 {å}{{\r a}}1 {Å}{{\r A}}1 + {€}{{\EUR}}1 {£}{{\pounds}}1 {¬}{{$\lnot$}}1 {∞}{{$\infty$}}1 +} + +\newcommand{\true}{\lstinline$true$} +\newcommand{\false}{\lstinline$false$} + +\newcommand{\lstbash}[1]{\lstinline[language=bash]$#1$} +\newcommand{\lstocaml}[1]{\lstinline[language=Caml]$#1$} +\newcommand{\lstcpp}[1]{\lstinline[language=C++]$#1$} +\newcommand{\lstc}[1]{\lstinline[language=C]$#1$} +\newcommand{\lstpython}[1]{\lstinline[language=python]$#1$} + diff --git a/slides/theorems.sty b/slides/theorems.sty new file mode 100644 index 0000000..535b2a1 --- /dev/null +++ b/slides/theorems.sty @@ -0,0 +1,5 @@ +% vim: :spell spelllang=fr + +\renewenvironment{definition}[1]{\begin{block}{Définition~: #1.}}{\end{block}} +\renewenvironment{theorem}[1]{\begin{block}{Théorème~: #1.}}{\end{block}} +\renewenvironment{lemma}[1]{\begin{block}{Lemme~: #1.}}{\end{block}} diff --git a/slides/todo.sty b/slides/todo.sty deleted file mode 120000 index 799e68b..0000000 --- a/slides/todo.sty +++ /dev/null @@ -1 +0,0 @@ -../todo.sty \ No newline at end of file diff --git a/slides/todo.sty b/slides/todo.sty new file mode 100644 index 0000000..024fcd0 --- /dev/null +++ b/slides/todo.sty @@ -0,0 +1,9 @@ +\usepackage{xcolor} + +\definecolor{note_text}{HTML}{671800} +\definecolor{note_back}{HTML}{00A2E3} + +\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}} +\newcommand{\todo}[1]{\qtodo{\textbf{TODO:}\.#1}} +\newcommand{\qnote}[1]{\colorbox{note_back}{\textcolor{note_front}{[#1]}}} +\renewcommand{\note}[1]{\qnote{\textbf{NOTE:}\.#1}}