>>484
じゃ命題のトポロジーの話でもするか。
OOに同適用するとか。(メッセージでどう繋ぐとか)