教員生活 データベース演習 (1)
2000年代半ばのことである。新設科目であるデータベース演習の担当を突然割り当てられた。データベースの知識は全く無いにもかかわらず私が指名されたのは、上司の響教授がデータベースの講義担当だからだ。データベースに関する知識がある教員は少ないと...
教員生活 教員生活 修論発表会(2)
前回の投稿からずいぶん間が空いてしまった。以前の修論発表は主査、副査以外に出席義務はなかったが、上からの指示により教員は全発表に出席が義務付けられた。そこで一部の教員が学生にも出席を義務付けるべきだと学科会議で言い出した。反対意見が出て義務...
数学ノート 分数イデアルと逆イデアル
分数イデアル、特に逆イデアルについて学んだことを記録。デデキント聖域における素イデアル分解の一意性の証明に使われる。分数イデアル\(R\) を整域、\(K\) をその商体とする。\(K\) の部分集合 \(I\) が次の条件を満たすとき、\...
数学ノート 連分数(木田雅成) 第17章
この本を読み始めたのは高木の初等整数論講義がきっかけだった。虚2次無理数の簡約化のアルゴリズムが与えられていて有限回で得られるとされていたが、有限回であるだろうとは思うが証明できているようには思えなかった。この本の最終章に正確な証明があるら...
数学ノート 連分数(木田雅成) 第８章(2)
命題8.22の証明中 p.93 で \( A_n>0 \) が必要と思われるが、すぐに理由を見つけることができなかった。なんとか証明にこぎつけたので記録しておく。実は簡単なことを見落としているような気がしてならない。準備\( p_k \) ...
数学ノート 連分数(木田雅成) 第８章
連分数の第８章命題8.15で、ある行列が対称行列であることを示している。計算が強引に感じるので、線形代数の基礎的なテクニックを使って計算のストレスを軽減してみた。対称行列の証明p.87 では \( B=\left( \begin{array...
教員生活 修論発表会(1)
修論の審査は発表会(公聴会)と最終審査の２つのプロセスを経るのが正式らしい。多くの大学では発表会が最終審査を兼ねていると思われるが、最終審査は密室での審査になるべきであり、２つを兼ねるのは正しくないようだ。本学では珍しく２つのプロセスに分か...
数学ノート 連分数(木田雅成) 第4章
初等整数論講義を連分数のところまで読み終えたところで、木田先生の連分数を読み始めた。第4章の 命題 4.7 の証明を少し簡略化したので記録する。(相加平均) \(\geq\) (相乗平均) を使えば、簡略化できるし、場合分けも避けられる。(...
教員生活 中国人留学生
前回、修士論文の発表で散々批判された話を書いた。しかし、その少し前には遥かに酷い修士論文が許されていた。その頃は修士課程の入学に筆記試験がなく、指導教員が受け入れを認めれば合格となっていた。修士課程の定員を満たすことについて文科省の締め付け...
教員生活 組み込みプログラミングの修論発表
前回の続きで、OSの移植をしていた学生の修士論文はどうなったのかという話である。企業から外部資金を得ている場合、企業の要求に答えつつ如何に研究テーマに結び付けていくかは指導教員にとって悩ましい所である。移植は研究とは言えず、早く完了して何ら...