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

新生活で使い始めた人も多いであろう「電気ケトル」のお手入れ方法を、タイガー魔法瓶が紹介しています。 タイガー魔法瓶が教える電気ケトルのお手入れ 普段のお手入れ 普段のお手入れには、水、スポンジ、柔らかい布を使います。電気ケトルに半分ほど水を入れ、スポンジで洗ってすすいだら、布で水をふきましょう。洗う時は外側を水で濡らさないよう注意が必要です。外側や注ぎ口、フタはよく絞ったふきんで、電源プレートは乾いた布でふけばいいそうです。 外側は洗わないよう注意しましょう 加えて、電気ケトルを使わない時は、残り湯を捨てておくようアドバイス。残り湯は本体の内側やステンレス底が変色したりにおったりする原因になるそうです。 汚れが目立ってきたらクエン酸で洗浄 本体の内側やステンレス底に赤い斑点ができたり、乳白色や黒色、虹色などに変色したり、お湯に白いものが浮かぶようになった場合は、クエン酸洗浄することを薦めて

大規模な太陽フレアの影響により、日本を含め世界各地で普段は見られない場所でもオーロラが発生しました。 なよろ市立天文台のライブ配信から 日本では5月11日に北海道などで低緯度オーロラが発生し、高感度撮影で捉えた、夜空がピンク色に染まる写真がSNSに投稿されています。 ライブ中継を行った天文台もあり、「感動した」「神秘的な空」などコメントが寄せられました。 気象庁によると太陽フレアにより地磁気の大きな乱れが観測されており、通信障害などが発生する場合があるとのこと。 オーロラを見る advertisement 関連記事 完全な姿は7年ぶり　明石市に「夕焼けパンダ」現る 「こんな映像初めて観た」「完全にSF」　SpaceXの新型ロケット、大気圏への再突入映像にネット沸く カラフルな惑星をハンマーで割ると……？　ワクワクする仕掛けが詰まったアイデアケーキがすてき 「ヒトナーで何が悪い」　宇宙の果て

Google Cloudが、顧客のアカウントを誤って削除し、大規模障害の引き金になる──こんな出来事が海外で起きた。オーストラリアで年金基金を運営するUniSuperは5月8日（現地時間）、自社サービスで起きていた障害について、プライベートクラウドのアカウントが誤って削除されたことが原因だったと発表した。 UniSuperはGoogle Cloudを活用していたが、米Google自身が誤ってアカウントを削除。UniSuperは冗長性を確保するため、別のリージョンにもデータを置いていたが、そちらも無効にされていたという。 アカウントが削除された経緯については「（Google Cloudが）UniSuperのプライベート・クラウド・サービスをプロビジョニングする際の不用意な構成ミスにより生じた」（UniSuper）と説明している。しかし、UniSuperは他社のサービスでもバックアップを確保し

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 カナダのトロント大学にある研究機関「Citizen Lab」は、中国で広く利用されているキーボードアプリに関する最新の調査報告を公開した。報告書によると、中国の主要なクラウドベースのスマホキーボードアプリに脆弱性が認められたという。この脆弱性が悪用されると、ユーザーが入力した内容（キーストローク）が盗まれる可能性があるとしている。 今回問題になったのは、中国語の入力方式として主流のピンイン（ローマ字入力）に対応したキーボードアプリだ。これらのアプリの多くは、入力した文字列をクラウドサーバに送信し、変換候補を取得する「クラウドベースの予測変換機能」を備え

＜この記事の著者＞ ヨス - Tech Team Journal 業務効率を改善し、タイムパフォーマンスを高める時間最適化の専門家。「単語登録」の便利さを伝える「単語登録エバンジェリスト」。 最近はメモアプリとして「Notion」の勢いがすごいように見えます。SNSを見ていると、今まで「Evernote」を使ってきた人もどんどん移行しているように見えますよね。 そして「Evernoteはオワコン」という声を聞くこともありますが、それは本当でしょうか？ 今回は2010年からEvernoteを愛用しているヘビーユーザーのわたしが、現在も使いつづけている理由についてお話しします。 【目次】 なぜEvernoteはオワコンだと言われているのか？ （1）大幅な「値上げ」があったから （2）もはや有料版でないと使えないから （3）日本法人が解散したから それでもEvernoteを使いつづける理由 （1

CD2枚が付録としている1998年に発売された雑誌があるのだが、未開封品にもかかわらずその付録CD2枚とも読み取り面が白く曇ってしまう通称白濁化が発生していた。拭き取っても白い部分は残ったままで、イメージ化しようと読み取ろうとすると途中でエラーを吐いてしまう。 とある方が購入した同じものも同様に劣化が進んでいたとのことで、偶然不良品だったというわけじゃなく元々の製造品質が悪く25年の歳月でこのようになってしまったと思われるが、レーベル面の反射層が剥がれたCDでもアルミテープで補正できちゃったりするので、白濁化でもなんとか改善できないか挑戦。 そもそもこの白濁化現象、CDのポリカーボネートが空気中の水分を吸ったことによる化学変化、アルミニウムの錆、などと発生原因は様々な理由が考えられるがはっきりとした原因はわからないようで、上記の様な理由じゃなく今回のCDは反射層と保護層の接着剤の質が悪く剥

Microsoftリモートデスクトップが5月終了へ。後継「Windows App」ってどうなの?【今日のワークハック】

論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

Evernoteの日本法人解散というニュースが4月27日に流れました。以前のEvernoteからの変化を追っているものとしては、「特に不思議はない」という感じではあったのですが、それを知らない皆さんにとってはショッキングなニュースだったようで、中には「もうEvernote終わりですか」という印象を持たれた方もいたようです。 この点については、すでにEvernote Japanから「ご安心ください」というアナウンスが出ています。とはいっても、「最近のEvernoteどうなの？」「大丈夫なの？」という印象を持ってしまう人がいるのも致し方がないといえばないかなとも思います。私は以前、Evernoteでアンバサダーをやっていたこともあり、実際に相談というか、問い合わせというようなものも受けました。 今回の日本法人解散が、Evernote全体に何か影響があるとかというと「ほぼ何もない」ということでい

Bending Spoonsは、2022年11月にEvernoteの買収を発表。23年7月には、Evernoteの事業をBending Spoonsの本拠地である欧州に移管するにあたり、米国とチリのほぼ全ての従業員を解雇したと発表しており、日本法人の解散も同様の動きとみられる。 関連記事 「Evernote」日本法人が解散　解散公告を掲載【追記あり】 オンラインメモサービス「Evernote」を手掛ける米Evernoteの日本法人であるエバーノートは4月26日、解散すると発表した。 Evernote、米国とチリの従業員をほぼ全員解雇　欧州への事業移管で オンラインメモサービスを手掛けるEvernoteは、米国とチリのほぼすべての従業員を解雇したと発表した。昨年11月に同社を買収したBending Spoonsの本拠地である欧州に事業を移管するためとしている。 EvernoteをイタリアIT

追記（4月27日午前1時50分） Evernoteの公式アカウントが日本でのサービス提供について言及。日本法人を閉鎖したことに触れつつ、「日本国内のお客様はこれまでと同様にEvernoteのご利用が可能です」と投稿している。 関連記事 「これまで同様にEvernoteは利用可能」――公式アカウントが投稿、日本法人の解散を受け 伊Bending Spoons傘下のEvernoteは4月27日、公式X（旧Twitter）アカウントにて「日本国内のお客様はこれまでと同様にEvernoteのご利用が可能です」と投稿した。26日には、同社の日本法人であるエバーノートが解散したと、同日付の官報に掲載していた。 Evernote、無料プランを大幅制限　ノートの上限数が10万→50に 伊Bending Spoons傘下のEvernoteが、無料プランの仕様変更を実施する。これまで最大10万だったノートの上

ダイキンは4月24日、近年SNSで節電術として話題になっている「室外機に濡れタオル」について、実際の利用環境で比較した結果を発表した。濡れタオルは「なし」のほうが節電になった。 真夏にエアコンの室外機に濡れタオルを置いて運転した場合、1日の電気料金は3.87kWhだった。ほぼ同じ条件で濡れタオルがない場合は2.77kWh。濡れタオルを置くことで、電気代が3割ほど増えてしまった。1カ月換算では1020円ほど電気代が増える計算になる。 理由についてダイキンは、「濡れタオルが室外機側面の吸込み口や吹き出し口の一部に垂れ下がり、空気の通り道をふさいでしまった」と説明。「エアコンは空気の流れを妨げられると運転効率が落ち、その分、余計に電力を使ってしまう」としている。濡れタオルが乾いて大きく垂れ下がった場合、さらに効率が低下するため注意が必要だという。 ダイキンは、エアコンは室外機周辺や熱交換器の温度

Microsoftリモートデスクトップが5月終了へ。後継「Windows App」ってどうなの?【今日のワークハック】

こうとく @kotoku47 家に帰ったら玄関がやたらガス臭く、原因を探ったらこういうことだった。 アウトドア趣味を最近はじめた家族がやらかしてしまったものだが、普通に超危ないので、みんなも気をつけてね!!!!!!!!!11 そもそも付属のキャップは捨てず、装着し直す癖を着けよう!!!!!!!!!!111111111 pic.twitter.com/VEj6jIFZGR 2024-04-16 20:28:28