この記事は 古代エジプト人は3：4：5の比を辺をもつ三角形を使って直角を作図した ピュタゴラスは三平方の定理を証明した 古代ギリシャで無理数（量）の研究は禁止されていた 無理量を口外した者はピュタゴラス教団に殺された アルキメデスは「私の円を乱すな」と言った キリスト教徒のせいでギリシャ数学は滅びた デカルトは「デカルト座標」を発明した 古代ギリシャ人は三大作図問題を解けなかった 古代エジプト人は円周率を計算していた 以上のような数学史上の俗説を検証するものです．全文無料公開ですが，注釈（本文で ³ のような上付きの数字で示されている箇所の脚注を読めます）を含めたPDFは有料となっております．さらに学びを深めたい方はご購入ください．それでは始めます． 序．数学史に関する書物で，原典を調べもせずに，他の書物から無批判にその主張を受け売りしている例，お伽噺のようなことが「あまねく知られた事実」

This is open-source software written by hobbyists, maintained by a single volunteer, badly tested, written in a memory-unsafe language and full of security bugs. It is foolish to use this software to process untrusted data. As such, we treat security issues like any other bug. Each security report we receive will be made public immediately and won't be prioritized. これは趣味人たちによって開発され、たった一人のボランティアによっ

はじめに こんにちは、株式会社ドワンゴでニコニコ生放送のフロントエンド開発を担当している misuken です。 みなさんのプロジェクトには「条件分岐が複雑すぎて誰も把握できなくなった仕様」はありませんか？ ニコニコ生放送のフロントチームでは「Gate」という機能が、まさにそのような状態でした。 この記事では、極めて複雑なGate機能を、スプレッドシートによる仕様整理で劇的に改善した取り組みをご紹介します。 TL;DR 複雑化した仕様を整理するためのアプローチ： リバースエンジニアリング: テストのスナップショットから実装を読み解く マトリックス形式の整理: 共通項と差異を一目で把握 状態の抽象化: 扱う状態を30個→24個に削減 パターン識別子: 認知負荷を大幅に軽減 通り数の可視化: 網羅性を確保して安心 結果: 誰も把握できなかった仕様が、全112通りで網羅できることが判明。 Gat

表題のとおり、Claude Codeが4~5並列にSubAgentを起動した時に自宅ネットワークが死ぬ問題が起きていた。その状況になると次のような現象が起きていた。 pingなども含めて一切外部との通信ができなくなる Claude Codeを一旦止めて数分待つと復活する この現象について知人に相談しながら対応を進めたところ解消できたので、ログとしてブログに残しておく。ただしネットワークについて専門分野ではないため、かなり間違ったことを書くかもしれない。その場合は指摘してもらえると嬉しい。 自宅ネットワークの構成 ISP: enひかり + v6プラスオプション ルーター: Aterm 2600HP4 再現させる まず再現はかなり簡単に取れた。Claudeを起動し、「どういう内容でもいいので、10並列で何かの調査を行なってみて」と指示を出すと、Explore SubAgentが一斉に起動する。

PR TIMESのCDNをCloudFrontからFastlyに移行しました こんにちは、インフラチームテックリードの櫻井です。 今回はプレスリリース配信サービスの prtimes.jp で使用しているCDNをCloudFrontからFastlyに移行したことについ... なお該当のAPI以外へのリクエストは正常に処理できていたため、PR TIMESへのリクエストが一律でブロックされている状況ではなかったと考えられます。 根本原因の仮説と検証 ここまでの調査でわかったことは以下です。 該当のお客様から行われたメディアリスト保存APIへのAJAXリクエストは、501エラーとしてNew Relicに記録されている。 該当のお客様から行われたメディアリスト保存APIへのAJAXリクエストは、PR TIMESシステムに到達していない。 該当のお客様から行われた他のAPIへのリクエストは、正常にレス

ケンちゃんと馬屋原さん 近くのレストランで飼われているケンちゃんが、最初に注目を集めたのは2017年3月。 開催中だった「猫まみれ展」の会場に入ろうとして、警備員の馬屋原定雄さんに阻止される様子がツイッター（現在のX）で紹介されたのがきっかけでした。 その後も「猫と警備員の攻防」としてたびたび話題になりましたが、侵入を試みるのは警備員が馬屋原さんの時がほとんど。 馬屋原さんが来るのは年4回の特別展の時だけなので、そのたびに美術館職員は攻防戦を期待してカメラを構えていました。

ゆっこ @zahato18 今日、新宿TOHOで呪術廻戦0観て出てきたら、これ なにごとかと流石にびっくり なんかナイフ？振り回した人がとっ捕まったらしい 犯人？おさえつけられてしばらくピチピチしてたけど、なんかデカいシートみたいのにお包みされて運搬されてった 見た感じけが人とかはいなさそうで良かった pic.x.com/RP0EkHRbUv 2025-11-02 21:00:21 Shun@Forex trader @shun_itdream TOHOシネマズ新宿で｢沈黙の艦隊　北極海大海戦｣という映画を見ていたのだが、周りの人がナイフ持った女がどうたらこうたらって叫んでて、エスカレーターを走るように下ってきてて、焦った 2025-11-02 19:03:15

タイトルどおり、先日CICに自分の信用情報開示報告書を照会した。 得られた報告書を紐解くと、「ネットの経験知」レベルであったことの幾つかは、「本当だったんだ」という確度をもって断定できるようになった。 そして「信用ブラックになった人間がとるべき行動」や、そうでない人も「自分の信用スコアを最大化する為に採るべき最適行動」について、示唆を得ることが出来た。 このエントリでは、順を追って解説することで備忘録とし、併せて皆さま（特に現在信用ブラックの方）の便益に資されたい。 （読むのが面倒であれば、最後にtipsとして一覧にしている。ただ当たり前のことしか書いてないが。） 時系列その年の元旦。まだ平成だったが、その日、私は借金まみれの生活を自力でどうにかすることを諦め、破産することを決めた。 無気力で自堕落な私がそこから弁護士事務所に向かうのには、更にひと月の時間を要した。 弁護士と今後の対応を協

今日では多くの人が、家計簿アプリで銀行口座やクレジットカードの利用履歴を一元管理している。マネーフォワードMEやZaimといったアプリに口座を連携させれば、入出金の記録が自動で取り込まれ、支出の傾向が一目で分かる。現金を使わない生活が当たり前になった今、こうしたツールは家計管理の基盤になっている。 ところが、ここに奇妙な穴がある。コード決済の本丸こと、PayPayだ。 PayPayカードは連携できる。PayPay銀行も連携できる。しかし、決済の中核であるPayPay本体──QRコード決済のPayPay──だけは、家計簿アプリと連携できない。コンビニでも飲食店でも使えるPayPayの利用履歴が、自動では取り込めないのである。なぜか。 この素朴な疑問は、実は日本の決済データを巡る構造的な課題と結びついている。そして、世界的な潮流から取り残された日本の現状を映し出す鏡でもある。 PayPayの連

Pandasの read_csv における欠損値文字列の扱い Pythonのデータ解析ライブラリPandasでは、CSVファイルを読み込む際（pd.read_csv()）、特定の文字列が自動的に NaN （欠損値）として扱われるという仕様があります。 ドキュメントによると、デフォルトで以下の値がNaNと解釈されます。 By default the following values are interpreted as NaN: “ “, “#N/A”, “#N/A N/A”, “#NA”, “-1.#IND”, “-1.#QNAN”, “-NaN”, “-nan”, “1.#IND”, “1.#QNAN”, “<NA>”, “N/A”, “NA”, “NULL”, “NaN”, “None”, “n/a”, “nan”, “null “. 実際に起きた問題: 野根（None） という地名

株式会社アークエッジ・スペースの id:koba789 です。 アークエッジ・スペースでは、衛星データを活用するためのアプリケーションを開発しています。人工衛星のカバレッジはグローバルなため、それを活用するアプリケーションもグローバルであるべきでしょう。 グローバルなアプリケーションをコスト効率高く提供するため、私たちはサーバレスなプラットフォームを積極的に活用しています。 それは DBMS についても例外ではなく、昨年の re:Invent で発表された Amazon Aurora DSQL を活用しています。課金モデルが従量課金であるため、固定費を押さえたままスモールスタートできるというのも大きなメリットです。 さて、今回はそんな Aurora DSQL を使うときにハマった PostgreSQL との非互換ポイントを紹介します。Aurora DSQL はプロトコルこそ Postgre

現代自動車グループとLGエナジーソリューションが米ジョージア州に10兆ウォンを投じて作ったバッテリー工場で300人以上の韓国人が米移民当局に逮捕・拘禁され、現地人材だけでは工場建設だけでなく運営も厳しい韓国企業の現実があらわれたとの評価が出ている。第1次トランプ政権以降に韓国企業が米国に製造業の工場を大挙作ったが、現地人材の熟練度不足などで少なくない困難を経験してきたためだ。 韓国企業が米国に工場を作る際に体験する最初の障壁は許認可問題だ。環境・安全規制の場合、連邦政府と州政府からそれぞれ許認可を受けなくてはならないが、週ごとに規制基準が異なる。これをどうにか合わせたとしても建設現場で必須の溶接工からして現地で確保するのが容易でない。米国が輩出する溶接工があまりに少ない上に、韓国企業の要求に見合う人材はさらに足りないためだ。韓国産業研究院のチョ・チョル選任研究委員は「米国は工場設計・施工・

reStructuredText (rst) から Markdown (md) へ切り替えたことで、Sphinx から Rspress への移行を検討している。そこで Meilisearch から DuckDB Full Text Search (fts) を利用した全文検索の仕組みに切り替えるため、日本語全文検索を作り始めた。 一通り日本語全文検索を作り終えたが、検索とドキュメントって結構べったりなので、いい機会だからドキュメントツールもお試しで作ってみようということで作ってみた。最終的には Rspress にもどればいいという気軽な気持ち。 方針基本的には Rspress を参考に docs ディレクトリ以下を SSG (Static Site Generation) として提供できる仕組み。ただし開発中は CSR (Client-Side Rendering) として変更点を気軽にを

はじめに 「Dockerでビルドすると遅いんだよね」「イメージが2GB超えちゃって…」 そんな会話はもう過去の話です。2025年、コンテナ化は劇的に進化しました。Rustも例外ではありません。cargo-chefとBuildKitキャッシュマウントの組み合わせでビルド時間を5-10倍短縮、2.63GBのイメージをdistrolessイメージで約50MB、musl静的リンクならわずか1.7MBという値を達成できます。 この記事では、実践的なDockerfileパターンとベンチマーク結果を詳しく解説します。 実際に検証したAxum Webアプリケーションでは、distroless版で50.3MB、musl+scratch版で1.71MBを達成しました。中規模プロジェクト（約500の依存関係）での初回ビルドは10分、コード変更後の再ビルドはわずか40秒です。 信じられないかもですが、これが202

帯広貨物駅発 大阪・吹田貨物ターミナル行き「３０９０列車」の函館貨物駅（五稜郭駅）～青森信号場間の前面展望動画（ほぼノーカット）です 青函トンネルも通過します。年末年始のお供にどうぞ 収録日は２０２３年１２月１３日。当日は北海道内の列車遅延の影響で、３０９０レにも遅れや臨時停車などが出ています 添乗した牽引機はEH８００－３号機です ※駅で旅客が映っているシーンは数分間、映像をカットしています ※鉄道無線での通話シーンなどの音声はカット・編集しています（そのため、音声と映像が合致していないシーンが複数あります） ２０９４レ～３０９０レ～４０９０レで日々輸送されている北海道の生乳についてはこちら https://youtu.be/nqe_nxdXbsQ?si=ddcQ3QhHO83qv7Sc （YouTube） https://www.sankei.com/article/20231224

よくわからん専門性を出されて困惑している方々も居るかも知れないが、私は公園を専門にGoogleMapローカルガイドを投稿し続ける者である。 何故そんな専門性に至ったかと言えば、きっかけはよくある「子供が生まれたから」であり、子供が生まれて、その子供がブランコや滑り台や砂場遊びなどができるようになってくると多くの親は感じたと思う。 公園の設備の情報がマジで少ねえ！ いや、そもそもGoogleストリートビューですら公園内部をキャプチャしてくれてはおらず、道路から遠目で公園を眺めることしかできず、子供を連れて遊びに行くとしても「トイレとかあるのかな？」と思っても確認が一切できなかったのだ。 その当時はまだまだ食べログが全盛だった頃、GoogleMapローカルガイドもほとんど話題になっておらず飲食店の情報すら非常に少なかった。私は思った・・・ やるしかねぇ！俺が近隣の公園情報をカバーしてやらぁ！！

はじめに C#は急速に進化してきた言語です。10年前の「当たり前」は、今では保守性やパフォーマンスの観点から非推奨になっていることもあります。 今回は、レガシーシステムの保守や段階的なリファクタリングに携わる開発者向けに、よくある「昔の書き方」から「現在の推奨」への置き換えパターンを、すぐに実装できるスニペット集としてまとめました。 C＃開発の現場に入ると、新規開発でない限り意外と古いコードを見ることが多いと思います。 今まで受け継がれてきたシステムは大量にあり今でも10年以上前のシステムが元気に動いています。 そして開発者も容易に書き方を変えることはしません。プロジェクトととして統一する狙いもあると思います。それでもコードは確実に進化してます。ぜひ覚えておいてほしい「今と昔のコード」を集めてみました。

---- 追記 「My Job Went To India」の改題改訂版が「情熱プログラマー」なんだ！ありがとう発注したわ。（たぶん達人プログラマーと混同して読んだ気になって読んでないパターンだわ） 俺の悪文のせいで意図が伝わらなかったであろうブコメがあったので、要旨だけ書き直しておくな。 「VibeCodingでIT技術者不要」は、「オフショア開発でコーディング作業は無くなる」ブームと同じだと思う。どっちも必要だよ。 当時ブームに乗って(偽装)派遣・受託開発・エンジニアを大量削減してオフショア移行した会社も、ほとんど揺り戻しで国内受託開発に戻ったオフショア開発は定着したが、 ジュニアエンジニア(インターン)が全滅することも、完全な国別分業制にも発展しなかった。今後数年は、今回も同じだと思う。AIコーディングで開発速度は上がってコストは下がるように見えるが、本質的にはこれまでと変わっていな