- Profile / プロフィール
- Article / 原著論文， Activity Record / 活動記録， Archive / 書庫
- Professional Discipline: Topology, esp. Homotopy Theory / 専門領域：位相幾何学、特にホモトピー論
- 微積のテキスト 『微分積分学』：微積の講義での備忘録をまとめたものに色々と付録を書き加えて再構成してでき上がったテキストを「近代科学社Digital」にお願いして出版させていただきました。基本的にはε-δ論法は使いませんが、上限と下限を用いて厳密性を担保しました。特に初等関数の諸性質の背後にそれらの逆関数が積分で表されることがあることをなんとか指摘したつもりです。積分についても上限と下限を用いるという立場からは、導関数が常に可積分になる gauge 積分と普通の Riemann 積分とは大差ない感じに見えますので、思い切って gauge 積分を導入することにしました。微分については Taylor 展開と漸近展開の似ている点と異なる点を明確にしたつもりです。また多変数関数の微分では未定乗数法の必要条件に加えて縁付き Hessian を導入することで十分条件を与え、多変数関数の積分では等高線で切り取ったジオラマを基に3次元以下のミニチュア版の Lebesgue 積分を導入しました。最終目標は Stokes の定理です。難しそうな証明はどんどん付録に回しましたので、付録が肥大化しています。（なんとか ver.1.2 が出ました）
- 数学と関係ないもの
- 《いとにき（伊都日記）》
- こんな夢を見た。
- 国土を省みぬ無責任な主張、華やかな消費生活への憧れ、終わりのない内戦、襲いかかる温暖化による干ばつ−終末的な世相の中で、アフガニスタンは何を啓示するのか。見捨てられた小世界で心温まる絆を見いだす意味を問い、近代化のさらに彼方（かなた）を見つめる。ー 中村哲医師
- 中村哲医師・西日本新聞特設サイト
- 閑話（通信の秘匿について）
- 電子メールによる通信は経路上の誰でも読むことができるものである。では普通の郵便ではどうだろう。郵便専用車を用いればハガキでも多少は安心できるが、漏れてはまずい内容なら封筒に厳封する。電子メールでの通信の秘匿にも、ハガキに対する郵便専用車の使用に当たる「伝送路（Point to Point）の暗号化」と封筒に厳封するのに当たる「End to End 暗号化」の二種類がある。後者はメール発信者から受信者までの完全な暗号化を意味するが、前者はいわゆる伝送路と呼ばれるものに、クライアント・サーバ間（自宅から郵便局まで）とサーバ内（郵便局内）それにサーバ・サーバ間（郵便局間）の三種類があることに注意すべきだろう。一番目については SSL/TLS や STARTTLS 等で伝送路の暗号化が進んできているが、二番目については見ても忘れてくれるように祈るしかない。では三番目はどうだろうか。これについても STARTTLS による伝送路の暗号化が RFC3207 に規定されたが大手の運営するサーバでも導入はそれほど進んでいないと言われている。そもそも伝送路の暗号化が全伝送路で保証される訳ではない上に認証の仕組み自体に平文でのやり取りが含まれるなど伝送路の暗号化は大きな弱点を抱えているとの指摘には頷かざるを得ない。従って現時点で個人情報などの重要情報の電子メールでのやり取りには「End to End 暗号化」の利用を前提とせざるを得ないであろう。…そして広く使われるメールクライアントである Thunderbird も End to End 暗号化を行う OpenPGP と S/Mime の両方のプロトコルを v78.2 から本体標準でサポートした…
- 閑話（折りに触れて思うこと）
- Musixtex を使ってみた。楽譜を見るのに本だとめくるのが面倒なので iPad に入れて譜面台に置くのが目的なのだが、この musixtex というのは本当に箸にも棒にも掛からないのではないかというくらい使い勝手が悪い。とりあえず練習曲を三曲ほどコンパイルしてみて xelatex を使うと日本語もいけることが判明した。
- 少し余裕があったので、自宅サーバ（個人のページ）にサイト証明書を入れた。dynamic dns サーバ提供の無料の証明書だが、とりあえず chrome でも safari でも問題なく見ることができた。
- 某学部の教某会では投票用には対面ではなく WebEx を使うことになった。まあ、大学本体からそういう要請があるのだから当然だろう。ただ、数某学研某院は投票があっても無くても（！）なんと出席を強要してくるので、持病持ちとしては本当に困っている。もう少し柔軟な思考とか言うものを持ち合わせては頂けないものだろうか？
- そろそろ LuaTeX が旬になってきた様である。ptex との互換性もまあまあ（zh とか zw とか Q とか H に \ の頭置が必要）だし、新しい Mac なら遅いなりに使えるスピードにはなった。まあ XeTeX と比較すると slant と bold に対応しないのが困りものだが、tombo も打てるし将来的に pdftex の置き換えになると言うのだから、スライドを xetex にして文章は luatex というのが良さそうなのかなと思い始めている。
- PPAP にはあまり意味がないというのは昔から当然のこととして知っていたのだが、Windows では百害あって一利無しであるというのは最近知った。私は Mac を使っているので、使うとすれば ZIP というより 7z で AES-256 暗号化しか考えないが、Windows では単純な zipcrypto とかいう Windows 標準の全く意味のない（時間が無駄になるだけの）暗号化が一般的だったらしいのである。これはすぐに暗号解読可能な全く意味のない"暗号化"なのだそうだ。…どう考えても、添付ファイルを AES-256 暗号化してクラウドに置いてその暗号化キーを E2E 暗号化メールで送るのが一番良さそうに思われる。例えば Thunderbird を使うならならカギ管理も楽々だし、Canary Mail を使うならさらに暗号カギまで勝手に作ってくれて暗号化を意識する必要性すら無い。
- 危機管理に問題のある人ほど、大きな顔を意味もなくさらけ出しては思いつきの独断をころころとひっくり返し、それで事態がうまく行かないとなると「今年度は異常事態の為に」とことさらに強調しては、うまく出来ないことをうやむやにして誤魔化そうとする。独断で片づける迅速さより英知を集める寛容さが必要なのではなかろうかと思う。
- Thunderbird v78.2 は v.68 の enigmail の設定を見つけると自動で設定を移行しますかと聞いてくる。どう設定したか忘れてしまったが、Thunderbird は相手の公開鍵も勝手に見つけてきてくれるみたいなのでとてもラクチンである。あれ、そういえば Thunderbird は pep（pretty easy privacy）だったかのサポートやめたのかな。
- 「局所コンパクト」と「局所コンパクト Hausdorff」はかなり様子が異なる。後者では任意の点の任意の近傍の中にその点のコンパクト近傍が取れるのに対して、前者では一般にはできない。ということは、明らかに「位相幾何学Ｉ」（小松中岡菅原）の補題５.１の証明は間違っていて、あるべき命題の文言から「Hausdorff」の条件が抜け落ちている。教科書によっては局所コンパクトという名前でコンパクト集合による近傍系が取れるものという定義を採用することもあるが、この「位相幾何学Ｉ」では通常の定義を採用していることが系１.６の仮定と証明からも読み取れる。
- 少し余裕ができてきたので数学も考えてみた。やはり
▢◯▷ 問題を考察せねばならないだろう。
- 最近、Jacobian matrix と Jacobian determinant の表示が教科書によって全く違うという事実に直面してどうすべきか悩んでいる。前者を固く $\bf J$（混乱を招きそう）または $D$（本命）で表すなら、後者は $J=\det{\bf J}$（混乱を招きそう）または $J=\det{D}$（本命）か。前者を $\frac{\partial\,{(y_1,\ldots,y_m)}}{\partial\,{(x_1,\ldots,x_n)}}$（混乱の元である）または $\frac{d\,{(y_1,\ldots,y_m)}}{d\,{(x_1,\ldots,x_n)}}$（余り見かけない）で表すなら、後者は $\det\frac{\partial\,{(y_1,\ldots,y_m)}}{\partial\,{(x_1,\ldots,x_n)}}$（混乱を招きそう）または $\det\frac{d\,{(y_1,\ldots,y_m)}}{d\,{(x_1,\ldots,x_n)}}$（余り見かけない） であろうか。次第に「本命」と「余り見かけない」記号を使おうかという気になりつつある。
- ついにというか、30年来の問題であった空間のＡ∞構造の単位元の問題にケリがつけられた。 また SO(10) のＬＳの猫もなんとか確定できたと思う。どうにかして一般の n で cat(SO(n))=cup(SO(n)) が証明できないだろうか？
- トポロジー分科会のメールリスト (Topology-Bunkakai) を発展的にリニューアルし、東京都市大の井上浩一氏とメールリスト Topology-ML の運用を始めた。一方で以前評議員をさせて頂いていた時代に運用を始めた研究連絡会議のメールリストに加えて拡大連絡会議のメールリストの運用を始め、これらのＭＬにも東京都市大の井上氏に手伝って頂くこととした。
- 令和5年度 (後期・予定)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | | | 講義（理学） | | |
| 2限 | 講義（全学） | | 講義（理学） | | D3セミナー |
| 3限 | ＯＨ | | | | |
| 4限 | | 講義（全学） | お茶会 | | |
| 5限 | | ＯＨ | 談話会 | ＡＴセミナー | 金曜セミナー |
- 学内の仕事：学生支援委員，労働衛生・安全専門委員
- 学外の仕事：トポロジー拡大連絡会議構成員
- ＭＬの管理：トポロジー評議員ＭＬ，トポロジー連絡会議ＭＬ，トポロジー拡大連絡会議ＭＬ，トポロジーＭＬ
- 令和5年度 (前期)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | | | | | |
| 2限 | 講義（全学） | | | Ｄ１セミナー | D3セミナー |
| 3限 | | | | | |
| 4限 | | | | | |
| 5限 | 福大セミナー | ＯＨ | 談話会 | | 金曜セミナー |
- 学内の仕事：学生支援委員、労働衛生・安全専門委員
- 学外の仕事：トポロジー拡大連絡会議構成員
- ＭＬの管理：トポロジー評議員ＭＬ，トポロジー連絡会議ＭＬ，トポロジー拡大連絡会議ＭＬ，トポロジーＭＬ
- これまでに主催者の一員となった研究会でＨＰとか憶えているもの
1/964
Last-modified: 2023-09-10 (日) 16:10:08
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
