特集記事

4次関数のグラフに引ける接線の本数 佐久間 佐久間です．今回は高校数学の箱庭からちょっとだけはみ出すような問題を考えました．3次関数のグラフに引ける接線の本数は高校数学や大学入試でよく問われます．しかし，4次関数のグラフに引ける接線の本数はほとんど問われることはありません．その理由は「接線の本数＝接点の個数」が成り立たず，途端に難しくなるからでしょう．今回はそれに挑んでみましょう． 一般の4次関数

n次元正単体の体積 佐久間 \(\mathbb{R}^n\)内のアフィン独立な\(n+1\)個の点の凸包\(S\)（\(n\)次元図形）を\(n\)-単体(\(n\)-simplex)または単に単体(simplex)と言う．\(n+1\)個の点を\(p_0,p_1,\ldots,p_n\)とすると，\(S\)は次のように表せる： \[S=\left\{t_0 p_0+\cdots +t_n p_n

凸関数の反復合成が再び凸関数となる条件 佐久間 問題 連続な凸関数\(f\)と狭義単調増加で連続な凸関数\(g\)の組であって，合成\(f\circ g\)が凸関数にならない例を挙げよ． \(I,J,K\)を有界閉区間とする．凸関数\(g:I\to J\)と広義単調増加な凸関数\(f:J\to K\)の合成\(f\circ g\)が凸関数となることを示せ． \(I=[a,b]\)を有界閉区間とし，

単調でない関数による置換積分 佐久間 佐久間です．今回は「ルベーグ＝スティルチェス積分の置換積分」に引き続き，置換積分の公式を扱っていきたいと思います．前回見た，\(f,g\)に関するかなり弱い仮定の下で成立する置換積分の式 \[\int_a^b f(g(t))g'(t)dt=\int_{g(a)}^{g(b)}f(x)dx\] について，「\(g\)が単調でないときはこの公式は使えない」

ルベーグ＝スティルチェス積分の置換積分 佐久間 この記事では，よく見かける置換積分の公式 \[\int_a^b f(g(t))g'(t)dt=\int_{g(a)}^{g(b)}f(x)dx.\] が\(f,g\)に関するどのような仮定の下で成立するかについて，リーマン積分だけでなく，ルベーグ積分やルベーグ＝スティルチェス積分の場合も含めて考察します． 1 リーマン積分の場合 Theore

ジョルダン標準形の簡便な求め方と変換行列 佐久間 正樹 本記事では，ジョルダン標準形を具体的に求める方法の一般論について述べる．とくに，変換行列（generalized modal matrix）の性質を用いたジョルダン標準形における特定の大きさのジョルダン細胞の個数を求める公式の証明と，行列のサイズが小さい場合に最小多項式を利用して効率的にジョルダン標準形を決定する方法を考察する． ここで扱うの

本記事では、M/M/c/cモデルとM/M/cモデル、そしてアーラン分布について紹介します。M/M/c/cモデルにはアーランB公式、M/M/cモデルにはアーランC公式という有名な公式が存在します。アーラン分布はこれらの証明に直接使われるわけではありませんが、指数分布に従う複数の独立な確率変数の和として自然に現れるため、M/M/cモデルのように、複数のサービスステージを経るような待ち行列システムにおい

今回は指数分布とポアソン分布、ポアソン過程の関係についてまとめます。 「M/M/1行列モデルの公式の導出」で証明を省略した命題の証明についても考えます。 1 ポアソン分布 まずポアソン分布の定義を確認しましょう。 母数\(\lambda>0\)のポアソン分布\(\mathrm{Po}(\lambda)\)は、確率質量関数が \[P(X=k)=\frac{\lambda^k}{k!}e^{-\

SQLと関係代数 正規化・クエリ最適化編 佐久間 正樹 前回「SQLと関係代数 基本演算編」に引き続き、データベースの数学的表現とその応用について考えます。今回はリレーションの正規化とクエリ最適化についてです。 1 正規化の数学的表現 表（テーブル、リレーション）の名前と属性集合の組による抽象化をリレーションスキーマ、リレーションスキーマに従う実際のデータが入ったリレーションをそのリレーションスキ

高校数学の内容に「平均値の定理」があります。平均値の定理は、大学で解析学を学ぶときの基礎となる定理ですが、受験ではあまり活躍せず、定理の意味についてもほとんど語られないまま高等教育を終える方もいらっしゃると思います。 今回はそんな平均値の定理についてお話ししたいと思います。 1 ラグランジュの平均値の定理 実は平均値の定理にはいくつかのバリエーションがあるのですが、単に「平均値の定理」というと、以

1 概要 本記事では数理論理学についての基本的な知識，とくに古典命題論理の意味論と自然演繹による証明論の知識を仮定します． 普通の論理では論理結合子として\(\wedge, \vee, \to, \neg, \bot\)あたりを使っているかと思います． それぞれ「かつ」「または」「ならば」「否定」「矛盾」です． またこれらの他に重要な論理演算としてしばしば「かつ」「または」に否定をつけたNANDと

SQLと関係代数 基本演算編 佐久間 正樹 リレーショナルデータベースの根本理論には、関係代数（relational algebra） があり、SQLもその上に構築されています。とはいえ、SQLではINNER JOINやOUTER JOINのような複雑な演算が一発で書けてしまい、サブクエリやWindow関数などのような一見数学から縁遠いように見える便利な機能もあるため、その数学的な意味や構成を意識