なぜ円周率は求められない？

質問

なぜ円周率は求められないのですか？

ジグソーパズル（円周率） 価格:1800円 (2026/5/8 20:20時点) 感想(1件)

解答

まず前提として、円周率は「求められない」わけではありません。 実際にはいくらでも計算できますし、すでに何兆桁も求められています。 では何が「求められない」と言われるのかというと、正確にはこうです： 「有限な形でピタッと表せない（終わらないし、周期もない）」 ■ なぜ終わらないのか 円周率 π は数学的に 無理数（分数で表せない） さらに超越数（どんな多項式の解にもならない） という性質を持っています。 この結果として、 → 小数が無限に続き、しかも規則的に繰り返さない という性質になります。 ■ 直感的なイメージ 例えば 1/3 = 0.3333… は無限に続きますが、 「3が繰り返される」というルールがあります。 でも π は → そういう“単純なルール”がない だから、 途中で「ここまでで終わり」とは絶対にできないわけです。 ■ 「計算できる」と「求められる」の違い ここが誤解されやすいポイントです。 計算できる → どこまでも桁を増やせる 求められる → 完全に有限な形で書ける πは前者はOK、後者がNGです。 ■ なぜそんな数が出てくるのか 円という図形自体が「直線で割り切れない構造」を持っているからです。 直線（多角形）なら分数で表せますが、 円は滑らかな曲線なので、 → どうやっても“割り切れない比”が出てくる それが π です。 ■ まとめ 円周率は「求められない」のではなく → 有限な形で表せない 小数は無限に続き、しかも規則的ではない だから「完全な値」を書き切ることはできない

いちばんやさしいインド数学暗算入門／佐藤弘文【3000円以上送料無料】 価格:770円 (2025/5/22 11:46時点) 感想(0件)

朝日プリント社　かずのおけいこ5　ごりら　幼児向け　※シールは付属していません 価格:500円 (2023/11/22 23:26時点) 感想(0件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

1/3*3は0.999999...ですか？それとも1ですか？

質問

1/3*3は0.999999...ですか？ それとも1ですか？

最短コースでわかるディープラーニングの数学 増補改訂版【電子書籍】[ 赤石 雅典 ] 価格:4180円 (2026/4/17 22:19時点) 感想(0件)

解答

これは面白い質問で、よく数学で議論されます。 結論から言うと、1/3 × 3 は正確に 1 です。 ただし、0.999… という表現も正しい意味で 1 と等価です。順を追って説明します。 1. 1/3 を小数で表すと 1/3 を小数で書くと: [ 1/3 = 0.3333\ldots ] ここで「…」は無限に 3 が続くことを意味します。 2. 0.333… × 3 を計算 [ 0.333\ldots \times 3 = 0.999\ldots ] 3. 0.999… は本当に 1 か？ 無限小数の定義により: [ 0.999\ldots = 1 ] 証明（簡単な例） [ x = 0.999\ldots ] [ 10x = 9.999\ldots ] [ 10x - x = 9.999\ldots - 0.999\ldots = 9 ] [ 9x = 9 \implies x = 1 ] 4. 結論 1/3 × 3 = 1 もし 1/3 を無限小数 0.333… と表すなら、計算上は 0.999… となりますが、数学的には 0.999… = 1 なので結果は同じです。 要するに、「0.999… は 1」と考えるのが正しい理解です。

表記が。。。

朝日プリント社　かずのおけいこ5　ごりら　幼児向け　※シールは付属していません 価格:500円 (2023/11/22 23:26時点) 感想(0件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

Σとσ

質問

Σとは何？ σと何か違いますか？ 数式を用いず言葉で説明してください。

解答

とても良い質問です。 **Σ（シグマ）と σ（シグマ）**は同じギリシャ文字ですが、役割と意味はまったく別です。 数式を使わず、言葉だけで整理します。 1. Σ（大文字のシグマ）とは何か Σ は「たくさんのものを順番に足して、ひとまとめにする」という合図です。 イメージすると、 リストに並んだ数字や量がある それを「最初から最後まで全部足してください」と指示する記号 つまり Σ は、 「全部合計してください」という“操作の指示” です。 例えるなら、 電卓の「合計ボタン」 レシートを全部足して合計金額を出す行為 Σそのものが数値を持つわけではなく、 「どう計算するか」を示す道具です。 2. σ（小文字のシグマ）とは何か σ は「ばらつきの大きさ」を表す量です。 これは、 データが平均の周りにどれくらい散らばっているか みんなが似た値なのか、バラバラなのか を表します。 例えるなら、 テストの点数がほぼ同じ → σは小さい 点数が極端に高い人と低い人が混ざる → σは大きい σは、 データの性質そのものを表す“値” です。 3. 決定的な違い（本質） 観点 Σ σ 役割 計算の指示 状態を表す量 意味 合計しなさい どれくらい散らばっているか 性質 動作・操作 結果・特徴 例え 「全部足す」 「バラつき具合」 4. なぜ同じシグマなのか 歴史的に、 Σ：sum（合計）の頭文字 σ：standard deviation（標準偏差）の頭文字 として使われるようになりました。 見た目が似ているだけで、 用途も意味も完全に別物です。 5. 一言でまとめると Σ：「集めて足す」という命令 σ：「どれくらい散らばっているか」という性質 同じ「シグマ」でも、 **Σは“動詞”、σは“名詞”**と考えると、ほぼ誤解しません。

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

Ssreflect とは

質問

Ssreflect とは何ができますか？

解答

Ssreflect（エス・エス・リフレクト）は、 Coq（定理証明支援系）を「実用的に・構造的に」使うための拡張ライブラリ兼証明スタイルです。 一言で言うと： 「数学者・競技プログラマ・理論屋が、巨大な形式証明を破綻なく書くためのCoq流儀」 です。 1. Ssreflectは何のためにあるのか Coq標準の証明スタイルには問題がありました。 証明が長くなると読めない タクティクが自由すぎて流派が乱立 再利用しにくい 数学的直感と乖離しがち Ssreflectはこれを解決するために作られました。 2. Ssreflectで「できること」一覧 ① 証明を短く・規則的に書ける Ssreflectでは タクティクの意味が厳密 曖昧な自動化を排除 することで、 行数が減る 意図が読み取れる レビュー可能 な証明になります。 ② 「場合分け」「帰納法」が圧倒的に書きやすい elim: n => [| n IH]. 帰納法の対象 仮定の名前 ゴールの構造 が一行で明示的に書けます。 ③ 証明を「左から右に」読める Ssreflectの最大の特徴： move=> x y /andP [Hx Hy]. これは 仮定を導入 論理式を分解 必要な形に変換 を文章のように左から右へ処理しています。 ④ 論理と計算を一体化できる Ssreflectは 命題と計算を同じ感覚で扱う思想を持っています。 例： bool（計算） Prop（論理） を自然に行き来できる。 have H : x == y by apply/eqP. ⑤ 有限構造（finite types）を強力に扱える Ssreflectは特に グラフ 行列 群・環・体 アルゴリズムの正当性 に強い。 理由： 有限集合 反復 全探索 を型と補題で安全に扱えるから。 ⑥ 大規模数学ライブラリ（mathcomp）が使える Ssreflectは **Mathematical Components（mathcomp）**の基盤。 これにより： 群論 線形代数 行列 多項式 有限体 が形式的に証明済みで使えます。 3. Ssreflectの思想（ここが重要） Ssreflectは単なるライブラリではありません。 ■ 証明の哲学 自動化より可読性 暗黙より明示 魔法より規律 ■ 「タクティクを減らす」設計 Coq標準： タクティクが多すぎる Ssreflect： 最小限のタクティク 組み合わせで表現 → 証明が一貫した文体になる。 4. Coq標準との違い（比較） 観点 Coq標準 Ssreflect 書き方 自由 規律 証明の流れ 後ろ向き 左→右 自動化 強いが不透明 弱いが明確 可読性 人に依存 高い 数学向き △ ◎ 5. どんな人に向いているか 向いている人 数学の形式化をしたい アルゴリズムの正当性証明 論文レベルの証明を残したい 長期保守される証明を書く 向いていない人 とりあえず証明が通ればいい 自動化に全振りしたい 短いスクリプトだけ書く 6. 実務・研究での利用例 四色定理 有限単純群の一部 コンパイラ検証 アルゴリズムの完全性・停止性証明 7. 一言まとめ Ssreflectとは： Coqを 「プログラム」ではなく 「厳密な数学文章を書く道具」に変える拡張 です。

Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 [ 萩原 学 ] 価格:3520円 (2025/12/16 20:17時点) 感想(0件)

ラマヌジャン探検　天才数学者の奇蹟をめぐる【電子書籍】[ 黒川信重 ] 価格:1320円 (2025/8/2 17:07時点) 感想(0件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

数学におけるlogの考え方を教えて。

質問

数学におけるlogの考え方を教えて。 日常的な具体例を示して、わかりやすく。

解答

いい質問です。対数（log）は最初は「やや抽象的」に見えますが、日常の「増え方」「桁数」「比（比率）の評価」を自然に扱うときに非常に便利な道具です。まず直感→定義→性質→具体例（身近な場面）→簡単な使い方、という順でわかりやすく説明します。 1) 直感：対数は「何回かけたらそうなるか」を数えるもの べき乗（指数）を逆にする操作が対数です。たとえば (2^3=8) なので「(8) は (2) を 何回掛けたか？」は (3)。 これを対数で書くと (\log_2 8 = 3)。 一般に (\log_b x = y) は「底 (b) を何回掛けると (x) になるか」を表します。等価式： [ \log_b x = y \quad \Longleftrightarrow \quad b^y = x ] 2) 主要な底（base）と使い分け (\log_{10})（常用対数）…桁数や「10倍ごとの差」を扱うときに便利。例：1000の (\log_{10}) は 3（10を3回掛けると1000）。 (\log_2) …コンピュータや倍々で増える現象（2倍ずつ増える）に便利。例：1024 は (2^{10}) → (\log_2 1024 = 10)。 (\ln = \log_e)（自然対数、底は (e\approx2.718)）…連続的な成長・微分積分で自然に出る。金融の連続複利や確率過程で多用。 3) 対数の便利な性質（覚えると計算や理解が楽） （指数則を逆にしたもの） (\log_b(xy) = \log_b x + \log_b y) → 掛け算を「足し算」にできる（計算に有利）。 (\log_b(x^k) = k\log_b x) → 累乗は掛け算に変わる。 (\log_b \dfrac{x}{y} = \log_b x - \log_b y) 底の変換：(\log_a x = \dfrac{\log_b x}{\log_b a})（任意の底 (b) を使える） これらが「対数が計算で便利」と言われる理由です。 4) 日常的・具体例（直感を固める） 例A：桁数を数える（(\log_{10}) の直感） (n) 桁の正の整数 (N) は (\lfloor \log_{10} N \rfloor + 1 = n)。 例：(N=523) → (\log_{10}523 \approx 2.7) → (\lfloor2.7\rfloor +1 =3) → 3桁。 例B：コンピュータのメモリ単位（(\log_2)） 1KiB = 1024 = (2^{10})。だから「何ビットでアドレスできるか」は (\log_2) で分かる。 例：メモリが (2^{20}) バイトならアドレス長は20ビット（(\log_2) が直感的）。 例C：倍々で増えるもの（細菌・人口・貯金の倍化） 細菌が毎時間2倍になるとき、ある量 (X) が初期量 (X_0) の何倍になるかは (X = X_0 \cdot 2^t)。ここで「ある倍になるのに何時間？」は (t = \log_2 (X/X_0))。 → 直感：(\log_2) は「何回増えたか（何回2倍したか）」を数える。 例D：地震（リヒター）や音（デシベル）の「対数的尺度」 リヒター震度は振幅（ある種の比）の対数で表すため、+1 が「10倍」を意味する（おおまかに）。 デシベルは (10\log_{10}) や (20\log_{10}) の形で強度比や圧力比を対数で表し、人間の感覚（大きさの感覚）が対数的であるため使われる。 例E：pH（化学） pH = (-\log_{10}[H^+])。水素イオン濃度が10倍違うと pH が1変わる。感覚的な「酸性の強さ」を扱うために対数を使っている。 5) なぜ「対数」を使うと便利なのか（直感） 大きな範囲を扱う：値が 1 → 1,000,000 のような広いレンジにまたがるとき、対数なら 0 → 6 と扱いやすくなる。 掛け算を足し算に変える：大量の掛け算を単純な足し算に置き換えられる。昔の「対数表」や「計算尺」はこれを利用して手計算を速くした。 比や増加回数を直接示す：何倍になったか、何回倍にしたかを直接読むのに適している。 6) 簡単な例題（手で解いてみる） （1）(\log_{10} 1000 = ?) → 答：3（10を3回掛ける） （2）「ある値が8倍になるのに何回2倍すればいい？」 → (\log_2 8 = 3) （3）「ある投資が現在の3倍になるのに、毎年2倍になる仕組みなら何年？」 → (\log_2 3 \approx 1.585) 年（＝2倍になる回数） 7) 図的イメージ（頭の中で） 指数関数 (y = b^x) は右上が急に伸びる曲線。対数関数 (y = \log_b x\) はその「ひっくり返し」。 小さい (x) の変化で急に (y) が変わるところがあり、大きな (x) はゆっくり増える。つまり「増えすぎ」を圧縮して見せる効果があります。 8) まとめ（短く） 対数は「何回かけたらそうなるか」を数える関数（(\log_b x = y \iff b^y = x)）。 倍々の成長、桁数、感覚的な尺度（音・地震・酸性）など、“比”や“回数”を自然に扱いたい場面でとても役に立つ。 使いこなすコツは「掛け算→足し算」「累乗→掛け算」に変換する性質を常に意識すること。

数学文化（第21号） 特別読み物＝小数と対数の発見「新連載」 [ 日本数学協会 ] 価格:1540円 (2025/10/13 22:18時点) 感想(0件)

おもしろTシャツ みかん箱 【世の中には3種類の人間がいる数を数えられる人間と数えられない人間】 濃色 綿生地 半袖 メンズ レディース 男女兼用 名言 語録 価格:2280円 (2025/5/30 14:44時点) 感想(0件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

真部分集合とは具体的にどういう状態ですか？

質問

真部分集合とは具体的にどういう状態ですか？

解答

良い質問です。 「真部分集合（しんぶぶんしゅうごう、proper subset）」とは、ある集合の一部を含んでいるけれど、完全には一致しない部分集合のことをいいます。 ◆ 定義 集合 AA と BB があるとき、 A⊂BA \subset B （AA は BB の部分集合） → 「AA のすべての要素が BB に含まれている」 A⊊BA \subsetneq B （AA は BB の真部分集合） → 「AA は BB の部分集合だが、A≠BA \neq B」 つまり、部分集合だけど、元の集合そのものと同じにはならない状態を「真部分集合」と呼びます。 ◆ 具体例 集合 B={1,2,3}B = \{1,2,3\} の場合： 部分集合の例： {1},{2,3},{1,2},{1,2,3},∅\{1\}, \{2,3\}, \{1,2\}, \{1,2,3\}, \emptyset 真部分集合の例： {1},{2,3},{1,2},∅\{1\}, \{2,3\}, \{1,2\}, \emptyset ただし {1,2,3}\{1,2,3\} は BB と同じなので真部分集合ではない ◆ ポイント 部分集合には「元の集合そのもの」も含む 真部分集合は「元の集合そのもの」は含まない ✅ 簡単に言うと： 「元の集合を丸ごと含むのは部分集合、 そこから“自分自身”を除いたものが真部分集合」です。

アトムの命題 手塚治虫と戦後まんがの主題 （角川文庫） [ 大塚　英志 ] 価格:814円 (2025/9/22 21:50時点) 感想(1件)

インド数学研究【電子書籍】[ 楠葉隆徳 ] 価格:19800円 (2025/5/22 11:40時点) 感想(0件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】

数学者という職業はどうやって生計を立てていますか？

質問

数学者という職業はどうやって生計を立てていますか？

解答

数学者は主に以下のような方法で生計を立てています。結論から言うと、多くの数学者は大学や研究機関に所属し、教育や研究の仕事で給料を得ているのが一般的です。 【1】大学・教育機関での職 ■ 大学教員（教授・准教授・講師など） 主な収入源：大学からの給与（公立・私立で差あり） 仕事内容： 学生への講義（数学の授業） 論文執筆・学会発表などの研究活動 学部・大学院生の指導 学内業務（会議、入試問題作成など） ※博士号（Ph.D.）が必須であり、厳しい競争があります。 【2】研究機関の研究員 ■ 国立研究所や企業の研究部門 例：理化学研究所、統計数理研究所など 給与：安定した給与が支給される正規職もあれば、任期付きのポストも多い。 数学理論の研究、産業応用、数値解析などを行います。 【3】企業での応用数学者（産業数学者） ■ データサイエンス・金融・ITなど 職種例： アクチュアリー（保険・年金のリスク計算） 数理モデル開発者（製薬・ロボット工学など） 金融工学・クオンツ（証券会社などでリスク評価） メリット：報酬が高く、実用的なスキルが求められる。 【4】執筆・講演・教材制作など（副業または本業） ■ 数学関連の書籍・問題集の出版 中学〜大学向けの参考書や専門書の著者 一部の有名数学者は印税収入もあります。 ■ 講演・セミナー・YouTubeなど 一般向けの数学啓蒙活動やオンライン講義でも収益を得る人がいます。 【補足】数学者は「お金のために数学をやる職業」ではない 多くの数学者は、好奇心や知的探究心によって動機づけられており、必ずしも高収入ではありません。ただし、応用数学分野に進めば、より高収入を得ることも可能です。 まとめ：数学者の主な収入源 種類 主な収入源 安定性 備考 大学教員 大学からの給与 高い 採用は狭き門。研究との両立 研究機関研究員 国や団体の研究費 中〜高 任期付きポストも多い 企業勤務 給与（IT・金融など） 高い 数学＋実用スキルが必要 執筆・講演など 印税・講演料・寄稿料 低〜中 一部の人気者は高収入

フェルマーの最終定理 （新潮文庫　新潮文庫） [ サイモン・シン ] 価格:1045円 (2023/11/23 21:51時点) 感想(103件)

にほんブログ村

人気ブログランキング

【下記、広告です。クリックいただけると励みになります。】