恥ずかしながら、Kőnig's lemma を König's lemma と誤記していたことがあります。今は反省しています。

いわゆるメタ構文変数(どうでも良いときに使う名前)に ayaya, hoyoyo, nahaha, owaa, ugugu, wakyakya を使っているのですが、学生が提出する課題プログラムでそれらを見ることがあります。そこまで私のサンプルを真似なくていいんですけど。

「平行四辺形」の別名で「長斜方形」という日本語があって、1文字短いけど使いたくありません。

奈良と鹿児島を結んでの前原記号論理の輪講でした。

奈良側ゼミ室参加者は白板にマーカーで書いたものをスマートフォンで撮影し遠隔地にZoomで見せる方式でした。スマートフォンをプロジェクタにもつないで、あちらの発表は白板に投影しました。

この方式だとスマートフォンの電池の減りが速くて、電源をつながないと90分が限度でした。電池容量20%の警告が出て、あわてて電源をつなぎました。

なお、第3章§1まで進みました。

\[\text{原始帰納法}\Rightarrow\text{累積帰納法}\]の証明を「動的計画法」の一言で済ませて良いですか?

二等辺三角形の底角が等しいことの中学校の教科書に載っていそうな証明(実は暗黙の仮定が隠れている):
$\triangle ABC$ で $AB=AC$ と仮定する。$BC$ の中点を $M$ とおく。\[\begin{gathered}AB=AC\\AM=AM\\BM=CM\end{gathered}\]なので、\[\triangle ABM\equiv\triangle ACM\]が成り立つ。したがって、$\angle B=\angle C$ が成り立つ。

任意の線分に中点が存在することを暗黙に仮定しています。

前にも書いた気がするけど、二等辺三角形の底角が等しいことの証明(知られている最も単純なもの):
$\triangle ABC$ で $AB=AC$ と仮定する。\[\begin{gathered}AB=AC\\AC=AB\\\angle A=\angle A\end{gathered}\]なので、\[\triangle ABC\equiv\triangle ACB\] が成り立つ。したがって、$\angle B=\angle C$ が成り立つ。

taurus.ics.nara-wu.ac.jp/prog/
で表のキャプションに\[\lvert a+bi\rvert\le99\text{ であるガウス整数の分類}\]といれているのですが、みなさまの環境での見え方はいかがでしょうか?

Show thread

手元のSafariでは<caption>に<math>を入れると表示がおかしくなります。FirefoxとChromeは今のところ異常ありません。

☆☆県立大学はたくさんあるけど、県立☆☆大学は県立広島大学だけなんだ。

プログラミング演習の4回目でした。未経験者でもセンスの有無が現れてきます。

Zähle die Wege entlang der Kanten von einem Scheitelpunkt eines Polyeders zu einem seiner benachbarten Scheitelpunkte. Du darfst einen Umweg machen, aber nicht zweimal durch denselben Scheitelpunkt gehen.

(Entwurf) vulcan.ics.nara-wu.ac.jp/kamo/

多面体の頂点からそれと隣接する頂点の一つまで辺に沿った経路を数える。遠回りして良いが、同じ頂点を二度通ってはならない。

(暫定版)vulcan.ics.nara-wu.ac.jp/kamo/

Count the paths along the edges from a vertex of a polyhedron to one of its adjacent vertices. You may take a detour, but may not pass through the same vertex twice.

(Draft) vulcan.ics.nara-wu.ac.jp/kamo/

「多胞体の頂点Aから頂点Bまで辺に沿って移動する経路を数える。遠回りして良いが、同じ頂点を二度通ってはならない」をこの先に進めるのに、CPUは多少しょぼくても良いがとにかく大きな主記憶の計算機が必要です。本業の研究とは別にやっているので、これに使える予算はほとんどありません。Raspberry Pi 64GiB RAM みたいなのがほしいです。

「日本標準時」という言葉は日本の法令にはなくて、法律用語としては「中央標準時」です。

その中央標準時をGMT+0900と定める勅令がまだ生きています。UTC+0900と明記している法令はありません。

「多胞体の頂点$A$から頂点$B$まで辺に沿って移動する経路を数える。遠回りして良いが、同じ頂点を二度通ってはならない」の四次元版ですが、正五胞体と正八胞体と正十六胞体は計算できました。正二十四胞体の計算をするプログラムはメモリ不足で落ちました。

これからラグランジュの未定乗数法の解説をZoom越しに行うのですが、PCに白画面を出して板タブで手書きするかホワイトボードに書いてスマートフォンで撮影するか、逡巡していました。

板タブにします。

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.