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