07/10/17 22:29:55
よく考えたら>>550の定義ではできないな。
つまり、6スレ37のλ項ではできないな。
なぜなら>>550の定義は6スレ37のλ項の動作の記述だから。
07/10/17 22:29:55
よく考えたら>>550の定義ではできないな。
つまり、6スレ37のλ項ではできないな。
なぜなら>>550の定義は6スレ37のλ項の動作の記述だから。
07/10/17 22:29:55
よく考えたら>>550の定義ではできないな。
つまり、6スレ37のλ項ではできないな。
なぜなら>>550の定義は6スレ37のλ項の動作の記述だから。