黒木玄 Gen Kuroki
- いいね数 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 を見て下さい。
2021年03月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
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
And this is probably my new favourite way of visualising turbulence pic.twitter.com/dq7W943htW
タグ：
posted at 22:22:45
Google Colabで #Julia言語 を使えるようにしました。
自分のPCには、インストールする容量に余裕がないので。
添付のGIFアニメ（Lorenz attractor）は、オフィシャルサイトにあるサンプルコードをそのまま使いました。 pic.twitter.com/CiRKyo9sXn
タグ： Julia言語
posted at 22:15:23
so now I get completely relaxed, I don't care how much work is waiting for me :P
タグ：
posted at 22:03:43
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
Blame twitter for the bad video quality, this is what it should look like pic.twitter.com/P70VweqUaD
タグ：
posted at 21:17:01
And a slightly more artistic impression of the same simulation 🎨 pic.twitter.com/2lrUeoGOIy
タグ：
posted at 20:35:07
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
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
posted at 20:30:44
4枚のコインを4人に、の場合は、全ての場合の数を簡単に列挙できて、それぞれの場合の数を横軸にとるとたった4枚なのに等重率の原理が現れることがわかる。結局0である状態が多いから0枚になっている時間が長いことがわかる pic.twitter.com/ndaqo4T4Z4
タグ：
posted at 18:37:04
「大沢流手づくり統計力学」の
1. 30枚コインを6人にサイコロを振って分配する
2. サイコロを2個振り、1個目の人が2個目の人にコインを1枚上げる
3. これを300回繰り返す
というゲームを100回やる
コインの枚数の分布を調べる
をJuliaでやってみた。大多数の貧乏人と少数の大金持ちという分布が出る pic.twitter.com/U8tzLAyg4Z
タグ：
posted at 18:34:59
DataFrame, R でも Python でも Julia でも使えて、便利なんだけどなぁ(´・ω・｀)
列内の内容を条件で採番してグルーピングして中央値計算してグラフ化するの、1行で済むのに。
タグ：
posted at 16:33:46
mikiotaniguchi.com/main/2/k2_120i... には他にも添付画像のような言い方の問題もあった。
「～がxに関する恒等式であるとき～である(穴埋め)」だけではなく、「等式～をみたす～は～である(穴埋め)」もあるんですね。
このようなケースでの「恒等式」や「等式」という言い方は相当に曖昧な感じがします。 pic.twitter.com/xQc0SiVhk8
タグ：
posted at 15:01:17
おお！ありがとうございます。自力では1つも発見できて無かった。
mikiotaniguchi.com/main/2/k2_120i... twitter.com/mathmathpiyopi... pic.twitter.com/hhSJYWPtJn
タグ：
posted at 14:56:42
Mark Kittisopikul ht @markkitti
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
先の発言を
「例えば『x=0を代入して』を『x→0の極限を取ると』に書き直せば減点されずにすむ」
のように解釈して広める人が出てくると、私はめちゃくちゃ困る。
実際の大学入試での答案でそういうのが続出するようになるのは本当に怖い。
数学的に非本質的な所での小手先の工夫はよくないです。 twitter.com/f_sei/status/1...
タグ：
posted at 12:56:56
等式①が多項式の等式とみなせることを経由する解説を希望なのかもしれませんが、仮に等式①の両辺を定義域が{x∈ℝ|x≠0,-1,-2}の函数とみなしたとしても、x→0,-1,-2の極限はxに0, -1, -2を代入したものに等しくなるので、多項式が出て来ずに、函数しか出て来ない経路をたどることも容易です。 twitter.com/f_sei/status/1...
タグ：
posted at 12:51:17
「これで正しい値が得られる理由を説明した動画」では、ラグランジュ補間の一般的な公式まで説明してくれると(大して難しくない)、それを見た人は受験勉強を通して真に役に立つ数学的道具の1つを手に入れることができる。
タグ：
posted at 12:31:30
清さんには悪いが、わざとつまらない書き間違えを含むバージョンもRTしてしまった。
非本質的な所で非常につまらない誤りを犯すことは数学をやっている人達には共通して見られる特徴の一つだと思う。
タグ：
posted at 12:28:01
検索したら、清さんはすでに去年の9月に話題にしていた。
問題文に、高校の教科書のように「恒等式」と書かれていない点から、注意深く問題文を作っていることが分かる。
さらに、「これで正しい値が得られる理由を説明した動画がほしい」と書いてあって、私と意見が似ていることがよく分かる。 twitter.com/f_sei/status/1...
タグ：
posted at 12:23:41
以上の準備をもとにこういう「嫌み」を言っておきたい！
教科書にある因数定理の証明も減点した方がいいんじゃない？
この手の話題で減点したりしなかったりすることの根拠として高校の教科書を引用した人達は、数学がどういう分野であるかについてひどく誤解していると思う。
タグ：
posted at 12:00:50
高校生向けの教科書に限らず、大学生向けの教科書(しかも理学部数学科向けの教科書)であっても、雑に書いた部分が皆無の教科書など書けないと思います。
仮に雑な部分が皆無な教科書を書けたとしても学生にとって親切な教科書になりそうもない。
だから私はある程度雑なのは仕方がないと言いたい。
タグ：
posted at 11:50:44
要するに高校の数学の教科書にある剰余定理を使った因数定理の証明には、代入操作が環準同型写像になっていることを実質的に使っているとみなせるのです。
すぐに「減点」とか言い出す前に以上で述べたようなことを教える側が理解しておいた方がよいと思います。
タグ：
posted at 11:47:21
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
例えば、体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
例の続き。さらに、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
大学入試の採点において（「出題において」でないことに注意）現行の高校教科書の記述に配慮することは公平性の観点から好ましくない行為です。高校卒業見込み者を他の属性の受験生よりも優遇することだからです。
タグ：
posted at 10:48:11
今頃になってこんなアンケートがされていたことに気付きました。
「大学の先生」が随分たくさんいますね(笑)
大学入試問題で、有理式について「恒等式」と言っているそのタイプの問題の例を知っている人がいたら教えて下さい。 twitter.com/f_sei/status/1...
タグ：
posted at 10:38:18
教科書は正しいので読解力があれば自学自習できる
と新井紀子さんは提言してます
危険な話だと思います
2017.6.2 新井紀子
「教科書が読めれば参考書で勉強ができる。教科書がありさえすれば大学に行っても会社に行ってもAIに勝ち続けることができる」
resemom.jp/article/2017/0... twitter.com/genkuroki/stat...
タグ：
posted at 09:52:54
「アジア人へのヘイトについて語る事は他の人種問題を軽んじるものではない。 これはゼロ・サムゲームではない。 二分法による思考をやめよう」（大意超訳）
theundefeated.com/features/two-w... pic.twitter.com/U0JIedFzyy
タグ：
posted at 07:53:49
「BLMに対して、all lives matterとか言う連中は100%」、黒人の被害を扱うな、と言いたいだけだとじっちゃんが。
私の観測範囲では、「all lives matter でいいんじゃ？」「なんでだめ？」と言ってる人が黒人の事はどうでも良いとか言ってるのは見たことないが、しかしその逆のようなケースは… pic.twitter.com/RIk9gX3diV
タグ：
posted at 07:16:50
「asian lives matterも付け加えちゃうと、結局はall lives matterになって運動の意味がなくなってしまう」
「結局はall lives matterになって運動の意味がなくなってしまう」
🤔…
まぁ、いかにも「運動」と言えばそうなんだろうけども。 それにしても。 pic.twitter.com/IZChfIiqgD
タグ：
posted at 07:07:20
教科書が様々な事情によって雑に書かれていても、教える側が気を付けていれば、数学的に重要な事柄を理解することへの困難を減らすことができると思います。
逆に、教科書が雑に書かれていることを無視して高校生などの答案に機械的に冷たい態度を取ることは、ひどく有害だと思います。
タグ：
posted at 04:18:57
数学教育の話題なのに「採点基準」の話題にこだわることはひどく不健全で有害。
色々な事情で雑に書かれている高校の数学の教科書を引用して「だから答案で〇〇を無断で{使ってよい, 使ってはいけない}」と判断する行為は論外だと思います。
数学がそのような分野ではないことはとても大事。
タグ：
posted at 04:18:57
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
修士 (心理学) の人と「これなんで正規分布と仮定してるんですか？」って会話したら「人間の行動は正規分布になる！」と思考停止的に決めつけてて「えっ？？？」ってなった思い出……。
タグ：
posted at 02:07:21
Mark Kittisopikul ht @markkitti
@kisharrington @hanslovsky Inside every #JuliaLang binary there is a #FemtoLisp parser. Julia is secretly a Lisp minus the parentheses. twitter.com/JuliaLanguage/...
posted at 01:39:21
僕自身の考えについて言うと、放射能問題が始まってからいちばん大きな驚きは甲状腺検査の過剰診断で、過剰診断という言葉が一般に広まる前でまだ言葉が混乱していた頃だけど、僕もがんには早期発見・早期治療だと思い込んでいたので、甲状腺検査の問題が分かったときは180度方向転換しました
タグ：
posted at 01:31:22
