この本を読み始めたのは高木の初等整数論講義がきっかけだった。虚2次無理数の簡約化のアルゴリズムが与えられていて有限回で得られるとされていたが、有限回であるだろうとは思うが証明できているようには思えなかった。この本の最終章に正確な証明があるら...
地方国立大学教員として勤めていた時の教育、研究、教員生活の記録です。専門はニューラルネットワーク。リタイア後に趣味で勉強している数学についても書いています。
数論入門(山本)に沿って記述。理解に手間取った部分を補足して記録。条件\(p\) : 素数\( f(X),g(X),h(X) \) : \(\mathbb{Z}\) 係数 monic 多項式\( f(X) \equiv g(X) h(X) ...
「ブログリーダー」を活用して、四元環さんをフォローしませんか?
指定した記事をブログ村の中で非表示にしたり、削除したりできます。非表示の場合は、再度表示に戻せます。
画像が取得されていないときは、ブログ側にOGP(メタタグ)の設置が必要になる場合があります。
この本を読み始めたのは高木の初等整数論講義がきっかけだった。虚2次無理数の簡約化のアルゴリズムが与えられていて有限回で得られるとされていたが、有限回であるだろうとは思うが証明できているようには思えなかった。この本の最終章に正確な証明があるら...
命題8.22の証明中 p.93 で \( A_n>0 \) が必要と思われるが、すぐに理由を見つけることができなかった。なんとか証明にこぎつけたので記録しておく。実は簡単なことを見落としているような気がしてならない。準備\( p_k \) ...
連分数の第8章命題8.15で、ある行列が対称行列であることを示している。計算が強引に感じるので、線形代数の基礎的なテクニックを使って計算のストレスを軽減してみた。対称行列の証明p.87 では \( B=\left( \begin{array...
修論の審査は発表会(公聴会)と最終審査の2つのプロセスを経るのが正式らしい。多くの大学では発表会が最終審査を兼ねていると思われるが、最終審査は密室での審査になるべきであり、2つを兼ねるのは正しくないようだ。本学では珍しく2つのプロセスに分か...
初等整数論講義を連分数のところまで読み終えたところで、木田先生の連分数を読み始めた。第4章の 命題 4.7 の証明を少し簡略化したので記録する。(相加平均) \(\geq\) (相乗平均) を使えば、簡略化できるし、場合分けも避けられる。(...
前回、修士論文の発表で散々批判された話を書いた。しかし、その少し前には遥かに酷い修士論文が許されていた。その頃は修士課程の入学に筆記試験がなく、指導教員が受け入れを認めれば合格となっていた。修士課程の定員を満たすことについて文科省の締め付け...
前回の続きで、OSの移植をしていた学生の修士論文はどうなったのかという話である。企業から外部資金を得ている場合、企業の要求に答えつつ如何に研究テーマに結び付けていくかは指導教員にとって悩ましい所である。移植は研究とは言えず、早く完了して何ら...
響研究室では組み込みプログラミングも扱うようになった。起業した会社でもNASを開発していたので、それと連動した形である。ある企業から共同研究を受託し、外部資金年間 50万円を獲得していた。依頼は ITRON仕様のフリーOSを移植することであ...
4変数の平方和発端は初等整数論講義に出てきた次の公式 (添え字は四元数の表現に合わせて修正)\( \begin{eqnarray} && \left( x_0^2+x_1^2+x_2^2+x_3^2 \right) \left( y_0^2...
上司の響教授は起業した。少し前に国立大学の教員が兼業できるように制度が改正されていた。響教授の旧友が上場会社を経営していて、子会社を経営してみないかと誘われた。学生をアルバイトとして雇うことにして会社での業務を経験させたいという考えで子会社...
数論入門(山本)に沿って記述。理解に手間取った部分を補足して記録。条件\(p\) : 素数\( f(X),g(X),h(X) \) : \(\mathbb{Z}\) 係数 monic 多項式\( f(X) \equiv g(X) h(X) ...
助教時代にオペレーティングシステム演習を担当していた。実際は、准教授が教材を作っていて、演習時のサポートをしていただけであった。今回は排他制御の課題でトラブルがあった話である。並行プログラミングで共有変数へのアクセスが課題であった。2つのス...
私の上司だった響教授はパチンコが大好きで、業務の合間を縫ってパチンコに行っていた。空き時間が細切れだから研究できないというのが理由である。いつも忙しいと言っているのに、パチンコに行く時間はなぜか取れる。だいたい会議開始まで2時間くらいの時間...
博士課程の短縮制度が出来た。1年でも業績4で修了できる。業績は国際会議でも良い。論文無しで本当に良いのかは甚だ疑問である。すでに業績が十分揃っている社会人を引き込む狙いである。制度的には修士からの進学者も対象であるが、3年で取得することも難...
前回、なぜ修士論文すらまともに書けなかった学生の博士課程への進学を許したのだろう。響教授の話では学位を取るつもりがあるとは思わなかったそうだ。彼は起業の勉強目的で博士課程に進学するという。博士を取るつもりがなくて博士課程に進学するなんてこと
私が助教として所属していた響研究室では博士課程の学生が6名在籍した。初めの2人は学位を取得できなかった。次の2名は民間企業の研究所に在籍する社会人であって、彼らは自分たちのテーマで取得した。最後の2名はアジアの発展途上国の教員で博士を取得す
研究室のホームページを立ち上げることになった。作成は個人事業主をしているOBに発注することになった。OB に研究室のホームページなら響教授の業績を公開すべきではないかと提案したら、響教授に提案してくれて同意を得た。これで謎に包まれていた響教
30年ほどの教員生活で4回の改組を経験している。10年弱に1回くらいだろうか。大規模な変更を積極的に行いたい時もあれば、単に文科省に改革をアピールするだけの改組もある。改組をするときは文科省の設置審にかける必要があり、この時は教員の審査も伴
四元数群の一般化である一般四元数群というものを群論序説(星明考 著)で見かけたので、自分が分かるように記録しておく。四元数群 \(Q_8\) は四元数体の乗法群 \( \mathbb{H}^{\times} \) の有限部分群 \( \{
群論序説(星明考 著) を読んでいて準二面体群が現れた。二面体群のような幾何学的な表現が無いか調べてみたが日本語での解説が見つからず、英語で解説を探したので記録しておく。英語では quasidihedral group または semi-d
着任してから全く論文が出ないまま 5年以上経過した。いずれも不採録であったが、2編の論文を投稿した。上司の響教授も連名なので、プロフィールを記載するため過去の論文を頂いた。ニューラルネットワークの論文だったが、オリジナリティがあるとは感じら
初めての研究論文とはIT系での論文のことである。数学で博士号を取得するまでに、数学では最低限の論文を書いていた。博士号を取得したらIT系の研究者に転向するという約束で採用されている。今後はIT系で論文を書かなければならない。ITに関しては全
一意分解でない整域の例としては \( \mathbb{Z} \) がよく取り上げられるが、これは \( \mathbb{Q} (\sqrt{-5} ) \) が類数1でないことから得られる。よりシンプルな例として \( \mathbb{Z}
私は数学科出身だが、工学部のIT系に採用された。そして、研究分野もIT系に転向することも求められた。受け入れ先の教授が母校の教授に求人して、私が紹介された。選ばれた理由は、自覚はないが下の者をよく面倒見ているということだった。数学では業績を
最近では監視が厳しくなってあまり見られなくなったようだが、着任した頃には大学教員のカラ出張が容易だった。独法化以降に激減した気がする。カラ出張の最大の要因は予算に融通が利かなかったことだ。予算の費目が物品費、旅費などに分けられ、出張費が余っ
「手を動かしてまなぶ 曲線と曲面 (藤岡 敦) §18 ガウスーワインガルデンの公式」の学習記録。 ガウスの公式 ガウスの公式とは言うものの中身はなくて、ほとんど定義に近い印象。まずは記号を確認。 \( p: D\rightarrow {\
「手を動かしてまなぶ 曲線と曲面 (藤岡 敦) §17 正規直交標構による方法」の学習記録。 正規直交標構 パラメータ \( u,v \) で表された曲面 \( p(u,v) \) を考える。パラメータ \( u, v \) はしばしば省略