t_wの輪郭

RSS

完全半順序

完全半順序

2025/3/3 12:39:00

『第1回whileプログラム - 01.pdf』

帰納的関数、チューリング機械、ラムダ計算は同等完全半順序任意のプログラムはwhileが1つのプログラムに変換できる『Elements in Mathematics for Information Science 2020』

『第1回whileプログラム - 01.pdf』

2025/3/3 12:35:00

http://web.sfc.keio.ac.jp/~hagino/mi20/01.pdf