「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的説明
発端 @fumieval 様のツイート。 空の配列を渡したら True を返すべき この関数に空の配列を渡したら True を返すべきである。仕様によるとか状況によるとか相談すべきとか例外を返すべきかもといった意見もあるようだが、議論の余地がないレベルで True を返すしかない。最大の理由は 「True を返さないと、空集合があらゆる集合の部分集合になるというルールに矛盾するから」 である。これは数学における集合論の定理のひとつであり、「これを認めないとそれに連なる集合論のすべてが瓦解する」というルールのひとつであって、認めない相応の理由があるとすれば「数学のもっとも基礎的なルールのひとつを覆してでも実現しなければならないことがある」という次元での話になる。 少なくとも私は 10 年以上プログラミングをしていてそんな状況に遭遇したことはない。 【2023/06/01 追記】 数式がわから
「前置き・締めのあいさつは不要」「情報共有は多すぎると思うくらいがちょうどいい」とある会社のSlackガイドラインが参考になる
Hibiki Ishida Crawley @HICByAnyMeans @semlabo 社内では前置き・締めのあいさつは不要な点は新鮮でした。 前置き挨拶等がなくてイライラしたりしてしまう人がいるなら、むしろその人がタスクを持ちすぎて溢れている等別のところに問題があると疑うのでしょうか？？ 2023-05-31 09:57:59 sem_master @semlabo @HICByAnyMeans いえ、前置きや締めの挨拶自体無駄だなと思うからですね。メールの「お世話になります」ってほとんどの人がいらないなと思ってるじゃないですか。あんなイメージです。我々にとってはあくまでSlackは仕事を円滑に進めるためのものなので。コミュニケーションは別で取れば良いですしね。勿論会社のカル… twitter.com/i/web/status/1… 2023-05-31 10:41:12
RDSのDBメンテナンスについて
内容 らくがき記事、RDSでダウンタイムなしの24-365構成ってどうすればと思い書いている記事です。 とりあえずはRDSでメンテナンスやアップデート処理が走る時に、サービスダウンするのか否かを整理した資料となります。 RDS(MySQL)の整理 機能概要 最大 64 TiB のデータベースサイズをサポート 汎用インスタンスクラス、メモリ最適化インスタンスクラス、およびバースト可能パフォーマンスインスタンスクラスをサポート 自動バックアップとポイントインタイムリカバリをサポート。 単一のリージョン内または 5 つのリードレプリカのクロスリージョン内で、インスタンスごとに最大 15 個のリードレプリカをサポート 可用性と耐久性 ３種類のオプションが選択可能 単一DBインスタンス スタンバイインスタンスのない単一の DB インスタンスを作成します。 マルチAZ DBインスタンス 別のアベイラビ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IIJ、6月16日施行の「Cookie規制」 を解説〜多くのサイトやアプリが対象になり、情報の公表などが義務に 
個人情報保護法の改正によってCookieが規制対象に
NRI Data Science BLOG
