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

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


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


stub


特に記載のない限り、コミュニティのコンテンツはCC-BY-SAライセンスの下で利用可能です。