Oi João. V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as legendas..."
Estou coordenando um grupo que faz exatamente esta tarefa sistematicamente, em vídeos genéricos do português. Para quê? para que possamos ter ferramentas de transcrição cada vez melhores e públicas para o português, devolver essas e outras ferramentas de processamento de linguagem natural. É um trabalho que requer disciplina e muito profissionalismo, que bom que você seja capaz de apreciar a importância deste trabalho, embora muitas agências de fomento e outros não tem uma visão tão positiva deste tipo de atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho de geração e coleta de dados. []s Em qua., 21 de out. de 2020 às 22:37, Joao Marcos <[email protected]> escreveu: > 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 > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 -- 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/CAGG7Aw02hrKynvjQDLg%3DHTSLr5gH6uHi2XCbK_LVVm%3DWRbr-wg%40mail.gmail.com.
