旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ

サインインした状態で「いいね」を押すと、マイページの 「いいね履歴」に一覧として保存されていくので、 再度読みたくなった時や、あとでじっくり読みたいときに便利です。

本記事では、「Chain-of-Abstraction (CoA) Reasoning」についてざっくり理解します。軽めの記事です。 株式会社ナレッジセンスでは普段の業務で、生成AIやRAGシステムを活用したサービスを開発しています。 この記事は何 この記事は、最近聞くようになった「Chain-of-Abstraction (CoA) Reasoning」の論文[1]について、日本語で簡単にまとめたものです。 今回も「そもそもRAGとは？」については、知っている前提で進みます。確認する場合は以下の記事もご参考下さい。 本題 ざっくりサマリー LLMが外部ツールを使って回答を生成するときの、回答精度を高める手法についての論文です。Metaの研究者らによって2024年1月に提案されました。「Chain-of-Abstraction (CoA)」という手法を使うメリットは、RAGに応用することで

さまざまな数学的トピックをムービー形式で解説するサイト「3Blue1Brown」において、ChatGPTに代表されるAIを形作っている「Transformer」構造の心臓部「Attention(アテンション)」についての解説が行われています。 3Blue1Brown - Visualizing Attention, a Transformer's Heart | Chapter 6, Deep Learning https://www.3blue1brown.com/lessons/attention AIの中身と言える大規模言語モデルのベースとなる仕事は「文章を読んで次に続く単語を予測する」というものです。 文章は「トークン」という単位に分解され、大規模言語モデルではこのトークン単位で処理を行います。実際には単語ごとに1トークンという訳ではありませんが、3Blue1Brownは単純化して

漫画『ハッピー・マニア』で人気を博し、その後の作品『シュガシュガルーン』では第29回講談社漫画賞を受賞するなど、数々の名作を生み出している、漫画家・安野モヨコさん。そして、安野さんのパートナーはアニメ『新世紀エヴァンゲリオン』の監督・庵野秀明さん。このクリエイティブなご夫婦は一体どんな生活を送っているのでしょうか。安野さんは、「監督は眠っている時の姿が浜辺に打ち上げられた棒みたい」と言っていて――。 集中力 監督は眠っている時の姿が変わっていて 浜辺に打ち上げられた棒みたいに一本になって寝ている。 体の中にある本体が抜け出して、その際入れ物である肉体を ぽいと投げ出して出かけてった、というような感じがする。 なんでそんなふうに感じるかというと 普段から監督の動きがそんな様子だからだ。

2024年2月の頭頃から、AppleがiOS 17.4のベータ版で「プログレッシブウェブアプリ(PWA)」のサポートを廃止していることが明らかになっています。AppleはPWAのサポート廃止について、欧州連合(EU)のデジタル市場法に準拠するためと説明していたのですが、多くの批判にさらされた末、サポート廃止を撤回すると発表するに至りました。 iOS 17.4 won't remove Home Screen web apps in the EU after all - 9to5Mac https://9to5mac.com/2024/03/01/apple-home-screen-web-apps-ios-17-eu/ iPhoneは長らくPWAをサポートしており、これによりモバイルアプリと同じようにウェブ上のアプリをホーム画面に追加して利用することができるようになっています。iOSでのP

2024-02-27にarXiv公開され，昨日（2024-02-28）あたりから日本のAI・LLM界隈でも大きな話題になっている、マイクロソフトの研究チームが発表した 1ビットLLMであるが、これは、かつてB-DCGAN(https://link.springer.com/chapter/10.1007/978-3-030-36708-4_5; arXiv:https://arxiv.org/abs/1803.10930 )という「１ビットGANのFPGA実装」を研究していた私としては非常に興味をそそられる内容なので、論文を読んでみた。今回は速報として、その内容のポイントを概説したい。 論文情報 Ma, S. et al. (2024) ‘The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits’, arXiv [c

本記事は、 以下の論文の日本語解説です。 Fukano & Soga (2024). Greenery hypothesis: an evolutionary explanation for why presence/absence of green affects humans. People and Nature. https://besjournals.onlinelibrary.wiley.com/doi/full/10.1002/pan3.10619 自然に対する心理的反応に関する新しい仮説を提案した論文で、実験などで何かを実証したものではありません。また、本研究のように進化心理学的な研究は誤解を生みやすいトピックです。こういった背景から、プレスリリースなどではなく、論文全体を（機械翻訳など使いながら）解説しました。興味がある方は、とても長いですが頑張って読んでみてください。15

Intro 以前から騒がれていた Apple によるサイドローディング周りの緩和について、正式な情報公開があった。 Apple announces changes to iOS, Safari, and the App Store in the European Union - Apple https://www.apple.com/newsroom/2024/01/apple-announces-changes-to-ios-safari-and-the-app-store-in-the-european-union/ ストアやペイメントの緩和もあるが、ここでは WebKit に関する部分だけを抜粋し、どのような条件があるのかをまとめておく。 筆者が公開情報を読んで解釈したものなので、内容は保証しない。 前提 iOS/iPadOS に入れられるブラウザには、 WebKit を用いる必要が

はじめに 対人性愛中心主義とシスジェンダー中心主義は密接に結びついているのではないか。トランスフォビアと萌えフォビアは同じ構造に根差しているのではないか。すでに何度か論文やTwitterでこの話をしてきたが、ここですこし具体的に説明しておこうと思う。 トランスフォビアと萌えフォビアは理論的に同根で、それを端的に示しているのがバトラーの言う「〈字義どおり化〉という幻想」だ。……という話を今までの論文でずっと示唆してきたんですが、これを初めて明示的に論じたのが今回の拙論だと思います。https://t.co/ry6JEekDQD — ゆう（wrmtrm）/『現代思想』メタバース特集寄稿 (@wrmtw) 2022年8月30日 なお以下では基本的に二次元の女性キャラクターをめぐる議論とトランス女性をめぐる議論に焦点を絞る。これは世間での「論争」で女性キャラクターとトランス女性にフォーカスされるこ

ティラノサウルスは最も研究されている恐竜ではありますが、まだまだわからないことが多いのが実際のところです。たとえば「ティラノサウルスには羽毛は生えていたのか?」という一般的な問いにさえ、まだ確定した問いはないのです。 一方で、ティラノサウルスの仲間は、北極に近いアラスカや日本にも生息していたことが分かっています。新たな発見があるたびに新しいことがわかり、そしてまた新たな謎が出てくるのがティラノサウルス研究なのです。 そんなティラノサウルス研究の最新事情を、『ティラノサウルス解体新書』（講談社ブルーバックス）から抜粋・再編集してお届けする短期集中連載、今回はなんと18種類もいたというティラノサウルスの仲間をご紹介します。 rexだけじゃない！「ティラノサウルス」の仲間 最強恐竜はもともと滅びる運命にあったのか？　謎の多いティラノサウルスですが、研究は着々と進んでいます。 そもそもティラノサウ

［インタビュー］10年ぶりの最新作「ARMORED CORE VI」は，メカだからできる動きと，近年のフロム・ソフトウェアの技術を盛り込んだ“メカアクション” 編集部：御月亜希 ライター：大陸新秩序 カメラマン：増田雄介 12→ 2023年8月25日にいよいよリリースされる，フロム・ソフトウェアの「ARMORED CORE VI FIRES OF RUBICON」（PC / PS5 / Xbox Series X|S / PS4 / Xbox One　以下，ACVI）。本作は，同社が近年のアクションゲーム開発から得た知見と経験を活かしつつ，「アーマード・コア」（以下，AC）シリーズのコンセプトをあらためて見つめ直した新しいアクションゲームだ。 ACシリーズのリブートタイトルでもあるという本作がどのような経緯で企画・開発され，どんな仕上がりとなったのか，プロデューサーを務める小倉康敬氏と，デ

ここでは、はてなブックマークがサービスを運営するにあたっての考え方と、はてながサービスを健全に運営するための方針、また、サービスをより有益に使っていただくためユーザーのみなさまにお願いしたいことをガイドラインとして公開します。 はてな全体のルールとガイドライン はてなでは、サービス利用について下記のようなルールとガイドラインを公開しています。 はてな利用規約 はてなプライバシーポリシー はてな情報削除ガイドライン はてなコミュニティガイドライン 特に、はてなコミュニティガイドライン では、はてな全体のユーザーコミュニティに対する価値観と、サービス上で生じる問題に対する指針を記載しています。ぜひご一読ください。 はてなブックマークは、ご利用いただくみなさまが、サービスを通じて以下のような体験が得られる場であることを目指しています。 新たな発見が多く得られる 情報への深い理解や洞察が得られる

とくさん｜マイコーピング @nori76 これ大好きで何度も見ちゃう。J-POPに典型的なメロディに触れて「7度に降りてからEに戻ってくると、”きっと上手くいく”という気持ちになる」と言語化してくれてるとことか最高。曲に苦しみと前向きさが同居していて、この音楽は自分を理解してくれてると共感する人が多いのではというのも鋭い指摘。 pic.twitter.com/rhJhwrRzEC 2023-06-24 11:04:09 とくさん｜マイコーピング @nori76 全編すごく面白いのでぜひ！私もいちばんしんどかった時にPerfumeの音楽に励まされてなんとか毎日を乗り切ってたので、この解説はすごく腑に落ちる。 youtu.be/gFXcwv9XISc 2023-06-24 11:05:16

甥の山上徹也が安倍晋三元首相を銃撃した2022年7月8日の事件から、まもなく1年が経とうとしている。 事件後、私はマスコミ関係者に事件の背景を説明してきた。徹也の幼い頃に父親（私の弟）が自死したことや、徹也の母親が旧統一教会に多額の献金をしたことが原因で一家が破産したこと、さらには障害者だった徹也の兄が将来を悲観して自死したことをなどである。そうした事件の背景を説明することが伯父としての社会的責任だと考えたからだ。 徹也の捜査は終了し起訴されたことで、私は、自分の任務を終えたと考えている。ところが事件から1年という節目が近づいているからか、最近、再びマスコミ関係者が私のところにやってくるようになった。その一つひとつに対応するつもりはないため、以下、徹也に関することを記しておくことにした。 海水浴場で見せた笑顔 まずは彼の少年・青年時代に触れておきたい。 彼の父親が自死したのは1984年、徹

経営者が保有する自身の株式を、役職員に贈与したいという思いから始まったと。 松田氏：先日、ある外食チェーンを運営する上場企業の創業者が、自身の保有株を社員に無償で譲渡されました。これと同じような思いと言えるでしょう。一方で、株式を渡した後すぐに退職したり、パフォーマンスが落ちたりした場合は、オーナー社長としては渡した株を返してもらいたいと思ってしまうのもまた当然の心情でしょう。しかし、渡した株を返してくれと言えば訴訟になりかねない。それならば、いったん信託に新株予約権を預けて、その後で付与することができないかと考えたわけです。 信託型SOはオーナー経営者の気持ちに応える商品 通常のSOは、その目的にそぐわなかったのでしょうか。 松田氏：通常のSO、つまり直接発行のSOには使いづらい面があります。というのは、会社への貢献度にかかわらず入社年次が早い方が多くの報酬を得る仕組みになっているからで

【推しの子】 1 (ヤングジャンプコミックスDIGITAL) 作者:赤坂アカ,横槍メンゴ集英社Amazon 最近、いや数年前から「推し」という言葉をよく耳にする。10～25年以上前にオタク界隈で流行っていた「萌え」に比較すると、「推し」には公言しやすさがあり、あしざまに言われることは少なく、より広い範囲で用いられているようにみえる。そして不特定多数と一緒にキャラクターやタレントを応援すること、ひいては「推し」にお金や時間や情熱をつぎ込むことが良いことのように語られている。 いつの頃からか、時代の合言葉のようになった「推し」。 では人はなぜ「推す」のだろう？ もちろん「推し」などと言わなくても、昔から芸能界のファンには「推し」とよく似たことをやっている人々が存在していた。さまざまなジャンルの愛好家にもいただろう。ではなぜ、今、「推し」が時代の寵児のように語られているのだろう？ そのあたりも含

格闘技 プロレス 中学1年生の女子プロレスラー誕生「リングでは“この野郎！”って気持ちが出ます」 新人・美蘭の闘いを同級生も応援中《特別グラビア》

いまから45年前、1978年にデビューしたYellow Magic Orchestra（YMO）は、翌1979年にアメリカの大手レーベル「A&M Records」から1stアルバムをリリースした。このUS版1stアルバムには、国内版1stアルバム（1978年）とは異なるミックスが施されたことに加え、独自の、非常に象徴的なアートワークも作成された。 扇子を手に、顔の半分を覆うほど大きなサングラスをかけ、頭からはメデューサを想起させるカラフルなケーブルが伸びた芸者……ジャケットに描かれた鮮烈なモチーフ「エレクトロニック・ファン・ガール」（通称・電線芸者）とともに、YMOは世界に広まっていくことになる。 そのエレクトロニック・ファン・ガールがあしらわれた金屏風が今年3月、音楽レーベル「U/M/A/A Inc.」の設立20周年プロジェクト『TechnoByobu』の第1弾プロダクト「Electro