This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defn important [] | |
(println) | |
(println "I am a programmer") | |
(println "Yes, I am also a professor. I write papers, I advise students. I teach classes.") | |
(println "But, Adolfo, you must remember you are a programmer!") | |
(println) | |
) | |
(important) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defrecord Runner [name distance info url]) | |
(def joaquim-cruz | |
(->Runner | |
"Joaquim Cruz" | |
"800m" | |
"Brazilian Olympic gold medalist" | |
"http://en.wikipedia.org/wiki/Joaquim_Cruz")) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns ke) | |
(defrecord AtomicFormula [name]) | |
;; RUIM | |
(defmethod print-method AtomicFormula [o w] | |
(print-simple | |
(str (:name o)) | |
w | |
) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns ke) | |
; formulas | |
(defrecord AtomicFormula [name]) | |
(defrecord UnaryFormula [connective subformula]) | |
(defrecord BinaryFormula [connective left-subformula right-subformula]) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns ke) | |
; formulas | |
(defrecord AtomicFormula [name]) | |
(defrecord UnaryFormula [connective subformula]) | |
(defrecord BinaryFormula [connective left-subformula right-subformula]) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package utfpr; | |
import static org.junit.Assert.*; | |
import java.lang.*; | |
import org.junit.Test; | |
public class PalavrasPrimasTest { | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Um amigo meu que está no Tennesse disse que certo dia o professor que está recebendo ele (em todo pós-doutorado algum professor da Universidade recebe o visitante) simplemente anunciou para 2 bolsistas (se não me engano da China) que um ia perder a bolsa e outro ia passar a receber metade da bolsa, pois tinha acabado os fundos. Aqui é assim... Os dois tiveram que arrumar empregos para continuar o Doutorado. | |
Quando visitei um lab numa grande universidade a história foi parecida. Segundo a pessoa que gerenciava, todo mundo que trabalhava lá estava recebendo através de verbas de projetos. Quando os projetos acabassem e se não houvesse aprovação de novos projetos, as pessoas teriam que procurar outra ocupação. | |
Até o espaço da universidade está relacionado a projetos. Se a verba acaba e você não consegue aprovar outros projetos, o espaço (salas, laboratórios) vai para outros pesquisadores. Soube de um professor antigo, com muitas publicações, que perdeu bastante espaço. | |
E como se consegue verba de projeto? Sub |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This is a test. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package adolfoneto; | |
import static org.junit.Assert.*; | |
import org.junit.Before; | |
import org.junit.Test; | |
public class BuracosTest { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package adolfoneto; | |
public class Buracos { | |
public int contaBuracos(String frase) { | |
int somaDeBuracos = 0; | |
for (int i=0; i<frase.length();i++) | |
{ |