今日も相変わらず数学のようなことをして過ごした.僕の専門は計算機科学にもよく応用されているけれど,本領は証明論における構成的な論理の下地作りであって,応用を前提とした構成になってはいない.コンピュータをある視点から捉えると,コンピュータの…
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.