サクサク読めて、アプリ限定の機能も多数！
記号論理学に従えば「常に真」と決まっている。集合Aは常に「集合Aと空集合の和」と書けるから、空集合がfalse返すとtrueを返せる集合はこの世に一つも存在しないことになる（笑）
deep_one のブックマーク 2023/05/31 11:33
このブックマークにはスターがありません。 最初のスターをつけてみよう！
blog.3qe.us2023/05/30
こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ ...
135 人がブックマーク・33 件のコメント
＼ コメントが サクサク読める アプリです ／
記号論理学に従えば「常に真」と決まっている。集合Aは常に「集合Aと空集合の和」と書けるから、空集合がfalse返すとtrueを返せる集合はこの世に一つも存在しないことになる（笑）
このブックマークにはスターがありません。
最初のスターをつけてみよう！
畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル
こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ ...
135 人がブックマーク・33 件のコメント
＼ コメントが サクサク読める アプリです ／