Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2019-rad2019.tex") % (defun c () (interactive) (find-LATEXsh "lualatex -record 2019-rad2019.tex" :end)) % (defun d () (interactive) (find-pdf-page "~/LATEX/2019-rad2019.pdf")) % (defun e () (interactive) (find-LATEX "2019-rad2019.tex")) % (defun u () (interactive) (find-latex-upload-links "2019-rad2019")) % (find-pdf-page "~/LATEX/2019-rad2019.pdf") % (find-sh0 "cp -v ~/LATEX/2019-rad2019.pdf /tmp/") % (find-sh0 "cp -v ~/LATEX/2019-rad2019.pdf /tmp/pen/") % file:///home/edrx/LATEX/2019-rad2019.pdf % file:///tmp/2019-rad2019.pdf % file:///tmp/pen/2019-rad2019.pdf % http://angg.twu.net/LATEX/2019-rad2019.pdf % (find-LATEX "2019.mk") \documentclass[oneside]{article} \usepackage[colorlinks,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref") \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{pict2e} \usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor") %\usepackage{colorweb} % (find-es "tex" "colorweb") %\usepackage{tikz} % % (find-dn6 "preamble6.lua" "preamble0") %\usepackage{proof} % For derivation trees ("%:" lines) %\input diagxy % For 2D diagrams ("%D" lines) %\xyoption{curve} % For the ".curve=" feature in 2D diagrams % \usepackage{edrx15} % (find-LATEX "edrx15.sty") \input edrxaccents.tex % (find-LATEX "edrxaccents.tex") \input edrxchars.tex % (find-LATEX "edrxchars.tex") \input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex") \input edrxgac2.tex % (find-LATEX "edrxgac2.tex") % % (find-es "tex" "geometry") \begin{document} \catcode`\^^J=10 \directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua") % %L dofile "edrxtikz.lua" -- (find-LATEX "edrxtikz.lua") % %L dofile "edrxpict.lua" -- (find-LATEX "edrxpict.lua") % \pu \def\CH#1{#1} \def\CH#1{{\color{red}#1}} \def\CH#1{{\directlua{print(); print("CH", #1)}}#1} \def\CH#1{{\directlua{print(); print("CH", #1)}}{\color{red}#1}} {\setlength{\parindent}{0em} % \footnotesize Eduardo Nahum Ochs - Prof. adjunto, RCN/CURO/UFF - SIAPE 1669224 Dados do RAD 2018 - a serem postos no sistema em 11/jan/2019. } \bsk \section{Atividades de administração} Reuniões de departamento (RCN). Carga horária: \CH{22} horas no total. \section{Comissão de monitoria} \section{Atividades de aula} Todas as aulas foram dadas no CURO (Rio das Ostras) para turmas de graduação em Ciência da Computação e Engenharia de Produção. A carga horárias destas turmas só têm aulas ``teóricas'', sem horas ``práticas'' ou ``de estágio''. \subsection{2018.1} % (find-TH "2018.1") Cálculo 2 (turma C1 - ? alunos). CH atividade: \CH{64} horas, CH acessória: \CH{128} horas. \msk Geometria Analítica e Cálculo Vetorial (turma K1 - 34 alunos). CH atividade: \CH{64} horas, CH acessória: \CH{128} horas. \msk Lambda-Cálculo, Lógicas e Linguagens de Programação (turma C1 - 3 alunos). CH atividade: \CH{32} horas, CH acessória: \CH{128} horas. \subsection{2018.2} % (find-TH "2018.2") Cálculo 2 (turma C1 - 14 alunos). CH atividade: \CH{64} horas, CH acessória: \CH{128} horas. Matemática Discreta: duas turmas. % Geometria Analítica e Cálculo Vetorial (turma K1 - 34 alunos). CH % atividade: \CH{64} horas, CH acessória: \CH{128} horas. % % Lambda-Cálculo, Lógicas e Linguagens de Programação (turma C1 - 8 % alunos). CH atividade: \CH{32} horas, CH acessória: \CH{128} horas. \section{Orientações} Orientação do monitor de Matemática Discreta (Matheus Lobo dos Santos, matrícula ?). Carga horária: \CH{80} horas no total. \section{Outros} Participação na banca de seleção de monitor de Matemática Discreta. Carga horária: \CH{4} horas. % (ranp 1) % (radp 1) \section{Pesquisa} % (find-TH "math-b" "zhas-for-children-2") % (find-TH "math-b" "visualizing-gms-unilog-2018") % (find-TH "math-b" "logic-for-children-unilog-2018") % (find-TH "math-b" "tug-2018") % _ _ _ _ % | | | |_ __ (_) | ___ __ _ % | | | | '_ \| | |/ _ \ / _` | % | |_| | | | | | | (_) | (_| | % \___/|_| |_|_|_|\___/ \__, | % |___/ % \subsection{UniLog 2018} O UniLog 2018 - 6th World Congress and School on Universal Logic - aconteceu em Vichy, na França, em 16-26 de junho de 2018. \CH{80} horas. % (find-TH "math-b" "logic-for-children-unilog-2018") % file:///home/edrx/TH/L/math-b.html#logic-for-children-unilog-2018 \subsubsection{Logic for Children: vídeo de divulgação} Vídeo de divulgação \subsubsection{Logic for Children: workshop} Workshop em si \subsubsection{Visualizing Geometric Morphisms} % (find-TH "math-b" "visualizing-gms-unilog-2018") % file:///home/edrx/TH/L/math-b.html#visualizing-gms-unilog-2018 O título da apresentação vai ser``Visualizing geometric morphisms''. Preparação do abstract e início da preparação dos slides: \CH{32} horas. \ssk Abstract da apresentação: \url{http://angg.twu.net/LATEX/2017visualizing-gms.pdf} \subsection{Planar Heyting Algebras for Children 1, 2, 3} Revisão (em andamento) da parte 1 a pedido dos pareceristas: ?? horas Alterações na parte 2 (ainda não submetida): ?? horas % ____ _ _ __ % | _ \ ___ __| |_ __ __ _| |_ / /_ % | | | |/ _ \/ _` | '_ \ / _` | __| '_ \ % | |_| | __/ (_| | | | | (_| | |_| (_) | % |____/ \___|\__,_|_| |_|\__,_|\__|\___/ % % (find-TH "math-b" "tug-2018") % file:///home/edrx/TH/L/math-b.html#tug-2018 \subsection{TUG 2018} ``Dednat6: an extensible (semi-)preprocessor'': preparação dos slides: ?? horas. Participação na conferência TUG 2018 (TeX Users Group metting), no Rio de Janeiro, dias ??-??: ?? horas. ``Dednat6: an extensible (semi-)preprocessor'': artigo: ??. Publicado no TUGBoat; link. Dednat6: pacote de software. Preparação da homepage, da documentação extra, release e divulgação extra: ?? horas. \subsection{Dednat6: an extensible (semi-)preprocessor for LuaLaTeX...} Preparação dos slides para a apresentação: ?? horas Preparação do artigo para o TUGBoat: ?? horas Preparação do pacote para o Dednat6, com documentação extra: ?? horas \end{document} % Local Variables: % coding: utf-8-unix % ee-tla: "rad" % End: