サクサク読めて、アプリ限定の機能も多数！
“あらゆる値に対して必ず何らかの値を返して停止するという性質（「全域性」とか「停止性」などと呼ばれます）”
mumei-0 のブックマーク 2024/03/02 08:23
このブックマークにはスターがありません。 最初のスターをつけてみよう！
golden-lucky.hatenablog.com2024/03/01
本記事は、ラムダノートで発売している『定理証明手習い』を買っていただいた方に「読んで」とお願いするための「私家版、読み方のおすすめ」です。そもそも定理証明とか自分には関係ないしっていう人も多いと思...
7 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
“あらゆる値に対して必ず何らかの値を返して停止するという性質（「全域性」とか「停止性」などと呼ばれます）”
このブックマークにはスターがありません。
最初のスターをつけてみよう！
『定理証明手習い』の読み方（私論） - golden-luckyの日記
本記事は、ラムダノートで発売している『定理証明手習い』を買っていただいた方に「読んで」とお願いするための「私家版、読み方のおすすめ」です。そもそも定理証明とか自分には関係ないしっていう人も多いと思...
7 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／