Compare commits
4 commits
9c452f5f22
...
9905d42396
Author | SHA1 | Date | |
---|---|---|---|
Théophile Bastian | 9905d42396 | ||
Théophile Bastian | 541234a049 | ||
Théophile Bastian | d0588d3a69 | ||
Théophile Bastian | fdb5d06dbf |
4
.gitignore
vendored
4
.gitignore
vendored
|
@ -7,4 +7,6 @@
|
|||
*.blg
|
||||
*.toc
|
||||
|
||||
_build/*
|
||||
**/_build/*
|
||||
*.nav
|
||||
*.snm
|
||||
|
|
10
report/.gitignore
vendored
Normal file
10
report/.gitignore
vendored
Normal file
|
@ -0,0 +1,10 @@
|
|||
*.aux
|
||||
*.log
|
||||
*.pdf
|
||||
*.swp
|
||||
*.out
|
||||
*.bbl
|
||||
*.blg
|
||||
*.toc
|
||||
|
||||
_build/*
|
Before Width: | Height: | Size: 1.7 KiB After Width: | Height: | Size: 1.7 KiB |
|
@ -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
6
report/todo.sty
Normal 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}}
|
Before Width: | Height: | Size: 1 KiB After Width: | Height: | Size: 1 KiB |
6
slides/Makefile
Normal file
6
slides/Makefile
Normal file
|
@ -0,0 +1,6 @@
|
|||
TEX=slides.tex
|
||||
all: $(TEX)
|
||||
pdflatex $(TEX)
|
||||
pdflatex $(TEX)
|
||||
|
||||
|
36
slides/slides.tex
Normal file
36
slides/slides.tex
Normal 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}
|
||||
|
Loading…
Reference in a new issue