Mudanças entre as edições de "Pedro Saccomani"
Ir para navegação
Ir para pesquisar
(→Citações (omitidas as de caráter duvidoso)) |
(→Curiosidades) |
||
| (3 revisões intermediárias por um outro usuário não estão sendo mostradas) | |||
| Linha 9: | Linha 9: | ||
==Curiosidades== | ==Curiosidades== | ||
| − | *É de longe o maior fã do [[Yoshiharu Kohayakawa|Yoshi]]. Pretende seguir o avançado com ele (a página está sendo escrita no básico ainda), mas nunca teve coragem de pedir uma IC para ele – ainda confiamos que a tenha criado até o avançado. | + | *É de longe o maior fã do [[Yoshiharu Kohayakawa|Yoshi]]. Pretende seguir o avançado com ele (a página está sendo escrita no básico ainda), mas nunca teve coragem de pedir uma IC para ele – ainda confiamos que a tenha criado até o avançado. Atualização: Realmente (felizmente) somos bem iludidos no começo/meio do básico, acabei indo pra algo bem diferente mas muito mais interessante ([https://en.wikipedia.org/wiki/Satisfiability_modulo_theories SMT]) :) |
*Seu espírito animal é o [[Nelson Mugayar Kuhl|Kuhl]]. Talvez sejam a mesma pessoa. | *Seu espírito animal é o [[Nelson Mugayar Kuhl|Kuhl]]. Talvez sejam a mesma pessoa. | ||
| − | |||
*Advindo da grande EACH, só não desistiu do CM porque não queria voltar para o curso de Sistema de Informação. | *Advindo da grande EACH, só não desistiu do CM porque não queria voltar para o curso de Sistema de Informação. | ||
*Já ganhou um x1 no lolzinho, usando o computador da sala do [[Inova USP|Inova]] com seus incríveis 20 fps, contra [[Davi Gressler de Oliveira|Davi]]. Nesse grande conflito, foi consolidado quem era o maior <s>virgem</s> nerdola da [[Turma 31|T31]]. | *Já ganhou um x1 no lolzinho, usando o computador da sala do [[Inova USP|Inova]] com seus incríveis 20 fps, contra [[Davi Gressler de Oliveira|Davi]]. Nesse grande conflito, foi consolidado quem era o maior <s>virgem</s> nerdola da [[Turma 31|T31]]. | ||
| Linha 22: | Linha 21: | ||
*Quando virar químico profissional vai sintetizar o complexo CuPeNIS. | *Quando virar químico profissional vai sintetizar o complexo CuPeNIS. | ||
*Gosta de chutar coisas que estão no chão, incluindo a própria vó caída. Afinal, segundo ele: "Se tá no chão, é pra chutar". | *Gosta de chutar coisas que estão no chão, incluindo a própria vó caída. Afinal, segundo ele: "Se tá no chão, é pra chutar". | ||
| + | *Encontrou metade dos chocotones da [[Grande Caçada dos Chocotones]] do [[Júlio Vinícius Rodrigues Miguel|Júlio]]. | ||
==Citações (omitidas as de caráter duvidoso)== | ==Citações (omitidas as de caráter duvidoso)== | ||
| Linha 36: | Linha 36: | ||
''"Onde é hoje?"'' - Saccomani após conferir a atualização do Cardápio à meia-noite de segunda-feira. | ''"Onde é hoje?"'' - Saccomani após conferir a atualização do Cardápio à meia-noite de segunda-feira. | ||
| + | |||
| + | ==Ciclo Avançado== | ||
| + | |||
| + | * '''Projeto:''' Técnicas de Computação Algébrica para Solucionadores SMT | ||
| + | * '''Orientador:''' [https://hanielbarbosa.com/ Haniel Barbosa] (DCC - UFMG) | ||
| + | |||
| + | ===Disciplinas=== | ||
| + | |||
| + | ====5º semestre (2023 - 2) ==== | ||
| + | |||
| + | * '''DCC??? Métodos Formais''' (4 Créditos/Aula) - Matéria ministrada pelo meu orientador, caso alguém venha a ter interesse por verificação/métodos formais, é uma matéria incrível, voltada mais para a parte instrumental, i.e familiarizar ê alune com linguagens de especificação/programação como [https://en.wikipedia.org/wiki/Alloy_(specification_language) Alloy] e [https://en.wikipedia.org/wiki/Dafny Dafny], além de uma introdução às técnicas/teoria que fundamentam essas ferramentas (o tema do meu avançado :)). Acredito que pela área ser relativamente pequena no Brasil, a matéria seja uma das únicas no que faz (e muito bem). | ||
| + | |||
| + | * '''MAC0315 Otimização Linear'''(4 Créditos/Aula) '''Prof: Leônidas de Oliveira Brandão''': Pior matéria do semestre de longe. Fiz ela para fundamentar o [https://en.wikipedia.org/wiki/Simplex_algorithm simplex], utilizado em problemas de satisfatibilidade sobre a teoria de aritmética linear. Não valeu a pena. | ||
| + | |||
| + | *'''MAC0385 Estruturas de Dados Avançadas''' (4 Créditos/Aula + 2 Créditos/Trabalho) '''Prof: Cristina G. Fernandes''': Aulas muito bem dadas e professora bastante atenciosa e flexivel quanto a prazos. Apesar disso, a matéria faz compensar (bastante) os 2 créditos trabalho, com muitas vezes eps sendo passados em todas aulas e de complexidade elevada, ainda assim, dá para aprender bastante no processo. | ||
| + | |||
| + | *'''MAC0414 Autômatos, Computabilidade e Complexidade''' (4 Créditos/Aula) '''Prof: José Coelho/Arnaldo Mandel''': Matéria não cobrou presença, mas para quem quiser ir, recomendo. O Coelho é um baita professor e dá aulas extremamente motivadoras e interessantes. | ||
| + | |||
| + | * '''CCM0318 Iniciação à Pesquisa I''' (12 créditos/Trabalho) | ||
Edição atual tal como às 18h14min de 14 de dezembro de 2023
O Homem Mais Bonito do CM
antisexo <3
🥜🥜 saccomani amendoim 🥜🥜
"Pedro Nussenzsveig ou Paulo Saccomani?", por Guei.
Índice
Curiosidades
- É de longe o maior fã do Yoshi. Pretende seguir o avançado com ele (a página está sendo escrita no básico ainda), mas nunca teve coragem de pedir uma IC para ele – ainda confiamos que a tenha criado até o avançado. Atualização: Realmente (felizmente) somos bem iludidos no começo/meio do básico, acabei indo pra algo bem diferente mas muito mais interessante (SMT) :)
- Seu espírito animal é o Kuhl. Talvez sejam a mesma pessoa.
- Advindo da grande EACH, só não desistiu do CM porque não queria voltar para o curso de Sistema de Informação.
- Já ganhou um x1 no lolzinho, usando o computador da sala do Inova com seus incríveis 20 fps, contra Davi. Nesse grande conflito, foi consolidado quem era o maior
virgemnerdola da T31. - Começou a falar "coxa" de ironia, mas com o tempo esse termo se tornou maior que ele. Agora não sabemos mais se é ironia...
- Tem costume de ignorar pessoas com quem estudou no ensino médio, não dando nem mesmo um "Bom dia".
- É otaku
fedidocheiroso, sendo grande fã de Neon Genesis Evangelion e Umineko: When They Cry, mas também aprecia cultura ocidental na forma da banda Car Seat Headrest. - Outro costume duvidoso de Saccomani é o de votar errado nas coisas...
Nãoé parente de Arnaldo Saccomani.- Já mandou um GIF totalmente duvidoso em um grupo sério e formal de trabalho de biologia chamado "grupo
do sexodos bioquímicos", esse fato mostrou a parte da Turma 31 quem era o verdadeiro Saccomani... - Quando virar químico profissional vai sintetizar o complexo CuPeNIS.
- Gosta de chutar coisas que estão no chão, incluindo a própria vó caída. Afinal, segundo ele: "Se tá no chão, é pra chutar".
- Encontrou metade dos chocotones da Grande Caçada dos Chocotones do Júlio.
Citações (omitidas as de caráter duvidoso)
"Coxa..." - Diz Saccomani a respeito de absolutamente tudo, incluindo problemas totalmente não triviais.
"Essa aula é meio coxa." - Essa é uma das aplicações da palavra coxa por Saccomani, o que quer dizer? Pode ser de tudo, desde uma aula chata até uma aula incrível.
"Sexo!" - É a outra frase de efeito dita por Saccomani. Há relatos de que em uma conversa entre Davi e Saccomani, a palavra "sexo" é repetida mais vezes do que qualquer livro erótico existente.
"O meu é mais grosso" - Essa foi uma frase ouvida em uma conversa entre Saccomani e José, não se sabe se o contexto da conversa era sobre as características físicas de um livro de Álgebra Linear ou algum contexto erótico, apenas que o clima entre os dois não era hostil naquele momento.
"Gente, eu posso falar 'Oi, bom dia!' na nossa apresentação e vocês fazem o resto?" - um pedido de Saccomani para o seminário de Química IV.
"Onde é hoje?" - Saccomani após conferir a atualização do Cardápio à meia-noite de segunda-feira.
Ciclo Avançado
- Projeto: Técnicas de Computação Algébrica para Solucionadores SMT
- Orientador: Haniel Barbosa (DCC - UFMG)
Disciplinas
5º semestre (2023 - 2)
- DCC??? Métodos Formais (4 Créditos/Aula) - Matéria ministrada pelo meu orientador, caso alguém venha a ter interesse por verificação/métodos formais, é uma matéria incrível, voltada mais para a parte instrumental, i.e familiarizar ê alune com linguagens de especificação/programação como Alloy e Dafny, além de uma introdução às técnicas/teoria que fundamentam essas ferramentas (o tema do meu avançado :)). Acredito que pela área ser relativamente pequena no Brasil, a matéria seja uma das únicas no que faz (e muito bem).
- MAC0315 Otimização Linear(4 Créditos/Aula) Prof: Leônidas de Oliveira Brandão: Pior matéria do semestre de longe. Fiz ela para fundamentar o simplex, utilizado em problemas de satisfatibilidade sobre a teoria de aritmética linear. Não valeu a pena.
- MAC0385 Estruturas de Dados Avançadas (4 Créditos/Aula + 2 Créditos/Trabalho) Prof: Cristina G. Fernandes: Aulas muito bem dadas e professora bastante atenciosa e flexivel quanto a prazos. Apesar disso, a matéria faz compensar (bastante) os 2 créditos trabalho, com muitas vezes eps sendo passados em todas aulas e de complexidade elevada, ainda assim, dá para aprender bastante no processo.
- MAC0414 Autômatos, Computabilidade e Complexidade (4 Créditos/Aula) Prof: José Coelho/Arnaldo Mandel: Matéria não cobrou presença, mas para quem quiser ir, recomendo. O Coelho é um baita professor e dá aulas extremamente motivadoras e interessantes.
- CCM0318 Iniciação à Pesquisa I (12 créditos/Trabalho)
