・シローの定理の主張（証明はいわずもがな） ・ロピタルの定理の条件 ・積分に対する平均値の定理 ・留数の計算 ・行列の最小多項式

一度付けたはてなスターの削除方法って、マウスカーソルをしばらくあわせるという方法しか知らないのだけれど、androidではマウスカーソルなんてものは存在しなくて。（実は知らないだけであるのかもしれない。） 操作ミスでつけてしまったスターは、いちい…

Mon Tue Wed Thu Fri 1 あき 化学数学 数理生物学 あき あき 2 あき 代数学１ 幾何学１ 微分方程式論 解析学１ 3 複素函数論 代数学１ 幾何学１ あき 解析学１ 4 解析学演義１ 代数学演義１ 幾何学演義１ （理学の英語） （解析学特論１） 5 解析学演義１ 代…

１２時起床。 ボットトゥーにまず挑戦してすぐに挫折。 微分形式の積分とか、形式的でない理解を持ってから読みたい。 結局序論を除いて２ページくらいしか読んでない。 序論は序論で、素人に向けて書いたと書いてあるけれど、正直分かる素人がいるのだろう…

第６章、座標とベクトル。 座標とベクトルの概念の導入。 第７章、公理系とモデル。 公理系の独立性・無矛盾性・範疇性を確かめるためのモデルの概念の導入。 有限射影平面、ユークリッド平面、非ユークリッド幾何学における具体的なモデルを考える。 そこか…

数と幾何学。 線分の長さ、角度の大きさに対して数値を与える。 合同変換と相似変換、円周の長さについて。 線分の長さを与えるために、ものさしの代わりとなる目盛関数を導入、そこからユークリッド距離の定義。 線分の比を考えて、そこから相似の概念を導…

０９年度の時間割より、とりあえずの構想。 Mon Tue Wed Thu Fri 1 生物化学１Ａ 電磁気学３ 数理生物学 量子力学１ 無機化学２Ａ 2 分子生物学１ 代数学１ 幾何学１ 微分方程式論 解析学１ 3 複素函数論 代数学１ 幾何学１ 保険数学１ 解析学１ 4 解析学演…

自然数から実数へ。 自然数、整数、有理数、実数の形式的な構成について。 ペアノの公理から自然数を導入して、その間の関係から整数、有理数、実数へと順に構成していく。 デデキントの切断によって、有理数から実数を構成している。 最後に自然数の１０進…

集合、写像、関係。 数学の言葉となる、集合や写像などについて。 集合と写像、それに付随するいくつかの概念に定義を与えて、集合の大きさについて述べる。 最後に関係、同値関係と順序関係について、定義といくつかの性質。 結構慣れてる部分だから大体す…

幾何学の公理系。 直線・平面・空間における公理と、そこから導かれるいくつかの性質について。 また、幾何学の歴史についてほんの少々。 点と直線と平面については定義せずに、その関係から他の幾何学的対象、角や三角形などを定義して、そこに必要な公理を…

古典幾何学。 平行線の公理を仮定しないで幾何学で何ができるか、仮定するとどうなるか、平行線の公理の証明への取り組みから非ユークリッド幾何にたどり着きそうになったサッケリ。 平行線の公理を仮定しない幾何学が絶対幾何学、仮定する幾何学がユークリ…

・ざっと読む ・抜き出してまとめて、適用してみる ・細かく読む

０７年１１月２０日まで

せっかくだからと大阪城をぐるぐるしてきた。いつものランニングコース。歩いて回るとなかなか長い。 修学旅行生っぽいのがたくさんいた。いつも自分は観光する側だけど、今日は観光される側の気分になれた、と思う。不思議な感じ。 そこには何もないけど、…

それなりに集中できた。 朝３時までは問題なく進行。 それ以降思考スピードの著しい低下。 ５時過ぎ集中力が無視できるレベルに。 本を眺めてるだけ、文字を眺めてるだけ、頭にも入ってこない。 ５時半ダウン、６時復活。 復活直後はダウン前と変わらず、し…

月曜日 １英語Ｒ ２物理学基礎論Ｂ ３微分積分学Ｂ／整数論１ ４微分積分学Ｂ／代数学入門 ５線形代数学演習Ｂ／基礎数学からの展開Ｂ 火曜日 １ドイツ語文法 ２線型代数学Ｂ ３言語科学基礎論２（もれたら教育評価の基礎） ４自己形成の心理学（もれたら空…

algebra、早いけどギブアップ。 結局１０ページほどしか進んでいない。 やっぱり最初は日本語の方が良いのか。 今までろくに勉強してこなかったし、訓練なんて受けてないんだから、まずは母語で何とかしてみようか。 ということで、夏のこれだけはしたい予定…

・片付け（部屋、机、本棚） ・van der Waerden Algebra,1 ・線型代数演習 齋藤正彦