存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
中級Git操作
今回の記事の内容はGitHub共同創業者のScott Chacon氏の「Pro Git」と同氏の今年の「So You Think You Know Git」（Gitがわかっているとでも思っているか？）発表をベースにしている。 コンフィグ ここでコンフィグにてデフォルトとして指定して損がないオプションをいくつか紹介します。 git rerere git rerereは"reuse recorded resolution"（記録ずみ解決方法を再利用）の略語になっている。 名の通りマージコンフリクトがどう解消されたかを記録し、次に同じようなコンフリクトが発生した際、同様の解決方法を自動的に適用するためのコマンドです。 また、基本的にデフォルトにしてもときに差し支えないため、ぜひgit config --global rerere.enabled trueを実行してみてください。 git main
ドラクエ4のAI戦闘と作戦、完全に理解した｜frenchbread
30年ぶりにファミコン版ドラクエ4をプレイしたので、AI戦闘の仕様についてまとめます。ソースは主に下の記事と自分でプレイした検証結果です。 本件に関しては下の記事以上に詳しい情報はないと思われますが、仕様解析というコンセプトで非常に詳細に記載してくださっているため、この記事では自分なりに実プレイ上有用かなと思えるレベルでまとめました。 ご一読いただければ「なぜブライやミネアがいまいち使えなかったのか」といった疑問も解消すると思います。 なお、以下に記載の内容は100%正確とは限りません。 ソースの解析記事を私が誤読している可能性があるのと、一部自分で補完した内容はあくまでプレイ検証して「おそらくこうだろう」と結論づけているに過ぎないためです。ご了承ください。 基礎知識まず基礎知識。 ある程度詳しい方、少し調べたことがある方ならこの辺りはご存じの内容になるかもしれません。 AIは「モンスター
もしも、この国にしょうゆがなかったら。 | キッコーマン ホームページ
いつもと変わらない、しょうゆのある日常。 ある日突然、この国から、 “しょうゆ” が消えてなくなってしまう。 なんと、人々の記憶からも。 しかし、高校生のトシキは、その存在を覚えていた。 もしも、この国にしょうゆがなかったら――。
ドイツでは航空交通管制にEmacsが使われていた
https://old.reddit.com/r/emacs/comments/lly7po/do_you_use_emacs_lisp_as_a_general_purpose/ 1990年代初頭、東欧革命で東西ドイツが統一したあと、私は厄介な仕事、というか誰もやりたがらない仕事に派遣された。ある月曜日の朝、DASAの工場に入った（DASAというのは当初ドイツ航空で、そのあとダイムラー航空になり、今はエアバスに吸収された） プロジェクトはDASAからHPが受注したもので、東西のATC（航空交通管制）システムを統一するというものだった。つまり2つの大企業と政府からの発注ということで、うちのような受注会社はおこぼれを預かっていたわけだ。Emacsの話は実は2つある。 最初の話。その月曜日の朝、手助けする開発者達と顔合わせした。彼らは素晴らしいものに囲まれた研究所にいた。最新のHPワークステー
『法律をかいくぐるために作られた申し訳程度の店舗』みたいなのでしか得られない栄養があるので他にないか教えて→いっぱい集まった
リンク 究極雨女ほのぷーのディズニー放浪記 【豆知識】蒸気船マークトゥエイン号に隠された夢を壊さないための配慮とは？ - 究極雨女ほのぷーのディズニー放浪記 こんにちは。 ディズニー大好き雨女のほのぷーです。 「夢と魔法の王国」をテーマにした東京ディズニーランドと「冒険とイマジネーションの海へ」をテーマにした東京ディズニーシー。 東京ディズニーリゾートは「夢の国」と称されるように、誰もが現実の嫌なことを忘れ楽しめる場所です。 東京ディズニーリゾートではその世界観を守るために、様々な工夫をしています。 視覚面ではパークの端には大きな木を植え、外の世界が見えないようにしています。 また聴覚面では搬入用道路の近くに滝を設置し、車の走行音を聞こえないようにしています。 15
FizzBuzzは無慈悲な面接の女王 - Qiita
(defn and3 [x y z] (and x (and y z))) (defn and4 [a b c d] (and (and a b) (and c d))) (defn or3 [x y z] (or x (or y z))) (defn or4 [x0 x1 x2 x3] (or (or x0 x1) (or x2 x3))) (defn mux8 [a b c d e f g h select] (let [[s0 s1 s2] select] (or8-1 [(and4 a (not s0) (not s1) (not s2)) (and4 b s0 (not s1) (not s2)) (and4 c (not s0) s1 (not s2)) (and4 d s0 s1 (not s2)) (and4 e (not s0) (not s1) s2) (and4 f
TypeScriptの型定義で麻雀の役判定をする 【dwango Advent Calendar 2日目】 - MANA-DOT
このエントリは ドワンゴ Advent Calendar 2021 2日目の記事です(夜が明けるまでは2日目！)。 はじめに TypeScriptには Conditional Types や Template Literal Types といったクッソ強力な型機能があります。 これらを用いて、今回は 2p3p4p2m3m4m2s3s4s4s5s6s8s8s のような天鳳牌譜形式の文字列を型引数に渡すと、麻雀の役判定をする型(あくまで型です、関数ではありません)を作ってみようとおもいます。 (ただし時間がなかったため断么九と平和のみです)。 Conditional Types, Template Literal Types って何？ それぞれ具体的にどんなものか、マニュアルの例を用いて示すと、以下のような感じです。 // Conditional Types の例 interface Anim
「Haskellのモナド完全に理解した」試験問題
Haskellは勉強したけどモナドを本当に理解したって言えるのか自信がない… ＼そんな人向けの試験問題を作りました！／ これから実施する試験問題を、10問中8問正解すればあなたはHaskellのモナドを完全に理解しています。私が保証します！ それではさっそく〜〜 第一問 まずは緊張をほぐしましょう。 Haskellの Monad は○○○○である ○○○○に当てはまるのは以下の選択肢のうちどれでしょう？ 型 関数 型クラス 型シノニム 答え
大人になった僕らは「20分の休み時間」で何ができるだろうか？ | オモコロ
小学生の頃にあった2時間目と3時間目の間にある短い休み時間。 皆さんはあの時間を何と呼んでいましたか？ 筆者の地域では「中休み」と呼ばれ、15分間の自由時間が与えられていました。 最近知ったんですが、全国では20分くらいがメジャーだそうです。今さらだけど損した気分だ。 チャイムの音を背に教室を飛び出し、ダッシュで校庭に向かったあの日々を、今でもたまに思い出すことがあります。 みんなでドッヂボールをしたり、ブランコを爆漕ぎして靴をぶっ飛ばしたり、上り棒で気持ち良くなったりしたものです。 あれから20年。 大人になった今、あの頃を思い返すと、こんな気持ちが湧き上がります。 子どもの頃は「たっぷり遊べる！」とすら感じていましたが、大人になった今、20分なんてほんの一瞬です。 教室を飛び出し、校庭で思いっきり遊んで、チャイムがなる前に授業を受けに教室に戻るという流れ。今の感覚では、どう計算しても2
小麦粉＆卵＆乳を熱したら何らかのお菓子になるのか検証
クレープらしきものができる あるあるをフライパンで焼くとバターの香りが立ち上ってきた。これ以上いくと焦げそうなので折りたたんで上げる。見覚えのあるものができあがった。 既視感はずっと続くし意外性はどこにもない。「あるある」の生地に熱を加えると「ある」「あるな」というものになる。これが実存というものだろうか。ずいぶんとクレープっぽい形をしている。 こういうものが出来上がる。わかる…！ だがわかってどうする。 このように色々作った最後、お菓子作りが趣味の田村久美子さんが来たところで終了。試食会をした。 このあと我々は材料を試しながらオリジナルお菓子作りに乗り出していき、最後にお菓子作りが趣味のお母さん仲間田村さんを迎えて品評会をやった。 試食してみよう。一品目。卵焼きやクレープの類のものだろうか。 まず厚いクレープが出来上がった お菓子初心者がこんなものかな？？という分量で適当に混ぜて焼くと平
南極観測隊員が南極に着いた時の最初の仕事は、クソ重いペンギンを抱えては降ろすことらしい
まきりえこ@コミックエッセイスト @toriatamaxp 定期ですがお父さんが南極観測隊員だった子が「ペンギンは観測船が着岸すると、地平線の彼方から見物にぞくぞくやってくる。そして勝手にはしけを登って甲板でくつろぐ。お父さんたちの最初の仕事はクソ重いペンギンを抱えては降ろす事」と言ってた。物見高い 2021-01-29 21:19:56
CalorieMate to Programmer | 大塚製薬
コードを書いていると、 食べることも忘れて ついつい熱中してしまう。 会社でも、家でも プログラマーも、そうでない人も 夢中になって考え続ける、 そんな時こそカロリーメイト リキッドで 素早く手軽に５大栄養素を。 BALANCED FOOD CalorieMate LIQUIDto Programmer ＃うちこむ人にバランス栄養 >MESSAGESメッセージ >Translate Matz コード監修 まつもとゆきひろ Yukihiro Matsumoto プログラマー、ソフトウェア技術者。1965年生まれ、鳥取県出身。愛称は「Matz(マッツ)」。1995年にプログラム言語「Ruby」を公開、その使い勝手の良さから世界中のプログラマーに親しまれ続けている。2012年には内閣府「世界で活躍し『日本』を発信する日本人」の1人に選ばれた。 From Tech Crunch Japan世界的プ
フマキラーの「ゴキブリワンプッシュプロプラス」、威力が怖すぎて震えると話題に : 市況かぶ全力２階建
SBIの北尾吉孝会長、自称アクティビスト株主として自己ブランディング中の田端信太郎さんを少しだけ褒める
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
漫画「PC-98が転生したら性能Infinityでした!?」｜NEC LAVIE
男達がボコボコに殴り合う映画『ファイトクラブ』を、原作者がお子様向けに読み聞かせしてる動画が期待通りイカレてて好き
黒歴史NFTメーカー
コグニカル
吉川浩満 on Twitter: "死んだイカの神経にiPodを繋いで音楽を流したら。「接続したケーブルが音楽の強いビートに合わせて電気パルスを発し、それが色素細胞を刺激した。結果はまさにクレイジーで、ディスコのライトショーのようだ」（リチャード・ドーキンス）｜In… https://t.co/V6qSCk98ig"
A Heavily Commented Linux Kernel Source Code