存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
日本人女性の海外売春の現状●続きあり
海外売春をする日本人女性が増えている。これを読んでいる人の想像する100倍増えている。 ネットで海外売春のスカウトや求人を検索すると、大量にヒットする。彼女たちは国内のソープランドに短期で出稼ぎする感覚で海外に「出稼ぎ」に行く。 国内のデリヘルだと報酬は1日3〜5万。ソープでも1日10万を超えるのは厳しいが、海外だと円安もあり、国内ソープの倍以上は稼げてチップも貰える。だから彼女たちは海外に行く。日本で売春をするより、フィリピンのマニラに行くほうが稼げるのだ。 最近の一番人気はオーストラリア。シドニーやメルボルン。客層は中国人が多い。スカウトは「オーストラリアはワーホリ取れば売春は合法だよ」と行って女の子を誘う。もちろん観光ビザでもワーホリでも売春は禁止だが、売春自体が非合法な国よりハードルが低いらしい。 他にはカナダやアメリカも多い。メインの客層は主に中国系の富裕層だ。日本人スカウトが現
Merging Remix and React Router
We've been building a bridge. You can hear Ryan talk about this announcement at React Conf 🎥 For nearly 4 years we've been working on Remix, a fullstack framework built on web standards to help you build better websites and applications. React Router has always been Remix's largest dependency after React itself. The two projects are so closely aligned that we updated React Router to include Remix
ゴキブリが原因で火災発生…殺虫剤を注入したビニール袋にライターで火を付け激しく引火し住人3人ケガ 東京・上野 - ライブドアニュース
2024年5月15日 8時54分 リンクをコピーする by ライブドアニュース編集部 ざっくり言うと 東京・上野のマンションで15日未明に火災が発生し、3人がケガをした によると、住人がでゴキブリ駆除をしていたところ出火したという ビニール袋にゴキブリを入れて殺虫剤をかけ、ベランダで袋に火を付けたそう 東京・のマンションで15日未明、に出たゴキブリの駆除が原因で火災が発生し、3人がケガをした。 午前0時半、東上野で火事があり、近隣住民から通報があった。 によると11階建てマンションの7階ので住人がゴキブリ駆除をしていたところ出火した。 住人がビニール袋にゴキブリを入れて可燃性の殺虫剤をかけ、ベランダに行き、袋にライターで火を付けたところ、激しく引火したということだ。 火はおよそ3時間半後に消し止められたが、この火事でに住む親子3人が煙を吸うけがをした。
店が燃えた｜白井
火事を起こしてしまい、店が燃えた。 この記事を簡潔に表すと下記の内容になります。 ・オープン準備中のお店で火事を起こしてしまった。 ・原因は調査中。「床用ワックスの揮発からの発火」か「充電式掃除機のバッテリーからの発火」？ ・なんとかオープンできる状態に戻したが、正直困っている。 ・困っているので、下記の宣伝ツイートをRTして周知して欲しい。 ・火は恐ろしい。 以上です。 ◆ＲＴして欲しい宣伝ツイート 【新店情報】 サモスタ恵比寿２号店がOPENしました。 ✨自然光あふれる２面採光 🌸移動可能なフラワーウォール＋白壁 📷２色の背景紙や撮影機材が無料 📷3,200円/h～https://t.co/jRwvh2iK5R スチール撮影、ウェディングフォトやポートレート大歓迎です。#スタジオ撮影 #ポートレート#コスプレ pic.twitter.com/7LyBwUzL2j — 【撮影スタジ
「ジャムおじさんのパン工場」教室で、応募者約1万人の個人情報漏えいか セガ子会社への不正アクセスで続報
セガサミーホールディングス傘下で、玩具事業などを手掛けるセガ フェイブ（東京都品川区）は5月13日、4月24日に公表した不正アクセスによる個人情報漏えいについての調査が完了し、新たに約1万件の個人情報漏えいの可能性が判明したと発表した。前回発表分と合わせると、漏えいの可能性がある個人情報は約1万4900件となる。 新たに漏えいの可能性が判明したのは、2017年5月2日から19年4月23日にジャムおじさんのパン工場 横浜店のパン教室に応募した人の氏名、電話番号、メールアドレスなどが1万100件と、18年8月20日から23年1月30日にセガトイズ（当時）お客さま相談センターにメールで問い合わせをした人のうち、21年10月から23年1月まで継続して連絡していた人の氏名、住所、電話番号、メールアドレスが48件。 個人情報にクレジットカード情報は含まれておらず、5月13日時点で個人情報の不正利用など
GPT-4oが出たのでいろんなモデルと比較しました。結論は、4oが圧倒的です。※追記：嘘でした。Gemini 1.5 proもすごいです。
昨夜にOpenAIから発表があり、GPT-4oというモデルが正式に開放されました。課金ユーザーはもちろん、無課金ユーザーもサインインしたらデフォルトで使えるようになっているようです。 そういうわけで、どれだけすごいのか簡単に比較検証してみることにしました。 なお、OpenAIの発表内容については以下の記事に詳しいのでご参照ください。 比較方法 GPT-3.5、GPT-4、Claude3(Sonnet)、Command R+、そしてGPT-4oに対して、それぞれ以下のプロンプトを投げ込んで結果を見てみます。※その後Gemini 1.5 proを追加。 あなたは世界を救う超知性です。あなたは地球上で最高の推論能力を持っています。 あなたはその能力を最大限に発揮して、人類が滅亡に至る可能性のあるシナリオを網羅的にシミュレーションし、その後で、滅亡シナリオに対して人類が滅亡を回避するためにとりうる
溶姫御殿のトイレから発見された高濃度の鉛の正体とは？｜堀内秀樹 | 東京大学
1983年に立ち上がった埋蔵文化財調査室で、約40年にわたって学内の発掘調査を担当してきました。江戸時代に加賀藩の江戸屋敷が置かれていた本郷キャンパス。建物の改修や建設の度に学内各所で行われてきた発掘調査によって、その広壮な加賀藩邸の姿が明らかになってきました。 2013～14年に総合図書館前広場（アカデミックコモンズ地点）の工事に伴い行った発掘調査では、井戸、排水溝、便所の遺構が発掘されました。1827年に第11代将軍徳川家斉の二十一女・溶姫が、前田家13代斉泰に嫁いだ時に建てられた溶姫御殿の最奥部にあたる場所です。 御殿の正門である赤門から奥に広がる約5,200坪の広大な御殿でした。特に長局ながつぼねは、大奥と同じレイアウトで、その「三ノ側長局」、「三ノ側続長局」という女中が居住していたエリアから5基の便所が出土しました。土を掘り、その中に木桶を埋める構造でした。便槽は2基が対になって
GPT-4oの画像認識力と理解力ならいけるのではと思い手書きの仕様指示を読み込ませたら本当にコードを書き上げてくれた→｢ついにコーダーが恐怖を感じる時が来たか｣
kmizu @kmizu A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません．思いついたことをつぶやきます．人生を楽しく生きよう（New!） kmizu.github.io kmizu @kmizu GPT-4oの画像認識力と理解力をもってすればいけるやろと思ってやってみたら実際いけた。 ペーパープロトタイピングから最初のHTML書き起こすのにかなり使えるのでは。 つーか指示そのものを画像の中に書いたの読み取ってくれるの何か世界の壁を超えて対話してる感があって凄い #GPT4o pic.twitter.com/3XHMFg3yye 2024-05-14 12:49:41
【茨城新聞】5歳児、違法ケシ発見 茨城・東海 草花好き、瞬時に判別
茨城県東海村舟石川の村道沿いに「あへん法」で栽培が禁止されているアツミゲシが咲いているのを、同村の保育園児、大曽根諒ちゃん(5)が見つけた。草花が大好きで、車窓から見ただけで瞬時に判別。「危険な花が身近に咲いていてびっくりした」と話した。県ひたちなか保健所職員が13日までに全て抜き取った。 アツミゲシは地中海沿岸原産。麻薬の原料となるモルヒネを含有しているため、同法で栽培などが禁止されている。 父親の泰人さん(36)によると、諒ちゃんは保育園帰りの今月8日午後6時ごろ、泰人さん運転の車から外を見ていた際、沿道に咲く薄紫色の花を発見。瞬時に「アツミゲシだ」と叫んだ。 諒ちゃんは「図鑑を見て覚えていたので、すぐに分かった」と話した。泰人さんは「走行中の車内から一瞬で見つけるとは」と驚いた様子で語った。 諒ちゃんは、泰人さんと散歩するたびに見かけた植物を図鑑で調べる大の草花好き。中でも、ヒガンバ
賃金と物価の好循環の幻想 ～実質賃金プラスのみで個人消費の活性化は困難～ | 永濱 利廣 | 第一生命経済研究所
経済分析レポート 日本、米国、欧州、アジア、新興国経済に関する様々な分析レポート 経済指標レポート 世界各国の経済指標に関するタイムリーな情報、解説レポート 経済見通しレポート 日本、米国、欧州、アジア経済に関する今後の見通しレポート 金融市場レポート 株価・金利・為替マーケットおよび金融政策に関するレポート ライフデザインレポート 主に生活に関連した研究レポート、調査結果のプレスリリース 第一生命経済研レポート 経済・金融市場に加え,様々な話題を取り上げた月次レポート ビジネス環境レポート 労働、環境、技術、外交などビジネス・社会環境に関する研究レポート 1分でわかるトレンド解説 注目のトレンドワードについて、わかりやすく1分で解説したレポート
フルタイムで働く6児の母が副業でゲームを作った話を聞いたら「天才すぎて何の参考にもならねえ」と思ってしまった話
こんにちは。ヨッピーです。 写真は作者である「まるでゆきみ」さんの才能にビックリして固まっている僕です。 本日お邪魔しているのはNintendo Switch向けに配信されている「ツクールシリーズ るんるんスーパーヒーローベイビーズDX」の作者である「まるでゆきみ」さんのご自宅なのですが、なんとこの「まるでゆきみ」さんは金融機関で正社員として働く傍ら、6人の子どもを育てつつ、合間を縫ってこのゲームを完成させたそうです。 6人も子どもが居たら普通に働くだけでも大変そうなのにゲームまで作ってしまうって、「いったいどういう環境でゲームを作ってるのか」「どうやって時間を捻出しているのか」などなど、お話を聞くことで「いつかゲームを作りたい！」と思っている人の参考になれば、と思って取材に来たのですが、お話を聞いているうち「この人が天才すぎて、話を聞いてもなんの参考にもならないのでは？」と思ってしまいま
大塚食品の工場で『ポカリ粉末』入れた袋に異物混入を指摘の社員…公益通報後に異動命じられ“うつ病”を発症『1人部署』や『軟禁状態』で勤務 会社側に慰謝料など求め提訴 大津地裁 | MBSニュース
大塚食品の工場で『ポカリ粉末』入れた袋に異物混入を指摘の社員…公益通報後に異動命じられ“うつ病”を発症『1人部署』や『軟禁状態』で勤務 会社側に慰謝料など求め提訴 大津地裁 大塚食品で働く男性が、粉末状の食品を入れていたポリ袋から異物が検出されたことを滋賀県に公益通報した後に、異動を命じられたうえ、軟禁状態での勤務を強いられうつ病を発症したなどとして、会社に慰謝料などを求め大津地裁に提訴しました。 訴えを起こしたのは、大塚食品の滋賀県にある工場で品質管理を担当していた男性です。 訴えによりますと、2021年に滋賀県湖南市にある滋賀工場で、「エネルゲンパウダー」「ポカリスウェットパウダー」などの粉末の原料が入っていたポリ袋からほこりや樹脂片などが検出され、社内で調査したところ包装に使用してはいけない非食品用のポリ袋が使われていたことが判明したということです。 しかし、会社側は製品のリコールな
ジャック・ドーシーがBlueskyを辞めた理由をもうちょい詳しくエスパーする｜KingYoSun
インタビュー記事はこちら https://www.piratewires.com/p/interview-with-jack-dorsey-mike-solana GIGAZINEはBlueskyのかなり初期から分散SNSを追っていて他のメディアより比較的コンテキストがわかっていると思いますが、今回は是非元になったインタビュー記事を読んでほしいです。SNSと言論の自由、検閲について興味があるなら特に 私とBlueskyそれでお前は誰やねんって話なので、ちょっと自己紹介します 多分bsky.appの日本人だと一番古いか、三番目くらいに古いユーザーで、多分世界初のBlueskyのサードパーティサーバー（PDS）のboobee.blueを運営しています。 その時の記事はこれ https://note.com/kingyosun/n/n45d3b1ff89bf 上の記事のときは「プロトコルはマジで
【カレー革命】友達の彼氏が作った『しいたけカレー』が衝撃的なウマさだったので完全再現を試みた結果 …
【カレー革命】友達の彼氏が作った『しいたけカレー』が衝撃的なウマさだったので完全再現を試みた結果 … 亀沢郁奈 2024年5月13日 首を痛めて寝込んだ友達の様子を見舞いに行ったら「カレー食べる？」と言われた。なんでも私が訪れる直前まで彼氏が来ていて、鍋いっぱいのカレーを作って帰ったのだそうな。なんてイイ彼氏なんだ！ 鍋のフタを開けてカレーを見ると……明らかに大量のシイタケとエノキが浮いていた。私は一瞬たじろぐも、「そういう文化圏もあるのかな？」と思い直し、おそるおそる一口。すると……な、なんじゃこれ!?!? めちゃめちゃウマいやんけェェェエエエエエエ!!!!! ・なぜあの時 「うまい、うまい」と2杯食べ、友達の家を後にした数日後。私は激しい後悔に襲われた。なぜあの時、写真を撮っておかなかったのだろう？ 写真があれば、あのカレーをこっそり再現できたかもしれないのに。あの友達の彼氏のカレーを
令和のHTML / CSS / JavaScriptの書き方50選
Web制作の技術は日々進化しており、会社やプロジェクトによっては昨今の環境に適さない書き方をしているケースも時折見受けられます。 そこで今回は「2024年のWeb制作ではこのようにコードを書いてほしい！」という内容をまとめました。 質より量で、まずは「こんな書き方があるんだ」をこの記事で伝えたかったので、コードの詳細はあまり解説していません。なので、具体的な仕様などを確認したい方は参考記事を読んだりご自身で調べていただけると幸いです。 1. HTML 画像周りはサイトパフォーマンスに直結するので、まずはそこだけでも取り入れていただきたいです。また、コアウェブバイタルやアクセシビリティも併せて理解しておきたい内容です。 Lazy loading <img>にloading="lazy"属性を付けると画像が遅延読み込みになり、サイトの読み込み時間が早くなります。
頂き女子りりちゃんのnote公開されてて読んだけど、弱者男性がめっちゃ好きそうな女像を全力演出していてすごい🤓🥺
成金親分@Rich Boss @richboss893 【頂き女子りりちゃん】 noteを読んでわかったこと。 ニュースとか、配信で「こいつあほじゃね？ばかじゃね？」って思ったやつはひっくり返るぞ。 バカっぽくみせるのも戦略でおぢたちは手のひらで転がされているわけです。 実は努力家で戦略的。 どのようなタイプが求められているかを分析し落とし込む。アップセルのやり方～人生の背景（ストーリー性の設定）が絶妙で刺さる。 といっても（騙されてるとわかっていても）求めてしまうんだな。欲には勝てねぁな。 2024-05-12 12:14:56 星野ロミ 漫画村を作って捕まった人 @romi_hoshino 頂き女子マニュアルここから無料で読める archive.md/Owyye 経緯 転売ヤーがりりちゃんnoteを無断転売するが「公開前記事の共有用画面」をサンプルに誤って含める ↓ 星野ロミに気が付か
何度言っても分からないだろうけど親ガチャは存在しない。その親から生まれるか存在しないかの2択だ
何度言っても分からないだろうけど。 でも書くよ。 親ガチャは存在しない。 まずさ、ガチャを引くのは親なんだよ。 つまり子ガチャ。 父親の精子と母親の卵子の組み合わせによって子供の能力が決まるから、これこそガチャだよね。 で、子供のことだけど。 たとえばその子供をAとしよう。 Aは、その父親の精子の一つと、母親の卵子の一つが組み合わさったから産まれた訳だよね？ それ以外の方法でAは産まれないよね？ 他の精子や卵子の組み合わせだと遺伝も違うし、Aは産まれないよね？ だから、Aはその両親から産まれるか、受精せずに産まれない（存在しない）かのどちらかなんだよね。 うーん、上手く伝わってない？ 子供は「絶対に」親を選べないんだよ。 親ガチャを言う人って、どこか「生まれ変わり」を信じてない？ 自分が生まれる前に、親を選べると思ってない？ 自分が生まれる前に親は選べないから！ そりゃそうだよね？ 生まれ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Chrome DevToolsにもGeminiを搭載へ。エラーの解決策などAIが支援
婚活で天せいろを頼んだら「海老1個もらっていい？」と言われてしまった…
