命題論理
命題論理の基本単位は「真または偽のどちらか一方であるような主張」であり、これを命題変数と呼ばれる概念として定式化します。また、より複雑な主張を生成する操作を命題変数どうしを組み合わせる操作として定式化し、そのような操作のルールを定めます。その上で、与えられたルールからどのような推論規則が導かれるかを明らかにしようとします。
MATHEMATICS
LOGIC
述語論理
命題論理の基本単位が命題変数であったのに対し、述語論理では命題関数と呼ばれる概念が基本単位となります。それにより扱うことのできる言明の範囲が広がるとともに、量化と呼ばれる操作が可能になります。
SET
集合
集合論は数学の土台です。あらゆる数学的概念は集合を用いて記述できます。ここでは集合を定義した上で、集合演算とその性質について学び、さらには集合族や直積集合、関係などについて学びます。
写像
初等数学で学んだ「関数」とは、入力した実数に対して何らかの実数を返す概念として理解できます。関数を一般化した概念が写像です。写像とはある集合のそれぞれの要素に対して別の集合の要素を1つずつ定めるような規則のことです。本節では写像について学びます。
関係
複数の物事が互いに関わり合っている状態を「関係」と呼びますが、これは数学的には2つの集合の直積の部分集合として定義されます。関係や二項関係、同値関係、順序関係など代表的な関係について解説します。
集合の濃度
有限個の要素を持つ集合については、その要素の個数は有限な自然数として表現されます。一方、無限個の要素を持つ集合については、すべての要素を数え尽くすことができないため、要素の個数を自然数として表現できません。集合の濃度とは要素の個数を一般化した概念であり、これを用いることにより無限どうしを比較できるようになります。
REAL NUMBER
実数の定義
実数を無限小数として定義する場合、実数に関する議論はすべて無限小数に関する議論として行うことになり面倒です。そこで代替的な方法として公理主義的なアプローチのもとで実数を定義します。ここでは実数を特徴づける公理について解説します。
数列
実数を順番に並べたものを数列や実数列と呼びます。数列の項が先に進むにつれてある実数に限りなく近づく場合には、その数列は収束すると言い、その実数を数列の極限と呼びます。
数直線の位相
実数空間すなわち数直線の位相に関するテキストと演習問題です。実数空間上の開集合や閉集合など、位相を規定する概念について解説します。
1変数関数
関数に関するテキストと演習問題です。実数の点集合上に定義され実数を値としてとる関数について、収束の概念や連続性の概念を中心に解説します。
級数
数列とは無限個の実数を順番に並べたものですが、その無限個の実数を足すことで得られる和を無限級数と呼びます。ただ、実際に無限個の実数を足すことはできないため、無限級数の値として部分和の極限を採用します。
関数列
定義域を共有する無限個の数列を順番に並べたものを関数列と呼びます。関数列およびその収束可能性について解説します。
EUCLIDEAN SPACE
ユークリッド空間の定義
n 次元空間上にベクトル加法やスカラー乗法などの演算や大小関係を定義すると、実順序ベクトル空間になります。実順序ベクトル空間上にユークリッド距離と呼ばれる概念を定義したものがユークリッド空間です。
ユークリッド空間上の点列
ユークリッド空間上の無限個の点を順番に並べたものを点列と呼びます。点列は実数列を一般化した概念です。ここでは点列が収束することの意味を定義した上で、収束点列の性質について解説します。
ユークリッド位相
ユークリッド距離をもとにユークリッド空間上の開集合と呼ばれる概念を定義した上で、その性質や、関連する概念などについて解説します。
ベクトル値関数（曲線）
実数空間もしくはその部分集合を定義とし、ユークリッド空間を終集合とする写像を曲線やベクトル値関数などと呼びます。ここでは曲線の収束や連続性などについて解説します。
多変数関数（スカラー場）
多変数関数（スカラー場）という概念を定義するとともに、多変数関数が有限な実数へ収束すること、および連続であることの意味を定義した上で、連続な多変数関数の性質について解説します。
多変数のベクトル値関数（ベクトル場）
本節では多変数のベクトル値関数（ベクトル場）が収束することの意味や、連続であることの意味を解説します。本節で得られる知識は後に多変数のベクトル値関数の微分について学ぶ際の前提知識となります。
METRIC SPACE
CALCULUS
1変数関数の微分
1変数関数の微分の概念を定義した上で、微分の基本性質や初等関数の微分、平均値の定理、高階の微分、テイラーの定理などについて学びます。これらの知識は後に1変数関数を目的関数とする最適化について学ぶ上での基盤になります。
ベクトル値関数の微分
曲線（1変数のベクトル値関数）について、その微分を定義した上で、微分に関して成り立つ様々な性質を解説します。
多変数関数の微分
多変数関数（スカラー場）について、偏微分、方向微分、全微分などの様々な微分概念を定義するとともに、これらの微分概念の性質について解説します。
多変数ベクトル値関数の微分
多変数のベクトル値関数（ベクトル場）の偏微分や方向微分、全微分などの概念について解説します。
1変数関数の積分
1変数関数のリーマン積分について学びます。具体的には、積分の概念を定義した上で、積分の基本性質や初等関数の積分、微分と積分の関係、関連する諸定理について学びます。
関数の最適化
与えられた制約条件のもとで関数の値を最大化または最小化する変数の値を求めることを最適化と呼びます。ここでは微分可能な関数を対象とする様々な最適化問題の解法を解説します。
微分積分の応用例
微分積分の現実社会における具体的な応用例について解説します。
LINEAR ALGEBRA
ベクトル
「大きさ」と「方向」という2種類の情報によって表現される量をベクトルと呼びます。ベクトルを定式化するとともに、その性質について解説します。
行列
実数を長方形に配列したものを行列と呼びます。ここでは行列とそれについて定義される代数的演算について学びます。
行列式
連立1次方程式の解を求める問題は行列式の理論と深い関係があります。ここでは行列式の定義および性質を確認した上で、連立1次方程式との関係を議論します。
ベクトル空間
体と非空の集合上に定義されたベクトル加法とスカラー乗法と呼ばれる演算がベクトル空間の公理を満たす場合、そのような集合をベクトル空間と呼びます。ここではベクトル空間を定義した上で、その基本的な性質を確認します。
CONVEX ANALYSIS
凸集合
凸集合と呼ばれる概念を定義した上で、凸集合どうしの集合演算に関して成立する性質や凸集合の位相的性質について解説します。
凸関数・凹関数
凸関数（凹関数）と呼ばれる関数を定義するとともに、与えられた関数が凸関数（凹関数）であることを判定する方法や、凸関数（凹関数）の基本的な性質について解説します。
準凸関数・準凹関数
準凸関数（準凹関数）と呼ばれる関数を定義するとともに、与えられた関数が準凸関数（準凹関数）であることを判定する方法や、準凸関数（準凹関数）の基本的な性質について解説します。
凸最適化・凹最適化
凸最適化（凸計画法）および凹最適化（凹計画法）と呼ばれる最適化問題を定義するとともに、様々な凸最適化ないし凹最適化問題の解法を解説します。
CORRESPONDENCE
対応
集合のそれぞれの要素に対して別の集合の部分集合を1つずつ定める規則を対応と呼びます。ここでは対応、対応による像、逆像（上逆像・下逆像）、逆対応、対応の連続性（上連続性・下連続性）、ベルジュの最大値定理、および不動点定理などについて解説します。
MEASURE
ルベーグ測度
長さや面積、体積などはいずれも同一種類の小さい量を加え合わせることでより大きな量をつくることができるという意味において外延的な量です。一般に、外延量は測度と呼ばれる概念として一般化されます。ここでは実数空間（数直線）の部分集合を測定対象とするルベーグ測度について解説します。
PROBABILITY AND STATISTICS
確率
公理主義的な確率論について解説します。具体的には、確率空間や確率関数などの概念を定義した上で、確率空間の公理をもとに、確率空間が満たす基本的な性質を証明します。
離散型の確率分布
確率に関して定量的な分析を行うために確率変数を用いて標本点を数値化します。特に、試行において起こり得る結果が有限個ないし可算個である場合には離散型の確率変数を利用します。
連続型の確率分布
確率に関して定量的な分析を行うために確率変数を用いて標本点を数値化します。特に、試行において起こり得る結果が非可算個である場合には連続型の確率変数を利用します。
代表的な確率分布
代表的な確率分布を紹介するとともに、その性質を解説します。
ECONOMICS
MICROECONOMICS
消費者理論
世の中に存在する資源は有限であり、加えて消費者は所得をはじめとする様々な制約に直面しているため、好きなものを好きなだけ消費できるわけではありません。だからこそ消費者が何をどのように選ぶのかという問題について考える意味があります。消費者理論は、様々な制約に直面する消費者がどのような意思決定を行うかを明らかにしようとします。
生産者理論
世の中に存在する資源は有限であり、加えて生産者は技術水準や資本をはじめとする様々な制約に直面しているため、好きなものを好きなだけ生産できるわけではありません。生産者理論は、様々な制約に直面する生産者がどのような意思決定を行うかを明らかにしようとします。
不完全競争市場
市場において商品が少数の生産者によって供給されている場合や商品の差別化が行われている場合などにはプライス・テイカーの仮定は成り立たず、生産者は価格を主体的に操作できます。そのような不完全競争市場における生産者の行動を分析します。
不確実性下の意思決定
現実の様々な場面において行動と結果は1対1で対応しているとは限りません。ある行動を選択した場合、実際に起こり得る結果として複数の候補が存在し、なおかつ、その中のどの結果が実際に起こるかが完全に予測できない状況、すなわちランダムネスが成立している状況が起こり得るということです。以上の状況下における最適な意思決定について考えます。
GAME THEORY
ゲーム理論とは何か？
ゲーム理論について本格的に学ぶ前に、ゲーム理論の概要を解説します。ゲーム理論の分析対象である戦略的相互依存関係とは何か、ゲームにはどのような種類が存在するか、ゲーム理論はどのような歴史を辿って発展してきたか、その概要を解説します。
完備情報の静学ゲーム
完備情報の静学ゲームとは非協力かつ静学かつ完備情報であるようなゲームのことです。つまり、そこではプレイヤーたちの間に拘束的な合意は成立せず（非協力）、それぞれのプレイヤーは意思決定を行う際に他のプレイヤーたちが行った意思決定を事前に観察できず（静学）、なおかつゲームのルールはプレイヤーたちにとって共有知識です（完備情報）。完備情報ゲームにおける均衡概念はナッシュ均衡です。
不完備情報の静学ゲーム
不完備情報の静学ゲームとは非協力かつ静学かつ不完備情報であるようなゲームのことです。つまり、そこではプレイヤーたちの間に拘束的な合意は成立せず（非協力）、それぞれのプレイヤーは意思決定を行う際に他のプレイヤーたちが行った意思決定を事前に観察できず（静学）、なおかつ少なくとも1人のプレイヤーがゲームのルールに関して私的情報を持ちます（不完備情報）。不完備情報ゲームにおける均衡概念はベイジアンナッシュ均衡です。
完備情報の動学ゲーム
完備情報の動学ゲームとは非協力かつ動学かつ完備情報であるようなゲームのことです。つまり、そこではプレイヤーたちの間に拘束的な合意は成立せず（非協力）、それぞれのプレイヤーは順番に意思決定を行い（動学）、なおかつゲームのルールはプレイヤーたちの共有知識です（完備情報）。
ゲーム理論におけるゲームの具体例
ゲーム理論における具体的かつ代表的なゲームについて解説します。
AUCTION THEORY
MATCHING THEORY
非分割財の交換問題（シャプレー・スカーフの住宅市場）
商品を1つずつ所有している複数のプレイヤーが何らかのルールにもとづいて商品を交換しようとしている状況を非分割財の交換問題（シャプレー・スカーフ経済、住宅市場モデル）と呼ばれるモデルを定式化した上で、そこでの望ましいメカニズム、すなわち商品交換ルールについて解説します。
1対1のマッチング問題（安定結婚問題）
2つのグループに分かれたプレイヤーたちを何らかのルールにもとづいてグループ間で1対1でマッチングさせる資源配分問題を1対1のマッチング問題（安定結婚問題）と呼ばれるモデルとして定式化した上で、そこでの望ましいマッチングルールについて解説します。
PICK UP
人気のテキスト（過去7日間）
コブ・ダグラス型生産関数
コブ・ダグラス型生産関数と呼ばれるクラスの生産関数を定義するとともに、その基本的な性質について解説します。
スルツキー方程式
ある商品の価格が変化したことによる需要の変化、すなわち価格効果は、価格比の変化に起因する代替効果と、実質所得の変化に起因する所得効果に切り分けることができます。スルツキー方程式は価格効果を代替効果と所得効果に切り分けて評価する際の指針を与えてくれます。
ベルトラン競争（ベルトラン均衡）
同質財を供給する複占市場における企業間の価格競争をモデル化したゲームをベルトラン競争と呼び、ベルトラン競争におけるナッシュ均衡をベルトラン均衡と呼びます。
多変数の凸関数・凹関数
定義域がユークリッド空間上の凸集合であるとともに、そのグラフが平面もしくは下に凸であるような関数を凸関数と呼びます。また、グラフが平面もしくは上に凸であるよう関数を凹関数と呼びます。
実数空間におけるコンパクト集合
実数空間の部分集合Aを覆う開集合族（開被覆）を任意に選んだとき、それに対して有限部分被覆が必ず存在する場合には、Aはコンパクト集合であると言います。
実数空間における開集合・開集合系
実数空間 R の部分集合 A に属するそれぞれの点に対して、その点を中心とする近傍の中に A の部分集合であるようなものが存在する場合、A を R 上の開集合と呼びます。
展開ゲームを用いた完全記憶ゲームと不完全記憶ゲームの表現
動学ゲームが完全記憶ゲームないし不完全記憶ゲームであることの意味を、展開型ゲームが満たすべき性質として定義します。
広義の純粋戦略ナッシュ均衡
戦略型ゲームにおいてプレイヤーたちの純粋戦略の組に注目したときに、その組を構成する戦略がお互いに最適反応になっているならば、その組を純粋戦略ナッシュ均衡と呼びます。純粋戦略ナッシュ均衡は存在するとは限らず、存在する場合にも一意的であるとは限りません。
最後通牒ゲーム（最終通告ゲーム）
資源量が所与である状況において一方のプレイヤーが資源の配分割合を提案し、他方のプレイヤーがその提案を受け入れるかどうかを決定する動学ゲームを最後通牒ゲームと呼びます。
独占均衡とその解釈（内点解と端点解）
独占市場において独占企業は限界収入と限界費用が一致するような商品の供給量ないし価格を選択することにより利潤を最大化することができます。
第一価格封印オークション（ファーストプライス・オークション）
最高額を入札した入札者を勝者とし、勝者に対して自身の入札額に等しい金額を支払わせるオークションを第一価格封印オークション（ファーストプライス・オークション）と呼びます。第一価格封印オークションは誘因両立的ではありませんが、一定の条件のもとで均衡を持ちます。
絶対値関数の微分
絶対値関数はゼロとは異なる定義域上の点において微分可能です。絶対値関数や絶対値関数との合成関数を微分する方法を解説します。
LATEST MATERIALS
最新の教材
純変化量としての定積分（純変化量定理）
関数の導関数を区間上でリーマン積分した場合、得られた定積分の値は、もとの関数の区間上での変化と一致することが保証されます。これを純変化量定理と呼びます。
不連続関数のリーマン積分可能性
有界な閉区間上に定義された有界関数が定義域の端点において片側連続でない場合においても、一定の条件のもとではリーマン積分可能です。また、定義域上の有限個の点においてのみ不連続な関数はリーマン積分可能です。
離散型確率ベクトルの同時分布関数（同時累積分布関数）
離散型確率ベクトルの同時分布関数とは、確率ベクトルがあるベクトル以下の値をとる確率を特定することを通じてその同時確率分布を記述する関数です。
連続型確率ベクトルの同時確率密度関数
連続型の確率ベクトルの同時確率分布を表現する際に同時確率質量関数を利用できません。連続型の確率ベクトルの同時確率分布を描写する際には同時確率密度関数を利用します。
離散型確率ベクトルの同時確率質量関数
離散型の確率ベクトルが与えられたとき、それぞれのベクトルに対して、確率ベクトルがそのベクトルを値としてとる確率を特定する巻数を同時確率質量関数と呼びます。
連続型の確率ベクトル（多変量確率変数）
それぞれの標本点に対してベクトルを1つずつ割り当てる写像を確率ベクトルと呼びます。特に、有限個の離散型確率変数から定義される確率ベクトルを離散型の確率ベクトルと呼びます。
離散型の確率ベクトル（多変量確率変数）
それぞれの標本点に対してベクトルを1つずつ割り当てる写像を確率ベクトルと呼びます。特に、有限個の離散型確率変数から定義される確率ベクトルを離散型の確率ベクトルと呼びます。
多変数ベクトル値関数の方向微分と1変数ベクトル値関数の微分の関係
多変数のベクトル値関数が連続微分可能な点に関しては、その多変数ベクトル値関数を方向微分するプロセスは1変数ベクトル値関数を微分するプロセスと実質的に等しくなります。
多変数ベクトル値関数の全微分と偏微分の関係
多変数関数が全微分可能である場合には偏微分可能であることが保証される一方、その逆は成り立つとは限りません。ただ、多変数関数が連続微分可能である場合には全微分可能であることが保証される一方、その逆は成り立つとは限りません。
多変数ベクトル値関数の全微分の定義（ベクトル場の全微分）
多変数のベクトル値関数（ベクトル場）のすべての変数を任意の経路で動かす状況を想定した微分概念を全微分と呼びます。
概収束する（ほとんど確実に収束する）確率変数列
関数変数列が各点収束する標本点からなる事象の確率が1である場合、その確率変数列は概収束するとか、ほとんど確率に収束するなどと言います。
零事象（ほとんど確実な事象）
可測事象の確率が0である場合、そのような事象を零事象と呼びます。また、可測事象の確率が1である場合、そのような事象をほぼ確実な事象と呼びます。
BLOG
ブログ
ユダヤ教が規範宗教であり民族宗教であることの意味
ユダヤ教はキリスト教やイスラム教徒と同様、唯一絶対の神から与えられた啓典を信仰の基盤にする啓典宗教です。ユダヤ教の特徴は、集団救済の宗教であり、外的規範の実践を重視する規範宗教であるという点です。その意味を解説します。
写真の発明が印象派の画家たちに与えた影響
写真が本格的に発達した19世紀の中頃は、絵画を中心に印象派が勃興した時代でもあります。印象派の作風は写実主義の対極にあるように見えますが、実は、その成り立ちは写真の発明や普及と深い関係があることが指摘されています。写真が普及するまでの歴史的経緯を追いながら、印象派に及ぼした影響について解説します。
ゼロは自然数なのか？
0は自然数なのでしょうか。0を自然数に含める流儀と含めない流儀がありますが、どちらが正しいか決め手はありません。重要なのは定義を共有しておくことです。ここでは後続集合を用いた定義や、帰納的集合を用いた定義などを紹介します。
モノの値段はなぜ変化するのか
モノの値段は需要と供給がバランスする点に落ち着くのであるならば、商品の需要や供給が何らかの理由によって変化したとき、両者がバランスする点も変わるため、それに応じて商品の価格も変化することになります。では、商品の総需要や総供給はどのような理由から変化するのでしょうか。経済学に馴染みのない方向けに分かりやすく解説します。
モノの値段はどのように決まるのか？
モノやサービスの値段は需要と供給のバランスから決定されますが、その背後にあるメカニズムを経済学に馴染みのない方向けに分かりやすく解説します。
オークション理論とは何か？
オークションの入札者は商品への評価額などを私的情報として持っています。入札者たちが自身の利益を最大化するために真の評価額とは異なる金額を入札する結果、オークション市場ではインセンティブの問題が発生します。オークション理論はインセンティブの問題を解消するためのオークションメカニズムを設計する学問です。
NEWS
お知らせ
「閲覧履歴」「後で読む」機能を追加しました
閲覧履歴を確認できる機能および、特定のページをリストに保存できる機能を追加しました。
【挑戦問題】シャーロック・ホームズによる推論の妥当性
プレミアム会員向けの挑戦問題です。シャーロック・ホームズによる推論の妥当性を命題論理を用いて証明する問題です。回答提出期限は【2021年3月14日】です。
【挑戦問題】最大整数関数の微分
プレミアム会員向けの挑戦問題です。入力した実数に対して、それを超えない最大の整数を返す関数の導関数を求める計算問題です。回答提出期限は【2021年3月7日】です。
【挑戦問題】2変数関数の連続性と微分可能性
プレミアム会員向けの挑戦問題です。スカラー場（2変数関数）が定義域上の点において連続、偏微分可能、方向微分可能、全微分可能であるかをチェックする計算問題です。回答提出期限は【2021年2月28日】です。
【挑戦問題】論理パズル「空いている部屋はどこか」
プレミアム会員向けの挑戦問題です。3つの部屋の中のどの部屋が空いているかを特定する論理パズルです。命題論理を用いて答えを導出してください。回答提出期限は【2021年2月14日】です。
【挑戦問題】イプシロン・デルタ論法を用いた「関数の連続性」の定義の妥当性
プレミアム会員向けの挑戦問題です。関数が定義域上の点において連続であることの意味は様々な形で表現されますが、その中でも、関数の極限を用いた定義とイプシロン・デルタ論法を用いた定義が必要十分であるか否かを示してください。回答提出期限は【2021年2月7日】です。
