先週から、計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を使ってゼミをしているのだが、トータルで4時間くらいしか経っていないのに、自然数関数に関して上の命題が示せて、すごいなぁと思っている。左辺は、厳密には、Nプログラムで計…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。