数学の超難問「ABC予想」を、高校生でも分かるようにアニメーションで解説。ABC予想は、3つの数のたし算とかけ算についての問題です。日本の数学者が証明を発表しましたが、多くの数学者は納得していないのはなぜなのか。超難問の意味や証明に使われた「宇宙際タイヒミュラー（IUT）理論」を解説します。
TSKaigi 2025 での発表資料です - スピーカーノート リポジトリ…
ここから書くことは、わかる人には分かりきっている話なので、よく分かっている人は適当にブラウザバックしてください。 AIがファクトチェックするんじゃない。人間がファクトチェックするんだ 2025年に入って、多くの人がAIを使い始めました。高度なトライアルの手伝いをさせている人もいれば、ルーチンワークの手伝いをさせている人、質問箱や疑似パートナーのように使っている人、といった具合に使い方はさまざまのようです。 ただ、現行AIを利用するにあたって、必要不可欠なことがあるように思えます。 それは「AIに判断を丸投げしてはならない」です。 たとえば最近、Xではgrokにファクトチェックをねだるポストをたくさん見かけるようになりました。冒頭に貼り付けた、「@grok ファクトチェック」 といったものがその最たるものですね。 これは、本当はおかしい。 grokに限らず、AIに何かを問うこと自体は良いでし
昔DeNAの新人が入社後半年だかの振り返りのプレゼンの中で「うまくモチベーションが上がらなくて」ということを言った時に、南場社長が「社会人がモチベーションで仕事をするな」とすごく怒ったという話*1があって、とても印象に残っている。 また、これは実体験だが、その当時所属していた会社のけっこう中心的な人物が退職する送別会で、その人が受け持っていた客の話になった時、「あれもこれも大変なお客さんですね。私たちに引き継ぎできるものですかね」と残された側が不安をこぼすと、その人は「仕事やろ」とピシャリと言った、という場面をよく覚えている。 どちらも胸に氷を刺されたような、うすら寒い気持ちになったからだった。 私は、社会人だが、どうにも好き嫌いで仕事をしている節があった。やるべきことを淡々とこなすのではなく、やらなくてはならないことの中に何とか自分の興味が持てるようなテーマを見いだして、努力の為のエネル
文部科学省のまとめによりますと、昨年度、全国の小中学校で30日以上欠席した不登校の状態にある子どもは、34万6482人で、前の年度と比べて4万7000人余り、率にして15％多く、11年連続で増加して過去最多となりました。
総理大臣官邸のホームページになりすまし、個人情報の入力を促す偽サイトが確認されました。このサイトにはアクセスできないようすでに対応がとられたということですが、政府は、官邸のホームページを見る際は正しいアドレスを確認するよう呼びかけています。 これは、青木官房副長官が記者会見で明らかにしました。 それによりますと、総理大臣官邸のホームページになりすまし、個人情報の入力を促す偽サイトが確認されたとしています。 事業者の協力を得て、今回の偽サイトにはアクセスできないようすでに対応がとられたということですが、政府は同様の悪質なサイトにアクセスすれば個人情報を盗まれるなど被害に遭うおそれがあるとして、官邸の公式ホームページや旧ツイッター「X」などで注意を促しています。 青木副長官は「引き続き関係省庁で連携しつつ緊張感を持って対応していく」と述べました。 内閣広報室によりますと、これまでに今回の偽サイ
アジャイル型でアプリ開発を進めたところ、完成に至らなかったことについて、ベンダの不完全履行、プロジェクトマネジメント義務違反等が主張されたが、いずれも否定された事例。 事案の概要 eスポーツ事業の企画・運営等を行う原告（Ｘ）は、ゲーマー向けソーシャルアプリの開発を構想し、開発ベンダである被告（Ｙ）との間で、平成28年8月18日に、ゲームに参加する人をマッチングし、参加者同士がコミュニティを形成するソーシャルメディア機能を有するソフトウェア（本件ソフトウェア）を開発する契約（本件契約）を締結した。対価の額合計は、2450万円。その支払は1000万円、1000万円、450万円の3回にわけて行われることとされ、最後の450万円は、納品物を納入後に支払うこととなっていた。 本件契約の締結前には、Ｘは、検収に合格しなかったら、支払済みの代金を返金する条項を設けることを求めたが、Ｙは「返金を想定してお
https://anond.hatelabo.jp/20241019210503 俺は普通に地元が荒れまくっていて、何人か友達も死んでるし、俺自身も犯罪に巻き込まれたことがある被害者だ。 こういうのを見る度に思うのだけれど、「頭が悪いから犯罪する」だとか、「能力が不足しているから犯罪をする」という思考に流されすぎ。 いいか、今話題の強盗団は「何も悪くないのに強盗になってしまう」ことが一番の問題なんだ。 倫理意識が高かろうが、頭が良かろうが強盗になる。それがこれからの世の中。 お前が言っているのは「詐欺は騙される方が悪い」とかそういうレベルの極論。何も悪くなくても詐欺の被害者にはなる。 普通の人達が社会人をやってる時間を「どうやったら犯罪で一儲けするか」に振っている人間達がいるという思考をしろ。これは単純な労働力投下量の問題であって倫理の問題ではない。 まずこの文章を読んで、お前も、俺も、い
7月くらいに入社した同僚氏は「問題を放置しない」が口癖で、半ば麻痺している痛いところを突いてはすぐに何かしらアクションに移して状況を変化させている。ハイレベル問題解決ブルドーザーである。 「これは放置しないほうがいいですね」、「放置しないほうがいいのでやりましょう」といった感じで話してくることもあれば、「これどうします？放置しますか？」のように聞いてくることもある。見て見ぬふりをしたり、なんとなく結論が曖昧な状態のままにしておくことを"放置"と言っているらしい。ややこしい言い方をすれば、"今は (いつまで) 放置する"と決めたのであればそれは放置してはいないということなのだそうだ。 先日、彼が会議中にボソッと「問題を放置さえしなければちょっとずつよくなっていくんですよ」と言っていて、たしかになあとしみじみ噛み締めてしまった。 何かチャレンジをしていれば問題が多々発生するのは当たり前ではある
前後左右天地全方位から攻撃されるから。 全方位に向かって移動できて全方位に向かって攻撃できるようにするには死角を消すのが最重要になるよな 鳥とか棒みたいな、ケツに推進力を搭載して1方向に進みやすいほそながい形って意味ないよな。 どうせ推進力上げてもレーザーの速度にかなわんし。なにより回頭の手間が無駄。 あと外殻と内部構造が独立（分離）してれば攻撃が来てる方向に強い装甲を移動させるとかもしやすい。 （追記） おもいのほかトラバブクマあつまったな。みんなサンキュー 推進機（噴出口）はどこにつける設計なんだ？8方向につけるとか無駄もいいところだぞ？ やっぱイオンエンジンのバチクソ薄型で高出力のやつ（ホールエフェクトスラスタ？）よな。 それを外部装甲に何個かペタペタ貼り付けてそれさえも動かせるようにしたら可動域の縦横無尽性と速度とを両立できる。ついでに冗長性も。 クソデカリアクターは内部構造に置い
おつかれおつかれ。 ESね～大変なんだよね！ おれから見るとね～考えすぎじゃねｗｗｗって気がするよね。 会社が欲しい人材って、自我のないロボットなんだよね。 その人材に、自己ＰＲで自我みせな？って言ってくるの、意味不明に見えるよね。 これ罠。 例えばね～ナオン口説くときに、「俺下心すっごいスよｗｗｗ」とは言わないわけよ。 下心ないものは、下心あるともないとも言わないのよ。 かと言って大人しすぎるとヌイペニ現象だから、微妙なわけよ。 あるかないかっていうと、ギリないよりのありってところを示すわけよ。 そんでもって、ホテル行ったらありよりのありって役割が求められるわけよ。 これはね、自己ＰＲの塩梅と全く一緒！！ 全く自我のないマジもんのロボットは、なぜか採られない！ 一方で、自我マシマシの、クリエイティブの獣みたいなやつも、なぜか採られない！ 狙うのは、ギリ自我ないよりの、ありって塩梅よ。 出
はじめまして、asachiです。 普段はプロダクトマネージャーとかデザインとかをやっています。 最近、会社・事業のインフラコストをどう評価するかという話に社内でなって、実際各企業どんなもんなんだろうなと気になり、IR資料から頑張って漁ってきました。 せっかく色々と見たので、気になった事例等含めて書いていこうかなと思います。 TL;DR 上場企業のインフラコストを調べた 規模・業態問わずで30社くらいのデータを発掘できた 最もコストがかかっていたのはゲーム会社アカツキ約11-12億/年 次点はツイキャス運営のモイ 約5.8億/年 「メメントモリ」が流行ったため、BANK OF INNOVATINが直近四半期でサーバー費用が3億円/四半期(前年同期比1,153%)になっていた 各種会計項目に対してサーバー費の比率が安定しているのは、GunosyとGameWith 売上原価に占める割合が高いのは
先日、Kamal 2でNext.jsを安価なVPSにデプロイする勉強をしながら、Next.js App Router/Server ActionでCRUDのデモアプリを作成しました（コードはGitHub）。そのときにセキュリティについて気になって点がいくつかあり、勉強しながら対策をしましたので紹介したいと思います。 私自身は業務でNext.jsを書いた経験が限定的です。的外れな議論をしているかもしれません。あくまでもRuby on Railsアプリを書くときと同じ気持ちでNext.jsのアプリを書いたとき、セキュリティ上で気になった点を挙げているだけです。私が見落としている点や誤っている点等ありましたら、コメントやX等で教えていただけると大変ありがたいです。 その１：データ漏洩の危険性 この問題についてはムーザルちゃんねるが紹介しています。またNext.jsの公式ブログでも対策が紹介されて
はじめに 私は今、CSVエディタ SmoothCSV 3 を開発しています。フレームワークとして Tauri を採用しており、レンダラーにはWebの技術（React + TypeScript）を使っています。 CSVエディタは大量の行・セルを表示する必要がありますが、Webの技術ではこのようなシーンではバーチャルスクロールを使うのが定石です。 SmoothCSVでもバーチャルスクロールを使っていましたが、どうやらこのバーチャルスクロールにも限界があるらしく、数百万行のような極端に大量のデータを表示する場合に最後まで表示しきれない問題に遭いました。 ここではバーチャルスクロールの基本と、その限界をどう乗り越えたかを紹介します。 About Me 株式会社ヘンリーでソフトウェアエンジニア & アーキテクト的なことをしつつ、個人開発してます。 Social accounts: kohii on
ビジネスマナー本で「了解」をNGとしているものはない メールマナーではない、ビジネスマナー全般に関しての書籍も1980年〜2010年ごろのものを40冊ほど目を通しました。すると、「了解」を不適切としているものは見当たりませんでした。 例えば、2004年に出版された田中千恵子『ビジネス敬語お決まりフレーズ』という本があります。田中さんは様々な企業のマナー研修の講師をされている方ですね。この本は場面ごとの適切な言葉づかいの例をまとめられています。 「承知いたしました」の言い換え例で「了解いたしました」が挙げられています（64〜65頁）。「わかりました」は丁寧さに欠けるとされていますが、「了解」に関しては注釈はありません。 様々なビジネスマナー本を見てみたところ、よくある敬語の間違いとしてしょっちゅう取り上げられるのは、「ご苦労さまです」でした。ほかには「美化語の“お”と“ご”の過剰な多用に気を
Copy permalink (strict) WhiteWind will show `Contents changed` badge if contents are edited 前編「BlueskyがActivityPubを採用しなかった3つの理由」←イマココ 中編「AT Protocol入門：プロトコルの背景にある考えを理解する」 後編1「AT Protocol考察1：ActivityPub連合との決定的な違いは何か？」 後編2「」 Q. BlueskyはなぜActivityPubを採用しなかったのか A. 一言で言うなら時代がそれを許さなかった Twitterのメタクソ化と分散型SNS Elon Musk氏によるTwitter（現X）の買収後、サードパーティーアプリの排除やインプレゾンビの発生など、さまざまな改悪が行なわれました。このような巨大プラットフォームの品質低下は「メタク
大いなる流れには逆らえない あるAI研究者が言っていた、私の仕事もいつか AI に奪われるという言葉が非常に印象的だった。 私は一時期自分のキャリアに危機感を覚えAIに関する情報を集めていた。そのとき見つけたYoutube動画でこのようなことが語られていたのである。 ではなぜ彼らは研究を続けるのかと思うかもしれないが、個人や一団体がそれを放棄したところで世の中のイノベーションの流れを止めることは不可能だろう。 平和を望む国々も兵器開発をやめられないのと似たようなものだ。 私がこの記事のタイトルを思いついたとき、つい溜息が出た。あまり楽しくない思い出があるからだ。 ただ、思いついてしまった以上これを世に出さないわけにもいかず、血の涙を流しながらこの記事を書いている。 私というちっぽけな存在では、この大宇宙の大いなる流れには逆らえないのだ。 申し遅れました。私、YadaYadaKonnanYa
みずの@ゆる言語学ラジオ @yuru_mizuno ミス研出身の先輩に「これ、ミステリだよ」と勧められたので、「そんなわけないだろ」と思いながら読んだ。 なるほど確かに、構成がメタ的で、伏線が色々なところに仕掛けられている。 教科書に擬態した読み物として読んでもちゃんと面白い。なんだこの本。すげぇ。 pic.x.com/AGAxV827PL 2024-10-04 20:32:08 みずの@ゆる言語学ラジオ @yuru_mizuno もちろん、アカデミック・ライティングの教科書としてもすぐれている。著者の、読者に寄り添う姿勢はすごく印象的。 それに加えて、学問論、ひいては人文学論としても出色だ。1冊で複数の楽しみ方ができるのに、ページ数は200ページを切っている。 2024-10-04 20:38:19 みずの@ゆる言語学ラジオ @yuru_mizuno なお、「ミステリっぽい」の内容は本書
まこまこまこっちゃん（以下、まこ）： 人類が魚をどう食べてきたのか書いてある本です。 すごいのが、200ページ以上あるんですけど、100ページぐらいまで魚食べないんですよ。 こーだい： 半分。 まこ： 半分。 帯にはおいしそうな魚がならぶが、食べるようになるまで何千万年もかかる でも、釣り針はまだ見つかっていない まこ： 2000万年前の霊長類の話とかから始まって、スタートがめっちゃ前なんですよ。 石川： でも、魚って霊長類より前からいるじゃないですか。 まこ： 食べてそうですよね。でも！食べてないんですよ……って話がずっと続く。 著者はサルの研究者で、サルが野生下で魚とって食べるのは報告されてないらしいんです。 泳いでる魚とって食べるのって、めっちゃ難しいから道具がいるし。 石川： なるほど まこ： それは最初の方の人類も同じだって、歯の形とかからわかってるんですって。 そもそも必要がな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く