型の多項式
http://d.hatena.ne.jp/m-hiyama/20060518/1147921359
「積型(組)と和型(バリアント)はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが…
http://d.hatena.ne.jp/m-hiyama/20060518/1147921359
「積型(組)と和型(バリアント)はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが…