Entries from 2009-11-05 to 1 day
細かいところはだんだん書くのが面倒になってきたので気になった部分だけ informal に。わりと技術的なところからくる動機づけがあって、実はそれが counterpart theory という古くから考えられてきた話と関係がありそうだという展開。*1 代入の問題 前節で…
細かいところはだんだん書くのが面倒になってきたので気になった部分だけ informal に。わりと技術的なところからくる動機づけがあって、実はそれが counterpart theory という古くから考えられてきた話と関係がありそうだという展開。*1 代入の問題 前節で…