1変数関数の全単射

1変数関数の属性と諸類型から、1変数関数の全単射を別ページに独立させる。

⊨(double-turnstile)の定義

命題論理における推論の意味論に、
⊨(double-turnstile)の定義　
を追加。

小形正男『多変数の微分積分』

解析学のビブリオグラフィー。
小形正男『多変数の微分積分』岩波書店から楽天ブックスへリンク。

直和が定める射影

直和が定める射影についてのノートを大枠のみリフォーム。

岩田暁一 『経済分析のための統計的方法(第2版)』東洋経済新報社(1983年)

確率論と統計学のビブリオグラフィーを更新。 岩田暁一 『経済分析のための統計的方法(第2版)』東洋経済新報社(1983年) に、e-hon,honya-clubへのリンク・twitterリンク・掲示板リンク設置。

1変数関数の逆関数

1変数関数の属性と諸類型から、1変数関数の逆関数を別ページに独立させたのにともない、
1変数関数の属性と諸類型のなかの項目「逆関数」を簡略化、1変数関数の逆関数へのリンクに置き換え。

1変数関数の逆関数

1変数関数の属性と諸類型から、1変数関数の逆関数を別ページに独立させる。

計量実ベクトル空間における正規直交基底の存在と構成

計量実ベクトル空間における正規直交基底の存在と構成
(シュミットの直交化法 　)
大枠のみリフォーム。

野矢茂樹 『論理学』東京大学出版会

論理と集合論のビブリオグラフィー。
野矢茂樹 『論理学』東京大学出版会に、
e-hon,honya-club書誌情報へのリンク追加。

複数の論理式の真理値割り当て

論理式間関係の意味論に、項目「複数の論理式の真理値割り当て」を追加。　

広義積分の不定積分

広義積分の不定積分の定義と性質。
トピック一覧の作成、文字体裁の改善（証明部分のぞく）。

本部『 新しい代数』

代数のビブリオグラフィー。
本部均『 新しい代数』共立出版(1969年)から、楽天へのリンク追加。

論理式の真理値の決定原理

論理式の真理値の決定原理（原子式の真理値定義　/ 《￢論理式》の真理値定義/《論理式∧論理式》の真理値定義/《論理式∨論理式》の真理値定義/《論理式⇒論理式》の真理値定義　）を加筆修正。

計量実ベクトル空間の直交系・正規直交系の性質

計量実ベクトル空間の直交系・正規直交系の性質
(直交系からの正規直交系の生成/直交系・正規直交系は一次独立 /ベクトル和のノルムの2乗/ベッセルの不等式)
大枠のみリフォーム。

永田 『理系のための線型代数の基礎』

線型代数のビブリオグラフィー。
永田雅宜 『理系のための線型代数の基礎』紀伊国屋書店(1986年)から楽天へリンク

命題変数を1個だけ含む論理式についてのノート

命題変数を1個だけ含む論理式についてのノートに、
部分論理式を追加。

広義積分の収束条件についてのノート

広義積分の収束条件についてのノートに、
トピック一覧を付加。

『グリーン計量経済分析』ジョンストン 『計量経済学の方法』

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

• グリーン（斯波・中妻・浅井訳） 『経済学体系シリーズ：グリーン計量経済分析I/II：改訂4版』 エコノミスト社 (2000年)
• ジョンストン（竹内・関谷・栗山・美添・船岡訳） 『計量経済学の方法：全訂版（上）（下）』 東洋経済新報社 (1975年) 

に 、e-hon,honya-clubへのリンク・twitterリンク・掲示板リンク設置。

論理式間関係の意味論

論理目次に、
命題論理の論理式間関係の意味論下記項目へのリンク を追加。

• 論理式間関係の意味論：
• 複数の論理式の真理値割り当て/同時に充足する
• 矛盾/充足可能・整合的　　
• 推論 / 前提 / 結論・帰結 / 推論式 / 反例 / 推論の有効性/妥当性 /　⊨　(double-turnstile) 
• 論理的同値 　

志賀『解析入門30講』スピヴァック『多変数の解析学』和達『微分積分』

解析学のビブリオグラフィー。
下記文献から楽天へのリンクを追加。

• 志賀浩二『解析入門30講』朝倉書店、1988年。
• スピヴァック『多変数の解析学』東京図書、1972年。
• 住友洸（たけし）『大学一年生の微積分』現代数学社、1987年 
• 和達三樹『理工系の数学入門コース1・微分積分』岩波書店、1988年。