$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

Twitterより
https://twitter.com/2019_Seren/status/1153293377879756800

自然数 $n$ に対して
\[
\sqrt{{1250}^2+n^3}
\]
が整数のとき $n$ は何でしょうか。

数学の力でダークエネルギを減らしたい……

おもしろそう < Statistical ranking and combinatorial Hodge theory | SpringerLink https://link.springer.com/article/10.1007/s10107-010-0419-x

わしの $\mathscr{H}$ です。

[Haskell][math]トロピカルのでグラフ最短経路できるの知らだったー < 動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜 - Qiita https://qiita.com/lotz/items/094bffd77b24e37bf20e

Twitterでグリーンの定理がわからないみたいなのがあったので復習します。

$M$を向き付け可能な多様体で $\omega$ を $M$ の境界 $\partial M$ 上の微分形式とすると
\[
\int_M d\omega = \int_{\partial M}\omega
\]
だ。

よーし今から今開催中のAtCoderのabcやるぞー < AtCoder Beginner Contest 131 - AtCoder https://atcoder.jp/contests/abc131

#AtCoder のコンテストはみんなで一斉に時間内にやりますが、過去問はいつでも試せますので、是非みんなもやろうぜ

AtCoder、面白いです。できませんけど、面白いです。

コンテストは限られた時間でやるので、頭がよくて回転が速い人がたくさんいるんだなあと実感します。

それから、こういうプログラミングでは数学的な考え方がとても大事だと実感を持ってわかります。

E - Cell Distance
https://atcoder.jp/contests/abc127/tasks/abc127_e
これはあるコストの総和を求めますが、非常に大きくなるので $10^9 + 7$ で割ったあまりを提出するようになっています。

C - Best-of-(2n-1)
https://atcoder.jp/contests/m-solutions2019/tasks/m_solutions2019_c
は、期待値を有理数として求めて、それの表現として
その期待値を互いに素な整数 $P, Q$ を用いて $P/Q$ と表したときに
$RQ \equiv P \pmod 10^9 + 7$ となる $0 \leq R \leqq 10^9 + 6$ な整数を提出します。

C - Typical Stairs https://atcoder.jp/contests/abc129/tasks/abc129_c
これ階段を上る問題で、高校数学の組合せなんかの問題で出てくる考え方がいきなり使えます。

西武ライオンズのロゴの L は、わしが子供の頃は
\[\mathscr{L}\]
みたいな感じじゃったけど、今は
\[\mathbb{L}\]
みたいな感じなんじゃね。

6日前、誰にも気付かれることなく、Mathtodon に Mastodon v2.8.3 をマージしました。
#Mathtodon開発

最近競技プログラミングのサイト AtCoder をちょこちょこやっています。

いつも、愚直な方法では計算量が多すぎて指定時間をタイムアップしてしまうので、注意しないと思っていたら、昨日の問題の C は、逆に全探索して大丈夫な問題でした。その見積もりをあらかじめやれるようになってないとだめだなあと思いました。

競技プログラミング、とても離散数学っぽい感じで面白いです。

AtCoder はこちら http://atcoder.jp

AtCoderの他にもたくさん競技プログラミングができるサイトがあります。

宣伝していかんといけんなー

勉強してみて、初等的な三角形とかの幾何学とか、屈折のところの物理から正弦関数だけ使ったりして、結構これは中高生が楽しめる題材だと思いました。

虹、環水平アーク、環天頂アーク、などなど。

唐突に「イマなまっ!」と言ってしまいました。RCC (中国放送) という広島ローカルのテレビ局の夕方の番組に4月から3週間に一度出していただいているんです。

そこで、「昨日実はこんな写真が撮れたんですけど〜」と言ったら岸さんが紹介して下さったんです! わーい!

今日の #イマなまっ! でわしが撮影した昨日の #環水平アーク の写真を岸さん(気象予報士)に使ってもらえました!
「すごくきれいに撮れている」と褒められました! iPhoneで撮ったものです。

ついでに、環水平アークの仕組みを勉強してみました。簡単な中学生の幾何学と、三角関数と、屈折の物理だけでちゃんと計算できました。

わしが撮影した写真: https://photos.app.goo.gl/zxhBpan7vtzMApGP8

Apéry-Fermi pencil という物理由来の図形にK3曲面が現れるらしいです。

[1804.04394] Apéry-Fermi pencil of $K3$-surfaces and their $2$-isogenies
https://arxiv.org/abs/1804.04394

その他の change log
https://github.com/tootsuite/mastodon/releases/tag/v2.8.0
#Mathtodon開発

MathtodonがMastodon 2.8.0までマージ完了〜! 平成のうちに最新の追いつけたー!

• pollがついたよー!

数式があるときにやっぱり横幅がしっかりあった方がいいですよね〜
って pawoo を見て思いました。