Valeria, eu acabei de usar o "captions editor" do próprio YouTube Studio e fiquei muito bem impressionado com o resultado. Ele conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e permite-me corrigir o texto com muita facilidade. Agora, *haja tempo* para ouvir os vídeos e editar as legendas...
Fiz o experimento, em particular, com o vídeo sobre "Correção e completude para a Lógica de Primeira Ordem Clássica" (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta rodada. Ficou bom, basta você ligar o "close caption" do YouTube pra ver. O problema foi que já encontrei um erro na minha narração: eu falo a palavra "universal" ao me referir a um "existencial", descrevendo o método de Henkin. :-(:-(:-( Vou culpar o referee, neste caso, por ter me feito assistir mais uma vez a mim mesmo! ;-b Abraços, Joao Marcos On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva <[email protected]> wrote: > > Muito legal, parabens pela iniciativa! > voces fizeram voice2text dos videos?abs > Valeria > > > > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos <[email protected]> wrote: >> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * >> >> Introdução Computacional à Lógica Matemática >> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica >> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com >> sabor levemente computacional, cobrindo (presentemente) os temas: >> - relações de consequência >> - sintaxe lógica proposicional e de primeira ordem >> - o formalismo da Dedução Natural >> - as estruturas de interpretação (clássicas) de primeira ordem >> Faço observar que o material foi criado para cobrir um curso >> introdutório (formal) correspondente a aproximadamente 30 horas-aula, >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente >> editada. >> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * >> >> Este material foi construído ao longo de dois meses de trabalho >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e >> de Patrick Terrematte. >> >> Comentários e sugestões dos colegas que possam impactar eventuais >> futuras atualizações desta videopédia são sempre bem-vindos! >> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa >> comunidade, >> Joao Marcos >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> >> -- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >> um e-mail para [email protected]. >> Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com. > > > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://www.cs.bham.ac.uk/~vdp/ > -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com.
