Pinned Tweet
「nが大きいとき」の正体:Juliaで確かめる高校数学の統計的な推測|清水団
#JuliaLang 今回は有料のBookとなります。サンプルを見て気に入っていただけたら購入していただきたいです。
zenn.dev/dannchu/books/stati… #zenn
互除法を考えると
(n,n+1)=(n,1)=1
ですが、内容としては同じことを説明しているのではないでしょうか。
(※ネタ解答)
以下の解答、皆なら何点をつけるか?(10点満点)
自分が採点官になったつもりで採点してみて欲しい。
問題。
nを正の整数とするとき、nと(n+1)は互いに素である事を示せ
解答。
例えば、2の倍数は2,4,6,8...のように、整数を2つ進むごとに現れる。
そのため、異なる2つの整数がともに2の倍数であるには、その2数の「差は2以上」でなければならない。
同様に、pを2以上の整数として、異なる2つの整数がともにpの倍数であるには、その2数の「差はp以上」でなければならない。
この事を踏まえて考えると、2つの正の整数nと(n+1)は、その差が1しかないため、
さすがに互いに素である。
証明終。
清水 団 Dan Shimizu retweeted
(※ネタ解答)
以下の解答、皆なら何点をつけるか?(10点満点)
自分が採点官になったつもりで採点してみて欲しい。
問題。
nを正の整数とするとき、nと(n+1)は互いに素である事を示せ
解答。
例えば、2の倍数は2,4,6,8...のように、整数を2つ進むごとに現れる。
そのため、異なる2つの整数がともに2の倍数であるには、その2数の「差は2以上」でなければならない。
同様に、pを2以上の整数として、異なる2つの整数がともにpの倍数であるには、その2数の「差はp以上」でなければならない。
この事を踏まえて考えると、2つの正の整数nと(n+1)は、その差が1しかないため、
さすがに互いに素である。
証明終。
清水 団 Dan Shimizu retweeted
「こんなに計算しても循環しないならさすがに循環しないだろ」って考えも意外と馬鹿にできません。
例えば、満たす代数方程式が分かっている代数的数は特定の有限桁の範囲で循環しなければ無理数だと厳密に証明できます。
tan1°はモニックℤ係数多項式の根なので実は小数第2位の時点で既に無理数確定
清水 団 Dan Shimizu retweeted
🔴🟢🟣 🔵Metaheuristics.jl is now compatible with JuMP!
- Congrats @_jmejia to make it real! 🎈
#JuliaLang
jmejia8.github.io/Metaheuris…
もうそんな時期ですね。(2度目)
去年は6本も記事書いてます。
今年も何か書きたいです。
アッ、Typstのアドベントカレンダーが発生しているぞ!😃
qiita.com/advent-calendar/20…
#Typst
清水 団 Dan Shimizu retweeted
アッ、Typstのアドベントカレンダーが発生しているぞ!😃
qiita.com/advent-calendar/20…
#Typst
清水 団 Dan Shimizu retweeted
Microsoft 365 Educationの見直し
2028年以降の契約更新などで、Office 365 A1や学生向け利用特典が終了へ
教育委員会・小中高校は、まず現行契約と更新日、児童生徒のライセンス、Teamsの利用状況、保存容量の棚卸しを年末からせねば・・・
新しい無料枠で授業・校務を継続できるか確認し、追加費用が必要なら予算化を進めるという必要も出てくるね
さぁ、google も規制を見直してきたし、無料でやれることを前提にしてきた日本の学校は相当キツくなるな
microsoft.com/en-us/licensin…
清水 団 Dan Shimizu retweeted
Muse君に昨日調べてもらったこと、一部間違ってることがわかったが黙っていたら、今日になって訂正してきた。
あと、Muse君はターミナルでlatexコマンド等を使うことはできないが、TeXShopなどのGUIなら使える。クラウド(VM)ではコマンド使えるが、TeX Live 2023のようだ
清水 団 Dan Shimizu retweeted
恥ずかしながら
「正規分布に従う確率変数X,Yが独立でなくても,分散がズレるだけで和X+Yは正規分布に従う.」
と思ってたけど,簡単な反例があった.
X〜N(0,1),Y:=-X
とすると,XもYも正規分布に従うけど,和X+Yは正規分布に従わない.
(誤植があったので再ポスト)
I've just released #glisp Canvas; it's the biggest update since 2020💥
- Directly manipulate a shape, and its code rewrites itself
- Incremental evaluation
- Non-destructive path ops: offset, unite, blend…
- Files are SVGs with the program inside
glisp.app/canvas/
清水 団 Dan Shimizu retweeted
共テ情報で出た(拡大解釈)。
Replying to @ysmemoirs @tooooottttteeee
Σ(x-x ᵢ) ²の最小値を与えるxはx ₁~x ₙの平均値
Σ|x-x ᵢ| の最小値を与えるxはx ₁~x ₙの中央値
損失関数を調べると、最頻値に対応するものもあります。
私自身はこの辺の相性から、「平均と分散」のセットなのかなと理解しています。
清水 団 Dan Shimizu retweeted
What's new in the Julia extension for VS Code — Sebastian Pfitzner
youtu.be/CgZXuZ5wb3g
以前こんなポストしてましたね。
まあ、損失関数との相性はありますがいろんなケースで計算してみるのも大事だと思います。
Replying to @ysmemoirs @tooooottttteeee
Σ(x-x ᵢ) ²の最小値を与えるxはx ₁~x ₙの平均値
Σ|x-x ᵢ| の最小値を与えるxはx ₁~x ₙの中央値
損失関数を調べると、最頻値に対応するものもあります。
私自身はこの辺の相性から、「平均と分散」のセットなのかなと理解しています。
清水 団 Dan Shimizu retweeted
Replying to @ysmemoirs @tooooottttteeee
Σ(x-x ᵢ) ²の最小値を与えるxはx ₁~x ₙの平均値
Σ|x-x ᵢ| の最小値を与えるxはx ₁~x ₙの中央値
損失関数を調べると、最頻値に対応するものもあります。
私自身はこの辺の相性から、「平均と分散」のセットなのかなと理解しています。























