Compare commits

...

4 commits

20 changed files with 73 additions and 11 deletions

4
.gitignore vendored
View file

@ -7,4 +7,6 @@
*.blg
*.toc
_build/*
**/_build/*
*.nav
*.snm

10
report/.gitignore vendored Normal file
View file

@ -0,0 +1,10 @@
*.aux
*.log
*.pdf
*.swp
*.out
*.bbl
*.blg
*.toc
_build/*

View file

Before

Width:  |  Height:  |  Size: 1.7 KiB

After

Width:  |  Height:  |  Size: 1.7 KiB

View file

@ -11,6 +11,8 @@
\usepackage{caption}
\usepackage[left=2cm,right=2cm,top=2cm,bottom=2cm]{geometry}
\usepackage{todo}
% Custom packages
\usepackage{leftrule_theorems}
\usepackage{my_listings}
@ -18,10 +20,10 @@
\usepackage{math}
\usepackage{concurgames}
\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
\newcommand{\todo}[1]{\colorbox{orange}{\qtodo{\textbf{TODO:} #1}}}
\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
\newcommand{\note}[1]{\qnote{\textbf{NOTE:} #1}}
%\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
%\newcommand{\todo}[1]{\colorbox{orange}{\qtodo{\textbf{TODO:} #1}}}
%\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
%\newcommand{\note}[1]{\qnote{\textbf{NOTE:} #1}}
\author{Théophile \textsc{Bastian}, supervised by Glynn \textsc{Winskel}
and Pierre \textsc{Clairambault} \\
@ -358,9 +360,9 @@ corresponds to the game tree
\[
\begin{tikzpicture}
\node (1) [ellipse] {A} ;
\node (2) [below left of=1, ellipse] {B};
\node (3) [below right of=1, ellipse] {C};
\node (1) at (0.5,1.2) {A} ;
\node (2) at (0,0) {B};
\node (3) at (1,0) {C};
\path [->]
(1) edge (2)
@ -457,9 +459,9 @@ a positive polarity.
The ESP of the previous example would then be
\[
\begin{tikzpicture}
\node (1) [draw=red, ellipse] {A};
\node (2) [draw=red, ellipse, right of=1] {B};
\node (3) [draw=green, ellipse, below left of=1, below right of=2] {C};
\node (1) at (0,1.6) [draw=red, ellipse] {A};
\node (2) at (1,1.6) [draw=red, ellipse] {B};
\node (3) at (0.6,0) [draw=green, ellipse] {C};
\path[->]
(1) edge (3)
(2) edge (3);

6
report/todo.sty Normal file
View file

@ -0,0 +1,6 @@
\usepackage[dvipsnames]{xcolor}
\newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}}
\newcommand{\todo}[1]{\qtodo{\textbf{TODO:}\.#1}}
\newcommand{\qnote}[1]{\colorbox{Cerulean}{\textcolor{Sepia}{[#1]}}}
\newcommand{\note}[1]{\qnote{\textbf{NOTE:}\.#1}}

View file

Before

Width:  |  Height:  |  Size: 1 KiB

After

Width:  |  Height:  |  Size: 1 KiB

6
slides/Makefile Normal file
View file

@ -0,0 +1,6 @@
TEX=slides.tex
all: $(TEX)
pdflatex $(TEX)
pdflatex $(TEX)

36
slides/slides.tex Normal file
View file

@ -0,0 +1,36 @@
\documentclass[11pt]{beamer}
\usetheme{Warsaw}
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{my_listings}
\usepackage{my_hyperref}
\usepackage{math}
\setbeamertemplate{navigation symbols}{}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\author{Théophile \textsc{Bastian}\\
\small{Sous la supervision de Glynn \textsc{Winskel} et Pierre
\textsc{Clairambault}}}
\title{Soutenance de stage\\
Structures d'événements dans la sémantique des jeux}
\date{Juin\,--\,Juillet 2016}
%\logo{}
\institute{Computer Laboratory --- Cambridge, UK}
\begin{document}
\begin{frame}
\titlepage{}
\tableofcontents
\end{frame}
%\begin{frame}
%\tableofcontents
%\end{frame}
\end{document}