twigs:possibletopics
Differences
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? | ||
twigs/possibletopics.1212720930.txt.gz · Last modified: 2009/02/24 23:53 (external edit)
Page Tools
