黒木玄 Gen Kuroki(@genkuroki)/2021年04月02日

たぶんこれ　kitayamamasatsumu.com/pet/

タグ：

posted at 23:42:28

Iwao KIMURA @iwaokimura

プログラマ「数学に出てくる数式の組版が複雑すぎでダメ」
数学者「組版が複雑すぎって $\int_0^\infty e^{-x^2}dx = \frac{\sqrt{\pi}}{2}$ とかのこと？」

タグ：

posted at 23:37:32

Hiroyasu Kamo @kamo_hiroyasu

1. 記述式は個別試験ですでにやっている。
2. 共通テストの規模で記述式のまともな採点は技術的に無理。

はい、解散。

タグ：

posted at 23:35:45

Hiroyasu Kamo @kamo_hiroyasu

Dr. Chris Rackauckas @ChrisRackauckas

教養とかリベラルアーツといったときに、なぜか数学や物理が除外されるのも不満です。 twitter.com/kale_aojiru/st...

タグ：

posted at 23:27:57

A nice write-up from the @MIT_CEE department describing the SafeBlues #sciml #julialang project using cellular-based simulations to generate real-time predictions of population statistics!

@ynazarathy twitter.com/MIT_CEE/status...

タグ： julialang sciml

posted at 23:27:07

むううみん @muuumin20

嬉しい限り twitter.com/yosymatu/statu...

タグ：

posted at 23:26:32

MIT CEE @MIT_CEE

Researchers developed a new scientific machine learning module that could provide real-time monitoring of COVID-19 transmission through a digital “virus” which spreads between smartphones via Bluetooth. #ML #COVID
cee.mit.edu/researchers-de...

タグ： COVID ML

posted at 23:19:00

岸政彦 @sociologbook

ごまふあざらし(GomahuAzaras @MathSorcerer

こないだ「猫用タワシ」という可愛らしいものを頂いたのでさっそくおはぎをこすって見たらめっちゃ気に入ったみたい

タワシでこすられる猫、尊い pic.twitter.com/gAPbYO6l9G

タグ：

posted at 23:17:00

#駆け出しあざらしを飼い主が応援する会

Node.js でサーバーを立ち上げてる．テンプレートは ejs を用いてる． pic.twitter.com/WdTfeaadwe

タグ：駆け出しあざらしを飼い主が応援する会

posted at 22:43:33

Atsushi Sakai @Atsushi_twi

ハガネの連勤術師 @hgn_no_otaku

SciPy.jl v0.1.1 has been released🎉 It includes some document and usage example improvements AtsushiSakai/SciPy.jl: Julia interface for SciPy github.com/AtsushiSakai/S...

タグ：

posted at 22:10:49

悪質マナー講師やめろ twitter.com/oyanochikara/s...

タグ：

posted at 21:29:17

チェシャ猫 @y_taka_23

よっしゃ、Go でライブラリ使わずフルスクラッチで 3D レンダラー書けたぞ！衝突判定が簡単な球面に反射と屈折を入れただけで、実装がそれほど複雑じゃない割には見栄えする画像ができた。とりあえず高校数学 2B が履修済みなら理解できる程度の理論しか使ってない。 pic.twitter.com/C2EsgBouus

タグ：

posted at 20:51:35

非公開

タグ：

posted at xx:xx:xx

こいなぎ @naginyan135

【ネット将棋とリアルの段位目安】
最近よくある質問として、
「ネット上でどうなれば初段なんですか？目安を教えてください」
というのがあります。

これに対し私は、
・24六段で初段、
・ウォーズ八段で初段
と答えています。

こいなぎ将棋教室では、県代表の子でも８級です。

タグ：

posted at 20:33:14

大森真 @yard_1957

この人がマスメディアから去ることは良かったと心底から思う．軽症・無症状の若年層が感染を拡大させるということに気づかない報道人は消えるべき twitter.com/samejimah/stat...

タグ：

posted at 20:23:14

Hiroyasu Kamo @kamo_hiroyasu

こういうのを不安商法と呼ぶのでしたっけ？ twitter.com/oyanochikara/s...

タグ：

posted at 20:04:35

もるてん @iitenki_moruten

あ〜る菊池誠(反緊縮)公式 @kikumaco

Juliaっていう新しい言語を始めてみるよ

タグ：

posted at 19:53:38

そりゃそうだろう。共通テストに記述式なんて、考えなくたって無理に決まってるわけで、そもそも議論の俎上に載せた時点でどうかしています。現実的なところに落ち着くのはいいことです。 twitter.com/mainichijpnews...

タグ：

posted at 19:49:50

Shuhei Kadowaki @kdwkshh

Let's change the game ! #julialang twitter.com/erikengheim/st...

タグ： julialang

posted at 19:26:01

美しき物理学bot @ST_phys_bot

3Dディスプレイファン

高速回転する扇風機型のLEDディスプレイに動画を映し、3D動画が投影できるプロジェクター。

ScienceTime Physics: 【物理おもちゃ】電磁気・光学編 st-phys.blogspot.com/p/blog-page_36... pic.twitter.com/lbfy1EzRrb

タグ：

posted at 19:09:25

非公開

タグ：

posted at xx:xx:xx

Yosymatu @Yosymatu

@genkuroki ありがとうございます！非常にわかりやすい解説でした。もともとschemeを書いていたこともあったので、そことの共通点が多いことがわかり、大変勉強になりました。

タグ：

posted at 18:31:57

じりおん @zillione

WebGL的なライブラリが各言語に欲しい(特にJulia)

タグ：

posted at 18:09:56

#数楽 ℝ上の多項式函数全体のなす環の中でも、x² は x で割り切れます。割った結果を x²/x と書きたい人も当然いるはずで、函数を函数で割っているのですが、割った結果得られる多項式函数の定義域からは0は当然除かれていません。

多項式ではなく、多項式函数でもこの手のことは同じ。

タグ：数楽

posted at 18:05:40

#数楽 (可換)環に置いて、aが零因子で無ければ、ab=ab'ならばb=b'となるので、a, cに対して ab = c を満たすbが存在するとき、c/aをbで定義できます。

以下のリンク先のC^∞函数

f(x) = (x>0のときexp(-1/x)、それ以外のとき0)

はC^∞函数全体のなす環の中で任意有限回xで割ることができる。 twitter.com/genkuroki/stat...

タグ：数楽

posted at 18:05:40

Massimo @Rainmaker1973

The city is alive: this site allows you to watch the dynamics of Manhattan's population, hour-by-hour: manpopex.us pic.twitter.com/OVZK3Hfaiq

タグ：

posted at 18:01:17

#Julia言語

f(x) = if x > 0 exp(-1/x) else zero(x) end

これは

f(x) = if x > 0
exp(-1/x)
else
zero(x)
end

のように改行を入れて書く方が普通かも。

改行を入れていないコードにセミコロン ; がないことにも注目。Juliaのパーサーはセミコロンの個数が必要最小限ですむような仕様。

タグ： Julia言語

posted at 17:53:45

#Julia言語

f(x) = if x > 0 exp(-1/x) else zero(x) end

はJuliaにおける合法的なコードです。Juliaを知らなくても、数学を知っていれば読めるはず。

zero(x)はxと同じ型の0です。Julia特有の「計算効率を上げたければ、型安定なコードを書け」という要求に従うためにそう書いています。

タグ： Julia言語

posted at 17:51:03

#Julia言語自動微分は、同一のコードを、値だけではなく、微係数も同時に計算できるようなnon-standardな解釈で実行する手続きです。そういう見方は明らかに自動微分以外に大幅に一般化可能。Julia界はそういう方向の技術を発展させようとしています。応援する価値有り。
www.stochasticlifestyle.com/generalizing-a...

タグ： Julia言語

posted at 17:43:56

#Julia言語 ForwardDiff.jl は実装が易しい場合の自動微分のパッケージ。

一般に函数の多段合成の微分の計算は本質的に行列の積になるのですが、行列のサイズによって、((AB)C)DとA(B(CD))で計算速度が大きく違う場合が出て来ます。そこも効率化可能だが実装は非常に面倒。専門的な話題になる。

タグ： Julia言語

posted at 17:37:29

#Julia言語

f(x) = if x > 0 exp(-1/x) else zero(x) end
g(x) = if x > 0 exp(-1/x)/x^2 else zero(x) end

using ForwardDiff
f′(x) = ForwardDiff.derivative(f, x)

のgとf′の値と計算速度の比較。

導函数の公式を私が入力したgとForward.derivativeで自動微分しているf′で計算速度はほぼ同じ。 pic.twitter.com/SM2dN1xhPh

タグ： Julia言語

posted at 17:32:45

#Julia言語

f(x) = if x > 0 exp(-1/x) else zero(x) end

using ForwardDiff
f′(x) = ForwardDiff.derivative(f, x)

のグラフ。最近では自動微分が普通で、数値的に微分を求めるときにも、導函数の公式を入力せずに、「正確に」かつ「効率良く」微係数を計算できます。

gist.github.com/genkuroki/ce92... pic.twitter.com/w1maWvCvlX

タグ： Julia言語

posted at 17:28:42

Kaihe Yamazaki @KaiheZak

すごい今更ですが @JuliaLanguage 始めました。去年11月にリリースされたvscodeのjupyter拡張機能が決め手。汎用性のPython・実行速度のJuliaと使い分けたい。 pic.twitter.com/QwbOPDFfD5

タグ：

posted at 17:25:05

#数楽 #Julia言語新学期の講義のためのC^∞級函数の例の準備で、

f(x) = if x > 0 exp(-1/x) else 0 end

のような函数を扱っている人もいるはず。

現時点で最もよく使われているFloat64型の浮動小数点数の精度では

exp(-1/0.001) == 0

は true になります❗️(笑)

こういうのもネタになりそう。 pic.twitter.com/sNWvFh6m2w

タグ： Julia言語数楽

posted at 17:22:42

積分定数 @sekibunnteisuu

#超算数
＞わり算で余りが出る場合、「７・・・２」と書いていたが、今は「７あまり２」と書く。

そうなの？誰が決めたの？ twitter.com/oyanochikara/s...

タグ：超算数

posted at 15:21:13

#Julia言語 Lispっぽい言語のコードをJuliaの通常のコードとして表示させると以下の添付画像のようになる。

Juliaの通常のコードは読み易い。

MetaUtils.jl はこういう「遊び」をするために設計されています。

最小二乗法は b = X \ y の1行で実行される。 pic.twitter.com/VMn9aPQ5OT

タグ： Julia言語

posted at 15:15:20

#Julia言語

Juliaは

Lispっぽい言語に
ユーザーフレンドリーな皮を被せたもの

ともみなせるのですが、マクロを自分で書くとき

Lispっぽい言語のコードを自動生成するプログラム

を書く必要がある。

添付画像ではLispっぽい言語で多項式回帰を書いて実行している。

github.com/genkuroki/Meta... pic.twitter.com/tR114REOzu

タグ： Julia言語

posted at 15:10:49

#Julia言語自分でMetaUtils.jlを書くまで、Juliaのマクロを自分で書くことをできませんでした。

まるで「鶏と卵」。数学的な複雑さがある程度以上のものの理解ではほぼ常に「鶏と卵」状態になる。

親子丼が実は大好物。

タグ： Julia言語

posted at 14:40:10

くそ暑い！汗だらだら。

冬の間に気付いたこと→寒い日に外出するときにはマスクをした方が暖かくてよい。

春→ちょっと暑いんじゃないか？

しかし、春のいい天気は非常によい！

タグ：

posted at 14:33:09

どちらもSchmidt-Nielsen博士の研究があるなぁとは認識してるのですがちょっとしっかり勉強してからまた。本Camel noseもまだ手に入れてないですし。ラクダの論文はこちら。Schmidt-Nielsen, K.+(1981). Desaturation of exhaled air in camels. twitter.com/katzkagaya/sta...

タグ：

posted at 13:50:36

でも、まずは目の前の仕事しましょうね

タグ：

posted at 13:45:11

これに薄～い色の薄～い生地を重ねたいのだけど、パール青系がいいのか、紫系がいいのか、それとも黄系か悩む～
よりイカっぽくするにはどうすればいいんだ

タグ：

posted at 13:44:29

@from_cloudysky スカーフは端っこの処理が面倒っぽくて･･･縫う距離が～　求む、スポンサー！

タグ：

posted at 13:38:27

酸素濃度圧力温度変化、強い波風（波の秒速20メートルはシャコパンチなみ）など激しすぎる環境で生物は豊かに存立できているのは、なぜか。 twitter.com/katzkagaya/sta...

タグ：

posted at 13:37:02

海鳥がどうやって水分を得ているか、ラクダがどうやって水分を失わないでいられるのか、面白い動物生理学の話題です。

タグ：

posted at 13:29:39

こちらの話題です。
twitter.com/teru_enoto/sta...

タグ：

posted at 13:26:27

Iwao KIMURA @iwaokimura

プログラマ「数学に出てくる変数が1文字なのがダメ」
数学者「変数が一文字って $\mathbf{x}$ とかのこと？」

タグ：

posted at 12:58:57

#Julia言語イメージを得るためには、

e = :(x = 1 + 2)
dump(e)

とかしてみるとよいです。dumpの結果は見難いですが、情報がフルに入っている。見易く気軽に表示したければ、MetaUtils.jl を使えばよい。 pic.twitter.com/j3egYqRxuC

タグ： Julia言語

posted at 12:50:55

#Julia言語マクロは難しいです。Symbol型とExpr型がどう使われているかのイメージがないとつらい。そこでイメージを得るためのパッケージを作って以下の場所で公開しています。

github.com/genkuroki/Meta...
↓
github.com/genkuroki/Meta...

AbstractTrees.jlが神。それを使ってExprをツリー表示。 twitter.com/yosymatu/statu... pic.twitter.com/0FgAjfiYNO

タグ： Julia言語

posted at 12:44:45

ライブドアニュース @livedoornews

これでシュシュを作りたいんだが色々詰み詰みだ！
みんなオラに気力と時間を分けてくれ！

タグ：

posted at 12:23:22

【熱い】TVアニメ『BLACK LAGOON』第1＆2期、YouTubeにて無料配信！
news.livedoor.com/article/detail...

広江礼威氏による原作漫画の開始から20周年を記念した企画。3月31日から9月8日にかけ順次配信されていく。 pic.twitter.com/jkabbjnfOM

タグ：

posted at 11:55:11

日本評論社 @nippyo

医学系だけではなく、理学、工学、社会科学系の人にも数理疫学のトレーニングを受ける機会を提供したいとの考えも。
#西浦博教授が多くを執筆し、理論疫学を中心に感染症の数理を紹介した『数学セミナー』2020年9月号もご一読ください。
www.nippyo.co.jp/shop/magazine/... pic.twitter.com/jPX2cJPFKN

タグ：西浦博

posted at 11:43:25

日本評論社 @nippyo

今朝4月2日の #朝日新聞オピニオン面は、#感染症疫学の #西浦博・京都大学教授のインタビュー記事「コロナ下の政治と科学」を掲載。
第3波では分析に徹して、国民世論に呼びかけることは控えるつもりであった教授はなぜ考えを変えたのか。聞き手はシニアエディター・ #尾沢智史氏。 pic.twitter.com/qqWvioTlkX

タグ：尾沢智史感染症疫学朝日新聞西浦博

posted at 11:25:31

水がそもそも少ないところで生き抜くにはまず持ってる水分を失わないようにしているかな。呼吸などで失われる。水を見つけると言って思い出すのはハリガネムシに操作され水にダイブするコオロギが感覚系をどう変えられてるのかてやつ。最近研究の更新が気になる。

タグ：

posted at 10:41:41

みんな、おはよう!
これはたった今届いた、お洒落な水玉模様の…と思いきや実は先日勢いで作っだイカの色素胞柄の生地🦑 pic.twitter.com/rRapygXRbl

タグ：

posted at 09:56:09

ClaraKeene @clarakeene

twitter.com/Noboru_Hagino/...
さっきRTした西浦教授インタビューでも同じこと言ってた。第1波の混乱期の方がまだ専門家の声が政府中枢にも届いてた、最近は官僚が忖度して上に上げる情報を選別するようになってしまったと。

タグ：

posted at 09:03:23

Yosymatu @Yosymatu

こちらが続編
muuuminsan.hatenablog.com/entry/2020/10/...

タグ：

posted at 08:43:04

Yosymatu @Yosymatu

juliaのマクロについて全くわからん状態だったので、大変良くわかる記事だった
muuuminsan.hatenablog.com/entry/2020/10/...

タグ：

posted at 08:40:51

#Julia言語 π のように文脈ごとに精度が変わる定数をユーザーは自由に作れます。

github.com/JuliaLang/juli... pic.twitter.com/pixtkEJ6gS

タグ： Julia言語

posted at 03:01:29

#Julia言語

さすがに 1783366216531/567663097408 == π は false になります。

1π は 1 * π と等価。

Julia での π は文脈によって精度が可変の円周率の近似値のように振る舞います。Int64 の 1 と π をかけると多重ディスパッチを経由して、1.0 * (Float64に変換されたπ) が計算される。

タグ： Julia言語

posted at 02:56:39

#数楽数学動画は全力でRTしたい。

ついさっきRTした動画たちは #Julia言語の Plots.jl パッケージのアニメ作成マクロの使い方に慣れていれば容易に作れると思います。

Jupyterノートブックの形式で公開すれば、数学アニメ作成用のコードと数学アニメーションそのものをまとめて公開できる。

タグ： Julia言語数楽

posted at 02:50:08

#JuliaLang

1783366216531/567663097408 is equal to 1π! twitter.com/mathigonorg/st... pic.twitter.com/fxMv0G1x3K

タグ： JuliaLang

posted at 02:42:29

増田聡 @smasuda

天むす名古屋 Temmus @temmusu_n

「お察し」という言葉をよく見る。翻訳すると「私はあえて言いません。でも皆さんこいつがダメなのは言わずもがな当然わかってますよね。私は皆さんとわかってる仲間ですがわかってないこいつはバカな非仲間なので弄んで良い」という意味になる。イジメですね。日本社会の一番クソな要素を濃縮した言葉

タグ：

posted at 00:33:56