Entries from 2009-09-22 to 1 day
ようやく論理の話が出てくる節なのですが、何というか、どこに感動すればいいのかよくわかりません。確かに coalgebra を使うことでそれらしい一般化はできているようなのですが、そんなに自然なやり方にも見えないし見通しがよくなった気もあまりしないし。…
ようやく論理の話が出てくる節なのですが、何というか、どこに感動すればいいのかよくわかりません。確かに coalgebra を使うことでそれらしい一般化はできているようなのですが、そんなに自然なやり方にも見えないし見通しがよくなった気もあまりしないし。…