This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
twigs:possibletopics [2008/06/06 02:55] jaeheon created |
twigs:possibletopics [2009/02/24 23:58] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | * What is the relationship between aspect-oriented programming and meta-object protocols? (Tom) | ||
+ | * What is category theory? | ||
+ | * <del>What is a monad?</del> (Kenn) | ||
+ | * What is fractional graph theory? | ||
+ | * <del>What is a memory model?</del> (Jaeheon) | ||
* Functional Pearl: A program to solve Sudoku | * Functional Pearl: A program to solve Sudoku | ||
* What is abduction? | * What is abduction? | ||
Line 14: | Line 19: | ||
* What is VFS? (Ian) | * What is VFS? (Ian) | ||
* What is a co-Buchi Game? (Ian) | * What is a co-Buchi Game? (Ian) | ||
- | * What is a quasi-inverse? (Jordan) | + | * <del>What is a quasi-inverse? (Jordan)</del> |
* What is Craig Interpolation? (Cormac) | * What is Craig Interpolation? (Cormac) | ||
* What is counter-example guided abstraction? (Cormac) | * What is counter-example guided abstraction? (Cormac) | ||
Line 31: | Line 36: | ||
* What is synthetic topology? | * What is synthetic topology? | ||
* What is algorithmic music composition? | * What is algorithmic music composition? | ||
- | * What is human cognition? | + | * <del>What is human cognition?</del> (Sherol) |
* What is a drama manager? | * What is a drama manager? |