数列の上極限limsup・下極限liminf

「数列の定義」「数列の収束・極限値の定義」等についてのノート更新。
数列の上極限lim sup ・下極限 lim infについて。

微積教科書一覧

解析学のビブリオグラフィー。杉浦光夫『解析入門』を更新。

単調有界数列の収束定理

「有界単調数列の収束定理」についてのノート。
メンテナンス。

「an→α (n→∞) かつ bn→β (n→∞) かつ (∀n∈N)（an≦bn)」⇒ 「α≦β」

「収束列の最小関係は極限操作後も保存される」という定理についてのノートのメンテナンス完了。

微積教科書一覧

解析学のビブリオグラフィー。高木貞治『解析概論』、小平邦彦『解析入門』を更新。

収束列の逆数の極限

「収束列の逆数の極限」についてのノート。メンテナンス完了。

収束数列は有界数列

「収束数列は有界」についてのノートをメンテナンス。

コーシー列・コーシー収束条件

「コーシー列とコーシー収束条件」についてのノート。メンテナンス。

触点、閉包、集積点などについて。

「距離空間(R,d)」についてのノートに文献追加。
触点adherent point、閉包closure、集積点などについて。
テキストごとに、説明が著しく異なる。
比較検討して、じきにノート掲載予定。

収束列の商と極限の入替可能性

「収束列の商の極限」についての証明のノート。メンテナンス。

ボルツアノ・ワイエルストラス

「ボルツァノ・ワイエルストラスの定理」についてのノート。メンテ完了。

数列の極限値の一意性

「数列の極限値の一意性」についてのノート。メンテナンス完了。

二項述語・2変項命題関数" x loves y" の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域明示しない場合
に、ドイツ語読み下し例を追加。

収束列の、実数倍と極限の順序交換

「収束列の、実数倍と極限の順序交換」についてのノートを作成。

確率論と統計学：教科書一覧

確率論と統計学のビブリオグラフィーを更新。
所蔵大学図書館データをNacsisからCiNiiへ変更。

1変数関数の参照文献

1変数関数の属性と諸類型の参照文献に、
本橋信義『新しい論理序説』追加。

線形代数教科書一覧

線型代数のビブリオグラフィーも、
大学図書館所蔵データをnacsisからCiNiiへ変更。

実数における順序概念：max,min,sup,inf

実数における順序概念(max,min,sup,inf)についてのノート。メンテナンス完了。

数列の上限sup・下限infの性質

数列の上限sup・下限infの性質についてのノート。メンテナンス完了。

実数体・実数の定義

実数体・実数の定義のノートの参照文献に、
本橋信義『新しい論理序説』追加。

発散数列との演算の極限

発散数列との演算の極限についてのノート。メンテナンス完了。

収束数列についての、極限と-の順序交換

収束列における極限と－符号の順序交換についてのノートをメンテナンス。

収束数列の積と極限の交換

「収束列の積と極限の交換」についてのノート。メンテ完了。

代数学教科書一覧

代数のビブリオグラフィーを更新。
大学図書館所蔵データをnacsisからCiNiiへ変更。

1変数関数の極限の性質

1変数関数の極限の性質。メンテナンス完了。

比例

比例を表す1変数関数y=axの性質のメンテナンス完了。

文献一覧：論理と集合

論理と集合のビブリオグラフィー。大学図書館所蔵データをnacsisからCiNiiへ変更。

数学的構造

数学的構造の定義を作成してみる。

級数

無限級数についてのノート。メンテ完了。

収束数列の和・極限順序交換

「収束列の和と極限の可換」についてのノート。メンテ完了。

2変数2値ベクトル値関数の定義

2変数2値ベクトル値関数の定義。メンテ完了。

論理の目次：一項述語・二項述語の具体例

論理と集合の目次に、一項述語・1変数命題関数の具体例、二項述語・2変数命題関数の具体例"x loves y"へのリンクを追加。

数学全般を扱う文献一覧

数学全般を扱う文献のビブリオグラフィー。
所蔵大学図書館データをNacsisからCiNiiへ変更。

ベクトル値関数

ベクトル値関数の定義と属性についてのノート。メンテ完了。

Gauss記号

実数の整数部分を表す、いわゆる「ガウスの記号」についてのノートをメンテ。

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを再び更新。

• イメージトレーニング：ε-N論法による厳密な《数列の極限値》定義、
• ε-N論法による「数列の極限値」定義の考え方　：　ビギナー向け定義のどこをどう明確化してるの？ 　 

の追加に伴って。

解析教科書一覧

解析学のビブリオグラフィー。メンテナンス完了。

対数関数

対数logのノートのメンテナンス。

総目次

総目次のメンテナンス。

「数列がαに収束 」「数列の極限値はα」

• イメージトレーニング：ε-N論法による厳密な《数列の極限値》定義、
• ε-N論法による「数列の極限値」定義の考え方　：　ビギナー向け定義のどこをどう明確化してるの？ 　 

の追加に伴い、「数列の収束・極限値の定義」についてのノートを更新。

多重量化一覧

多重量化一覧に項目追加。

定数値関数

定数値関数。メンテナンス完了。

実2次元数ベクトル空間R2の基底

実2次元数ベクトル空間R2の基底。メンテナンス完了。

自然数指数の冪関数（累乗関数)

「自然数指数の冪関数（累乗関数）の性質」の逆像の図解。調整。

6項述語3重量化∀x1∈X1 ∃x2∈X2 ∀x3∈X3 P(x1, x2, x3, x4, x5,x6)

6項述語の3重量化「∀x¹∈X¹ ∃x²∈X² ∀x³∈X³ P(x¹, x², x³, x⁴, x⁵,x⁶)」を新規作成、アップロード。

1変数関数y=xの性質

1変数関数y=xの性質の逆像の図解も調整。

実2次元数ベクトルの線型独立/従属

実2次元数ベクトル限定の線型独立/従属のノート。
メンテ完了。

「関数y=x^3の性質」

1変数関数y=x³の性質。逆像のアニメーションの調整。

べき関数

指数を実数一般に拡張した冪関数（累乗関数）についてのノート。
メンテ完了。

y=x^2

1変数関数y=x^2の性質。逆像アニメ不具合につき調整。

実n次元数ベクトル空間の基底

実n次元数ベクトル空間の基底をメンテ完了。

二項述語の二重量化

論理と集合の目次を更新。
二項述語の二重量化。

ベキ関数(有理数指数）

有理数指数の冪関数（累乗関数）の性質。メンテ完了。

反比例

反比例についてのノート。メンテ。

実n次元数ベクトルの一次結合

実n次元数ベクトルの線形結合のノートをメンテ。

イメージトレーニング：ε-N論法による厳密な《数列の極限値》定義

イメージトレーニング：ε-N論法による厳密な《数列の極限値》定義を作成、アップロード。

整数指数のべき関数

正負の整数指数の冪関数（累乗関数）の性質。

1変数一次関数

1変数一次関数についてのノート。メンテ。

実n次元数ベクトルの線形独立・線形従属定義

実n次元数ベクトルの線形独立・線形従属のノートをメンテ。

ε-N論法による「数列の極限値」定義の考え方 ： ビギナー向け定義のどこをどう明確化してるの？

ε-N論法による「数列の極限値」定義の考え方　：　ビギナー向け定義のどこをどう明確化してるの？ 　を新たに作成。アップロード。

実n次元数ベクトル空間の定義

実n次元数ベクトル空間の定義のノートを更新。

4項述語3重量化∀x1∈S1 ∃x2∈S2 ∀x3∈S3

4項述語・4変項命題関数の3重量化∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4)の定義・意味・読みを作成。アップロード。

数ベクトルの線形結合・一次結合

一般の数ベクトルの線形結合・一次結合定義をメンテ。

数ベクトル空間の基底定義

一般の数ベクトル空間の基底定義をメンテ。

二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み。
冒頭に要旨。一部加筆修正。

数ベクトルの線形独立/線形従属定義

一般の数ベクトルの線形独立/線形従属定義をメンテ。

一般の数ベクトル空間定義をメンテ。

二つの2変数関数と一つの2変数関数との合成関数の微分 。
 二つの1変数関数と一つの2変数関数との合成関数の微分 。
メンテ。

5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

5項述語・5変項命題関数の4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。

線型部分空間

線形部分空間・部分ベクトル空間の定義。メンテ完了。

基底の定義

ベクトル空間一般における基底の定義。メンテ完了。

ベクトル空間一般次元

ベクトル空間一般の次元。メンテ完了。

凸関数

凸関数。メンテ完了。

論理と集合の目次

論理と集合の目次を更新。
二項述語の二重量化。

一次独立・一次従属

一般のベクトル空間における線型独立・線型従属。メンテ完了。

ベクトル空間一般における線形結合

ベクトル空間一般における線型結合・一次結合の定義のメンテ完了。

ベクトル空間一般の定義

ベクトル空間一般の定義。メンテ完了。

計量実ベクトル空間一般における直交補空間

計量実ベクトル空間一般における直交補空間の性質をメンテ完了。

ロルの定理・平均値定理

ロルの定理・平均値定理の文献・関連項目コラム化。ロルの定理・平均値定理のメンテ完了。

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。
「数列の収束・極限値の定義」についてのノートを、の独立化にともなって、
要点のみを残し、詳しい説明を削除。

収束数列の定義

「収束数列の定義」についてのノートを、
「数列の定義」「数列の収束・極限値の定義」等についてのノートから独立させて、
大幅に加筆。

二つの2変数関数と一つの2変数関数との合成関数の微分

二つの2変数関数と一つの2変数関数との合成関数の微分メンテ。

1変数関数の微分公式(その3)対数微分法・相対変化率・弾力性

対数微分法・相対変化率・弾力性。メンテ完了。

「数列がαに収束 」「数列の極限値はα」

「数列の収束・極限値の定義」についてのノートを、
「数列の定義」「数列の収束・極限値の定義」等についてのノートから独立させて、
大幅に加筆。

R2上の距離空間

R2上の距離空間についてのノート。メンテナンス完了。

1変数関数の極大・極小

1変数関数の極大・極小 。　メンテナンス完了。

実ベクトルの線型結合（一次結合）

実ベクトルの線型結合（一次結合）。メンテナンス完了。

1変数連続関数

1変数連続関数についてのノートを更新。
ある一点において関数が連続であることの定義についてのノートの独立 にともなって。

Rn上の距離空間

「Rn上の距離空間」についてのノートをメンテ完了。

実ベクトル空間の部分ベクトル空間

実ベクトル空間の部分ベクトル空間の定義。メンテナンス完了。

数列の極限の性質(1)

数列の極限の性質(1)。メンテナンス完了。

実ベクトル空間の定義

実ベクトル空間の定義。メンテナンス完了。

R2で定義されたユークリッド距離

「2次元ユークリッド距離の性質」についてのノート。メンテナンス完了。

一点における関数の連続性定義

ある一点において関数が連続であることの定義についてのノートを、1変数連続関数についてのノートから、独立させ、大幅に加筆。

5項述語3重量化∀x1∈X1 ∃x2∈X2 ∀x3∈X3 P(x1, x2, x3, x4, x5)

5項述語・5変項命題関数の3重量化∀x1∈X1 ∃x2∈X2 ∀x3∈X3 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。

一般の距離空間

距離空間一般についてのノート。メンテ完了。

1変数関数の微分公式(その2)

1変数関数の微分公式(その2)。メンテ完了。

1変数関数の微分公式

1変数関数の微分公式（その1）。メンテ完了。

R1上の距離空間

「距離空間(R,d)」についてのノートのメンテ完了。

実数の集合のmax/min・上界/下界・sup/inf

実数の集合のmax/min・上界/下界・sup/infについてのノートを更新。

 

上に有界な「実数の集合」、「実数の集合」の上界についてのノート, 下に有界な「実数の集合」、「実数の集合」の下界についてのノート,  有界な「実数の集合」についてのノート の独立に伴い、これらの項目を簡素化して、リンク。

二項述語・命題関数の具体例3 " x loves y "

二項述語・命題関数の具体例3 "x loves y"。メンテ了。

二変項述語・2変数命題関数の普遍量化の集合表現

二変項述語・2変数命題関数の普遍量化の集合表現 のメンテ了。

論理法則

転換法に、下記文献追加。

• 永倉･宮岡『解析演習ハンドブック[1変数関数編]』　

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。

単調数列のノート、有界数列のノートの独立化にともなって、

ビギナー向けの説明のみを残し、詳しい説明を削除。

二項述語・2変数命題関数の例

二項述語・2変数命題関数についてのノート。メンテ了。

一変項述語・1変数命題関数の普遍量化の集合表現

一変項述語・1変数命題関数の普遍量化の集合表現 のメンテ了。

命題関数の普遍量化 ∀x P(x)の集合表現
命題関数の否定と量化
全否定「∀x∈Ω ￢P(x)」 「￢ (∃x∈Ω P(x) )」の集合表現　
部分否定の集合表現　
述語・命題関数の普遍量化 ∀x (P(x)⇒Q(x))の集合表現　　
述語・命題関数の普遍量化 ∀x (P(x)⇔Q(x))の集合表現

論理記号

論理記号一覧のメンテ完了。

1変数関数

単調関数,有界関数についてのノートの独立化にともない、

1変数関数の属性と諸類型を更新。

一項述語・1変数命題関数の具体例

一項述語・1変数命題関数の具体例。メンテ了。

論理演算で組み合わせた二項述語・2変数命題関数から集合へ

論理演算で組み合わせた二項述語・2変数命題関数から集合へのノートのメンテ。

数列の極限の性質

数列の極限の性質。文献に Lang, Undergraduate Analysis 追加。

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)の定義・意味・読みを加筆修正アップロード。

一項述語・1変数命題関数

一項述語・1変数命題関数。メンテ了。

論理から集合へ：論理演算で組み合わせた述語・命題関数

下記項目のノート。メンテ完了。
命題関数　　￢P(x)の真理集合　　
命題関数P(x)∧Q(x)の真理集合　
命 題関数P(x)∨Q(x)の真理集合　
命題関数P(x)⇒Q(x)の真理集合
命題関数P(x)⇔Q(x)の真理集合

命題関数　　￢P(x)の集合表現　
命題関数P(x)∧Q(x)の集合表現　
命題関数P(x)∨Q(x)の集合表現

集合関数の例としてのリーマン積分についてのノート

集合関数の例としてのリーマン積分についてのノート。メンテナンス了。

二項述語の存在量化

二項述語の存在量化（変更が動く範囲を明示）を加筆修正してアップロード。

集合関数の例としての「区間塊の面積」についてのノート

集合関数の例としての「区間塊の面積」についてのノート。メンテ了。

集合間の関係を表す命題

集合間の包含関係⊂を表す命題/集合間の一致＝を表す命題/普遍集合との一致を表す命題/空集合との一致を表す命題/互いに素を表す命題。メンテ完了。

《集合演算∪∩－によってつくられた集合》の内包

《集合演算∪∩^c－によってつくられた集合》の内包　をメンテ完了。

集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」

集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」をメンテ完了。 

集合関数の例:「矩形の面積」

集合関数の例としての「矩形の面積」についてのノート。メンテ了。

二項述語・2変項命題関数の二重量化∃x∈S ∀y∈T P(x,y)

二項述語・2変項命題関数の二重量化∃x∈S ∀y∈T P(x,y)の定義・意味・読みを加筆修正。

写像と「集合族」「集合列」の性質

写像と「集合族」「集合列」の性質をメンテ。

n項述語(n変数命題関数)の真理集合

論理から集合へ:n項述語(n変数命題関数)の真理集合・n項述語(n変数命題関数)の集合表現
をメンテ了。

集合関数の例:「区間塊の長さ」

集合関数の例としての「区間塊の長さ」についてのノート。メンテ了。

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を加筆修正アップロード。

「集合族」「集合列」の性質

「集合族」「集合列」の性質をメンテ。

:2項述語(2変数命題関数)の真理集合

論理から集合へ:2項述語(2変数命題関数)の真理集合・2項述語(2変数命題関数)の集合表現
をメンテ了。

三項述語の二重量化「∃x∈S ∀y∈T P(x,y,z)」

三項述語の二重量化「∃x∈S ∀y∈T   P (x,y,z)」のミス修正。

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

n項述語・n変項命題関数の全称量化∀x_i∈S P (x1,…x_n)の加筆、更新。

集合関数の例:「区間の長さ」

集合関数の例としての「区間の長さ」についてのノート。メンテ了。

配置集合

配置集合のメンテ了。　　

真理集合

論理から集合へ:一項述語(一変数命題関数)の真理集合・一項述語(一変数命題関数)の集合表現
をメンテ了。

N項述語・N変数命題関数

n項述語・n変数命題関数についてのノート更新。リンク切れの修正など。

合成写像

合成写像のメンテ。

極限集合

「極限集合」についてのノートをメンテ。

「集合族」「集合列」

「集合族」と「集合列」を定義するノートをメンテ。

有界数列のノート

有界数列のノートを加筆、独立化。

集合関数

「集合関数」についてのノートをメンテ。

被覆

「被覆」についてのノートをメンテ。

二項述語・2変数命題関数の定義

二項述語・2変数命題関数の定義についてのノートのメンテ完了。

特性関数・定義関数

「特性関数」もしくは「定義関数」についてのノートをメンテ完了。

「集合族」「集合列」

「集合族」と「集合列」を定義するノートのメンテ完了。

写像

写像を更新（技術的側面のみ。内容はそのまま。）

単調数列

単調数列のノートを更新（内容の加筆・修正。特に、論理記号による表現。）

対応の諸類型の対比

対応の諸類型の対比軸～いかなる観点で切り分けられたか？を更新（技術的側面）

単調関数

単調関数を更新。

対応の合成

対応の合成を更新。

∀x,y∈S P(x,y,z)の定義・意味・読み

3項述語・3変項命題関数の二重普遍量化∀x,y∈S P(x,y,z)の定義・意味・読みを作成、アップロード。

集合の計算法則・性質

集合の計算法則・性質を更新。

逆対応

逆対応のノートを更新。

有界な「実数の集合」

有界な「実数の集合」についてのノートを独立させて加筆、アップロード。

対応の定義

対応の定義を更新。

「下に有界」「下界」の定義：「実数の集合」のケース

下に有界な「実数の集合」、「実数の集合」の下界についてのノートを加筆して独立化。

πの十進近似列

πの十進近似列をアップロード。

「上に有界」「上界」～「実数の集合」のケース

上に有界な「実数の集合」、「実数の集合」の上界についてのノートを加筆して独立化。

「集合系」「ベキ集合」

「集合系」と「ベキ集合」についてのノートを更新。

一変数有界関数

有界関数についてのノートを独立、アップロード。

－πの十進近似列

実数の十進近似列の具体例:－πをアップロード。

三項述語二重量化 ∃x∈S ∀y∈T P(x,y,z)

三項述語・3変項命題関数の二重量化∃x∈S ∀y∈T P(x,y,z)の定義・意味・読みなどについて、ノートを新規作成。アップロード。

集合の基本概念の定義・記号

集合の基本概念－定義と記号を更新。

具体例の若干の追加。

実数の十進近似列の具体例:-1/7

実数の十進近似列の具体例:-1/7を更新。

ノルム

ノルムの定義を更新。

実数の十進近似列の具体例:1/7

実数の十進近似列の具体例:1/7を更新。

直交補空間

直交補空間の定義を更新。

実数の十進近似列の具体例: -9/8

実数の十進近似列の具体例: -9/8を更新。

直交射影

直交射影を更新。

実数の十進近似列の具体例:9/8

実数の十進近似列の具体例:9/8

部分空間の直交

「部分空間の直交」についてのノートを更新。

実数の十進近似列が満たす性質

実数の十進近似列が満たす性質2の証明を更新。

実数の十進近似列・十進小数展開

実数の十進近似列・十進小数展開についてのノートを更新。

デデキントの切断

デデキントの連続性公理のノートを更新。

実数間の大小関係と加法乗法の関係

実数における不等式との加法乗法の関係についてのノートを更新。

実数の大小関係の性質

実数のあいだの不等式についてのノートを更新。

実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートも更新。

実数の積

実数における積の性質を更新。

実数の足し算の性質

実数における加法の性質を更新。

アルキメデスの原理

アルキメデスの原理のノートを更新。

実数体・実数の定義

実数体・実数の定義のノートを更新。

実数指数の累乗（べき）

実数指数の累乗（べき）定義と指数法則のノートを更新。

有理数冪

有理数指数の累乗（べき）定義と指数法則のノートを更新。

整数べき

整数指数の累乗（べき）定義と指数法則のノートを更新。

自然数指数の累乗（べき）

自然数指数の累乗（べき）定義と指数法則のノートを更新。

三角不等式の証明

三角不等式の証明を更新。

絶対値の性質「|x|^2 ＝ x^2」

絶対値の性質「|x|^2 ＝ x^2」の証明を更新。

絶対値の性質 |xy| ＝ |x| |y|の証明

絶対値の性質 |xy| ＝ |x| |y|の証明を更新。

絶対値の性質｜x｜ ≧ x

絶対値の性質「｜x｜ ≧ x」の証明。

更新。

絶対値

絶対値の定義と性質を更新。

線形代数目次

線型代数目次を更新。

論理と集合の目次

論理と集合の目次を更新。
背景表示の問題を除去など。

代数の項目の目次

代数の項目の目次を更新。

総目次

総目次を調整。

測度論の文献

測度論のビブリオグラフィーを更新。

文献：代数学

代数のビブリオグラフィーを更新。

文献：確率論・統計学

確率論と統計学のビブリオグラフィーを更新。

文献：linear algebra

線型代数のビブリオグラフィー。

リンク切れ箇所削除。

論理・集合の文献

論理と集合のビブリオグラフィー更新。リンク切れ箇所削除。

文献

ビブリオグラフィーのリンク切れ箇所削除。

単調数列

単調数列のノートを独立。

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を更新。

直交補空間

計量実ベクトル空間一般における直交補空間の定義をリフォーム。

二項述語・2変数命題関数の真理集合

二項述語・2変数命題関数の真理集合を更新。

ノルムとノルム空間

実ベクトル空間におけるノルムとノルム空間の定義をリフォーム。

論理から集合へ

論理から集合へを更新。相互リンクを密に。

一般の数ベクトル空間の次元

一般の数ベクトル空間の次元についてのノートをリフォーム。

二項述語・2変数命題関数

二項述語・2変数命題関数の定義についてのノートを更新。

一般の数ベクトルの基底

一般の数ベクトルの基底をリフォーム。

一項述語・一変数命題関数

一項述語・一変数命題関数についてのノートを更新。

一般の数ベクトルの一次独立/一次従属定義

一般の数ベクトルの線形独立/線形従属定義をリフォーム。

N項述語・n変数命題関数

N項述語・n変数命題関数についてのノートを更新。

一般の数ベクトルの線型結合・一次結合定義

一般の数ベクトルの線形結合・一次結合定義をリフォーム。

二項述語・2変数命題関数の具体例

二項述語・2変数命題関数の具体例を更新。

論理と集合の目次：述語の真理集合

論理と集合の目次。若干のリフォーム。二項述語・2変数命題関数の真理集合、n項述語・n変数命題関数の真理集合、ｎ項述語・n変数命題関数の集合表現へのリンクも追加。

二項述語・2変数命題関数の具体例"x loves y"

二項述語・2変数命題関数の具体例"x loves y"をupload.

論理・集合論文献一覧更新

論理と集合論のビブリオグラフィー。文献アクセスポイント追加。

論理記号一覧からn項述語量化へのリンク

論理記号一覧の∀に、

• n項述語・n変項命題関数の全称量化∀x P(x1,…xn)
• n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

へのリンクを設置。

論理記号一覧の∃にも、

• n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)
• n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)

へのリンクを設置。

一般の数ベクトル空間定義

一般の数ベクトル空間定義をリニューアル。

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)を作成、アップロード。

実ベクトル空間の部分線型空間

実ベクトル空間の部分ベクトル空間の定義をリフォーム。

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)を作成、アップロード。

文献表更新：確率・統計

確率論と統計学のビブリオグラフィーを更新。

n項述語・n変項命題関数の存在量化

n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)のノートを作成、アップロード。

目次項目追加：述語・命題関数の量化

論理と集合の目次に、下記項目を追加。

• 一項述語・1変項命題関数の全称量化∀x P(x)
• 一項述語・1変項命題関数の全称量化∀x∈S P(x)
• 一項述語・1変項命題関数の存在量化∃x P(x)
• 一項述語・1変項命題関数の存在量化∃x∈S P(x)
• 二項述語・2変項命題関数の全称量化∀x P(x,y)
• 二項述語・2変項命題関数の全称量化∀x∈S P(x,y)
• 二項述語・2変項命題関数の存在量化∃x P(x,y)
• 二項述語・2変項命題関数の存在量化∃x∈S P(x,y) 

n項述語・n変数命題関数の真理集合・集合表現

• n項述語・n変数命題関数の真理集合
• ｎ項述語・n変数命題関数の集合表現 

を作成、アップロード。

代数学の文献表

代数のビブリオグラフィーを更新。

n項述語・n変項命題関数の全称量化

n項述語・n変項命題関数の全称量化∀x P(x₁,…,x_n)をアップロード。

measure theoryの文献一覧

測度論のビブリオグラフィーも更新。

∃ x ( n > x )

二項述語・2変項命題関数の存在量化の具体例∃ x ( n > x )

線形代数文献情報

線型代数のビブリオグラフィーも更新。

∃x∈S "x loves y", ∃y∈T "x loves y"

２項述語の存在量化の具体例 ∃x∈S  "x loves y", ∃y∈T  "x loves y"をアップロード。

bibliography

数学全般を扱う文献の一覧に、丸善ジュンク堂の書籍データリンク追加。

∃x P(x)

一項述語・1変項命題関数を存在量化した存在命題を更新。

単調関数から単調数列へ

単調関数から単調数列へリンク。

存在記号∃

存在記号∃の呼称・諸用語を更新。

実ベクトル線形結合

実ベクトルの線型結合（一次結合）の大枠リニューアル。

論理記号一覧：∃存在記号

論理記号一覧を更新。

∃存在記号の改訂。詳細解説ページへのリンク追加。

実ベクトル空間

実ベクトル空間の定義の大枠だけリフォーム。

∃x∈X P(x,y)

2項述語の存在量化（変更が動く範囲を明示）をアップロード。

線形部分空間・部分ベクトル空間

線形部分空間・部分ベクトル空間の定義の大枠だけリフォーム。

∃x∈X P(x)

一項述語・1変項命題関数を存在量化した存在命題：変更が動く範囲を明示をアップロード。

凸関数

凸関数の大枠をリフォーム。

二項述語・2変項命題関数" x loves y" の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域明示しない場合

をアップロード。

数列の極限

「数列の定義」「数列の収束・極限値の定義」等についてのノートで、関連項目をコラムに入れてみる。

変域を内包的記法で明示した場合の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域を内包的記法で明示した場合の具体例を作成、アップロード。

極大値・極小値・最大値・最小値

1変数関数の極大・極小。大枠のリフォーム。最大値・最小値の説明の書き直し。

二項述語・2変項命題関数" x loves y" の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域明示した場合

ロールの定理

ロルの定理の文献・関連項目コラム化。

論理記号∀の呼称

論理記号∀の呼称を更新。

直積の具体例

集合の基本概念－定義と記号に、

直積の具体例

を追加。

一項述語・1変項命題関数の全称量化∀x P(x)

一項述語・1変項命題関数の全称量化∀x P(x)を更新。

1変数関数の高階導関数

1変数関数の高階導関数の大枠リフォーム。

全称記号∀の読み下し例一覧

全称記号∀の読み下し例一覧を作成、アップロード。

対数微分法

対数微分法。文献・関連項目をコラム化。

二項述語・2変項命題関数 の普遍量化の具体例6

二項述語・2変項命題関数 の普遍量化の具体例6を作成、アップロード。

ベキ関数・指数関数・対数関数の微分公式

冪関数・指数関数・対数関数の微分公式。文献・関連項目コラム化。

二項述語・2変項命題関数 の普遍量化の具体例5

二項述語・2変項命題関数 の普遍量化の具体例5を作成、アップロード。

1変数関数の微分公式

1変数関数の微分公式(1)の文献・関連項目コラム化。

二項述語・2変項命題関数 の普遍量化の具体例4

二項述語・2変項命題関数 の普遍量化の具体例4を作成、アップロード。

1変数関数の極限の性質

1変数関数の極限の性質。文献・関連項目のコラム化。

∀x (x loves y) , ∀y (x loves y)

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例3「∀x (x loves y)」「∀y (x loves y)」を作成、アップロード。

定数値関数

1変数定数値関数のノートに、1変数定数値関数の導関数へのリンクを設置。

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例2

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例2を作成。アップロード。

1変数関数の極限値・収束の定義

1変数関数の極限値・収束の定義の文献・関連項目をコラム化。

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例1

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例1をアップロード。

連続・右連続・左連続・一様連続・・

1変数連続関数についてのノート。各概念の定義にともなう文献・関連項目をコラム化。

二項述語「x loves y」の全称量化

二項述語・2変項命題関数の全称量化の具体例∀x∈S “x loves y”についてのノートを作成、アップロード。

ベクトル空間の次元

ベクトル空間一般の次元を大枠のみリフォーム。

二項述語・2変項命題関数の全称量化

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)についてのノートを作成、アップロード。

ベクトル空間一般の基底

ベクトル空間一般における基底の定義。大枠だけリフォーム。

一項述語・1変項命題関数の全称量化∀x∈S P(x)

一項述語・1変項命題関数の全称量化∀x∈S P(x)を作成、アップロード。

一般のベクトル空間における線型独立・線型従属

一般のベクトル空間における線型独立・線型従属。大枠だけリフォーム。

存在記号∃の使用法一覧

存在記号∃の使用法一覧を作成、アップロード。

ベクトル空間一般におけるリニア・コンビネーション

ベクトル空間一般における線型結合・一次結合の定義の大枠リフォーム。

∃記号の読み

∃記号の読み一覧を作成。アップロード。

ベクトル空間一般の定義

ベクトル空間一般の定義についてのノートの大枠をリフォーム。

多重量化一覧

多重量化一覧を作成、アップロード。

ロルの定理・平均値の定理

ロルの定理・平均値の定理・コーシーの平均値定理の大枠リフォーム。

普遍量化記号の用法一覧

全称記号∀の使用法一覧を作成、アップロード。

対数微分法

対数微分法等のノートの大枠改装。

論理記号一覧：全称記号

論理記号一覧のうち、∀の項目を中心に更新。

ベキ関数・指数関数・対数関数の微分公式

冪関数・指数関数・対数関数の微分公式の大枠リフォーム。

二項述語・2変数命題関数の集合表現

二項述語・2変数命題関数の真理集合等の項目を作成、アップロード。

1変数関数の微分公式

1変数関数の微分公式（その1）の枠だけリフォーム。

∀x P(x,y):二項述語の普遍量化

二項述語・2変項命題関数を普遍量化してできた一項述語∀x P(x,y)を作成、アップロード。

1変数関数の連続性の定義・連続関数の性質

1変数連続関数についてのノートの大枠だけリフォーム。

二項述語・2変項命題関数の存在量化∃x "x loves y"

二項述語・2変項命題関数の存在量化∃x "x loves y"を作成。アップロード。 

1変数関数の極限の性質

1変数関数の極限の性質。大枠だけリフォーム。

二項述語を存在量化してつくった一項述語

∃x "x loves y" 二項述語・2変項命題関数 の存在量化の具体例を作成。アップロード。

解析文献一覧。リンク切れ対応

解析学のビブリオグラフィー。リンク切れ箇所の除去。

二項述語を普遍量化してつくった一項述語

∀x "x loves y" 二項述語・2変項命題関数 の普遍量化の具体例。調整完了。

二項述語を普遍量化してつくった一項述語

∀x "x loves y" 二項述語・2変項命題関数 の普遍量化の具体例を作成。アップロード。

1変数関数の極限値・収束

1変数関数の極限値・収束の大枠だけリフォーム。

二項述語二重量化∃x ∀y P(x,y)

二項述語・2変項命題関数の二重量化∃x ∀y P(x,y)の定義・意味・読み

新規スタイルシート

新規スタイルシートをアップロード。

ベース用と解析用。

総目次：単調関数

総目次の「広義/狭義単調増大/減少関数」へのリンクを、「関数の属性と諸類型」のなかの「1変数関数の増減の説明」から、「単調関数」のページへ、更新。

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読みを作成、アップロード。

1変数関数、単調関数

1変数関数の属性と諸類型から、単調関数に移動した1変数関数の増減の諸項目を削除。

∃x ∃y P(x,y)

二項述語・2変項命題関数の二重存在量化∃x ∃y P(x,y)の定義・意味・読みを作成、アップロード。

狭義単調増加関数・狭義単調減少関数

1変数関数の属性と諸類型。項目が多すぎ。扱いづらい。

1変数関数の増減の説明の項目を、別ページ「単調関数」に分離独立させてみる。

∀x ∀y P(x,y)

二項述語・2変項命題関数の二重普遍量化∀x ∀y P(x,y)の定義・意味・読み

二つの2変数関数と一つの2変数関数との合成関数の微分

二つの2変数関数と一つの2変数関数との合成関数の微分を全面改装。

∀x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)の定義・意味・読みを作成、アップロード。

二つの1変数関数と一つの2変数関数との合成関数の微分

二つの1変数関数と一つの2変数関数との合成関数の微分をリフォーム。

2変項命題関数二重存在量化∃x∈S ∀y∈T P(x,y)

二項述語・2変項命題関数の二重量化∃x∈S ∀y∈T P(x,y)の定義・意味・読みについてのノートを作成。アップロード。

2変項命題関数二重存在量化∃x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重存在量化∃x∈S ∃y∈T P(x,y)の定義・意味・読みについてのノートを作成。アップロード。

二項述語の二重全称量化∀x∈S ∀y∈T P(x,y)

二項述語・2変項命題関数の二重普遍量化∀x∈S ∀y∈T P(x,y)の定義・意味・読みのノートを作成。アップロード。

n変数関数の全微分定義

n変数関数の全微分の定義。リンク切れ修正。

目次項目追加：N項述語・n変数命題関数

論理と集合の目次に、N項述語・n変数命題関数についてのノートへのリンクを追加。

2変数関数の高次の偏微分

2変数関数の高階偏微分のリンク切れ修正。

二項述語・2変数命題関数

二項述語・2変数命題関数の定義についてのノートに内容を追加。

二項述語を一項述語として解釈 ～ 順序対を用いて.

2変数関数の勾配ベクトルgrad ヤコビアン・ヘッシアン

2変数関数の勾配ベクトルgrad・ヤコビ行列・ヤコビアン・ヘッセ行列・ヘッシアン。リンク切れ修正。

二項述語・2変数命題関数の定義を目次へ追加。

論理と集合の目次に、二項述語・2変数命題関数の定義へのリンクを追加。

1変数関数の極大・極小

1変数関数の極大・極小のリンク切れ修正。

二項述語二重量化の具体例：変域を外延的に明示した場合

二項述語・2変項命題関数" x loves y"  の二重量化：変域を外延的に明示した場合の具体例をアップロード。

 

* featuring Perfume. Perfume New Single 発売を記念して。

2変数関数の偏微分定義

2変数関数の偏微分定義のリンク切れ修正。

「実数の連続性公理」「順序完備性」「Weierstrassの公理」「上限公理」

「実数の連続性公理」「順序完備性」「Weierstrassの公理」「上限公理」の別表現と同値となることの証明のリンク切れを修正。

古典論理。NK。

古典論理・自然演繹についてのノートをアップロードしてみる。

数列の極限の例

数列の極限の例のリンク切れを除去。

実数におけるmax,min,sup,inf,…

実数における順序概念max,min,sup,inf,…についてのノートのリンク切れ修正。

R2で定義されたユークリッド距離

「2次元ユークリッド距離の性質」についてのノートのリンク切れ修正。

y=x^2

1変数関数y=x^2の性質のリンク切れを修正。

距離空間(R,d)

「距離空間(R,d)」についてのノートのリンク切れ修正。

指数を自然数に限定したベキ関数

自然数指数の冪関数（累乗関数）の性質。リンク切れ修正。

「線型写像f:Rn→Rm」の行列表示と標準化

実n次元数ベクトル空間から実m次元数ベクトル空間への一次写像の行列表示と標準化。リンク切れ修正。

存在命題：1変数命題関数の存在量化

一項述語・1変項命題関数を存在量化した存在命題「∃x P(x)」についてのノートを作成・アップロード。

y=x^3

1変数関数y=x^3の性質のリンク切れ修正。

全称記号

∀の呼称・諸用語を作成、アップロード。

定数値関数のグラフ

定数値関数のグラフの表示初期値が、定数値関数ではない一次関数のグラフに設定されていることに気がつく。あわてて修正。

定数値関数

定数値関数のリンク切れ修正。

論理記号∃の呼称・諸用語

存在記号の呼称・諸用語を新たに作成、アップロード。

比例を表す関数

比例を表す1変数関数y=axの性質のリンク切れ修正。

集合から論理へ：集合間の関係を表す命題

集合論の目次に「集合間関係を表す命題」についての下記項目追加。

集合間の包含関係⊂を表す命題 

集合間の一致＝を表す命題

普遍集合との一致を表す命題 

空集合との一致を表す命題 

互いに素を表す命題

距離空間(R2,d)

「距離空間(R2,d)」についてのノートのリンク切れ箇所を修正。

1変数の一次関数

1変数の一次関数についてのノートのリンク切れを修正。

集合論目次追加：集合から論理へ

集合論の目次に、下記を追加。

積集合の内包をなす述語・命題関数

和集合の内包をなす述語・命題関数

補集合の内包をなす述語・命題関数

差集合の内包をなす述語・命題関数

R2上の一次変換の行列表示

実2次元数ベクトル空間上の一次変換の行列表示のリンク切れ箇所修正。

有理数指数のベキ関数

有理数指数の冪関数（累乗関数）の性質のリンク切れ修正。

実2次元数ベクトル空間上の一次変換：具体例の画像

実2次元数ベクトル空間上の一次変換の定義。具体例の画像格納先を変更。

全称命題「 ∀x (xの条件) 」

全称命題についてのノートを新規作成、アップロード。

2変数2値ベクトル値関数

2変数2値ベクトル値関数の定義、リンク切れの修正。

整数指数のべき関数

正負の整数指数の冪関数（累乗関数）の性質。
リンク切れの修正。

ベキ集合

「集合系」と「ベキ集合」についてのノートのリンク切れを修正。

実2次元数ベクトル空間上の一次変換

実2次元数ベクトル空間上の一次変換の定義を更新。

正負の整数指数の冪関数（累乗関数）

正負の整数指数の冪関数（累乗関数）の性質についてのノートのリンク切れを修正。

2次元実数ベクトル空間R2の基底

実2次元数ベクトル空間R2の基底のリンク切れを修正。

実2次元数ベクトル限定の一次独立/一次従属

実2次元数ベクトル限定の線型独立/線形従属のページのリンク切れを修正。

2次元実数ベクトルの一次結合

実2次元数ベクトル限定の線型結合のページのリンク切れを修正。

対数関数

対数関数のノートを更新。リンク切れを修正。

指数関数

指数関数のリンク切れを修正。

文献一覧：測度論

測度論のビブリオグラフィーを更新。

文献一覧：確率論・数理統計学

確率論と統計学のビブリオグラフィーを更新。

線型代数文献一覧

線型代数のビブリオグラフィーを更新。

数学全般の文献リスト

文献リストのトップページを一部更新。

代数学の教科書の文献リスト

代数のビブリオグラフィーを更新。

論理と集合論の文献リスト

論理と集合論のビブリオグラフィーを更新。

集合の基本概念－定義と記号

集合の基本概念－定義と記号の具体例につけたリンクが切れていたのを修復。

「集合から論理へ」の項目を目次に追加

下記項目を集合論目次に追加。

• 集合の内包
• ∈を表す述語・命題関数
• 《∈の否定》を表す述語・命題関数

二項述語・2変数命題関数の定義

二項述語・2変数命題関数の定義についてのノートを加筆修正。

論理から集合へ：目次追加

下記項目を目次へ追加。

• 全称命題「∀x P(x)」の集合表現
• 全否定の命題をあらわす集合
• ∀x (P(x)⇒Q(x))の集合表現
• ∀x (P(x)⇔Q(x))の集合表現

命題関数の真理集合・命題関数の集合表現：目次追加

総目次に、論理から集合への下記項目を追加。

• 命題関数P(x)の真理集合/命題関数P(x)の集合表現
• ￢P(x)の真理集合/P(x)∧Q(x)の真理集合/P(x)∨Q(x)の真理集合/P(x)⇒Q(x)の真理集合/P(x)⇔Q(x)の真理集合
• ￢P(x)の集合表現/P(x)∧Q(x)の集合表現/P(x)∨Q(x)の集合表現

「互いに素」の述語論理による表現

集合の基本概念－定義と記号の互いに素の説明に、「互いに素」の述語論理による表現へのリンクを設置。

互いに素を表す命題

集合から論理へに、互いに素を表す命題を追加。

差集合の内包をなす述語・命題関数

集合から論理へに、差集合の内包をなす述語・命題関数を追加。

実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートのリンク切れを修正。

更新：実数の定義

実数体・実数の定義のノートのリンク切れに対応。

全称命題の集合表現

論理から集合へに、全称命題の集合表現を追加。

具体的には、

1. 一項述語・1変数命題関数の全称量化（全称命題）∀x P(x)の集合表現
2. 全否定の命題をあらわす集合
3. 述語・命題関数の普遍量化 ∀x (P(x)⇒Q(x))の集合表現
4. 述語・命題関数の普遍量化 ∀x (P(x)⇔Q(x))の集合表現

述語を否定・論理積・論理和・含意・同値で組み合わせたものの真理集合・集合表現

論理から集合へに、下記を追加。

命題関数「P(x)でない」の真理集合 
命題関数「P(x)かつQ(x)」の真理集合
命題関数P(x)またはQ(x)の真理集合
命題関数「P(x)ならばQ(x)」の真理集合
命題関数P(x)⇔Q(x)の真理集合
命題関数 ￢P(x)の集合表現
命題関数P(x)∧Q(x)の集合表現
命題関数P(x)∨Q(x)の集合表現

真理集合、述語・命題関数の集合表現

集合と一項述語(1変数命題関数)とのリンクを記すノートを、

論理から集合へに衣替え。

今日は以下の二項目のみアップロード。

1. 命題関数P(x)の真理集合
2. 命題関数P(x)の集合表現

集合 更新

集合の基本概念－定義と記号を更新。集合から論理へとのあいだにリンク敷設。

集合から論理

集合から論理へを更新。これで、集合から論理への体裁だけは揃う。次は、論理から集合へ。

リンク切れ処理：実数のあいだの不等式

実数のあいだの不等式についてのノートのリンク切れを処理。

リンク切れ修正：実数における不等式との加法乗法の関係

実数における不等式との加法乗法の関係についてのノート

部分集合、集合間の＝を表す命題

集合から論理へに、

• 集合間の包含関係⊂を表す命題
• 集合間の一致＝を表す命題
• 普遍集合との一致を表す命題
• 空集合との一致を表す命題

を追加。

集合から論理へ

集合から論理へに、積集合∩の内包、和集合∪の内包、補集合の内包を追加。

集合から論理へ

集合から論理へを作成。まずは、集合の内包、∈を表す述語・命題関数から。

距離空間

「距離空間(R,d)」についてのノートのリンク切れを修正。

文献一覧に竹内外史『現代集合論入門』を追加。

論理と集合論のビブリオグラフィーに竹内外史『現代集合論入門』を追加。

リンク切れ訂正：実数の和

実数における加法の性質のリンク切れを修正。

総目次：一項述語・一変数命題関数

総目次にも、一項述語・一変数命題関数についてのノートへのリンクを追加。

リンク切れ修正：実数における積の性質

実数における積の性質のリンク切れ修正。

対応：リンク切れ対応

対応の諸類型の対比軸～いかなる観点で切り分けられたか？のリンク切れ解消。

べき関数：リンク切れ解消

指数を実数一般に拡張した冪関数（累乗関数）についてのノート。
リンク切れを修正。

∪∩補集合から述語（命題関数）へリンク

集合の基本概念－定義と記号から集合と一項述語(1変数命題関数)との関連へのリンクを拡充。

• ∩から「かつ」との関連へのリンク付加 
• ∪から「または」との関連へのリンク付加
• 補集合から「～でない」との関連へのリンク付加

∩と「かつ」/∪と「または」/補集合と「～でない」の翻訳

集合と一項述語(1変数命題関数)とのリンクを記すノートに、

• ∩と「かつ」 
• ∪と「または」
• 補集合と「～でない」

を追加。

論理と集合論の目次：一項述語・1変数命題関数追加

論理と集合論の目次に、一項述語・1変数命題関数についてのノートへのリンクを追加。

有理数指数のベキ関数：リンク切れ

「有理数指数の冪関数（累乗関数）の性質」についてのノート。
リンク切れ修正。

《集合の内包的記法》から《述語の真理集合》へリンク

集合の基本概念－定義と記号を更新。
集合の内包的記法から、詳しい説明として、述語の真理集合へリンク。

述語・命題関数の議論領域・対象領域・変域

一項述語・一変数命題関数についてのノートに、議論領域・対象領域・変域・定義域等の説明を追加。

集合と一項述語(1変数命題関数)とのリンク

集合と一項述語(1変数命題関数)とのリンクを記すノートを作成。
目下のところ、
・一項述語(1変数命題関数)の真理集合・外延の定義
・集合の内包の定義
のみ。

本文と集合論のスタイルシート

本文と集合論にかかわるスタイルシートを更新。

測度論古書ヤフオク取引状況

測度論のビブリオグラフィーでも、ヤフオクで古本を検索できるように更新。

代数のビブリオグラフィーからヤフオク検索

代数のビブリオグラフィーにも、Yahoo!オークションに出品された古本の検索機能を追加。

線型代数のビブリオグラフィー

それなりに便利のように思えるので、
線型代数のビブリオグラフィー
にも、ヤフオク古書検索機能を追加。

確率論と統計学のビブリオグラフィー：古書検索追加

確率論と統計学のビブリオグラフィーにも、Yahoo!オークション古書検索をつけてみた。

論理・集合論のYahoo!オークション出品古書検索

論理と集合論のビブリオグラフィーに、ヤフオクでの古書検索を設置。

自然数べきの冪関数－リンク切れ修正

「自然数指数の冪関数（累乗関数）の性質」のリンク切れを修正。

一次関数の―リンク切れ修正

「1変数の一次関数についてのノート」のリンク切れを修正

対数log―リンク切れ修正

対数logのノートのリンク切れを修正

数列と数列の極限―リンク切れ修正

「数列の定義」「数列の収束・極限値の定義」等についてのノートのリンク切れを修正。

反比例―リンク切れ修正

「1変数関数y=1/xの性質」のリンク切れを修正。

「関数y=x^3の性質」―リンク切れ修正

1変数関数y=x³の性質のリンク切れを修正。

「関数y=x^2の性質」―リンク切れ修正

1変数関数y=x²の性質のリンク切れを修正。

「関数y=xの性質」のリンク切れ修正

1変数関数y=xの性質のリンク切れ修正。

測度論とルベーグ積分のためのビブリオグラフィー

測度論とルベーグ積分のためのビブリオグラフィーをリニューアル。

線型代数のビブリオグラフィー

線型代数のビブリオグラフィーの調整完了。

線型代数のビブリオグラフィー

線型代数のビブリオグラフィーをリニューアル。

論理と集合論のビブリオグラフィーをリニューアル

論理と集合論のビブリオグラフィーをリニューアル。
論理関連の文献も大幅に追加。

ビブリオグラフィー全般の不具合解消

ビブリオグラフィーリニューアル版で、文献情報の吹き出し部分が表示されない問題を解消。

確率論と統計学のビブリオグラフィー

確率論と統計学のビブリオグラフィーリニューアル版から脱落していた著者プロフィール等についてのメモを追加。

確率論と統計学のビブリオグラフィー

確率論と統計学のビブリオグラフィーリニューアル版について、レイアウトが崩れるミスを修正。

確率と統計学のビブリオグラフィー

確率と統計学のビブリオグラフィーをリニューアル。

代数学のビブリオグラフィー

代数のビブリオグラフィーをリニューアル。

数学全般にかかわる文献のビブリオグラフィー

数学全般にかかわる文献のビブリオグラフィーを更新。

古書検索を充実。

ビブリオグラフィー

ビブリオグラフィーのスタイルシートを更新。明日以降、徐々にビブリオグラフィーに新スタイルシートを適用していく。