3,400 followers
https://t.co/9YUuCZ7i2Z MTTという計算モデルは合成すればするほど表現力があがる(証明:なぜなら合成するほど巨大な出力を出せるから)という従来の話を、出力をバカでかくしない計算に限れば合成で閉じてることを示して表現力といいつつ実は出力の爆発力だけ上がってた事を明らかにしてて格好良い
https://t.co/9YUuCZ7i2Z MTTという計算モデルは合成すればするほど表現力があがる(証明:なぜなら合成するほど巨大な出力を出せるから)という従来の話を、出力をバカでかくしない計算に限れば合成で閉じてることを示して表現力といいつつ実は出力の爆発力だけ上がってた事を明らかにしてて格好良い
興味あるのは、 https://t.co/9YUuCZ7i2Z みたいな話を線形サイズ増加から多項式サイズ増加くらいには一般化できそうな気がする(2個合成か次数個合成くらいで抑えられそうな気がする)みたいな話をやりたいからなんですけど、