拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話

スイスのETH Zurich（スイス連邦工科大学チューリッヒ校）などに所属する研究者らが発表した論文「Single-site iron-anchored amyloid hydrogels as catalytic platforms for alcohol detoxification」は、食べるだけで血中アルコール濃度を大幅に低下させる、ゼリー状のハイドロゲルの開発について述べた研究報告である。 ▲血中アルコール濃度を低下させるハイドロゲルの外観 研究チームは、アルコール中毒の予防と治療に効果的な新しいアプローチとして、乳タンパク質由来のハイドロゲル「FeSA@AH」を開発した。ヨーグルトやチーズ製造時には、副産物としてホエータンパク質が発生する。このゲルは、ホエータンパク質のβ-ラクトグロブリンからつくられたナノファイバーと、鉄粒子により構成されている。 また、このゲルはアルコールを

SOW＠ @sow_LIBRA11 ウエブトゥーンが中国に続き、欧州からも撤退か・・・中華市場は政治的な問題もあったのかもだが、欧州市場はまた別の事情もありそうやね。 mk.co.kr/jp/it/11013828 2024-05-14 10:16:24 リンク 매일경제 カカオのウェブトゥーンをはじめとするコンテンツ子会社であるカカオピッコマが欧州事業を撤退する。 欧州進出から約3年後に廃業することになる。 フランスを含めた欧州ウェブトゥーン市場の成長傾向が当初の予.. - MK カカオのウェブトゥーンをはじめとするコンテンツ子会社であるカカオピッコマが欧州事業を撤退する。 欧州進出から約3年後に廃業することになる。 フランスを含めた欧州ウェブトゥーン市場の成長傾向が当初の予想より遅い中、現地企業の出血競争が深刻化すると、収益性の高い地域に集中するために下した決定と解釈される。 12日、

＠IT 開発変革セミナー 2024 春 ～Spring～ ～効率化、コスト削減にとどまらない、システム開発の在るべき姿～ 基調講演2 https://members09.live.itmedia.co.jp/library/Njc3Nzc%253D

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

ほったらかし飯 カカル/とうのきり/５ッ星お米マイスター澁谷梨絵 <隔週木曜更新>25歳のフウコは恋よりもご飯が大好き。ビンゴの景品で炊飯器を手に入れたフウコは心機一転、自炊することを決意！ただ、キッチンはペットのヤドカリ“ヒッキー”に占領されて料理が出来ず…。そんなフウコは炊飯器を使った調理を編み出したのだが…!? 炊飯器一つで作れるずぼらグルメ漫画、開幕――!! [JC上巻7/4発売予定]

回答 (7件中の1件目) まずはUUID及びその対案として用いられる連番(自動採番)のメリット・デメリットを整理します。 (タイムスタンプキーや複合キーなどもその効率性から設計上有用なシーンはありますが、比較から除外します。) * UUIDを使うことのメリット * * データベースにSQLを送信する前からアプリケーションレイヤーでIDを生成できる。 * * トランザクション処理を実装しやすい場合がある。 * IDを推測しにくい。リソースが列挙可能ではない。 * UUIDを使うことのデメリット * * レコード・インデックスサイズが増加する。 * * ...

ヨーロッパ中部のスロバキアで15日、フィツォ首相が銃撃され、スロバキア政府によりますと首相の容体は深刻で病院で治療が続いています。実行犯とみられる人物は現場で取り押さえられましたが、銃撃の詳しい背景は明らかになっていません。 スロバキアで、15日、政府の会議に出席するため中部のハンドロバを訪れていたフィツォ首相が銃撃されました。 地元メディアは、フィツォ首相は会議を終えて地元の住民にあいさつをしていた際に銃撃されたと伝えています。 フィツォ首相は病院に搬送され、スロバキア政府は声明で命に関わる状態だと発表しました。 実行犯とみられる人物は現場で取り押さえられ、地元紙は71歳の男だと伝えています。 スロバキアの内相は15日に開いた記者会見で首相の容体は深刻で病院で治療が続いているとしたうえで、実行犯は5回発砲し、現時点では政治的な動機の可能性があると述べました。 ただ、銃撃の詳しい背景は明ら

https://twitter.com/YoshikoSakurai/status/1788882499713773675 この投稿に関しては立憲民主党党首である泉健太が事実誤認であることを指摘している。ただし産経記者の阿比留氏の反応などは典型的だけれど本当に信じているかは不明とはいえ櫻井よしこの事実誤認（デマ）に対して親和的な反応をしている。 https://twitter.com/YzypC4F02Tq5lo0/status/1789096496866242708 ところでそもそもこのデマの起源は何かをメモがてらに残しておく。例えばこの「親１」、「親２」という呼称そのものについては2018年の勝共連合HPで「アメリカでは、教育省の公式文書における「父親・母親」という表記が、「親１・親２」（Parent1、Parent2）に置き換えられてしまいました。」という紹介がされている。櫻井や阿比