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