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