人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

ESP32ベースのスマートホームデバイスのリバースエンジニアリング：リモートコントロールとHome Assistantとの統合

2025-04-15
ESP32ベースのスマートホームデバイスのリバースエンジニアリング：リモートコントロールとHome Assistantとの統合

著者は、すべての機器をHome Assistantに接続することに夢中になり、独自アプリでのみ制御可能な洗練された空気清浄機に取り組みました。シームレスな自動化を実現するために、ESP32ベースのデバイスのリバースエンジニアリングを行いました。アプリの分析により、クラウドサーバーへのWebSocket接続が明らかになりました。ネットワークトラフィックを傍受し、UDPプロキシを使用してクラウドサーバーに転送することで、UDPパケットがキャプチャされました。これらのパケットは暗号化されていました。デバイスの分解により、ESP32-WROOM-32Dマイクロコントローラーが明らかになり、esptoolを使用してファームウェアが抽出されました。分析の結果、暗号化にmbedtlsライブラリが使用され、AES-128-CBCがアルゴリズムとして特定されました。最後に、マンインザミドル攻撃（MITM）を実行し、デバイスをHome Assistantに統合するためのNode.jsスクリプトが記述されました。

続きを読む
(jmswrnr.com)
開発

テスラロードスターが小惑星と間違われる

2025-01-25
テスラロードスターが小惑星と間違われる

新たに発見された小惑星2018 CN41とされた物体は、SpaceXのファルコンヘビーロケットのテスト発射で2018年に宇宙に打ち上げられたイーロン・マスクのテスラロードスターであることがすぐに判明しました。このユーモラスな出来事は、増加する宇宙ゴミ追跡の課題を浮き彫りにしています。アマチュア天文家が当初は地球近傍物体と誤認し、小惑星センターも最初は新たな小惑星としてリストアップしました。問題は迅速に解決されましたが、地球を潜在的に危険な小惑星から守る努力を妨げる可能性のある、追跡されていない宇宙物体の増加が強調されています。

続きを読む
(www.usatoday.com)
テクノロジー 小惑星

Apache NuttX RTOSにおけるunameのバグ修正：静的変数の罠

2025-01-21
Apache NuttX RTOSにおけるunameのバグ修正：静的変数の罠

この記事では、Apache NuttX RTOSのunameコマンドにおける、一見小さなバグのデバッグの過程を詳述しています。最初の問題は、出力からコミットハッシュが欠落していたことでした。調査は、カーネルイメージの検査、カーネル起動時のunameの呼び出し、アプリケーションの逆アセンブルなど、複雑な過程をたどりました。犯人は？コミットハッシュをNuttXアプリケーション内に格納する責任のある、壊れた静的変数（g_version）でした。この予期せぬ動作は、組み込みシステムにおける徹底的なデバッグの重要性を強調しており、小さな異常でも、より深刻な問題を示唆している可能性があることを示しています。

続きを読む
(lupyuen.org)
開発

Amazon、スマホ向けアプリストアを閉鎖、Fireデバイスは継続利用

2025-02-20
Amazon、スマホ向けアプリストアを閉鎖、Fireデバイスは継続利用

Amazonは、2024年にスマホ向けアプリストアを閉鎖すると発表しました。これは、Google Androidの独禁法訴訟に関連している可能性があります。しかし、AmazonのFireタブレットとFire TVはアプリストアを引き続き利用します。AmazonはFire OSがAndroidベースであることを控えめに表現し、独自のエコシステムを維持します。開発者が失望する可能性がありますが、アプリストアのスマホユーザーが非常に少ないため、影響は最小限です。この動きは、Amazonがモバイルアプリ市場でGoogleと直接競争しようとしたことの限定的な成功を示しています。

続きを読む
(arstechnica.com)
テクノロジー

ドイツのスタートアップ、連続運転可能な核融合発電所の設計を発表

2025-02-27
ドイツのスタートアップ、連続運転可能な核融合発電所の設計を発表

2年前に設立されたドイツの核融合スタートアップ、Proxima Fusionが、査読付きジャーナルで「Stellaris」核融合発電所の設計を発表しました。ステラレーターに基づくこの設計は、トカマク方式に見られる不安定性を解消し、継続的で信頼性の高い運転を目指しています。6500万ユーロの資金調達を受けているProxima Fusionは、2031年までに稼働可能な原子炉を建設する計画です。このブレークスルーは、クリーンエネルギー開発競争における重要なマイルストーンとなります。

続きを読む
(techcrunch.com)
テクノロジー ステラレーター

2週間スプリントを超えて：ShapeUp、Plan>Build>Ship、GSDを探る

2025-02-16
2週間スプリントを超えて：ShapeUp、Plan>Build>Ship、GSDを探る

従来の2週間スプリントのスクラムに疲れていませんか？この記事では、ShapeUp、Plan>Build>Ship、GSDという3つの代替案を探ります。ShapeUpは6週間の開発サイクルを重視し、「Shaping」フェーズで十分な準備を行い、「Betting table」で意思決定を行い、「Building」フェーズで開発を行います。これにより、短いスプリントサイクル特有の慌しさから解放されます。Plan>Build>Shipは簡素化されたウォーターフォールモデルで、各機能を専用のチームが企画からリリースまで担当します。Shopifyで普及したGSD（Get Shit Done）は、効率的な実行を重視し、社内ツールVaultを使用してプロジェクトの進捗状況を追跡し、タスクではなくプロジェクトに焦点を当て、チームワークを促進します。これらの3つの方法はそれぞれ独自の特性を持っており、製品チームに多くの選択肢を提供し、状況に最適な開発プロセスを見つけるのに役立ちます。

続きを読む
(www.departmentofproduct.com)
開発 製品開発

ニューホライズンズによる冥王星フライバイ：氷の世界への旅

2025-05-18

ニューホライズンズ探査機は、2015年7月に時速約8万キロメートルの速度で冥王星に接近飛行し、驚くべき画像を撮影しました。この2分間のタイムラプス動画は、これらの画像を強化し、組み合わせることで作成され、冥王星の表面をフライオーバーする様子をシミュレートしています。動画には、水氷でできた山脈、固体の窒素でできた平原、そしておそらく冥王星の比較的暖かい内部から生まれた奇妙な多角形の窒素氷の地形が映し出されています。動画は、500メートルに及ぶ尾根とキロメートル規模の隙間で区切られた、ブレード状地形と呼ばれる場所で終わります。ニューホライズンズは、その運動量のために戻ることはできず、現在は太陽系から離れて進んでいます。

続きを読む
(apod.nasa.gov)
テクノロジー ニューホライズンズ

効果的なNode.jsモニタリング：メトリクス、アラート、ベストプラクティス

2025-05-19
効果的なNode.jsモニタリング：メトリクス、アラート、ベストプラクティス

このガイドでは、Node.jsアプリケーションの効果的なモニタリングについて詳しく説明します。実行時メトリクス（メモリ、CPU）、アプリケーションメトリクス（リクエストレート、レスポンスタイム）、ビジネスメトリクス（ユーザーアクション、コンバージョンレート）のモニタリング方法を網羅しています。モニタリングの重要性を強調し、これらのメトリクスの収集方法と意味のあるアラートの設定方法を詳細に説明します。メモリのこぎり歯パターンを誤解したり、パーセンタイルを無視したりするなど、一般的なモニタリングの落とし穴にも対処します。また、メトリクスをビジネスバリューに結び付ける方法や、ベンチマークテスト、ロードテスト、A/Bテストなど、本番環境以外でのメトリクスの使用方法についても説明します。

続きを読む
(last9.io)
開発

フロリダ州の高齢者を脅かすメディケイド削減

2025-03-16
フロリダ州の高齢者を脅かすメディケイド削減

ワシントンD.C.での支出削減案は、介護にメディケイドを大きく依存しているフロリダ州の介護施設居住者を脅かしています。メディケイドはフロリダ州の介護施設ケアの主要な支払者であり、3分の2の居住者が日々の支援を賄うために不可欠です。潜在的な削減は、介護施設の閉鎖、介護者の失業、家族への負担増加につながる可能性があります。フロリダ州の介護施設の年間平均費用は10万4000ドルから11万7000ドルで、ほとんどの人にとってメディケイドが不可欠です。これらの削減の規模に関する不確実性は、フロリダ州の高齢者ケア擁護者を、同州の高齢者ケアの将来について深く懸念させています。

続きを読む
(www.tampabay.com)
その他 メディケイド削減 高齢者ケア 介護施設

国防長官の妻、極秘軍事ブリーフィングに出席

2025-03-30
国防長官の妻、極秘軍事ブリーフィングに出席

国防長官ピート・ヘグセス氏の妻、ジェニファー・ラウシェット氏が、高レベルの軍事情報会議に出席しているのが目撃され、セキュリティプロトコルに関する懸念が高まっている。これは、ヘグセス氏が戦争計画を議論するグループチャットにジャーナリストを追加したペンタゴンのシグナル漏洩スキャンダルに続くものだ。上級職員の配偶者は通常、低レベルのクリアランスを持っているが、ペンタゴンはラウシェット氏のクリアランス状況を確認していない。さらに、ヘグセス氏の弟フィル氏はDHSの連絡官を務め、公式旅行で彼に同行しており、潜在的な縁故主義に関する議論を引き起こしている。これらの事件は、アメリカの軍事機密のセキュリティとヘグセス氏のリーダーシップに関する疑問を再び浮き彫りにした。

続きを読む
(www.thedailybeast.com)
テクノロジー 軍事機密 縁故主義

JWST、褐色矮星の大気中にシアン化水素とアセチレンを初検出

2025-02-28
JWST、褐色矮星の大気中にシアン化水素とアセチレンを初検出

ジェームズ・ウェッブ宇宙望遠鏡（JWST）が画期的な発見をしました！国際的な天文学者チームがJWSTを用いて、WISE J045853.90+643451.9という近傍の褐色矮星連星系の大気中で、シアン化水素（HCN）とアセチレン（C2H2）を初めて検出しました。arXivプレプリントサーバーに掲載されたこの発見は、雲がなく、分子が豊富な大気を明らかにしています。この発見は、JWSTの中赤外線装置（MIRI）の中分解能分光計（MRS）が冷たい褐色矮星を特徴付ける上で強力なツールであることを示しています。今後の研究では、HCNとC2H2をさらに詳細に調査し、これらの物質が同様の温度の他の冷たい褐色矮星にも存在するかどうかを調べます。

続きを読む
(phys.org)
テクノロジー 褐色矮星 大気検出

YouTubeの広告問題：低品質コンテンツと広告に不向きなトップチャンネル

2025-06-01
YouTubeの広告問題：低品質コンテンツと広告に不向きなトップチャンネル

20年間、YouTubeは広告主に、自身がエンターテインメントの未来であると説得しようと試みてきました。その主張はシンプルです。「若い世代はケーブルテレビを見ません。YouTubeを見ます。」しかし、2つの主要な問題が残っています。圧倒的に多くのコンテンツの質が低いこと、そして最も人気のあるチャンネルが必ずしも広告主に優しいとは限らないことです。視聴者が主に高パフォーマンスの動画を視聴しているとはいえ、低品質コンテンツの存在は依然として広告への訴求に影響を与え、トップチャンネルの問題によってさらに悪化しています。

続きを読む
(www.bloomberg.com)
テクノロジー コンテンツの質

1947年の放射性おもちゃ？原子爆弾リング

2025-07-06
1947年の放射性おもちゃ？原子爆弾リング

1947年、ジェネラルミルズはKiXシリアルと一緒に「原子爆弾」リングという販促品を提供しました。この調節可能な金色リングには、稲妻模様と、秘密のコンパートメントを隠す取り外し可能な赤いプラスチック製のテールフィンが付いていました。アルミニウム製の弾頭にはシンチレーションスコープが含まれており、暗闇の中で見ると、ポロニウムのアルファ粒子が硫化亜鉛と相互作用して発生するシンチレーションが見えました。微量の放射性物質を含むことは現代では考えられませんが、広告では「完全に安全」であると主張していました。ポロニウム210の短い半減期により、残っているリングはもはや放射性ではありません。

続きを読む
(toytales.ca)
その他 ビンテージおもちゃ

モデルコンテキストプロトコル（MCP）：一時の流行か、未来の標準か？

2025-03-12
モデルコンテキストプロトコル（MCP）：一時の流行か、未来の標準か？

Twitter上で、モデルコンテキストプロトコル（MCP）に関する議論が展開されています。LangChainのCEOであるHarrison Chase氏は、開発者が制御できないエージェントにツールを追加する上でMCPの有用性を主張しています。例として、Claude Desktopなどのアプリケーションのカスタマイズが挙げられています。一方、LangGraphのリードであるNuno Campos氏は、MCPの実用性は過大評価されており、エージェントの大幅なカスタマイズが必要で、現在のモデルではツールの選択精度が低いと反論しています。議論では、OpenAIプラグインやZapierとの類似点も指摘され、MCPの将来的な改善点として、簡素化、使いやすさの向上、サーバーサイドでの実装などが挙げられています。最後に、Twitterの投票で、MCPが一時的な流行なのか、未来の標準となるのかが問われています。

続きを読む
(blog.langchain.dev)
開発

PostgreSQLシャーディング：6倍のスケーリングを実現したスリリングな物語

2025-03-14
PostgreSQLシャーディング：6倍のスケーリングを実現したスリリングな物語

ある企業が、PostgreSQLの書き込み容量の不足という課題に直面しました。毎秒10万ユーザーのデータを処理していました。NoSQLへの移行ではなく、エンジニアリングチームはデータベースのシャーディングを選択しました。データベースを6つのインスタンスに分割し、論理レプリケーションを使用してデータを同期しました。これには、シャーディングキーを処理するためのRubyとPythonのコードの記述、およびシーケンスの問題を解決するためのカスタムツールの作成が含まれていました。6倍のスケーリングに成功し、PostgreSQLの自動シャーディングのためのオープンソースプロジェクトであるPgDogが作成されました。この物語は、エンジニアの創意工夫と決意、そしてPostgreSQLのスケーラビリティを浮き彫りにしています。

続きを読む
(pgdog.dev)
開発 データベースシャーディング

MrBeast解剖：アルゴリズム駆動型コンテンツ作成の極致

2025-01-14
MrBeast解剖：アルゴリズム駆動型コンテンツ作成の極致

ブロガーのケビン・マンガーは、YouTubeのメガスター、MrBeastの成功の秘密を明らかにします。それは優れた制作技術やコンテンツそのものではなく、YouTubeアルゴリズムへの狂信的な執着です。MrBeastとそのチームは、CTR、AVD、AVPなどの指標を綿密に操作し、これらの指標を最大化することで膨大な視聴数と収益を生み出しています。この記事は、MrBeastの「成功」は芸術的なものではなく、データ駆動型の創作プロセスであり、チームメンバーの情報摂取習慣（「情報ダイエット」）さえもアルゴリズムの好みに合わせるように調整していることを主張しています。これは、アルゴリズム時代の「創作」の本質、そして「本物」の再定義に関する深い疑問を投げかけています。

続きを読む
(kevinmunger.substack.com)
テクノロジー YouTubeアルゴリズム インフルエンサー経済 データドリブン

Render、AI時代に向けたクラウドを改革するべく8000万ドルのシリーズC資金調達

2025-01-26
Render、AI時代に向けたクラウドを改革するべく8000万ドルのシリーズC資金調達

200万人以上の開発者を擁するクラウドプラットフォームRenderは、8000万ドルのシリーズC資金調達を発表し、総資金調達額は1億5700万ドルに達しました。Renderは従来のクラウドプラットフォームの限界に対処し、強力で使いやすく柔軟なインフラストラクチャを提供します。毎月10万人の新しい開発者がプラットフォームに参加しています。柔軟性と使いやすさのバランスに重点を置き、様々な言語とフレームワークをサポートしています。さらに、AIワークフローを合理化するAIに特化したツールを開発しており、企業がAI時代に迅速にイノベーションを起こせるよう支援しています。

続きを読む
(render.com)
テクノロジー

ラスキン議員、DOGEからのデータ要求を国民に促す

2025-03-13
ラスキン議員、DOGEからのデータ要求を国民に促す

ジェイミー・ラスキン議員は、すべての米国市民に対し、政府効率省（DOGE）とイーロン・マスクが保有する個人データへのアクセスを正式に要求するよう呼びかけています。裁判所の命令により、DOGEは情報自由法に基づく市民からの要求に応じることを義務付けられており、1974年の連邦プライバシー法を含みます。市民は、フォームに記入してDOGEに郵送するだけで、データにアクセスできます。政府のコンピューターシステムに体系的にアクセスしてきた、この新たに認められた連邦機関は、プライバシー権を行使するすべての市民からの情報要求に応じる義務を負っています。

続きを読む
(jamieraskin.com)
テクノロジー 情報自由法

Confetti：ミニマルで柔軟な設定フォーマット

2025-04-02
Confetti：ミニマルで柔軟な設定フォーマット

Confettiは、シンプルさとミニマリズムを核とした新しい設定フォーマットです。YAMLのような複雑なフォーマットとは異なり、Confettiの仕様は簡潔で分かりやすく、数分で習得できます。型のない設計と合成可能な構文により、シンプルな設定からテキストファイル形式、軽量スクリプトまで、あらゆるニーズに対応できます。Confettiはカスタムキーワードと三値をサポートし、ローカライズにも対応しており、拡張も推奨されているため、ユーザーは独自のConfettiフレーバーを作成できます。

続きを読む
(confetti.hgs3.me)
開発 設定フォーマット

Easel：マルチプレイヤーゲーム開発を簡単に

2025-05-15
Easel：マルチプレイヤーゲーム開発を簡単に

Easelは、マルチプレイヤーゲーム開発をシングルプレイヤーゲーム並みに簡単にできる2Dゲームプログラミング言語です。初心者から上級者まで、Easelでゲームを作るのが楽しくなります！階層的なプログラミング言語、ビヘイビアモデル、リアクティブスタイルにより、複雑なゲームロジックを驚くほど簡単に表現できます。Easelは、ネットワーキングと同期を自動的に処理し、スムーズなマルチプレイヤー体験を実現するために高度なロールバックネットコードも組み込んでいます。グラフィック、オーディオ、物理、UIなど、2Dゲーム開発に必要なすべてのサブシステムを備え、オンラインエディターとサーバーホスティングを提供することで、簡単にゲームを作成し、共有することができます。

続きを読む
(easel.games)
ゲーム

ゲーム開発まとめ：ピクセルアートからエンジンフレームワークまで

2025-01-31

Hacker Newsで最近、ゲーム開発に関連する多くのリソースが紹介されました。ピクセルアートのアップスケーラーやSDL 3の正式リリースから、Call of Dutyのアンチチートのリバースエンジニアリングまで、開発者たちはツール、テクニック、インサイトを共有しました。投稿では、キュレーションされたゲーム開発ブログのリスト、Godotエンジンのデバッグアドオン、そしてオープンソースのゲームエンジンフレームワークTramway SDKなどが取り上げられました。「居心地の良い」ゲームの定義やLDtkなどのレベルエディタといったゲームデザインの哲学に関する議論もありました。これらのリソースは、コードやアートからツールや理論まで、ゲーム開発のあらゆる側面を網羅しており、ゲーム開発者にとって貴重な情報源となっています。

続きを読む
(gamedev.city)
ゲーム リソース集約

深層学習による複雑なナノ粒子ヘテロ構造の逆設計

2024-12-26
深層学習による複雑なナノ粒子ヘテロ構造の逆設計

研究者らは、深層学習と異種グラフニューラルネットワークを用いて、バイオセンシング、超解像顕微鏡、3Dプリンティングへの応用を持つアップコンバージョンナノ粒子（UCNP）の逆設計を行いました。6000以上のUCNP発光スペクトルを含む大規模なデータセットを作成し、それを用いてGNNモデルを訓練しました。勾配ベースの最適化により、800nm照射下で、訓練セット内のどのUCNPよりも6.5倍高い予測発光を示す構造が特定されました。この研究は、UCNPの新しい設計原則を示し、深層学習に基づくナノマテリアルの逆設計のためのロードマップを提供します。

続きを読む
(chemrxiv.org)
2. テクノロジー ナノマテリアル 逆設計

CodeWeaver：コードベース構造の可視化ツール

2025-02-14

CodeWeaverは、コマンドラインツールで、コードベースを簡単にナビゲートできるMarkdownドキュメントに変換します。ディレクトリを再帰的にスキャンし、プロジェクトのファイル階層の構造化された表現を生成し、各ファイルの内容をコードブロックに埋め込みます。これにより、コードベースの共有、ドキュメント化、AI/MLコード分析ツールとの統合が簡素化されます。パスフィルタリング、オプションのパスロギング、シンプルなコマンドラインインターフェースを備えています。インストール：Goを使用：`go install github.com/tesserato/CodeWeaver@latest` または、事前にビルドされた実行可能ファイルをダウンロードします。

続きを読む
(tesserato.web.app)
開発 コードドキュメント

写真家の後悔：瞬間を捉え、記憶を失う

2025-05-05
写真家の後悔：瞬間を捉え、記憶を失う

回顧展で、チャペルヒルの写真が少ないことについて質問された写真家は、写真と人生の緊張関係について省察する。彼は息子の誕生を振り返り、完璧な写真を撮影することに集中したことで、妻との貴重な瞬間を共有する機会を逃したことを語る。この経験から、写真と人生は常に両立するとは限らないこと、画像の撮影を優先することで、より重要な経験や感情を見逃す可能性があることに気づいた。スマートフォンの普及により写真撮影が容易になった現代においても、彼は記憶の豊かさは、それらの写真の間にある捉えられなかった瞬間に存在するかもしれないと示唆する。

続きを読む
(hedgehogreview.com)
その他

Rails 8：ソロ開発者にとって驚くほど素晴らしい

2025-01-01

新しいRails 8アプリケーションを構築してデプロイした後、はっきりしました。Railsは素晴らしく、特に小規模で単独開発者のプロジェクトに最適です。新しい入門ガイドは素晴らしく、認証、キャッシング、リッチテキスト、CI、データベースを備えた本番環境対応のアプリケーションを簡単に作成できます。Rails 8はデータベース設定を簡素化し、SQLiteを本番環境で使用可能にしました。組み込みのCI設定とGithub Actionsの無料分数は、継続的インテグレーションを非常に簡単に行えます。新しく使いやすい認証ジェネレーターと合理化されたデプロイにより、エクスペリエンスがさらに向上します。Rails 8は、ソロ開発者にとっても開発を効率的でアクセスしやすくします。

続きを読む
(literallythevoid.com)
開発

πの不思議な歴史：なぜ3.14...? 数学的議論

2025-03-13
πの不思議な歴史：なぜ3.14...? 数学的議論

この記事は、円周率πの興味深い歴史を探求し、なぜ6.28…などの関連する定数ではなく、3.14…がその値として定着したのかを考察します。古代ギリシャのアルキメデスから18世紀のオイラーまで、数学者によるπの理解と表現方法は進化し、最終的にオイラーの規約によって3.14…が標準として確立されました。この記事では、代替のπ値についても探求し、「十分な」πの日やπの食事などの概念を提案し、読者に数学史と文化的な省察を融合した内容を提供します。

続きを読む
(mathenchant.wordpress.com)
その他 オイラー

Fediverseドーナツクラブ：オンラインとオフラインのコミュニティを繋ぐ

2025-03-14
Fediverseドーナツクラブ：オンラインとオフラインのコミュニティを繋ぐ

会社のドーナツクラブに着想を得て、著者は「Fediverseドーナツクラブ」という、隔週金曜日の#FediDonutFridayイベントを提案しています。参加者はFediverseプラットフォームでドーナツの写真を共有し、交流を深めます。この取り組みは、オンラインコミュニティの壁を取り払い、簡単な共有活動を通じて人々を繋ぎ、オフラインでの交流の可能性も秘めています。参加方法は簡単です。#FediDonutFridayハッシュタグをフォローし、自分のドーナツの写真を共有しましょう！

続きを読む
(sethmlarson.dev)
その他 コミュニティ形成

純粋なC言語で作成されたネイティブWindows ToDoアプリ

2025-05-11
純粋なC言語で作成されたネイティブWindows ToDoアプリ

C言語とWin32 APIを使用して構築された、最新のネイティブWindows ToDoアプリケーションです。ToDoアイテムの作成、編集、削除、完了済みのマーク付けが可能で、AppDataに永続的に保存されます。システムトレイ統合とネイティブなWindowsルックアンドフィールを備えています。最大100個のToDoアイテムをサポートしています。ソースコードはオープンソースで、ビルド手順も含まれています。

続きを読む
(github.com)
開発 ToDoアプリ

arXivLabs：コミュニティと協力した実験プロジェクト

2025-03-27
arXivLabs：コミュニティと協力した実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと協力する個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、それらを遵守するパートナーのみと協力します。arXivコミュニティに価値を追加するプロジェクトのアイデアがありますか？arXivLabsの詳細をご覧ください。

続きを読む
(arxiv.org)
開発

正割関数の積分：偶然の発見

2025-04-20
正割関数の積分：偶然の発見

sec(x) の積分は一見単純な公式ですが、その歴史は決して平坦ではありませんでした。1569 年にメルカトルが彼の有名な地図投影のために最初に提示しましたが、その解は 86 年間数学者たちを悩ませました。その後、ある教師が偶然に発見し、正式な証明が 23 年後にようやく発表されました。この記事では、三角関数、微積分、地図投影を織り交ぜながら、数学的発見に内在する偶然性と複雑性を明らかにします。

続きを読む
(liorsinai.github.io)
その他
1 2 … 439 440 441 443 445 446 447 … 595 596