計算理論とOverlay/サーベイメモ | IDEON合宿/2006春
IDEON合宿がおわるころには、このページ(あるいは IdeonInternal:計算理論とOverlay)があたらしい研究フィールドとアイデアで埋め尽されている予定。