|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2025-rad2024.tex")
% (defun e () (interactive) (find-LATEX "2025-rad2024.tex"))
% (defun o () (interactive) (find-LATEX "2024-rad2023.tex"))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (find-lualatex-links "2025-rad2024" "rad")
% (find-fline "~/PURO/" "RAD_1669224_2024_2025_ochs.pdf")
% (find-pdf-page "~/PURO/RAD_1669224_2024_2025_ochs.pdf")
% (find-pdf-text8 "~/PURO/RAD_1669224_2024_2025_ochs.pdf")
% https://mail.google.com/mail/u/0/#inbox/FMfcgzQZSjbvlGwfsVqSNJbFMHvCGMpk
(+
(+ ;;;;; Aulas
; (find-TH "2024.1")
90 180 ; Cálculo 2A 2024.1
60 120 ; Cálculo 3A 2024.1
; (find-TH "2024.2")
90 180 ; Cálculo 2A 2024.2
60 120 ; Cálculo 3A 2024.2
)
(+ 20 ; Reuniões de departamento
40 ; Processo Administrativo Disciplinar nº23069.020150/2022-64:
; compilação de documentos, transcrição de áudios, produção de
; softwares para indexar tudo, preparação para os processos
; seguintes.
)
(+ ;;;;; Eev
120 ; "Emacs, eev, and Maxima - now!" - apresentação na EmacsConf 2024.
; Link: <http://anggtwu.net/emacsconf2024.html>.
;
; (find-TH "emacsconf2024")
20 ; "Trying eev with a sexp": um modo de instalar o eev em
; segundos, acessível para pessoas com pouquíssima experiência
; com o Emacs - como os nossos alunos de Cálculo 2 e Cálculo 3.
; Link: <http://anggtwu.net/2024-find-tryit-links.html>.
;
; (find-TH "2024-find-tryit-links")
; (find-TH "2024-trying-eev-with-a-sexp")
40 ; show-conses.el - uma biblioteca para o Emacs que desenha "cons
; cell diagrams" e alguns outros tipos de árvores. Link:
; <http://anggtwu.net/show-conses.html>
;
; (find-TH "show-conses")
40 ; Um mini-tutorial de SQLite (para discussão com alunos da
; Computação). Link: <http://anggtwu.net/e/sqlite.e.html>
;
; (find-es "sqlite")
10 ; "Calling Lua from Common Lisp (with eev and CFFI)". Link:
; <http://anggtwu.net/2025-calling-lua-from-common-lisp.html>
;
; (find-TH "2025-calling-lua-from-common-lisp")
10 ; "Trying debugger.lua with a sexp". Link:
; <http://anggtwu.net/2025-debugger-lua.html>
;
; (find-TH "2025-debugger-lua")
10 ; "An example of a bash script with test blocks". Link:
; <http://anggtwu.net/2024-bash-test-blocks.html>.
;
; (find-TH "2024-bash-test-blocks")
20 ; "Piano Roll Macros". Link:
; <http://anggtwu.net/2024-piano-roll-macros.html>
;
; (find-TH "2024-piano-roll-macros")
)
(+ ;;;;; Maxima
150 ; "Oficina permanente de Emacs, eev e Maxima": grupo no Telegram
; com todos os alunos de Cálculo 2 e Cálculo 3 - que podiam
; fazer alguns "testes relâmpago" de Maxima pra ganhar pontos
; extras - e algumas pessoas externas; o vídeo de divulgação se
; chamava "Convite: Maxima". Link pro vídeo:
; <http://anggtwu.net/2024-convite-maxima.html>
;
; (find-TH "2024-convite-maxima")
80 ; "Eev and (My)Qdraw". O qdraw é uma biblioteca do Maxima e o
; myqdraw é uma extensão do qdraw que serve principalmente pra
; desenhar algumas figuras e animações que usamos em Cálculo 2 e
; 3. A documentação do myqdraw é feita em eev e ele foi testado
; por alguns alunos de Cálculo 2 e 3 e pelo Leonan Euriques, um
; aluno do Ensino Médio que mora no Pará e que tem participado
; das atividades com Maxima. Link:
; <http://anggtwu.net/eev-qdraw.html>
;
; (find-TH "eev-qdraw")
80 ; "LispTree: Draw Maxima objects as trees (using Lisp)" - uma
; biblioteca pro Maxima, escrita em Common Lisp. Link:
; <http://anggtwu.net/lisptree.html>.
;
; (find-TH "lisptree")
)
(+ ;;;; Dednat7
40 ; Dednat7 - uma versão bem mais fácil de debugar do Dednat6,
; cuja descrição era: "Dednat6: an extensible
; (semi-)preprocessor for LuaLaTeX that understands diagrams in
; ASCII art". Links: <http://anggtwu.net/dednat6.html> e
; <http://anggtwu.net/eev-emaxima.html#dednat7>.
;
; (find-TH "eev-emaxima" "dednat7")
)
(+ ;;;; Lean
200 ; "Oficina de Lean4, versão 0" - uma oficina online, por
; Telegram, para estudantes de Lógica. Links:
; <http://anggtwu.net/eev-lean4.html> e
; <http://anggtwu.net/2024-lean4-oficina-0.html>.
;
; (find-TH "2024-lean4-oficina-0")
; (find-TH "2024-lean4-oficina-0-aula-2")
20 ; "Adapting Lean tutorials to the Brazilian case" - abstract
; submetido para o EBL 2025. Link:
; <http://anggtwu.net/math-b.html#2025-ebl>.
;
; (find-TH "math-b" "2025-ebl")
)
(+ ;;;; Panic
40 ; "Panic! At equalities" - apresentação no "Retiro de
; Teresópolis" em 18/jun/2024 (e participação no retiro). Link:
; <http://anggtwu.net/math-b.html#2024-panic-t>
;
; (find-TH "math-b" "2024-panic-t")
)
)
% Local Variables:
% coding: utf-8-unix
% modes: (fundamental-mode emacs-lisp-mode)
% ee-tla: "rad"
% End: