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