ノーベル賞のメダルでオセロができる発見です。 イギリスのオックスフォード大学（University of Oxford）で行われた研究により、全く異なる物理法則について記された数式であっても、共通する神秘的なパターンに従っていることが示されました。 この結果は、一見して異なる物理現象について述べている数式でも、隠れた「裏ルール」に従っている可能性を示しています。 研究者たちは「私たちの発見は自然のメタ法則、つまり全ての物理法則が従う法則への扉を開くものである」と述べています。 つまり歴史上の物理学者は、自然法則という1つの巨大なゾウを異なる角度から見てさまざまな数式を描いていたものの、それら1つ1つをよく見ると、同じ「ゾウ」を描いたことを示す何らかの共通する特徴が残ってたというわけです。 もし人類がこの「自然なメタ法則」を完全に理解することができたのならば、あらゆる物理法則を統合する究極理
この記事は、本が読めなかったWEBライターが初めて「山月記」を読むだけの記事です。 ＜この記事に出てくる人＞ WEBライター。本を読むのが苦手だった。 友だち。みくのしんが本を読む手伝いをする。 はじめに 以前、「32年間の人生で、一度も本を読んだことがない」というみくのしんが、初めて「走れメロス」を読む……という記事が公開されました。 始めは慣れない読書に悪戦苦闘しつつも、いつのまにか本の世界に没頭。 爆笑したり号泣したり、いろんな感情を爆発させながら、体全身を使って「走れメロス」を読み進み、ついに人生で初めて本を読み切ることができました。 こうして、本を読んだことがない一人の男が、本を読めるようになった……という記事です。 今からお送りするは、そんなみくのしんが人生2冊目の読書に挑戦したときの話です。 2022年12月撮影 人生で2冊目の読書かぁ〜！ 次はどんな話なんだろ？ 楽しそうだ
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
今回の記事の内容は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
30年ぶりにファミコン版ドラクエ4をプレイしたので、AI戦闘の仕様についてまとめます。ソースは主に下の記事と自分でプレイした検証結果です。 本件に関しては下の記事以上に詳しい情報はないと思われますが、仕様解析というコンセプトで非常に詳細に記載してくださっているため、この記事では自分なりに実プレイ上有用かなと思えるレベルでまとめました。 ご一読いただければ「なぜブライやミネアがいまいち使えなかったのか」といった疑問も解消すると思います。 なお、以下に記載の内容は100%正確とは限りません。 ソースの解析記事を私が誤読している可能性があるのと、一部自分で補完した内容はあくまでプレイ検証して「おそらくこうだろう」と結論づけているに過ぎないためです。ご了承ください。 基礎知識まず基礎知識。 ある程度詳しい方、少し調べたことがある方ならこの辺りはご存じの内容になるかもしれません。 AIは「モンスター
いつもと変わらない、しょうゆのある日常。 ある日突然、この国から、 “しょうゆ” が消えてなくなってしまう。 なんと、人々の記憶からも。 しかし、高校生のトシキは、その存在を覚えていた。 もしも、この国にしょうゆがなかったら――。
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
ジョージ @jo2geor2 『ファイト・クラブ』の原作者チャック・パラニュークによる、『子どものためのファイト・クラブ』読み聞かせ動画に字幕をつけました（続く） pic.twitter.com/cjwW30AmoB
(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
このエントリは ドワンゴ Advent Calendar 2021 2日目の記事です(夜が明けるまでは2日目！)。 はじめに TypeScriptには Conditional Types や Template Literal Types といったクッソ強力な型機能があります。 これらを用いて、今回は 2p3p4p2m3m4m2s3s4s4s5s6s8s8s のような天鳳牌譜形式の文字列を型引数に渡すと、麻雀の役判定をする型(あくまで型です、関数ではありません)を作ってみようとおもいます。 (ただし時間がなかったため断么九と平和のみです)。 Conditional Types, Template Literal Types って何？ それぞれ具体的にどんなものか、マニュアルの例を用いて示すと、以下のような感じです。 // Conditional Types の例 interface Anim
Haskellは勉強したけどモナドを本当に理解したって言えるのか自信がない… ＼そんな人向けの試験問題を作りました！／ これから実施する試験問題を、10問中8問正解すればあなたはHaskellのモナドを完全に理解しています。私が保証します！ それではさっそく〜〜 第一問 まずは緊張をほぐしましょう。 Haskellの Monad は○○○○である ○○○○に当てはまるのは以下の選択肢のうちどれでしょう？ 型 関数 型クラス 型シノニム 答え
小学生の頃にあった2時間目と3時間目の間にある短い休み時間。 皆さんはあの時間を何と呼んでいましたか？ 筆者の地域では「中休み」と呼ばれ、15分間の自由時間が与えられていました。 最近知ったんですが、全国では20分くらいがメジャーだそうです。今さらだけど損した気分だ。 チャイムの音を背に教室を飛び出し、ダッシュで校庭に向かったあの日々を、今でもたまに思い出すことがあります。 みんなでドッヂボールをしたり、ブランコを爆漕ぎして靴をぶっ飛ばしたり、上り棒で気持ち良くなったりしたものです。 あれから20年。 大人になった今、あの頃を思い返すと、こんな気持ちが湧き上がります。 子どもの頃は「たっぷり遊べる！」とすら感じていましたが、大人になった今、20分なんてほんの一瞬です。 教室を飛び出し、校庭で思いっきり遊んで、チャイムがなる前に授業を受けに教室に戻るという流れ。今の感覚では、どう計算しても2
クレープらしきものができる あるあるをフライパンで焼くとバターの香りが立ち上ってきた。これ以上いくと焦げそうなので折りたたんで上げる。見覚えのあるものができあがった。 既視感はずっと続くし意外性はどこにもない。「あるある」の生地に熱を加えると「ある」「あるな」というものになる。これが実存というものだろうか。ずいぶんとクレープっぽい形をしている。 こういうものが出来上がる。わかる…！ だがわかってどうする。 このように色々作った最後、お菓子作りが趣味の田村久美子さんが来たところで終了。試食会をした。 このあと我々は材料を試しながらオリジナルお菓子作りに乗り出していき、最後にお菓子作りが趣味のお母さん仲間田村さんを迎えて品評会をやった。 試食してみよう。一品目。卵焼きやクレープの類のものだろうか。 まず厚いクレープが出来上がった お菓子初心者がこんなものかな？？という分量で適当に混ぜて焼くと平
まきりえこ@コミックエッセイスト @toriatamaxp 定期ですがお父さんが南極観測隊員だった子が「ペンギンは観測船が着岸すると、地平線の彼方から見物にぞくぞくやってくる。そして勝手にはしけを登って甲板でくつろぐ。お父さんたちの最初の仕事はクソ重いペンギンを抱えては降ろす事」と言ってた。物見高い 2021-01-29 21:19:56
コードを書いていると、 食べることも忘れて ついつい熱中してしまう。 会社でも、家でも プログラマーも、そうでない人も 夢中になって考え続ける、 そんな時こそカロリーメイト リキッドで 素早く手軽に５大栄養素を。 BALANCED FOOD CalorieMate LIQUIDto Programmer ＃うちこむ人にバランス栄養 >MESSAGESメッセージ >Translate Matz コード監修 まつもとゆきひろ Yukihiro Matsumoto プログラマー、ソフトウェア技術者。1965年生まれ、鳥取県出身。愛称は「Matz(マッツ)」。1995年にプログラム言語「Ruby」を公開、その使い勝手の良さから世界中のプログラマーに親しまれ続けている。2012年には内閣府「世界で活躍し『日本』を発信する日本人」の1人に選ばれた。 From Tech Crunch Japan世界的プ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
