Show more
表示名 boosted

黒板復活してた。入力欄も戻ってる。感謝感謝👍

あけましておめでとうございます。今年もよろしくお願いします。

今日写像が$(x)f$となってる本に出合った。珍しい・・・。写像の合成はもちろん$f\colon X\rightarrow Y, g\colon Y\rightarrow Z$に対して$f\circ g\colon X\rightarrow Z$である。まぁなんというか、合理性はあって、一貫性がないのは自分の方法でもあるけど、いい頭の体操になりそう。

というか誰も言わないっぽいけど黒板が消えてる件について

マストドン、メジャーアプデじゃん! どんだけemoji好きなんだ🎁  カスタム絵文字はあるのかな?

ブログを更新しました

循環小数の2つの周期列に関する恒等式(Midy-Lewittesの定理)について
arxiv.hatenablog.com/entry/201

表示名 boosted

メンテナンス終わりました。
が Masoton v2.0.0 をマージしました。

変更点はこんな感じです: github.com/tootsuite/mastodon/

表示名 boosted

大変長らくお待たせしました.決定不能問題ギャラリー第10弾は「Hilbertの第10問題」です!
iso.2022.jp/math/undecidable-p
MRDP定理(Matiyasevich-Robinson-Davis-Putnamの定理)を証明し,Turing機械の停止性がDiophantus方程式の可解性に帰着できることを見ます.
これは現時点で
(1)第10問題の完全な証明が載っている
(2)日本語で書かれている
(3)入手が容易
の条件を全て満たす唯一の文章(のはず)です.
(他にあったら教えてください.)
mathtod.online/media/6o5PZ_TcS mathtod.online/media/gBMAERzN4 mathtod.online/media/HAB8OpMg- mathtod.online/media/e2Aekhbno

二重根だけだと直線2本の2パターンは外せないか。

誰もキルミーネタに突っ込んでくれないので自爆しよ

>全額返金じゃなくて「桜の木の下に埋めてもらっても構わないよ」だったら完璧だった。

軸並行はないので、二重根より菱形に決まると思ったが違うかな。

試験なら四本掛けて元の式になったら終わりで、ならなかったら部分点狙いで次の問題行きます。

トトロの中国版ポスター良いなぁ。なんだろう? からのトトロかぁ!? の流れが美しい。タイトルの大きな猫目も洒落てる。

$x=0, y=0$で重根の式が出てくる時点で四点の菱形と分かるのか。かしこい。

全額返金じゃなくて「桜の木の下に埋めてもらっても構わないよ」だったら完璧だった。

$\mathbb{Z}/b\mathbb{Z}$における$g$倍作用の軌道の和と、$g$進表示の平均に、対応(等式)があると解釈すれば、なんか一般的なことが言えそうではある。

巡回群とか本質的に合同式だから小学生でも計算できるのに、これが一番分からないから困る。

パスタといえば切れ込みのある早茹でのものがあるが、あれは素晴らしいアイディアだとは思うがメインには向かないな。噛んだ感じが見かけより軽いので侘しくなる。サラダとかスープに入れるならまた違うのかもしれないが。

Show more
Mathtodon

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