「精度99%の検査で陽性だった人が実際に病気である確率は数%程度」とかいう話、聞いたことがある人もいるかと思います。 「1000人に一人がかかる病気があり、あなたはこの病気かどうかを精度99%で判定できる検査を受けたところ、なんと陽性であった。あなたが実際にこの病気にかかっている確率はいくらか」というやつのことです。 「陽」という字にポジティブな響き※があるので、いい意味だったか悪い意味だったかちょっと迷ってしまうかもしれませんが、「陽性である」というのは「検査したら反応が出る」というくらいの意味です。※響きも何も、「ポジティブ」なんですけどね… ウイルス感染症のPCR検査のケースで言うならば、陽性であるとは「検体（採取した粘膜や痰などのこと）から基準を超えた量のウイルスの遺伝子が検出される」ということになるでしょうか。 で、あなたは陽性だったわけです。初めてこの話を聞いた人ならいやそりゃ

フィボナッチ数列 1,1から始めて、「前２つの項を足したものが次の項」という構造をしている数列が「フィボナッチ数列」です。具体的に書き下すとこういうものです。 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, ... 確かに「前２つの項を足したものが次の項」になっていますね。言うまでもないですが、ここに現れている一つ一つの数が「フィボナッチ数」です。 番目のフィボナッチ数を「」と表すことにすると、フィボナッチ数列は以下の式で定義されます。 （前二つの和が次の数） （1,1から始める） これだけで十分です。これだけ指定してさえあれば、以降の数値は一意に定まります。 そしてこれは「0,1」から始めて足していっても結局同じ数列が現れるので、「0番目のフィボナッチ数」つまりとして0をおくこともあります。 さて、このフィボナッチ数の間にはさまざ

みなさんは、好きな複素数ってありますか？（ただし実数は除く） 「好きな整数」を持ってる人なら少なくないと思います。それこそラッキー7の7とか。自分の誕生日とか。691とか。 「好きな実数」まで広げても、eとかπとかとか、いろいろあるでしょう。 でも、「複素数」となると？　「私の好きな複素数は○○です」って言ってる人、ほとんど聞いたことないです。あったとしても、2乗して-1の「」そのものとか、3乗すると1になる「ω（）」とかぐらいのものでしょう。 これって不思議だと思うんですよね。整数だったら2でも3でも163でも、それぞれに面白い性質が山ほどあることを思うと、例えば「」や「」などという個別の複素数にもそれぞれに面白い性質はいくらでもある、と考えるのは当然でしょう。でも、個別の整数について面白い性質を知っているほどには、個別の複素数の持つ面白い性質をわれわれは知らない。不思議です。 そういう

2017年12月16日、数学界に激震が走りました。……というと少し語弊があるでしょうか。 この日、あの「フェルマーの最終定理」に匹敵するとも言われる数学の重要な予想、つまり未解決問題であった「ABC予想」が京都大数理解析研究所の望月新一氏によってついに解決されたというニュースが、数学界を、いや、世界中を駆け巡ったのです。 science.srad.jp とは言っても実は、ABC予想を証明したとする論文は2012年にすでに発表されていて、そこから５年間ずっと「査読中」、つまりその証明が正しいかどうかの検証中だったのです（５年もかかったというのは、それだけこの証明が独創的で難解だったことの証左でもあります）。 端から見ていた所感として、論文が出た当初は、本当にこれがABC予想の証明になっているのか疑う向きも多かったようですが、最近では、証明はほぼ間違いないのだろう、というような雰囲気だったよう

11月23日はフィボナッチ数列の日です。ハッピーフィボナッチ！ 本場イタリアでは、街中にウサギやヒマワリなどの飾り付けをしてこの日を盛大に祝うらしいです。うそです。 フィボナッチ数列 フィボナッチ数列とはすなわち1,1,2,3,5,8,13...という数列のことであり、初項と第２項が１で、前２つの項を足したものが次の項になっているような数列のことです（wikipedia）。 この数列に関して、こんな図を目にしたことがある方も多いのではないかと思います。 最初に一辺の長さが１の正方形を２つ置いて、左隣にそれらに接するように一辺２の正方形を置く。次は上に３。右に５。下に８。左に13。というふうに、正方形をらせん状にくっつけていくと、その辺の長さがフィボナッチ数列になっているというものです。興味深いですね。 これの拡張として、正方形以外の形でもらせん状に配置することってできないのかな？　と思うの

「ディリクレ関数」という病的な関数があります。こんなのです。 「」とは「に関する関数ですよ」ってことです。すなわちディリクレ関数とは、「に有理数を入力すると1が、無理数を入力すると0が出てくる関数ですよ」ということを意味しています。 例えばは有理数なので、は無理数なのでということになります。 あ、「ディリクレ」は人名です。こういう関数を考えた人がいたよってことです。 ペーター・グスタフ・ルジューヌ・ディリクレ （Johann Peter Gustav Lejeune Dirichlet, 1805 - 1859） なんか便利そう それ自体の有用性はいろいろあるとは思うし、この関数は「いたるところで不連続」というかなり面白い特徴を持つ関数なんですが、今回の話はそこではありません。 「有理数のとき1、無理数のとき0」っていう定義、なんか便宜的っぽいですよね。あぁたしかにそんな関数あったらなんか