Skip to content

Instantly share code, notes, and snippets.

View adolfont's full-sized avatar

Adolfo Neto adolfont

View GitHub Profile
@adolfont
adolfont / iamaprogrammer.clj
Created June 25, 2012 14:24
I am a programmer
(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)
@adolfont
adolfont / runner1.clj
Created July 27, 2012 13:26
Clojure Test 27.07.2012
(defrecord Runner [name distance info url])
(def joaquim-cruz
(->Runner
"Joaquim Cruz"
"800m"
"Brazilian Olympic gold medalist"
"http://en.wikipedia.org/wiki/Joaquim_Cruz"))
@adolfont
adolfont / ke.clj
Created July 27, 2012 14:39
Tests e Classe KE
(ns ke)
(defrecord AtomicFormula [name])
;; RUIM
(defmethod print-method AtomicFormula [o w]
(print-simple
(str (:name o))
w
)
@adolfont
adolfont / ke.clj
Created July 30, 2012 14:19
Partial Implementation of KE Method rules
(ns ke)
; formulas
(defrecord AtomicFormula [name])
(defrecord UnaryFormula [connective subformula])
(defrecord BinaryFormula [connective left-subformula right-subformula])
@adolfont
adolfont / ke.clj
Created July 30, 2012 14:42
Partial Implementation of KE Method rules - 2
(ns ke)
; formulas
(defrecord AtomicFormula [name])
(defrecord UnaryFormula [connective subformula])
(defrecord BinaryFormula [connective left-subformula right-subformula])
@adolfont
adolfont / gist:7470304
Created November 14, 2013 16:57
Dojo de 14/11/2013
package utfpr;
import static org.junit.Assert.*;
import java.lang.*;
import org.junit.Test;
public class PalavrasPrimasTest {
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
@adolfont
adolfont / gist:9b14cfa28f5269302cc2
Last active August 29, 2015 14:13
Test discussion
This is a test.
package adolfoneto;
import static org.junit.Assert.*;
import org.junit.Before;
import org.junit.Test;
public class BuracosTest {
package adolfoneto;
public class Buracos {
public int contaBuracos(String frase) {
int somaDeBuracos = 0;
for (int i=0; i<frase.length();i++)
{