Show more

個人的に集合クラスを何に使っているか例を紹介します。

集合クラス(なりなんなり)は、差集合を求めるのに使うと便利です。

集合クラス(なりなんなり)がないと、2つの配列を比べながらあるものを除いていくという繰り返し作業を手で書かないといけなかったりします。

具体的には、もう何年も動かしているフォロワの増減監視システムがあります。

時刻を $i=0,1,2,\ldots$ で離散的に表すとして、時刻 $i$ での僕の Twitter フォロワの集合を $F_i$ とします。

そうすると差集合 $F_i \setminus F_{i-1}$ が時刻 $i-1$ から $i$ までの間に新たにフォロウしてくれたアカウントの集合とわかります。

さらに反対の $F_{i-1} \setminus F_i$ を求めることで、その間にフォロウを外したアカウントがわかります。

僕はこれを1時間に何回か定期的に動かすことで何年もフォロワの増減を監視しています。

再びPythonです。add() を使って要素を追加したところです。既にある要素なので追加しようとしても変わりません。これが配列だと普通は末尾に追加されます。

Show thread

Pythonのsetは集合なので array と比べるといいかもしれません。
array (配列) は、例えば [ 1, 1, 2, 1, 3 ] というのは長さ $5$ の配列です。

集合としては { 1, 1, 2, 1, 3 } というのは { 1, 2, 3 }です。

和集合や共通部分も集合なのでこんな感じでできます。

どんなときも数学ダジャレにしてしまうというライフハック

過疎っている……?

かそ、かそ、……

仮想対象か! (virtual objects)

弊社のテレワークにおけるすべての非自明な案件の実務は期限までに $1/2$ ぐらい片付くだろう

_人人人人人人人人人人_
> サラリーマン予想 <
 ̄Y^Y^Y^Y^Y^Y^Y^Y^Y^ ̄

できました。最近新しいMastodon入門記事が無かったので書いちゃいました。かなりの長文になっています。
Fediverseオタクの皆様は是非Twitterなどで共有してくださると助かります 🙇 #Fediverse #Mastodon

Twitterに疲れたあなたへ!マストドンのススメ2020 ~自由な世界に参加しよう~ - ももつきのーと blog.yukiya.me/2020/05/15/join

TeXの数式がないときにはライブプレビューする必要がないのにいつでも出ていたのがいまいちだなあと思っていたと、述べておりましたのを作りました。

TeX形式で記述したときだけ出るようにしました。

動画はなぜかTwitterにアップ: twitter.com/NeXTSTEP2OSX/statu

Mastodon v3.1.4 (昨日リリース) を にマージしました。早い!

• Add separate cache directory for non-local uploads
• federated timeline で remote only ができるように

その他 github.com/tootsuite/mastodon/

そりゃそうとライブプレビューって何年も数式がないときには意味がないと思っていたので、どうにかしたいと思います。

参考動画: twitter.com/NeXTSTEP2OSX/statu

取り合えず、彼女を晒す

$\left\{\begin{array}{l}
n!\simeq\sqrt{2n\pi}\left(\dfrac{n}{e}\right)^n\\
n!\simeq\sqrt{2n\pi}\left(\dfrac{n}{e}\right)^n\left(1+\dfrac{1}{12n}\right)
\end{array}\right.$

下の方がより近いのだが、一目惚れしたのは前者です

これ、なんとMathJax使うときの Safe オプションを外しただけなんですよ〜〜〜なんのこっちゃ〜〜〜

github.com/Nyoho/mastodon/comm

Show thread

ちゃんとなおすので見捨てないで下さい〜〜〜(´༎ຶ∀༎ຶ)

Show thread

pollsのUIが変わったみたいなのでテスト

Show more
Mathtodon

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