yasuo kominami's List: cs

www.comlab.ox.ac.uk/bob.coecke computing oxford

books.google.com/books tools notions

en.wikipedia.org/...Directed_acyclic_graph dag　graph

www.washi.cs.waseda.ac.jp/...SSR2009 research aop

homepage1.nifty.com/index.htm physics em relativity

github.com/categories categories agda