数理解析研究所講究録一般化量子チューリング機械と部分再帰関数に関する問題について (非可換解析とミクロ・マクロ双対性)聖史 入山, 雅則 大矢Published Jul 1, 2008• 0 citationsOpenAlex