巨大数研究 Wiki
Advertisement
巨大数研究 Wiki

今のところ型理論とcategorical semanticsを勉強して生きている者です。

巨大数分野では巨大数やそれを産む関数に対するimplicit analysisができたりしないかということに興味があります。 implicit analysisとはimplicit complexityのノリで今作った造語です。


Twitterの@merlibornは私ですが、巨大数の話はほとんどしていません。


stub


Advertisement