数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
期限の制約なく無料で提供される「Free Tier」クラウドサービスまとめ、主要クラウド/PaaS編（2024年版）
期限の制約なく無料で提供される「Free Tier」クラウドサービスまとめ、主要クラウド/PaaS編（2024年版） いくつかのクラウドサービスでは、新規ユーザーに対する1年程度の無料トライアルや一定額のクーポンなどの提供だけでなく、期限の制約なくずっと無料で提供される、いわゆる「Free Tier」や「Always Free」と呼ばれるサービスが提供されています。 こうしたサービスは評価や一時的なテスト環境、あるいはホビー用途などに適しています。 本記事では期限の制約なく無料で提供されている主なクラウドサービスを、2024年版としてまとめました。（有料サービスの追加機能として無料で提供されているものは除外しています）。 ただしこれらの無料のサービスは、提供側の都合により一時的に申し込みや利用が制限されたり、提供が終了することがあります。提供側の都合に留意しつつ、良心的な範囲でご利用いただ
なぜ1年でゲームを完成させようと思っても当然のように4年以上かかるのか｜じーくどらむす
前からずっと言いたかったことがある。同じ過ちを犯すゲーム開発者に。あるいは、「ゲームを完成させた体験が無い人」に。 あなたのゲーム開発に対する予測は、ほとんどの場合正しくない。それも、20%や40%などの振れ幅ではない。200%とか400%のスケールで大きく間違っている。 私はその感覚を確かめるべく一つのアンケートを実施した。結果は火を見るより明らかな傾向を示した。 個人ゲーム開発者に質問です。「１年で完成させる」と思って作り始めたプロジェクト、実際に完成したのは？ — じーくどらむす/岩本翔 (@geekdrums) June 4, 2024 Twitterアンケートの統計的な正しさは保証しない。そもそも母集団が偏っているし、最後の選択肢が「未完成」を含めていることに対して「４年以内に諦めて未完成」の人も含めているかもしれない。が、エターナったという意味では４年以上完成しないもの、に含め
ChatGPTでデータ分析、生成AIで「文系社員」が「分析官」に
◎「文系社員」でもデータ分析できる生成AIマニュアル by OUTPUT CAMP meets AI◎ 「イベントアンケートを取ったが、集計する時間がない」「販売データを収集したものの、分析手法が分からない」 文系のビジネスパーソンにとってデータ分析は、「やったほうが良さそうだが後回しにしてしまう」プラスアルファの仕事だ。大義名分がなければ他部署に依頼するのも難しい。 そこで頼れる相棒となるのが、生成AI（ジェネレーティブAI）だ。 AIプロピッカーの三菱総合研究所・比屋根 一雄さんはこう予測する。 「みんながミクロな意思決定に生成AIを使って、少しでも良い意思決定ができるようになると、世の中全体がデータに基づく合理的で無駄の少ない仕事をできるようになる。壮大なことを言えば、低いと言われている日本の生産性が、少しでも上がるのではないかという期待もしています。」 では、具体的にどの生成AIツ
年齢は関係なくカラダを変えられる。井口裕香、本気のカラダ作りの舞台裏 | Tarzan Web（ターザンウェブ）
整える 走る 遊ぶ 〈マウンテンハードウェア〉の軽やかなウェアと、いつものメディテーションラン。 2024.05.31 PR
Next.jsとPrismaをCloudflareにデプロイして月300万のDBクエリに無料で耐える
はじめに Next.js を Cloudflare にホスティングしようとすると、必然的に Edge Runtime 環境になります。しかし、Edge Runtime 環境では、Node.js Runtime と異なり、Prisma がそのまま使えません。 最初に思い浮かぶ解決策は Prisma Accelerate です。Prisma Accelerate は公式のサービスで、接続プールイングやグローバルキャッシュ機能を備えており、Edge Runtime でも Prisma を使えるようにします。 しかし、無料プランだと月に 6 万クエリの制限があり、本番運用には不安が残ります。 そこで、今回は Prisma Accelerate を自前で Cloudflare Workers 上に構築し、本番運用に耐えうるサービスを無料で開発する方法を紹介します。この方法なら、無料プランでも 月に
Copilot for Microsoft 365 ユーザー向け研修資料
Copilot for Microsoft 365 ユーザー向け研修資料を作りました。まだ出来栄えとしては、7割程度ではありますが、せっかくなのでWebで公開します。 Copilot for Microsoft 365 をこれから触る方の参考になれば幸いです。また、まだ書ききれていない部分も多々あるので、日々メンテはしていきたいと思います。 ＜関連ブログ＞ Copilot for Microsoft 365 ぶっちゃけどうなん？ https://blog.cloudnative.co.jp/22728/ Copilot for Microsoft 365 に関する FAQ https://blog.cloudnative.co.jp/21345/
戸籍の写しの取り寄せで214年前まで感慨深く辿っていく - Really Saying Something
三行まとめ 青森県にいる先祖の戸籍謄本（除籍謄本）の写しを集められるだけ集めた 一番古い先祖の生年が1810年だということがわかった 戸籍を通じて、「自分は人類のデータの一部だ」と思うようになった この記事は長いです だいぶ長くなってしまいました。新聞記事方式を取り、途中で脱落してもいい仕組みにしています。 三行まとめ この記事は長いです 取り寄せることができた戸籍の写しについて なぜ突然先祖の戸籍の写しを集めようと思ったか（行動の背景と目的） 背景その1と目的：戸籍の広域交付制度が始まった 背景その2：私が子孫の終点だ！（直系で） 戸籍をさかのぼってみた 父親の父母より上 五世の祖父より上 母親の父母より上 五世の祖父より上 たどれる中で一番上の世代 たどれる中で一番古い生まれ 戸籍謄本（除籍謄本）を取り寄せる一例 まずは祖父母の戸籍から 祖父母の戸籍から一気にさかのぼれることが多かった
統計検定®︎準１級は実務で役に立つのか？
タイトルの結論は、「役に立つ」です。 役に立つか立たないかの議論は一切せず、本記事では、如何に統計や数学が実社会で役に立つかを紹介します。 はじめに こんにちは。ZENKIGENデータサイエンスチーム所属の廣田です。原籍はオムロンソーシアルソリューションズ株式会社 技術創造センタですが、社外出向でZENKIGENに所属しており、数理最適化や機械学習を用いたデータの分析業務、それらの結果に基づいた顧客への提案をしております[1]。 出向先であるZENKIGENの同僚にも、原籍のオムロンの同僚にも、統計検定®の準1級や1級を持っている方がいて、私も負けじと準1級を受験しました。結果、統計検定®準1級に合格し、優秀成績賞までいただくことができました。 統計検定®合格証と優秀成績賞 試験対策を通じて、改めて統計学の考え方は有用と感じました。この手の検定試験は物事を体系的に学ぶきっかけになるため、私
わずか40秒の運動で身体に起こる劇的変化 – 早稲田大学 研究活動
― 強度の工夫で短時間でも大きな運動効果 ― 発表のポイント わずか40秒の高強度間欠的運動で、全身および筋肉の酸素消費量ならびに大腿部（太もも）の主要な筋肉の活動が大きく増加することを発見した。 高強度運動の反復回数と、酸素消費量の増加は必ずしも比例しないことが判明した。 本研究をきっかけに、トレーニング効果をもたらす『最少量』の解明が進み、日本のみならず、世界の運動実施率の向上に繋がることが期待される。 概要 早稲田大学スポーツ科学学術院の川上 泰雄（かわかみ やすお）教授、国立スポーツ科学センターの山岸 卓樹（やまぎし たかき）研究員らの研究グループは、トレーニング効果を生み出す『最少量』のメカニズムについて、強度の工夫によって、短時間であっても大きな運動効果をもたらし得ることを発見しました。健康増進や疾病予防のための運動の重要性は、これまでもメディアなどでたびたび取り上げられていま
「夢小説も全然なく→あってたまるか」『大造じいさんとガン』の大造じいさんの夢女がいる→国語の教科書にある作品の推しキャラや二次創作が続々集まる
ぽわ( ᴖ_ᴖ ) @tlyro_ あかん、｢幼い頃に山奥に捨てられたところを大造爺さんに拾ってもらい｣はあるあるパターンだから全然いけたけどその次の｢私は大造爺さんのためにタニシを必死に集め、｣でしんだ x.com/ororor51/statu… 2024-05-22 21:34:03
「悪役令嬢を探して」第1回：「乙女ゲームの悪役令嬢」は実在するのか？ 90年代乙女ゲームから悪役令嬢を見出してみよう
「悪役令嬢を探して」第1回：「乙女ゲームの悪役令嬢」は実在するのか？ 90年代乙女ゲームから悪役令嬢を見出してみよう ライター：向江駿佑 近年人気を集める「悪役令嬢」もの。だが，そのイメージソースとされる「乙女ゲームの悪役令嬢」の存在については，これまで幾度となく疑義が呈されてきた。では，本当に乙女ゲームに悪役令嬢は存在しないのだろうか？ 今回4Gamerでは，ゲーム研究者・向江駿佑氏に依頼し，乙女ゲームの中に見出せる「悪役令嬢」の歴史を，全3回にわたって編纂してもらうこととした。第1回は90年代，第2回は00年代，第3回では10年代〜を取り扱う予定だ。「アンジェリーク」以降無数にリリースされてきた作品群の中にある悪役令嬢たちの輝きを，ぜひ読者諸氏にも確認してほしい。 2024年3月にNintendo Switch用ソフト「悪役令嬢は隣国の王太子に溺愛される」（オペラハウス）が発売されるな
おばたのお兄さん『ロンドンに1ヶ月いて学んだこと』
おばたのお兄さんオフィシャルブログ「おばたのブログさん」Powered by Ameba おばたのお兄さんオフィシャルブログ「おばたのブログさん」Powered by Ameba 時が経つのは本当に早いもので、ロンドンに来てからもう1ヶ月が経っていた。 これまた不思議なもので、ロンドンに来た日を思い出すと、すごく前のことのような感じもする。 『ロンドン生活楽しい！』という気持ちと 『日本に帰りたい！』という気持ちが混在しているからだろう。 さて、以前書いたこちらのブログ。おばたのお兄さん『メモ代わりにロンドンへ来る人へ』6月から僕と入れ替わりでロンドンへ来る千と千尋の神隠しで、同じ青蛙役の元木聖也君にLINEをした。内容はこんな感じ↓お疲れ様！ロンドンについて1ヶ月後だと当た…ameblo.jp ロンドン在住の日本人に会うたびにこのブログを褒められた。 『ロンドンに何年か住んでいる人が書く
脳に収まるコードの書き方
Mark Seemann 著、吉羽 龍太郎、原田 騎郎 訳、Robert C. Martin まえがき TOPICS 発行年月日 2024年06月 PRINT LENGTH 312 ISBN 978-4-8144-0079-9 原書 Code That Fits in Your Head FORMAT Print PDF EPUB ソフトウェアは複雑さを増すばかりですが、人間の脳は限られた複雑さしか扱えません。ソフトウェアが思い通りに動くようするには、脳に収まり、人間が理解できるコードを書く必要があります。 本書は、拡張を続けても行き詰ることなくコードを書き、複雑さを回避するための実践的な方法を解説します。最初のコードを書き始めるところから機能を追加していくところまでを解説し、効率的で持続可能なペースを保ちながら、横断的な問題への対処やトラブルシューティング、最適化を行なう方法を説明します
「東京建築祭」18の名建築を無料で特別公開！ 東京駅や三越日本橋本店などの普段は見られないエリアも開放。実行委員長・倉方俊輔さんが見どころ語る
「東京建築祭」18の名建築を無料で特別公開！ 東京駅や三越日本橋本店などの普段は見られないエリアも開放。実行委員長・倉方俊輔さんが見どころ語る 今年、2024年5月、東京の日本橋、丸の内、銀座エリアを中心に、「東京建築祭」なるイベントが開催されることをご存知でしょうか。建築の祭りと聞いてすぐにイメージが湧かない方も多いのではないかと思いますが、その実態は普段関係者しか中に入れない建築を一般公開し、自由に見学ができるようにするというもの。過去にSUUMOジャーナルでも取り上げた、京都・神戸の「モダン建築祭」や約10年の歴史がある大阪の「生きた建築ミュージアムフェスティバル」で行われてきた建築公開イベントが、5月25日・26日を中心に待望の東京初開催となります。 どのような建築が公開されるのか、そしてイベントの見どころを、実行委員長の倉方俊輔さんにお聞きしてきました！
わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」
「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数本」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ＆ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね
中国の出生数が「7年間で半分」に急減 その根底にある根深い「不信感」とは 次世代中国
中国の昨年2023年の出生人口は902万人。今世紀以降のピークだった2016年の1786万人から、わずか7年間で約半分に減った。 この事実が与える影響は甚大だ。中国社会ではこれから数十年かけて幼稚園から小・中学校、高校・大学への進学、新卒就職、結婚・出産など、人の生活にかかわる、さまざまなイベントが順番に「7年で半分」のペースで縮小していくことになる。 出生数急減の背景には、出産や子育て、進学などの費用の高さに加え、子供を育てやすい社会・労働環境の不足などの問題がある。しかし、それ以上に大きいのは、政府の人口政策に対する庶民の不信感だ。ついこの間まで非人道的と思われるまでの措置を講じて子供の数を減らしてきたのに、いつの間にか「出生数の減少は国家的危機」と、多産奨励の方向に転じた。国策としての「計画生育」は破綻したのに、政策の過ちを認める様子もない。過去に泣く泣く出産を断念した親たちの思いは
こんなプロジェクトは「炎上」する。PM界きってのトラブルシューターに学ぶ、“火種の種類と火消しテク” - ミーツキャリアbyマイナビ転職
度重なる期日の延期、お客さまの「激怒」、クリティカルな問題の発覚……。 多くのプロジェクトマネージャー（以下、PM）が最も恐れるのは、そんな「炎上」でしょう。巻き返しを図るものの、逆に現場に負担をかけたり、混乱を招いたり。その結果、品質が大きく下がってしまう、あるいはサービスイン（新しいサービスを開始すること）に間に合わないなんてことになれば、PMとしての信用は大きく損なわれてしまいます。 そうしたトラブルをうまく収め、プロジェクトを無事に着地させるには、どのような心構えや技術が必要なのでしょうか？ 今回お声がけしたのは、日本IBMやパナソニックなどで、PMとして数えきれないほどの炎上プロジェクトを解決してきた木部智之さん。日本IBMではPMのグローバル最高位である「シニア・コンプレックス・プロジェクト・マネジャー」に認定された生粋の「火消し屋」です。 そんな炎上対応のプロフェッショナルで
100人以上の資料を読んで見つけた伝わりやすい成果報告書の書き方 - CARTA TECH BLOG
TL;DR 自身の成果をアピールするために、1)Before/After、2)自分の寄与度、3)数字的インパクトを過不足なく伝えることが重要 説明の冒頭では、課題と解法の全体感と成果を述べ、詳細は後に肉付けすると伝わりやすい 課題を伝える際は"誰から見た課題か"を明確にする。課題は解法の前提であるためブレないように はじめに 技術広報のしゅーぞーです。この記事では、過去100人分程度の成果報告書を読み、気付いた "自分の成果をわかりやすく伝える書き方"をまとめています。 仕事をしていると自身の成果を的確に伝える機会は数多くありますよね。 評価期、転職面接、昇格面談など 評価者に自分の成果をどう分かりやすく伝えるか は自分のキャリアを伸ばす上でとても大事なスキルです。 しかし、自分の頑張りや成果を上手く言語化し、相手に正しく理解してもらうのは簡単ではありません。 特に、経験の浅い若手にとって
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
高評価推理ADV『未解決事件は終わらせないといけないから』開発者、“最後の作品”になる覚悟で作ったと明かす。またとない余暇で「ゲーム開発」に打ち込む - AUTOMATON
