Twitterで大量凍結騒ぎが起きているらしくて、私も巻き込まれました。連携サービスによる自動投稿がスパム扱いされたとの情報が流れています。
Twitterは、もう、実用に耐える安定的なサービスではありませんね。

教材用にハミルトン閉路を数えるプログラムを書いているのですが、逆回りは区別するか同一視するか、どちらがわかりやすいでしょうか?

問題文に「放物線 $y=ax^2$」とあるので $a\not=0$ と推論するのは、どこも間違っていないけど叙述トリック味がある。

「離散数学」の講義でした。今日のお題は選言標準形と連言標準形でした。ハイブリッド授業でしたが、対面出席者0を達成しました。

二等辺三角形の底角が等しいことの証明はこれでいいんです:
\[\begin{aligned}\lvert AB\rvert&=\lvert AC\rvert&&\text(仮定)\\\lvert AC\rvert&=\lvert AB\rvert&&\text(仮定)\\\angle BAC&=\angle CAB&&\text{(共通)}\end{aligned}\]よって、\[\triangle ABC\equiv\triangle ACB\]したがって、\[\angle ABC=\angle ACB\]

『原論』のいわゆるロバの橋も、中高の教科書によくある二等辺三角形を二等分する方法も、迂遠です。

「離散数学」の講義でした。今回のお題は古典命題論理の初歩でした。$\neg(X\land Y)$ と $\neg X\lor\neg Y$ が同値であることを真理値表を書いて確認したりしました。

切頂十二面体の頂点(60個)に文字を割り当てる必要が生じました。ラテン文字に加えてギリシア文字とキリル文字を動員してもまだ足りません。単純に足し算すると足りますが、AとΑとАは見た目で区別できなくて同時に使えないとかで減って、使えるのは54文字にしかなりません。
ABCDEFGHIJKLMNOPQRSTUVWXYZΓΔΘΛΞΠΣΥΦΨΩБДЖЗИЙЛЦЧШЩЪЫЬЭЮЯ

あと6文字、コプト文字から持ってくるかなあ。

私の身長は $1.04×10^{35}$ プランク長です。

particular point topology \[\exists p[\text{$O$は開集合}\iff p\in O\lor O=\varnothing]\]の日本語は何でしたっけ? 特定点位相?

いまどきのコンパイラは十分に賢いので、POSIXのM_SQRT2やM_PIはもはや不要です。sqrt(2)とかatan(1)*4と書いておけば実行時ではなくコンパイル時に計算します。

一昨日は、「∨除去は場合分けして合流です」という話をしました。

「平行四辺形」は5文字もあって長いので、それに替わる「□形」(□は漢字1文字)の制定を希望します。

『ろんりの相談室』の輪講を始めめます。今日は $p\rightarrow q$ と $\neg p\lor q$ の同値性の自然演繹による証明から始めます。

「矩形(くけい、さしがた)」「菱形(りょうけい、ひしがた)」は音読みと訓読みの両方があるので、「台形(だいけい)」も「うてながた」とも読んではどうでしょう?

牧野書店の「理工系数学の基礎・基本」シリーズをどこかの版元でまるごと引き継いでくれないかなあ。

\[\inf X=\sup\{y\in L\mid\forall x\in X\;y\le x\}\]

「アルゴリズムとデータ構造」の授業用のサンプルとして作ったプログラムで数えました。需要があれば公開します。$\quad$

Show thread
Show older
Mathtodon

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