The Math Is Haunted — overreacted
For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually muc
フワーリズミー - Wikipedia
アル＝フワーリズミー（الخوارزمي al-Khuwārizmī）ことアブー・アブドゥッラー・ムハンマド・イブン・ムーサー・アル＝フワーリズミー（أبو عبد الله محمد ابن موسى الخوارزمي）は、9世紀前半にアッバース朝時代のバグダードで活躍したイスラム科学の学者である。アッバース朝第7代カリフ、マアムーンに仕え、特に数学と天文学の分野で偉大な足跡を残した。アルゴリズムの語源となった人物である[3]。 中央アジアのホラズム（アラビア語でフワーリズム）の出身で、フワーリズミーの名は、「ホラズム出身の人」を意味するニスバ（通称）である。生没年は諸説あり、780年あるいは800年の生まれ、845年あるいは850年の没とされる。 メルヴで学者として有名となり、カリフのマアムーンに招かれてバグダードに出て彼に仕えた。知恵の館で天文学者として働き、図書館長もつとめ、のち
「追記」π（円周率）って「直径と円周の比」だったんだ
ふと疑問に思ったことをChatGPTに聞いている。前はGoogleがそれだった。 今「πを小学生の子供に教えるにはどうすればいいですか？」と聞いたら、 「円の直径と円周を実際に測る」と手順を教えてくれた。 そのときに「目的：直径と円周の比が「だいたい3.14」だと気づかせる」とあって、 「π（円周率）って「直径と円周の比」だったんだ・・・！」と知った。 なんか円を扱う時に出てくるパイなやつとしか認識していなかったから意外だった。 今までうっすらあったけど流していた疑問のモヤがスッキリした。 ちなみに子供はいない。 「追記」 多くのコメントありがとうございます・・・。 恥を忍んで自分の持っていたイメージを残しておきます。 もしかしたら私と同じ感覚だった人がいるかもしれないので。 ①小3か4の授業で円を実際に測ることはしていた。 そもそもの質問の「円周率を小学生の子供に教える」が思い浮かんだき
ゲームの垂直・水平視野（fov、画角、視野角）の計算方法｜つー
垂直視野(fovY)、水平視野(fovX)のどちらか片方とアスペクト比が分かっているときに、 もう片方の視野を求める計算式を導出します。 下記動画の後半で解説した内容を少し改訂して活字にしたものです。 【前置き】視野を平面図で把握できるようにする下記の図は画面解像度1920×1080（アスペクト比16:9）で、 垂直視野60度（図中のピンクの三角形の角度）、 水平視野約91.5度（図中のオレンジの三角形の角度）のときの、 カメラ（視点）の位置と視野の範囲を示している。 この図のままだと立体的で説明しにくいので、平面で捉えられるように視野を表す線と視点を回転移動させる。 ピンクの線が作る角が垂直視野、オレンジの線が作る角が水平視野。以降はこの図を用いて説明します。垂直視野とアスペクト比から水平視野を求めるゲームにおいて最も出番が多いであろう計算。 （画面のアスペクト比はプレイ環境で色々変わる
ゲーム画面から視野(fov、画角、視野角）を測る方法｜つー
これは下記動画で解説している内容を活字でも解説し直したものです。 挿入される画像等は動画のスクショだったりするので、説明に最適化されてないかもしれませんがご了承ください。 視野とは？目やカメラなどで見える映像の範囲を、角度で表現したもの。 下記画像は、垂直視野60°、水平視野91.5°ぐらいで撮影された映像。 こういう景色がカメラで撮影されているとして…カメラはこういう範囲を撮影していることになる。ここで描画された映像の形が長方形なのは、単にカメラやゲームやモニターの都合でしかない。 人間の目で見てる景色は別に長方形じゃないし、視野の理屈の説明としては長方形じゃなくてもいい。 例えば円形だと、視野として必要なパラメータは1つだけになり分かりやすい。下記画像のように、見える範囲を円錐で表したものを「視円錐」という。 全方位に視野90度で見える範囲。90度視円錐と呼ばれる。なお、視界のど真ん中
“セガ流”数学の学び方とは？ 書籍「セガ的 基礎線形代数講座」発売へ ゲーム開発に必要な知識を収録
関連記事 “令和のポケベル”は意外と多機能 セガ子会社の「エモジャム」10日発売 セガ フェイブは、1990年代に一世を風靡したポケベルから着想を得たというコミュニケーション玩具「emojam（エモジャム）」を12月10日に発売した。 セガ、「メメントモリ」運営会社を提訴 特許権の侵害で ゲーム差し止めと損害賠償を求める スマホゲーム「メメントモリ」を運営するバンク・オブ・イノベーションに対し、セガが自社の特許権が侵害されたとしてゲームの差し止めなどを求める訴訟を起こした。 セガ、「龍が如く 8外伝」発売日を“1週間前倒し” 珍しい判断の理由は？ セガは18日、人気ゲームシリーズの最新作「龍が如く 8外伝 Pirates in Hawaii」の発売日を、2025年2月21日に変更すると発表した。当初予定より1週間の“前倒し”となる。 マックが「☆ゲッダン☆」 WebCMにネットミーム活用
野崎昭弘 - Wikipedia
野崎 昭弘（のざき あきひろ、1936年8月31日[1] - 2025年1月15日）は、日本の数学者。大妻女子大学名誉教授。専門は、アルゴリズム理論・多値論理学。 アルゴリズムと計算量の理論研究のパイオニアとして、オートマトン理論におけるアイレンバーグ予想の解決など、世界的な優れた研究業績をあげた[2]。さらに『ゲーデル、エッシャー、バッハ』の翻訳など、情報数学の良書の刊行に積極的に取り組み、先見性と卓越した文章力を通して若手研究者の啓蒙につとめ、今日の日本の計算基礎理論の礎を築いた[2]。また、数学教育世界大会「国際円卓会議」に日本代表として参加するなど、情報数学教育および情報数学文化の発展に多大な寄与をした[2]。 名字は「野﨑」が正式であり、著者名では『高等学校の数学I』（三省堂、1982年）[3]など1982–1984年の教科書、および2003年[4]以降の多くの書籍でそう表記され
A Brief History of Random Numbers
Roman 12mm dice, The Portable Antiquities Scheme/Trustees of the British Museum (CC BY-SA 2.0) “As an instrument for selecting at random, I have found nothing superior to dice,” wrote statistician Francis Galton in an 1890 issue of Nature. “When they are shaken and tossed in a basket, they hurtle so variously against one another and against the ribs of the basket-work that they tumble wildly about
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Math Is Haunted | Lobsters
Essence of linear algebra
Math
Alice's Adventures in a Differentiable Wonderland | Hacker News
GitHub - Summa-Cogni/Mathpad: A mathematical keypad for students and professionals
Mathpad: A mathematical keypad for students and professionals | Lobsters
数学者の山下真由子さん 専門分野「数学と物理の間にある研究」を本気で説明してみた - スイッチインタビュー
ゲーム画面から視野（fov・画角・視野角）を測る方法の解説
視野（視野角、画角、FOV）の測定と仕様解説
Show HN: Lume – OS lightweight CLI for MacOS and Linux VMs on Apple Silicon | Hacker News
Desmos | Beautiful free math.
Desmos Animated Graphing Calculator | Hacker News