Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 389,756/311,170
  • フォロー 995 フォロワー 14,556 ツイート 293,980
  • 現在地 (^-^)/
  • Web https://genkuroki.github.io/documents/
  • 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
Favolog ホーム » @genkuroki » 2021年03月31日
並び順 : 新→古 | 古→新

2021年03月31日(水)

Milan Klöwer @milankloewer

21年3月31日

@jimjonquinn @Arm It's a shallow water simulation of a 4000x2000km basin at 2.8km resolution including coriolis, with a seasonally reversing wind. What looks weird about it?

タグ:

posted at 23:01:34

もふもふ動画 @tyomateee2

21年3月31日

体は大きいのにまるでぬいぐるみのような虎が可愛いpic.twitter.com/iY2J7uf39w

タグ:

posted at 22:30:27

Massimo @Rainmaker1973

21年3月31日

A mechanical demonstration of the chaos theory with the chaotic magnetic pendulum buff.ly/2qcaFfN | buff.ly/2S96AZb [source of the gif: buff.ly/2t1ouxL] pic.twitter.com/ZaLDmYxlmf

タグ:

posted at 22:30:12

Milan Klöwer @milankloewer

21年3月31日

And this is probably my new favourite way of visualising turbulence pic.twitter.com/dq7W943htW

タグ:

posted at 22:22:45

ハウゼン (Hausen) @hausenjapan

21年3月31日

Google Colabで #Julia言語 を使えるようにしました。
自分のPCには、インストールする容量に余裕がないので。
添付のGIFアニメ(Lorenz attractor)は、オフィシャルサイトにあるサンプルコードをそのまま使いました。 pic.twitter.com/CiRKyo9sXn

タグ: Julia言語

posted at 22:15:23

Shuhei Kadowaki @kdwkshh

21年3月31日

so now I get completely relaxed, I don't care how much work is waiting for me :P

タグ:

posted at 22:03:43

Shuhei Kadowaki @kdwkshh

21年3月31日

Just submitted my proposals for #JuliaCon2021 !

タグ: JuliaCon2021

posted at 22:01:36

Joe(y) Carpinelli @code_typed

21年3月31日

I absolutely love how interoperable #JuliaLang packages are. I’m working with comet ephemeris data for a homework assignment, and I need to interpolate between time values.

I typed “Julia interpolations” into Google, and was up and running with Interpolations.jl in 2 minutes 🚀

タグ: JuliaLang

posted at 21:37:52

Milan Klöwer @milankloewer

21年3月31日

Blame twitter for the bad video quality, this is what it should look like pic.twitter.com/P70VweqUaD

タグ:

posted at 21:17:01

すむーずぷりんちゃん @mat_der_D

21年3月31日

Julia のドット表記は神

タグ:

posted at 21:01:10

Milan Klöwer @milankloewer

21年3月31日

And a slightly more artistic impression of the same simulation 🎨 pic.twitter.com/2lrUeoGOIy

タグ:

posted at 20:35:07

Milan Klöwer @milankloewer

21年3月31日

One way to accelerate Earth-system simulations? ShallowWaters.jl here is a simplified model systematically rescaled to fit into the very limited range of Float16. Already submitted to @JuliaConOrg. @simonmcs @s_e_hatfield @fcrameri (your cmap!) @OxfordPhysics

タグ:

posted at 20:30:45

Milan Klöwer @milankloewer

21年3月31日

16 bit not enough? I doubt it! After 3yrs of emulation, we finally run simulations on real 16-bit hardware at 3.5x the speed! Everyting 👇in Float16 & #JuliaLang and run on Isambard's A64FX - the same @Arm processors that power the fastest supercomputer #Fugaku 🗻! pic.twitter.com/HszcTsRpFw

タグ: Fugaku JuliaLang

posted at 20:30:44

Yuki Nagai @cometscome_phys

21年3月31日

ある一人に着目すると、他の人は「熱浴」とみなせるので、要するにボルツマン分布(カノニカル分布)が実現する

タグ:

posted at 18:38:01

Yuki Nagai @cometscome_phys

21年3月31日

4枚のコインを4人に、の場合は、全ての場合の数を簡単に列挙できて、それぞれの場合の数を横軸にとるとたった4枚なのに等重率の原理が現れることがわかる。結局0である状態が多いから0枚になっている時間が長いことがわかる pic.twitter.com/ndaqo4T4Z4

タグ:

posted at 18:37:04

Yuki Nagai @cometscome_phys

21年3月31日

「大沢流手づくり統計力学」の
1. 30枚コインを6人にサイコロを振って分配する
2. サイコロを2個振り、1個目の人が2個目の人にコインを1枚上げる
3. これを300回繰り返す
というゲームを100回やる
コインの枚数の分布を調べる
をJuliaでやってみた。大多数の貧乏人と少数の大金持ちという分布が出る pic.twitter.com/U8tzLAyg4Z

タグ:

posted at 18:34:59

@Miyaran99

21年3月31日

DataFrame, R でも Python でも Julia でも使えて、便利なんだけどなぁ(´・ω・`)
列内の内容を条件で採番してグルーピングして中央値計算してグラフ化するの、1行で済むのに。

タグ:

posted at 16:33:46

バク @baku_reshi

21年3月31日

あと可能ならpythonとjuliaとR

タグ:

posted at 15:17:46

黒木玄 Gen Kuroki @genkuroki

21年3月31日

mikiotaniguchi.com/main/2/k2_120i... には他にも添付画像のような言い方の問題もあった。

「~がxに関する恒等式であるとき~である(穴埋め)」だけではなく、「等式~をみたす~は~である(穴埋め)」もあるんですね。

このようなケースでの「恒等式」や「等式」という言い方は相当に曖昧な感じがします。 pic.twitter.com/xQc0SiVhk8

タグ:

posted at 15:01:17

黒木玄 Gen Kuroki @genkuroki

21年3月31日

おお!ありがとうございます。自力では1つも発見できて無かった。

mikiotaniguchi.com/main/2/k2_120i... twitter.com/mathmathpiyopi... pic.twitter.com/hhSJYWPtJn

タグ:

posted at 14:56:42

Mark Kittisopikul ht @markkitti

21年3月31日

For context, I'm helping to maintain the JavaCall.jl package which allows Java to be accessed from Julia. I occasionally see people I know of from other parts of my life show up in the issues or pull requests there.
github.com/JuliaInterop/J...

タグ:

posted at 14:35:55

黒木玄 Gen Kuroki @genkuroki

21年3月31日

先の発言を

「例えば『x=0を代入して』を『x→0の極限を取ると』に書き直せば減点されずにすむ」

のように解釈して広める人が出てくると、私はめちゃくちゃ困る。

実際の大学入試での答案でそういうのが続出するようになるのは本当に怖い。

数学的に非本質的な所での小手先の工夫はよくないです。 twitter.com/f_sei/status/1...

タグ:

posted at 12:56:56

黒木玄 Gen Kuroki @genkuroki

21年3月31日

等式①が多項式の等式とみなせることを経由する解説を希望なのかもしれませんが、仮に等式①の両辺を定義域が{x∈ℝ|x≠0,-1,-2}の函数とみなしたとしても、x→0,-1,-2の極限はxに0, -1, -2を代入したものに等しくなるので、多項式が出て来ずに、函数しか出て来ない経路をたどることも容易です。 twitter.com/f_sei/status/1...

タグ:

posted at 12:51:17

黒木玄 Gen Kuroki @genkuroki

21年3月31日

「これで正しい値が得られる理由を説明した動画」では、ラグランジュ補間の一般的な公式まで説明してくれると(大して難しくない)、それを見た人は受験勉強を通して真に役に立つ数学的道具の1つを手に入れることができる。

タグ:

posted at 12:31:30

黒木玄 Gen Kuroki @genkuroki

21年3月31日

清さんには悪いが、わざとつまらない書き間違えを含むバージョンもRTしてしまった。

非本質的な所で非常につまらない誤りを犯すことは数学をやっている人達には共通して見られる特徴の一つだと思う。

タグ:

posted at 12:28:01

黒木玄 Gen Kuroki @genkuroki

21年3月31日

検索したら、清さんはすでに去年の9月に話題にしていた。

問題文に、高校の教科書のように「恒等式」と書かれていない点から、注意深く問題文を作っていることが分かる。

さらに、「これで正しい値が得られる理由を説明した動画がほしい」と書いてあって、私と意見が似ていることがよく分かる。 twitter.com/f_sei/status/1...

タグ:

posted at 12:23:41

黒木玄 Gen Kuroki @genkuroki

21年3月31日

以上の準備をもとにこういう「嫌み」を言っておきたい!

 教科書にある因数定理の証明も減点した方がいいんじゃない?

この手の話題で減点したりしなかったりすることの根拠として高校の教科書を引用した人達は、数学がどういう分野であるかについてひどく誤解していると思う。

タグ:

posted at 12:00:50

黒木玄 Gen Kuroki @genkuroki

21年3月31日

高校生向けの教科書に限らず、大学生向けの教科書(しかも理学部数学科向けの教科書)であっても、雑に書いた部分が皆無の教科書など書けないと思います。

仮に雑な部分が皆無な教科書を書けたとしても学生にとって親切な教科書になりそうもない。

だから私はある程度雑なのは仕方がないと言いたい。

タグ:

posted at 11:50:44

黒木玄 Gen Kuroki @genkuroki

21年3月31日

要するに高校の数学の教科書にある剰余定理を使った因数定理の証明には、代入操作が環準同型写像になっていることを実質的に使っているとみなせるのです。

すぐに「減点」とか言い出す前に以上で述べたようなことを教える側が理解しておいた方がよいと思います。

タグ:

posted at 11:47:21

黒木玄 Gen Kuroki @genkuroki

21年3月31日

xにaを代入する操作が定める写像K[x]→Kをφ書いたとすると、f(x)=(x-a)g(x)+rの両辺のxにaを代入した結果は

φ(f(x))=φ((x-a)g(x)+r)

となり、左辺はφの定義よりf(a)になりますが、右辺を

φ((x-a)g(x)+r)=φ(x-a)φ(g(x))+φ(r)=(a-a)g(a)+r

と変形するときには、φの環準同型性を使います。続く

タグ:

posted at 11:43:04

黒木玄 Gen Kuroki @genkuroki

21年3月31日

例えば、体Kと多項式f(x)∈K[x]とa∈Kが与えられているとき、f(x)は

f(x)=(x-a)g(x)+r, g(x)∈K[x], r∈K

と一意に書けます。両辺のxにaを代入した結果を

f(a)=(a-a)g(a)+r

と書くときには暗黙のうちに代入の操作が環準同型(たし算とかけ算を保つこと)を使っています。続く

タグ:

posted at 11:43:03

黒木玄 Gen Kuroki @genkuroki

21年3月31日

どこまでも証明の細かいことを気にするなら、代入という操作が環の準同型写像になっていることも意識しないと厳密さに欠けた議論になります。

タグ:

posted at 11:43:03

黒木玄 Gen Kuroki @genkuroki

21年3月31日

例の続き。さらに、a∈Kとaと異なるα∈Lに対して、f(x)∈K[x, 1/(x-a)]をf(α)∈Lに対応させる写像K[x, 1/(x-a)]→Lもwell-definedな環準同型写像になっています。

x-a以外に可能な分母の種類を増やしても、同様にしてwell-definedな環準同型写像を「代入」という操作で作れます。

タグ:

posted at 11:33:32

非公開

タグ:

posted at xx:xx:xx

Hiroyasu Kamo @kamo_hiroyasu

21年3月31日

大学入試の採点において(「出題において」でないことに注意)現行の高校教科書の記述に配慮することは公平性の観点から好ましくない行為です。高校卒業見込み者を他の属性の受験生よりも優遇することだからです。

タグ:

posted at 10:48:11

黒木玄 Gen Kuroki @genkuroki

21年3月31日

今頃になってこんなアンケートがされていたことに気付きました。

「大学の先生」が随分たくさんいますね(笑)

大学入試問題で、有理式について「恒等式」と言っているそのタイプの問題の例を知っている人がいたら教えて下さい。 twitter.com/f_sei/status/1...

タグ:

posted at 10:38:18

富士見坂 @Te393098

21年3月31日

教科書は正しいので読解力があれば自学自習できる
と新井紀子さんは提言してます
危険な話だと思います

2017.6.2 新井紀子
「教科書が読めれば参考書で勉強ができる。教科書がありさえすれば大学に行っても会社に行ってもAIに勝ち続けることができる」
resemom.jp/article/2017/0... twitter.com/genkuroki/stat...

タグ:

posted at 09:52:54

@kuri_kurita

21年3月31日

「アジア人へのヘイトについて語る事は他の人種問題を軽んじるものではない。 これはゼロ・サムゲームではない。 二分法による思考をやめよう」(大意超訳)
theundefeated.com/features/two-w... pic.twitter.com/U0JIedFzyy

タグ:

posted at 07:53:49

@kuri_kurita

21年3月31日

@telepon9 ですよねぇ。

タグ:

posted at 07:17:13

@kuri_kurita

21年3月31日

「BLMに対して、all lives matterとか言う連中は100%」、黒人の被害を扱うな、と言いたいだけだとじっちゃんが。

私の観測範囲では、「all lives matter でいいんじゃ?」「なんでだめ?」と言ってる人が黒人の事はどうでも良いとか言ってるのは見たことないが、しかしその逆のようなケースは… pic.twitter.com/RIk9gX3diV

タグ:

posted at 07:16:50

てれ2おく @telepon9

21年3月31日

@kuri_kurita オールライブズマターで何がアカンのやw

タグ:

posted at 07:12:15

@kuri_kurita

21年3月31日

「asian lives matterも付け加えちゃうと、結局はall lives matterになって運動の意味がなくなってしまう」

「結局はall lives matterになって運動の意味がなくなってしまう」

🤔…

まぁ、いかにも「運動」と言えばそうなんだろうけども。 それにしても。 pic.twitter.com/IZChfIiqgD

タグ:

posted at 07:07:20

黒木玄 Gen Kuroki @genkuroki

21年3月31日

教科書が様々な事情によって雑に書かれていても、教える側が気を付けていれば、数学的に重要な事柄を理解することへの困難を減らすことができると思います。

逆に、教科書が雑に書かれていることを無視して高校生などの答案に機械的に冷たい態度を取ることは、ひどく有害だと思います。

タグ:

posted at 04:18:57

黒木玄 Gen Kuroki @genkuroki

21年3月31日

数学教育の話題なのに「採点基準」の話題にこだわることはひどく不健全で有害。

色々な事情で雑に書かれている高校の数学の教科書を引用して「だから答案で〇〇を無断で{使ってよい, 使ってはいけない}」と判断する行為は論外だと思います。

数学がそのような分野ではないことはとても大事。

タグ:

posted at 04:18:57

JuliaHub @JuliaHub_Inc

21年3月31日

Circuitscape in Julia: Empowering Dynamic Approaches to Connectivity Assessment. #Circuitscape is a widely used connectivity analysis tool developed by Brad McRae and @Viral_B_Shah. Click here for the paper www.mdpi.com/2073-445X/10/3...
#JuliaLang #conservation

タグ: Circuitscape conservation JuliaLang

posted at 03:33:03

非公開

タグ:

posted at xx:xx:xx

あなたの恋人ゆきの @yukinorm

21年3月31日

修士 (心理学) の人と「これなんで正規分布と仮定してるんですか?」って会話したら「人間の行動は正規分布になる!」と思考停止的に決めつけてて「えっ???」ってなった思い出……。

タグ:

posted at 02:07:21

Mark Kittisopikul ht @markkitti

21年3月31日

@kisharrington @hanslovsky Inside every #JuliaLang binary there is a #FemtoLisp parser. Julia is secretly a Lisp minus the parentheses. twitter.com/JuliaLanguage/...

タグ: FemtoLisp JuliaLang

posted at 01:39:21

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

21年3月31日

僕自身の考えについて言うと、放射能問題が始まってからいちばん大きな驚きは甲状腺検査の過剰診断で、過剰診断という言葉が一般に広まる前でまだ言葉が混乱していた頃だけど、僕もがんには早期発見・早期治療だと思い込んでいたので、甲状腺検査の問題が分かったときは180度方向転換しました

タグ:

posted at 01:31:22

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました