Windows Subsystem for Linux に SATySFi をインストールをする機会がここ数週間の間になぜか複数回あった．この記事はそれらの経験からわかった Windows Subsystem for Linux に SATySFi をインストールをする方法をまとめたものである．たぶんこれが一番早…
Windows Subsystem for Linux (以下WSL)でTexdoc を使うための方法についての記事です． 元々はLaTeX 初心者が知るべきただ一つのコマンド - Sokratesさんの備忘録ないし雑記帳という記事のおまけにしていたのですが，分量的に分けたほうが良いと判断したの…
この記事は さいえんSlack Advent Calendar 2020 - Adventar の 25 日目（最終日）の記事です．24 日目は Tomoki UDA さんの担当でした． さいえんSlackは Slack を中心に活動している科学に興味がある人のためのゆる〜いコミュニティです．詳しいことは以下…
という煽りタイトルで Texdoc を紹介する記事を書く宣言を何故かしてしまったので，書きたいと思います．後悔も反省もしている．たぶんみんな妖怪かスタンド攻撃のせい． この記事は TeX ＆ LaTeX Advent Calendar 2020 - Adventar の 24 日目の記事です．23…
Twitter にて「Tychonoff の定理 が選択公理なしで証明された」という主張を見た． どのような体系で証明されたのかよくわからないが，もし，その体系が ZF の部分体系(もしくはそれと同等の証明能力を持つ体系)であって，また仮に証明されたのが事実だとす…
ある日, わたしが 「微分可能だけど導関数が不連続な関数を思いつかないよう(ノдヽ)」*1 と困っていたらある人が 「[1]のページに答えが書いてあるよ」 と教えてくれた. そこに書かれている関数を眺めていたら\(n\)回微分可能だが\(n\)階導関数が不連続にな…
この記事は https://adventar.org/calendars/4015 の12/21 の記事です． わたしは分離論理について書きました． 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので，需要があるのではないかと思って書きました． 今回は「一階…
数学する身体を読んだ。 内容は次のように表現できる。 マンガ おはなし数学史 : これなら読める！これならわかる！ (ブルーバックス) 作者: 仲田紀夫,佐々木ケン 出版社/メーカー: 講談社 発売日: 2013/11/08 メディア: Kindle版 この商品を含むブログを見…
数学の世界には慣例的に「補題」と呼ばれる"定理"がある. たとえば, Zorn の補題 Kőnig の補題 Tukey の補題 握手補題 Farkasの補題 米田の補題 などである(分野に偏りがあるのはご容赦). なぜこれらは補題と呼ばれるのか? 大学生の頃にMartin Aigner, Günte…
自然数の定義を淡々と述べるものです. 過度な期待はしないでください. 1. 構造としての自然数の定義 1.1. Dedekind による定義 空でない集合 \( \mathbb{N} \) と単射写像 \( \mathop{s}: \mathbb{N} \to \mathbb{N}\) , \( 0 \in \mathbb{N} \) が次のI), I…
1. 導入 最近Twitter で「自然数全体から『同様に確からしく』自然数をランダムに選ぶことができる」と思っている方を見かける. 残念ながらそのような確率空間は存在しないという話を書く*1. 2.本論 まず, 数学的に確率空間を定義しよう. そのためにまず完全…
この記事は Math Advent Calendar 2018 - Adventar の12/19付の分の記事です(え？10日も遅れてる?......スタンド攻撃を受けているようだな). ビュフォンの針という問題をご存じだろうか? ビュフォンの針 平面上に平行線が等間隔に多数書かれている. その間隔…
だいぶ前にTwitterで「人生で一度は証明を追いたい定理」とかいう話題が盛り上がっていた. もとツイートを探そうかお思ったんだが, 見つからなかった(←探し方が悪い)ので誰が言い始めたのかはわからないのだが, 「なるほど, 確かにそういう定理・命題・補題…
数学をやっているとすごいレベルの比喩でもって数学的な概念を説明してくれる人に出会う. 最近自分の中でヒットしたのは「CR性は崇徳院」というものだ. CR性というのは"Church Rosser 性" というものである種の順序集合の性質のことである. 正確には次のよう…
今回は雑記です. まとまりのない文章になりますがご了承ください. 水素水の効能がないことが公的機関によっても保証されたようですね. 容器入り及び生成器で作る、飲む「水素水」−「水素水」には公的な定義等はなく、溶存水素濃度は様々です−(発表情報)_国民…
[注意]さまざま考えた結果この記事をリバイバルすることにした．下の記事に移行中である．移した部分は徐々に消していっている．（2020/08/05 追記） この記事に元々書いてあった分の移行を完了したので，本文は全て消した*1．下のリバイバルした記事を読ん…
最近ゴジラの話ばかり書いてて, このブログの目的を見失いつつあります. 是非もないよね!(C.V.釘宮) 今回のテーマはこちらの記事から. 【中学数学】自然数に整数0が含まれないたった1つの理由 | マイ勉 : ¥0で使える中学生の無料学習サイト http://benkyo.me…
シン・ゴジラを最初に見てから数週間がたとうとしている. 結局, 3回ほど見てしまった. 正直, 最初は圧倒されすぎて感想を言葉にすることが困難だったが, 3回目の視聴を経てようやく, 感想を言葉にできそうな気配がしてきている. 今回はそんな, わたしの感想…
みなさん, こんばんは. 夏がそろそろ終わるんやなってやっている仮面の日曜数学者です. 皆さんは, 三角形の「心」のことをご存知ですか? えぇ,そうです. 高校で習ったであろう「五心」のことです. 「重心」「外心」「内心」「垂心」「傍心」ですね. 実はこれ…
シン・ゴジラはいいぞ という言葉がある. シン・ゴジラといえば現在公開中の庵野監督の本気の塊の特撮映画である. www.shin-godzilla.jp 私はこの作品の感想をどう書こうか, どう表現しようかこの数日迷ってきた. しかし, この作品の圧倒的力の前ではどのよ…
世間ではそろそろ夏休みのようです. 私はむしろこの時期がもっとも忙しかったりするので, 夏休みは苦しい季節だったりします....... さて, そろそろ小中高生が読書感想文などに悩み始める時期かなぁ, ということでそんな子供たちのための数学書を並べてみよ…
仮面の日曜数学者です. キチンとした記事を書こうとすると, やっぱり時間がかかるので今日もバカ噺を書こうかと思います*1. 今, 白雪姫がケーキを統計を使って公平に分割する話がはやっているようなので, そういった噺を一つ. motcho.hateblo.jp 統計に詳し…
仮面の数学者です. 前回の更新が2か月前なんて信じない...... 毎日のようにブログを更新できる人を僕は心の底から尊敬しています. 創作で最も難しいのは最後まで作品を完成させることだっていうけど, ブログも同じような気がします. つまり, 大事なのは根気.…
仮面の日曜数学者です. 約一か月ぶりの更新です. 新しい年度が始まってバタバタしてました. 知り合いの中学生から聞いたのですが, 昨今の数学の先生の中には「数学の定義は一字一句全く同じでなければならない」と思い込んでいる人がいるそうです. その子が…
親愛なる読者の皆さま, あけましておめでとうございます. 仮面の日曜数学者です(迷ったけどこれにした). 今年のお正月は様々あって, 姫路で過ごしたのですが, 旅は良いですねぇ. 久しぶりにゆっくりできました. 最近は初日の出をゲンの良いところで拝もうっ…
あー, おなかいたい...... みなさんこんばんは. ある日曜数学者です. 固有名詞化しつつある「ある日曜数学者」という単語ですが, 今度から「オペラ座の日曜数学怪人」と名乗ろうか「仮面の日曜数学者」と名乗ろうか迷っています. 先日から胃がきりきりする事…
えー, どうもこんばんは. ある日曜数学者です. 勢いで次のような企画に参加してしまいました. www.adventar.org 主催の人とは全く知らない間柄でもないし, 簡単な文章で良いって書いてあるしなぁってんで, 勢いで参加ボタンを押しちまいました. いやぁ, 用事…
この記事は日曜数学 Advent Calendar 2015 - Adventarの4日目の記事です. 3日目:月の明るい部分の面積を求める:このブロマガの名前は？ - ブロマガ こんにちは. 最近,「数学」を趣味としている人が増えているそうです. 数学は紙とペンさえあれば何とかなるみ…
日曜数学者の筆者が, 思考の垂れ流し先を求めて開設しました。 数学に限らずいろいろなことを書いていこうと思いますが, よろしくお願いします。
Hello World!
