論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

IPv6円周率 @IPv6_ensyuritu これと似たような問題かわからないけど 文字が抜ける→脱字 文字を間違える→誤字 文字が増える→??? ってのもあるね (衍字(えんじ)と言うらしい) x.com/k_love_math/st… 2024-04-22 22:57:14 セキネン @Road_to_26M この類の言い方は小4の四捨五入で登場します、四捨五入の説明には極めて便利です 「以下」は「以上」とわかりやすく対になる言葉ということで出ていると思われます 「超過」が出ていない理由としては、四捨五入の説明に不要であることや、「超」や「過」が小4時点で見登場であることが挙げられそうです x.com/k_love_math/st… 2024-04-22 21:02:49

あいかわらず掛算の順序の話がもりあがってるようなのだけど、コーディングルールの話なんだから計算の定義の話をしても徒労だよなと思いながら見ていた。 で、ちょっと教育指導要領解説を見てみたのでまとめる。 学習指導要領解説の記述 「【算数編】小学校学習指導要領（平成29年告示）解説」では次のようになっています。順序は表現のときの問題で、計算では交換則を使っていいとなっています。 被乗数と乗数の順序は、「一つ分の大きさの幾つ分かに当たる大きさを求める」という日常生活などの問題の場面を式で表現する場合に大切にすべきことである。一方、乗法の計算の結果を求める場合には、交換法則を必要に応じて活用し、被乗数と乗数を逆にして計算してもよい。 このPDFの115ページ。 https://www.mext.go.jp/content/20211102-mxt_kyoiku02-100002607_04.pdf

「大学で数学は哲学になる」と主張する人がいる*1．特におもしろくもないし，適切な比喩とも思えないんだが，一部の頭がフワフワしている層や視野の狭い人々，数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく，ごくまれに信じている人がいる*2． ただ，実際問題，違いを説明しろと言われるとワリと困る．「リンゴとゾウの違いは何ですか」と聞かれているようなものなので，当然なのだが，「いや，見た目も大きさも全然違うじゃん」と言いたくなる．問題は「リンゴとゾウ」なら一目瞭然なのだが，「学問」は目に見えないので，どちらもわかっていない人には誰かが説明しないと違いがはっきりわからない点にある*3．「リンゴの触り心地はツルツルだし，ゾウも（牙が）ツルツルだから，きっと似たようなものだろう」と言う盲人のようなものである*4． この記事の目的は「数学と哲学の違い」という直観的には明らかだが，ちゃ

確率から画像処理まで、離散畳み込みと高速フーリエ変換(FFT) 激ムズ数え上げパズルと驚きの解法 https://youtu.be/FR6_JK5thCY フーリエ変換の解説動画 https://youtu.be/fGos3wrKeHY 【注釈】 整数のかけ算のアルゴリズムについて、FFTの"straightforward"な適用はO(N * log(n) log(log(n)) )の実行時間になる。log(log(n))の項は小さいが、2019年になってHarvey and van der Hoevenがこの項を取り除くアルゴリズムを発見した。また、O(N^2)を、必要な計算量がN^2と共に大きくなると表現したが、厳密にはこれはTheta(N^2)が意味するところである。 O(N^2)は計算量が高々N^2の定数倍になるという意味で、特に、実行時間がN^2項を持たないが有界であるアル

あるあるですよね。 実はこの多面体はどう頑張っても作れません。正六角形でなくとも、六角形のみで多面体を構成することは不可能です。 詳しく知りたい人は、オイラーの多面体定理が参考になるでしょう。 (2023-12-19 追記) 穴が空いてたり、六角形がくぼんでたりすると作れるっぽいことがわかりました。 というわけで、何かしらの誤魔化しがなされています。集めて観察してみよう。 平面的に配置し切り取っているもの 葬送のフリーレン第3話よりおそらく平面に敷き詰めた六角形を歪ませて円状に切り取り擬似的に見せてると推測します。煙で少し隠されている上部での輪郭の回りこみに違和感があり、立体としては不自然だと感じました。(違ったらごめん) 参考:フラーレン このカットは煙によって一瞬しか映らないことで気付きにくいよう工夫されています。こんなのにわざわざ気付くの自分くらいだろうというくらいには一瞬だったので

なぜ、微積分は役に立つのか 2023.11.27 Updated by Atsushi SHIBATA on November 27, 2023, 14:58 pm JST 今回紹介する書籍：『はじめての物理数学』永野 裕之（SBクリエイティブ、2017） 朝起きてから寝るまで、我々は何種類もの「数」を見ます。 私自身、朝起きるとネットやニュースで降水確率、予想気温のように気象にかかわる数、為替、海外の株式市場の指数など、いろいろな種類の数をチェックします。しばらく前なら、コロナウイルスの感染者数や増加傾向を表す指数を毎日のように確認していました。 自分を取り巻く環境を知るために、私たちはいろいろな「数」を確認します。そして数を手がかりにして、行動を決めます。現代を生きる私たちにとって「数」は、世界を知るための「目」としての役割を持っています。 現代人が日常的に見るこの種の数は、たいてい計

$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]

アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題（フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.）を解いたと主張して論文や本として発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか？ 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って

NHK で放映された『笑わない数学』という番組の次の回が話題になっている． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多かった．どう少なく見積もっても番組の内容の半分以上がそういうものになっている．正直，全然笑えない．笑わないのではなく笑えない． この記事はそういった説明に注意喚起を促し，簡単にだが訂正をするための記事である．NHK+ での配信期間が一週間のため，かなり急いで書いている*1．そのため，いくつかわかりにくかったり文献を引き損ねている場合がある．何らかの形で，わかりやすさや文献をしっかり引いたものを書くつもりではいるが「このあたりの説明は怪しい」ということを書いておくだけでも意味

「大学で学ぶ知識がないと解けない」とされていた数学の証明問題。西宮市立西宮高校（兵庫）の3年生4人は約1年かけて、高校で学ぶ知識のみで証明してみせ、オーストラリアの数学専門誌に論文が掲載された。常識を覆した4人の熱意に迫る。（文・黒澤真紀、写真・学校提供） もともとは週に１度、「総合的な探究の時間」（現高２以降は「理数探究」）の授業で4人は円周率の新しい求め方を探していたが、うまくいかなかった。試行錯誤する中で「円に内接する多角形の中で、正多角形が一番大きな面積を持つということをなぜ言えるのか」と新たな疑問が浮かんだ。 非常勤講師の宮寺良平先生に質問すると「証明するには、大学の数学科1年生以上のレベルの知識が必要」と言われた。 「僕たちに証明できないですかね」。生徒たちは諦めなかった。「内容自体はシンプル。高校で習う範囲でも太刀打ちできるのではないか」という田中陸人さんの言葉に全員が同意。

こんばんみんみん。 バーチャル幼女プログラマーという肩書でインターネットをやっているきりみんちゃんというものです。 競技プログラミングのAtCoderというサービスに日々取り組んでいるんですが、この度めでたく緑レートになることが出来ました。 いわゆる色変エントリというやつです。 で、誰？3年前にこんなエントリを書いた者です。 VTuberをやったり絵を描いたりしてる社会人エンジニアです。 専門分野はAndroidでしたが、最近はフルスタックエンジニアを目指してフロントエンドやバックエンドなどをやっています。 現在のAtCoderコミュニティの中心層は理系の学生やもともと数学がかなり好きなタイプの人たちです。 一方きりみんちゃんはプログラマでありながら数学にコンプレックスがあり、それどころか小学2年までしか義務教育を受けていないため、中学、高校レベルの基礎的な数学の教養が全くありませんでした

1. はじめに こんにちは、東京大学 3 年の米田です。この度は、ダイヤモンド社から『高校数学の基礎が 150 分でわかる本』という書籍を出版させていただくことになりました。高校数学の基礎を図解で超わかりやすく説明した本です。 【フルカラー図解】高校数学の基礎が 150 分でわかる本 - Amazon 本稿では、この本を書いたきっかけや、この本に懸けた思いについて記したいと思います。 なお、本の内容紹介につきましては、以前こちらの記事に書かせていただいたので、まだ読んでいない方はぜひお読みください。 2. 前提：数学はあらゆる人が身に付けてほしい 執筆のきっかけについて書かせていただく前に、まずは数学に対する僕の考えを述べておきます。僕は、高校数学の基礎くらいのレベルの知識は、あらゆる日本人が身に付けるべきだと思っています。 この理由としては、仕事の幅が広がる、論理的思考力が身につくなどた

1. はじめに こんにちは、東京大学 3 年の米田と申します。この度は、ダイヤモンド社から『高校数学の基礎が 150 分でわかる本』という書籍を出版させていただくことになりました。高校数学の基礎を図解で超わかりやすく説明した本です。 【フルカラー図解】高校数学の基礎が 150 分でわかる本 - Amazon 発売日は 3 週間後の 2023/7/26 です。電子書籍版も同時期に出る予定です。本記事では、この本の内容や特徴について、簡単に紹介させていただきます。 2. この本はどういう本か 本書は、主に次のような方に向けた、高校数学の「超」入門書です。 高校数学をはじめて学ぶ方 数学を学び直したい方 日本ではたくさんの数学の本が毎週のように出版されています。しかしこの中の多くは、難しくて多数の人が挫折してしまうか、雰囲気でわかった気にはなるけど結局身に付かないかのいずれかです。 そこで本書は

スタンフォード大学の教授で数学者の時枝正（ときえだ・ただし）は、「おもちゃ」を使って数学や物理の定理を解き明かす。スープ皿や木のレール、大きなコインを手に、「ショー」とも呼べそうな講義をいかにも楽しげに始めるその姿に、聴衆は一瞬にして心を惹きつけられるという。 数学者には二つのタイプがいるという──。一つは、チョークを握り黒板に向かう、理論派タイプ。もう一つは、フェルトペンとホワイトボードを使う、どちらかというと応用数学系の人である。 その伝でいうと、時枝正は第三のタイプの数学者である。しかもこの第三のタイプは、世界広しといえども彼一人だけの可能性がある。 時枝は仕事道具をどれも煎餅の空箱から取り出すのだが、箱は「すべて同じブランドのもの」なのだそうだ。たとえばその中身は、見かけはそっくりなのに、転がるものと転がらないものがある二つの不思議な構造物。ひもや輪ゴム、クリップの扱い方は、まるで

はじめに 統計検定準1級は(一財)統計質保証推進協会が実施、(一社)日本統計学会が公式認定する「2級までの基礎知識をもとに、実社会の様々な問題に対して適切な統計学の諸手法を応用できる能力を問う」試験です。現在はCBTでの実施となっています。 主観を込めて言いますと、2級と準1級では難易度に雲泥の差があります。 強調して言っておきます。まったく違います！ 準1級では統計的推定や検定に加えて、多変量解析(重回帰、PCA、主成分分析、数量化)、時系列解析、マルコフ連鎖、確率過程、分散分析、ベイズ統計、MCMC...と範囲が広いのが特徴です。 以下、かなりの長文になりましたが、受験して得た知見をかなり具体的に記述しました。読者の皆様の合格への一助となれば幸いです。 目的 私はとある私立中高で物理と情報を教えています。統計の勉強を始めたのは、教科「情報」を教えるにあたってのスキルアップが目的です。も

Twitter https://twitter.com/0711__HS サブチャンネル https://www.youtube.com/channel/UCCLePgx5nopzZNKrIGrslhA 音源はここから借りたりしています。 魔王魂 OtoLogic DOVA-SYNDROME