tamaki

教員生活

データベース演習 (3)

今回はデータベース演習で生じたトラブルなどについて語ろう。初年度のトラブルは些細と言えば些細なものだった。計算機室のPCは全て24H稼働ではあるが、安定しているとまでは言えず、時々ダウンすることもあった。PostgreSQL のサーバがダウ...
教員生活

データベース演習 (2)

授業報告会という授業の内容を全教員に知ってもらう制度があった。データベース演習は新設であり、開始直前での報告となった。響教授の指示通り、内容は SQL だけである。「標準的な内容ではあるが…」と内容の薄さに物足りないという反応であった。ある...
教員生活

データベース演習 (1)

2000年代半ばのことである。新設科目であるデータベース演習の担当を突然割り当てられた。データベースの知識は全く無いにもかかわらず私が指名されたのは、上司の響教授がデータベースの講義担当だからだ。データベースに関する知識がある教員は少ないと...
教員生活

修論発表会(2)

前回の投稿からずいぶん間が空いてしまった。以前の修論発表は主査、副査以外に出席義務はなかったが、上からの指示により教員は全発表に出席が義務付けられた。そこで一部の教員が学生にも出席を義務付けるべきだと学科会議で言い出した。反対意見が出て義務...
数学ノート

分数イデアルと逆イデアル

分数イデアル、特に逆イデアルについて学んだことを記録。デデキント聖域における素イデアル分解の一意性の証明に使われる。分数イデアル\(R\) を整域、\(K\) をその商体とする。\(K\) の部分集合 \(I\) が次の条件を満たすとき、\...
数学ノート

連分数(木田雅成) 第17章

この本を読み始めたのは高木の初等整数論講義がきっかけだった。虚2次無理数の簡約化のアルゴリズムが与えられていて有限回で得られるとされていたが、有限回であるだろうとは思うが証明できているようには思えなかった。この本の最終章に正確な証明があるら...
数学ノート

連分数(木田雅成) 第8章(2)

命題8.22の証明中 p.93 で \( A_n>0 \) が必要と思われるが、すぐに理由を見つけることができなかった。なんとか証明にこぎつけたので記録しておく。実は簡単なことを見落としているような気がしてならない。準備\( p_k \) ...
数学ノート

連分数(木田雅成) 第8章

連分数の第8章命題8.15で、ある行列が対称行列であることを示している。計算が強引に感じるので、線形代数の基礎的なテクニックを使って計算のストレスを軽減してみた。対称行列の証明p.87 では \( B=\left( \begin{array...
教員生活

修論発表会(1)

修論の審査は発表会(公聴会)と最終審査の2つのプロセスを経るのが正式らしい。多くの大学では発表会が最終審査を兼ねていると思われるが、最終審査は密室での審査になるべきであり、2つを兼ねるのは正しくないようだ。本学では珍しく2つのプロセスに分か...
数学ノート

連分数(木田雅成) 第4章

初等整数論講義を連分数のところまで読み終えたところで、木田先生の連分数を読み始めた。第4章の 命題 4.7 の証明を少し簡略化したので記録する。(相加平均) \(\geq\) (相乗平均) を使えば、簡略化できるし、場合分けも避けられる。(...