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

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

唐鎌大輔 ［みずほ銀行チーフマーケット・エコノミスト］ May. 15, 2024, 06:45 AM ビジネス 14,728 4月29日、160円台から一気に154円台まで急騰したドル／円相場は、足元で156円台半ばまで値を戻している。 報道各社は政府・日銀が2度の為替介入を実施した可能性を指摘するが、いずれにしても円安基調に大きな変化はないように見える。 要因については金利や需給を指摘する向きが多いが、中には次なる円安リスクもしくは要因として、日本の｢財政ファイナンス｣がテーマ視されていることを指摘する声もある。 財政ファイナンス……中央銀行（日銀）が通貨（円）を発行し、政府の発行した国債などを直接引き受けること。財政赤字を補てんする意味合いがある。 日本の国債は大部分が内国債（自国内で発行された、多くは自国通貨建ての債券）なので、日銀の国債買い入れという事実上の財政ファイナンスによっ

［速報］Google、Geminiベースの新WebIDE「Project IDX」をオープンベータで公開 Googleは同社の最新生成AIであるGeminiをベースとした新しいWeb IDE「Project IDX」をオープンベータとして公開しました。 Project IDXは、モバイルやデスクトップなどのマルチプラットフォームに対応したフルスタックのWebアプリケーションを、さまざまなフレームワークや生成的AIの支援などを活用して効率的に開発するための、Webブラウザから利用可能な統合開発環境です。 これまでその存在は発表されていましたが、招待されたユーザーのみが利用可能でした。 We want to make generative AI accessible to every developer on the planet. That’s why we’re making Gemini

都会に暮らしている人は、なんだって鉄道のことを「電車」と呼ぶクセがついてしまっている。別にそれは何ら間違いではなくて、実際に走っているのは電車ばかりなのだからムリもない。 一度、電車も気動車もあるような地域の人に、「つい何でも電車って言っちゃうんですよ」などと話したことがある。返ってきたのは、「この地域の人もみんな電車ですよ。気動車も関係なく」。鉄道のことをどう呼ぶか。地域ごとに結構個性がありそうな気がして、興味深いところである。 電車はないが「汽車」がある そして、今回やってきたのは日本で唯一“電車”の存在しない県、徳島県だ。沖縄県で唯一の鉄軌道であるゆいレールを“電車”に数えるとするならば、徳島県だけが電車の走らない県ということになる。だから、徳島の人たちは、もちろん鉄道のことを電車などとは呼ばない。 聞くところによると、汽車と呼ぶことが多いのだとか。汽車といったら蒸気機関車のことをイ

NHKは、5月10日から3日間、全国の18歳以上を対象にコンピューターで無作為に発生させた固定電話と携帯電話の番号に電話をかける「RDD」という方法で世論調査を行いました。 調査の対象となったのは2360人で、51％にあたる1202人から回答を得ました。 岸田内閣を「支持する」と答えた人は4月の調査より1ポイント上がって24％でした。 一方、「支持しない」と答えた人は3ポイント下がって55％でした。 支持する理由では、「他の内閣より良さそうだから」が45％、「支持する政党の内閣だから」が25％、「人柄が信頼できるから」が14％などとなりました。 支持しない理由では、「政策に期待が持てないから」が48％、「実行力がないから」が24％、「人柄が信頼できないから」が10％などとなりました。 政治資金規正法の改正をめぐり、自民・公明両党は与党案の概要をまとめ、「政策活動費」は議員からの報告に基づき

『OpenAI GPT-4V／ChatGPT／GPTs 人工知能プログラミング実践入門』著者の布留川氏は、登壇時点までのOpenAIの最新情報と、最新技術情報のキャッチアップ術について話しました。全4回。 布留川氏の自己紹介 布留川英一氏：それでは始めます。OpenAI本出版記念として、今日は「OpenAI最新技術情報と技術情報キャッチアップ術」について話そうと思います。 最初に簡単に自己紹介をします。名前は布留川英一と申します。ハンドルネームはnpakaでやっています。株式会社ゼルペムに所属していますが、基本は個人でやっているようなものです。 プログラム歴は40年と言っていますが、1984年の「ファミリーベーシック」みたいなものから始めたので、ちょうど40年ということでキリがいい数字でした。インターネット歴は大学に入った1994年からなので、ちょうど30年です。 技術書歴は、最初に書いた

TOPICS 発行年月日 2024年05月 PRINT LENGTH 207 ISBN 978-4-8144-0083-6 FORMAT PDF EPUB 本書は、2017年に発行し、2024年に第3版を発行した『Real World HTTP 第3版』のエッセンスを凝縮した、無料の電子書籍です。 HTTP/1.0、HTTP/1.1、HTTP/2と、HTTPが進化する道筋をたどりながら、ブラウザが内部で行っていること、サーバーとのやりとりの内容などについて、プロトコルの実例や実際の使用例などを交えながら紹介しています。 ミニ版のため、一部の内容を割愛しています。詳しくは本書の「まえがき」をご覧ください。 ミニ版の使用について ミニ版の図版やテキストは、著作権法で認められている引用の範囲に加えて、有志での勉強会、自社の社員向けの研修に用いるプレゼンテーション資料のために、全体の10～20%程

NFTで儲けたい人が見落としたもの　新しい技術を使いこなす正しい姿勢をブロックチェーン研究者が語る【フォーカス】 2024年5月13日 近畿大学 産業理工学部情報学科 特任教授 山崎 重一郎 九州大学システム情報科学府システム情報科学院博士課程修了。富士通株式会社、株式会社富士通研究所を経て2003年より近畿大学産業理工学部情報学科教授。2024年より同学科特任教授となる。ブロックチェーン技術や情報セキュリティを専門分野とする。主著に「ブロックチェーン技術概論 理論と実践」（共著・講談社）「ブロックチェーン・プログラミング　仮想通貨入門」（同）ほか。 教員紹介ページ（近畿大学公式サイト内） J-GLOBAL 非代替性トークン・NFT。NFTアートの取引市場は2021年から23年にかけてブームが白熱し、そして暴落を迎えました。暗号通貨の専門家から構成される海外コミュニティサイト「dappGa

スーパーコンピューター「富岳」を用いて学習した130億パラメータの大規模言語モデル「Fugaku-LLM」が2024年5月10日(金)に公開されました。Fugaku-LLMは既存の大規模言語モデルに頼らず独自の学習データを用いて学習しており、既存の日本語特化大規模言語モデルと比べて高い性能を発揮することがアピールされています。 スーパーコンピュータ「富岳」で学習した大規模言語モデル「Fugaku-LLM」を公開 日本語能力に長け、研究・ビジネス利用にも期待 | 東工大ニュース | 東京工業大学 https://www.titech.ac.jp/news/2024/069217 スーパーコンピュータ「富岳」で学習した大規模言語モデル「Fugaku-LLM」を公開 : 富士通 https://pr.fujitsu.com/jp/news/2024/05/10.html Fugaku-LLMは2

なにか作品を見ても、「これは自分にとって関係のないことだな」と思ってしまう。ファンタジー、SF、お仕事もの……この世のあらゆるエンターテインメントは、人を気持ちよくさせるための娯楽装置として作られている。 だけど、そんな気持ちのいい作品を見るたび、心のどこかで「人生そんな上手くいかねーよ」と思ってしまう。だから、ずっと心のどこかで、なにもかもが「他人事」な気がしていた。あの主人公も、あの作品も、なにもかも自分にとっては無関係の出来事だった。 でも、『トラぺジウム』を見た時、あまりそう思えなかった。 この映画、端的に言うと「アイドルに焦がれて焦がれ続けた主人公が、なにもかも計算づくでアイドルグループを結成するものの、結局上手くいかず解散する」という内容になっている。極論を言うと、「アイドルを目指して志半ばで大失敗する映画」である。まぁ、とんでもない内容だと思う。 でも、この「上手くいかず解散

日本のネットで創作活動するのに X(以下ツイッター)がバズってないと人権無いのキツすぎ。 自分は絵描いてるけど、skebで1案件5kを2年間200件こなしたから壊滅的に絵が下手な方ではないと思う。なのに、ツイッターで絵を上げても1いいねしか付かない。一桁じゃないぞ「1」だぞ。 まぁ、大体理由はわかるよ。普段からあんまりポストしてないとか相互いいねしてないとか、リプして絡んでないとか。 一時期はちゃんとそういう営業活動してたけど、なんかしょーもないなぁって。そういうんじゃないじゃん、創作活動って。 それに壁打ちだけでクールに伸びてる人見ると嫌々営業して必死に伸ばしてる自分がクッソ情けなくなってなぁ。好きでコミュニケーションしてんなら良いけど心にも無いのに他人のイラストに「凄く良いです！」とかしんどいわ。 でもそうしないとツイートがTLに浮上せず公開アカウントなのに非公開アカウントみたいになる

岡山県の岡山市や倉敷市では用水路への転落事故が後を絶たない。県の調査によると、2013年からの4年間で1562件の転落事故が発生し、108人が死亡している。なぜ事故はなくならないのか。岡山市出身のルポライター・昼間たかしさんは「柵の設置が進められているが対策は行き届いていない。長らく用水路の危険性が矮小化され、放置されてきた」という――。 岡山県で用水路への転落事故がなくならない理由 岡山県南部、岡山市や倉敷市は全国でも屈指の用水路が張り巡らされた地域である。全国の用水路の総延長は約40万キロあるが、そのうち岡山市だけで1％にあたる4000キロ、倉敷市は2000キロを占めている。 そもそも、なんで岡山県南部にはそんなに用水路が張り巡らされているのか。 用水路の歴史は岡山県の歴史である。戦国時代の後期まで、岡山県南部は瀬戸内海に浮かぶ児島（現在の児島半島）と本土との間に20余りの島が点在する

プロダクトマネジメントを体系化したクライテリアです。企業がプロダクトを成功に導くために必要な要素を多角的かつ具体的に記載してあります。対象はプロダクトマネージャー個人ではなくプロダクトを取り巻くチームとし、プロダクトマネジメント全体をスコープにしています。

三珠さくまる🤹動画勢Vtuber @MitamaSakumaru 技術の無駄遣いとジャグリングと動画の個人勢Vtuber。僕に見せたいもの→#見たかさくまる。ご連絡:DM or mitamasakumaru@gmail.com youtube.com/@mitamasakumaru

新社会人にとって、「議事録作成」は緊張する仕事の一つ。 会議中に焦ることなく効率よく議事録を作成するためのメソッドがX（旧Twitter）で拡散され、話題になっています。 ■議事録は事前準備で決まる？ 今回話題となっている元のポストは、ある40歳の部長が京大出身で外資コンサルから転職してきた部下から新たな学びを得たというもの。 新卒に向けたあるアドバイスが「勉強になる！」と話題になっています。 その部下が新卒に伝えたコツは、「議事録っていうのは会議前に7割位でき上がってるのが理想だよ」というもの。 会議は、事前に話し合う内容が決まっているため、事前に書けることは書き、会議後に結論を埋めたり修正して完成するといいというアドバイスをしていたそうです。 ■「勉強になった！」という声が続出 このポストを見て、感心の声が続出。 「30手前ですが大変勉強になりました。コンサル出身の方の仕事上の基本的な

主にクラウドの話してます - 広島 での登壇資料です。 https://omoni-cloud.connpass.com/event/315682/

ソウル・江南で1回最高155万ウォンもらった…日本から来た「列島の少女」、高額売春の手口とは【独自】 江南・盆唐で高額売春…あっせん業者を逮捕 ▲写真＝NEWSIS ソウル・江南や京畿道盆唐で組織的に日本人女性の売春をあっせんしてきた一味が警察につかまった。この組織は「列島の少女たち」というタイトルの広告文をインターネット上に掲載し、売春料金として最高155万ウォン（約18万円）受け取った。日本人女性が組織的な売春をして摘発されたのは初めてだ。かつては主に韓国人女性たちが売春のため日本に行っていた。ところが最近は韓国の所得水準が上がっているだけでなく、日本のアダルトビデオ（AV）関連の風俗が広まり、逆に日本人女性たちが韓国に来るようになったものと分析されている。 【グラフィック】「列島の少女たち」売買春はどのように行われたのか ソウル警察庁は10日、日本人女性の売春をあっせんした容疑で、3

こんばんちは、スーパー太っちょWebディレクターです。 スーパーは太っちょにかかります。 先日、こんなことをX（Twitter）でつぶやきましてね。 社内外問わず、「あいつら（他部署やクライアント）は全然わかってない」はよく聞く話なのだけど。だが、そもそもちゃんと説明してないことも多々あるんですよね。そりゃ違う仕事してるんだから説明しないとわかるわけがないのに。 ちゃんと丁寧に説明すれば、理解してくれる人もたくさんいますよね。 — toksato（とくさと）｜むめいなうぇぶディレクター (@toksato) May 8, 2024 そして、その後日、こんな素晴らしいインタビュー記事を読みまして。 仕事の進め方がグダグダの会社はどうすればいいのか、「プロジェクトマネジメントの基本が全部わかる本」の著者に聞いてみた | Agend(アジェンド) 僕もこれをリアルに社内でやってるなぁと思って。ま