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