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

この記事は MySQLのカレンダー | Advent Calendar 2023 - Qiita 6 日目の記事です。 はじめに 補足 コントリビュートしようぜ 登場人物 Oracle Profile の作成 OCA への署名 魂のコントリビュート 追記 2023/12/06 19:34 無事に取り込まれると… git log に名前が残る ブログで紹介してもらえる おわりに はじめに どうも、この時期になるといつかのメリークリスマスを無限ループするけんつです。 世間の MySQLer を生業とする皆さん、唐突に MySQL をビルドしたくなったり急に徹夜でデバッグしたくなることが良くあると思いますが「なんだこれは」という挙動に遭遇することも稀によくあると思います。 例えば、何故かビルドがどこかのバージョンからすんなり通らなくなったり、どこかのバージョンから急にクソデカトランザクションの

We care about data protection: We will be good stewards of any personal information you share with us. We do not log or associate searches with an account. More at our privacy policy. 100% free of ads and tracking. We favor the best information, not sites that try to further monetize you. Our own index of the finest results augmented by the results from the best search engines on the market.

Translations: Russian This year, the talk of the town was AI and how it can do everything for you. I like it when someone or something does everything for me. To this end, I decided to ask ChatGPT to write my New Year's post: "Hey ChatGPT. Can you implement a large language model in SQL?" "No, SQL is not suitable for implementing large language models. SQL is a language for managing and querying d

Although RSS feeds are alive and still heavily used today, their level of adoption has suffered because of how difficult a handful of popular technology companies have made it to use them. Google, especially, has relied on the open web RSS protocol to gain so much market share and influence, but continues to engage in behavior that exploits the open web at the expense of its users. As a result, Go

I assume everyone here is familiar with the adage that all text files should end with a newline. I've known of this "rule" for years but I've always wondered — why?

MySQL アンカンファレンス開催したい。というかします。 概要 最近のMySQLはバージョニング方針も変わって、周辺ツールを含めた機能追加も着々とされている一方で、MySQL関連のイベントは減ってしまったような気がします。 コロナ以降、イベントが少ない気がするのは残念に思いつつも、最近の私には社外で活動できる余力がなく、社内にMySQLのプロ、その他DBのプロがたくさんいるので、なんとなく満足してしまっていました。 ですが、MySQL Advent Calendar 2023でいろいろなブログを一気に読んでいて、社内の会話だけで満足するのはもったいない。2024年はMySQLコミュニティのイベントに参加していきたいと思っていました。 オフラインで集まることも以前ほど慎重にならなくて良いので、MySQL Casualを開催することもできます(手を上げれば誰でも開催できると思っていますし、私

データベース・システム系 Advent Calendar 2023の 18 日目の記事です。 概要 NVM (Non-volatile memory) の研究といえば少し前までは、PMEM (Persistent memory) の話だったのに、最近は NVMe 規格の Flash memory の話を見かけるようになったなぁと侘び寂びを感じました……などといいつつ論文紹介を書こうと思ったのですが、自分でも用語の使い方がテキトウだなと思ったので、調べつつ整理しました。 NVM 関連用語とその整理 NVM はこの文脈では Non-volatile memory の略で、不揮発性メモリと訳されます。代表的なものは SSD (Solid-state drive) で使われる Flash memory です。 コンピュータの世界でデータを記録しておくものはたくさんありますが、だいたいふたつの軸で分