存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
Unix version control lore: what, ident – Tony Finch
There are a couple of version control commands that deserve wider appreciation: SCCS what and RCS ident. They allow you to find out what source a binary was built from, without having to run it – handy if it is a library! They basically scan a file looking for magic strings that contain version control metadata and print out what they discover. keyword expansion SCCS, RCS, cvs, and svn all have a
References are like jumps
In a high-level language, the programmer is deprived of the dangerous power to update his own program while it is running. Even more valuable, he has the power to split his machine into a number of separate variables, arrays, files, etc.; when he wishes to update any of these he must quote its name explicitly on the left of the assignment, so that the identity of the part of the machine subject to
Writing a task scheduler in Zig
I'm working on an application that needs the ability to schedule tasks. Many applications have a similar need, but requirements can vary greatly. Advanced cases might require persistence and distribution, typically depending on external systems (like a database or queue) to do much of the heavy lifting. My needs are simpler: I don't have a huge variety of tasks or a high number of them. Thread-Per
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NetBSD Commit Guidelines
NetBSD Foundation 🚩 (@netbsd@mastodon.sdf.org)
NetBSD bans all commits of AI-generated code | Lobsters
Unix version control lore: what, ident | Hacker News
Unix version control lore: what, ident | Lobsters
Pen Plotter Programming: The Basics
Pen Plotter Programming: The Basics (2017) | Hacker News
References are like jumps | Lobsters
GitHub - ogxd/gxhash: The fastest hashing algorithm 📈
GxHash is a fast and robust non-cryptographic hashing algorithm | Hacker News
FORGE: A File-Oriented Reflective Graphical Environment
Language, OS and GUI -independent windowing API provided as a virtual filesystem | Hacker News
@maxm/staticChess
Static Chess | Lobsters
Writing a task scheduler in Zig | Lobsters
Getting started | Elm Land