2009-09-30 チャネル回りの意味論 研究 主テーマ チャネルの導入とその動作の操作的な意味定義がおかしい、いい加減だというわけで急遽見直ししている。どんなにダサくても、ちゃんと動作が復元できる、操作的意味をつくるしかない。もう明後日提出だし。。