Norio iWASE / 岩瀬 則夫 Web Home へ†
- 《いとにき（伊都日記）》
- こんな夢を見た…
- 悪魔の証明というのが日本では本来の意味から離れて使われるらしい。Wikiによると「非存在の証明」をそう呼ぶことが日本のみならず欧米でもそれなりにあるのだという。しかし数学では、確かに非存在を主張する形の定理の証明が一般に難しいのは Fermat の予想を見れば分かるのだが、実は結構いろいろある。どうやって解決に至るのかと言うと、背理法によって存在したとして矛盾を導くのである。勿論、これは言うほど簡単では無いことが多いのだが、良い性質を満たすものの存在から、何らかの構造物を作り上げられることを示し、さらにその様な構造物があり得ない性質を満たすことを立証するのである。私の分野でよく知られた Hopf 不変量 1 の元の非存在に対する Adams による証明がそうであった。実際には、そこにさらに卓抜したアイデアが用いられていたのだが、それをここに記すには余白が小さすぎる ;-P
- 2019年9月から某Q大が全面禁煙となるらしい。自分は煙が苦手なので禁煙が進んでとても助かっているが、多くの有力な大学で主流の館内全面禁煙ではなく敷地内全面禁煙とするのだそうだ。シンガポール大のヘビースモーカーで有名な某氏を呼ぶことはもう出来なくなりそうだ。病院とかならいざ知らず、大学という空間で喫煙場所が決まってさえあれば後は自己責任ではいけないのだろうか。なんでも大学が介入して押さえつけて息の詰まる様な所で本当に良い研究が進むのだろうか？
- 先日、放送大学の科学史を興味深く見ていたが、講師の方はマックスウェルがグラスゴー大学にいたと断言していたので驚いた。しかしこれはアバディーン大学の教授の方から聞いた話と矛盾する。その話とはこうだ：アバディーン大学の前身であった二つの大学（キングスカレッジとマーシャルカレッジ）が統合したときに各々にあった二つの物理学教室も統合することになり、その一方の教授がマックスウェルであった。しかし、当時の習慣では教授は教室に一名だけだったので片方がお払い箱になったのだが、そのお払い箱になった方の教授というのがなんとマックスウェルで、統合された物理学教室の教授として残った人の名前は今では誰も知らない。なんともうちの大学（アバディーン大学）には先見の明が無いことかという落ちのついた話でした。放送大学の講師の方よりアバディーン大学の教授の方の話の方が真実味があると思う。
- キャンパス行きの昭×バスのバス停「理学部前」の英訳が長らく「School of Sciences（？？）」だったのが去年くらいから徐々に「School of Science（理学部）」に置き換わってきている。ただ、もちろん、まだ全部ではないし、アナウンスの方は「School of Sciences（？？）」のままだ。それでも西×バスの「Faculty of Science（理学研究院）」に比べればまだましなのか。英語と括弧内の日本語の対応は九大の公式サイトによるものである。
- 次世代 tex の本命だと言われている luatex を使うことにまたしても挑戦してみた。今度の MacTeX 2017 は、MacTeX 2016 とは違ってなんとか動いた。Windows font の読み込みもできるし、addfontfeatures も無視されない。肝心の luatex も、コンパイルスピードがましになっていて、これなら使えないこともない。luatex は元々の tex との互換性を犠牲にしても、斬新なスタイルを貫こうとしているらしいのだが、実は日本語化はそれと真逆のアプローチで、ptex との互換性を可能な範囲で取ろうとしている。翻って xetex はどうか。元々の tex との互換性はそこそこ担保している様子なのに、日本語化はむしろ世界標準に寄っている感じで、ptex との互換性は低いが欧文処理を含めた一貫性がある。どちらにしても jarticle は無いが、luatex なら \usepackage{luatexja} を、xetex なら \usepackage{zxjatype} を preamble に記述すればすぐ使える。さらに xetex なら \usepackage[slantfont,boldfont]{xeCJK} を preamble に加えると和文もイタリックやボールドが使える様になるし、\setjamainfont{xxx}\setjasansfont{yyy}\setjamonofont{zzz} を記述すれば、英文の roman, sans serif, mono に対応して字体を変えられる。それでは、日本語に関して ptex との互換性を取るか、世界標準との親和性を取るか。あるいは、基本機能に関して将来性を取るか、tex との互換性を取るか。
- 「局所コンパクト」と「局所コンパクト 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)) が証明できないだろうか？
- 講義ノートの xelatex 化に着手した。演習問題の解答を穴埋め式にして、なるべく図を挿入しようと思うのだが、なかなか大変な作業だ。 一方で xeCJK のバージョンが上がっていて、イタリックとかボールドとか勝手に生成してくれることに気がついた。 結構使えそうな気がする。
- トポロジー分科会のメールリスト (Topology-Bunkakai) を発展的にリニューアルし、東京都市大の井上氏とメールリスト Topology-ML の運用を始めた。一方で以前評議員をさせて頂いていた時代に運用を始めた研究連絡会議のメールリストに加えて拡大連絡会議のメールリストの運用を始め、これらのＭＬにも東京都市大の井上氏に手伝って頂くこととした。
- ぢっと手を見る…
- 平成３１年度 (後期・予定)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | 講義（全学） | Ｍ２セミナー | | Ｄ１セミナー | Ｍ１セミナー |
| 2限 | | Ｍ２セミナー | 講義（理学） | Ｄ１セミナー | Ｍ１セミナー |
| 3限 | | | 講義（理学） | | ＡＴセミナー |
| 4限 | | 講義（全学） | お茶会 | | ＡＴセミナー |
| 5限 | 福大セミナー | ＯＨ | 談話会 | ＯＨ | 金曜セミナー |
- 平成３１年度 (前期・予定)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | 講義（全学） | Ｍ２セミナー | | Ｄ１セミナー | Ｍ１セミナー |
| 2限 | | Ｍ２セミナー | | Ｄ１セミナー | Ｍ１セミナー |
| 3限 | | | | | ＡＴセミナー |
| 4限 | | 講義（全学） | お茶会 | | ＡＴセミナー |
| 5限 | 福大セミナー | ＯＨ | 談話会 | ＯＨ | 金曜セミナー |
- 平成３０年度 (後期)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | | Ｍ１セミナー | | Ｍ２セミナー | 四年セミナー |
| 2限 | | Ｍ１セミナー | 講義（理学） | Ｍ２セミナー | 四年セミナー |
| 3限 | | | 講義（理学） | | ＡＴセミナー |
| 4限 | | | お茶会 | 講義（全学） | ＡＴセミナー |
| 5限 | 福大セミナー | ＯＨ | 談話会 | ＯＨ | 金曜セミナー |
- 学内委員（情報推進専門委員、労働衛生・安全専門委員）
- 学外委員（トポロジー拡大連絡会議構成員，トポロジーＭＬ補助司会者）
- 学外ＭＬ管理（トポロジー評議員ＭＬ，トポロジー連絡会議ＭＬ，トポロジー拡大連絡会議ＭＬ，トポロジーＭＬ）
- 平成３０年度 (前期)
| 月 | 火 | 水 | 木 | 金 |
| 1限 | | Ｍ１セミナー | | | Ｍ２セミナー |
| 2限 | | Ｍ１セミナー | 講義（全学） | 講義（全学） | Ｍ２セミナー |
| 3限 | | 四年セミナー | | | ＡＴセミナー |
| 4限 | | 四年セミナー | お茶会 | | ＡＴセミナー |
| 5限 | 福大セミナー | ＯＨ | 談話会 | ＯＨ | 金曜セミナー |
- 学内委員（情報推進専門委員、労働衛生・安全専門委員）
- 学外委員（トポロジー拡大連絡会議構成員，トポロジーＭＬ補助司会者）
- 学外ＭＬ管理（トポロジー評議員ＭＬ，トポロジー連絡会議ＭＬ，トポロジー拡大連絡会議ＭＬ，トポロジーＭＬ）
- これまでに主催者の一員となった研究会でＨＰとか憶えているもの
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
