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年02月21日
並び順 : 新→古 | 古→新

2021年02月21日(日)

柿木 義一 @ykakinoki

21年2月21日

@tonabou_shogi この作品等、希に、長手数用では「不詰を改善」をオンにする必要があります。
また、短手数用でも解けます。公開する作品では、これらの条件でも余詰を調べた方がいいです。

タグ:

posted at 05:55:13

積分定数 @sekibunnteisuu

21年2月21日

ツイッターどころか、日本数学教育学会や数学教育協議会にたくさん存在する。 twitter.com/nekonyannyan82...

タグ:

posted at 07:22:19

ぬまち #疑わしきはバツせず @numachi11111

21年2月21日

しかし、算数の指導書、ほんとすごい内容だよな。
あれなら、まだ私が書いたほうがましだわ。

タグ:

posted at 08:28:38

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 返答や引用ツイートを見ると、これをテイラー・マクローリン展開そのものだと誤解している人が多いな。

マクローリン展開ならDS1, DS2が

-1/6=-0.16666…
1/120=0.0083333…

と6,3がずっと続くことになるのですが、そうなっていない。

マクローリン展開そのものだと精度的に損。 twitter.com/atsushi_twi/st...

タグ: Julia言語

posted at 09:53:52

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 #数楽

浮動小数点数の mod 2π での剰余を求めるのは非常に大変。

Juliaではそのためのコードが別ファイルになっていて、非常に複雑。

rem_pio2_kernel(x::Union{Float32, Float64}) はxをπ/2で割った剰余とxを2πで割った剰余がその何倍かを計算。

github.com/JuliaLang/juli... twitter.com/mkashi/status/... pic.twitter.com/bcSNyvuWTx

タグ: Julia言語 数楽

posted at 10:01:07

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 mod 2π の浮動小数点数での計算は大変なので sin(x) の実装は大変。

sin(πx) ならば圧倒的に楽。

Juliaのtrig.jlではsinpi(x)も定義されています。

sin(2πx) を計算したい場合にはJuliaでは sinpi(2x) と書いた方がお得です。sin(2πpx) なら sinpi(2p*x)

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

タグ: Julia言語

posted at 10:08:49

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語

Julia界では「初等及び特殊函数をpure Juliaで実装しておくことには自動微分でメリットがある」とよく言われています(した)。

現実のメリット→既存のライブラリをJulia版で置き換えると計算速度が上がることが多いのと、Julia界は数学強者が多いので、だったらJuliaで書いちゃえと。

タグ: Julia言語

posted at 10:13:56

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語

Juliaに限らず、特殊函数や高速フーリエ変換などのコードをどのように書くべきか(生成するべきか!)については、

m.youtube.com/watch?v=mSgXWp...
JuliaCon 2019 | Keynote: Professor Steven G. Johnson

を視聴するとよいです。これ、何度も勧めているのですが、めちゃくちゃ面白いです。

タグ: Julia言語

posted at 10:26:26

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 Juliaの周辺の情報をあさると数学の勉強になってしまうことがよくあります。

高速計算の話題ではすぐにSIMDやコンパイラによる最適化などの話題にしたがる人が多いのですが、上で紹介したSteven G. Johnsonさんは全然違います。 pic.twitter.com/UdkTigMVoc

タグ: Julia言語

posted at 10:26:27

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 JuliaConでの講演なのでJuliaも話題に。

pure Juliaで書き直したerfinv函数はSciPyで使われているFortranライブラリよりも2~3倍速いらしい。

これを「Juliaのコンパイラの最適化がすごいのか?」のように解釈しちゃダメです。Johnsonさんはもっと普遍的な方法の解説をしています。 pic.twitter.com/66bRtl5KYk

タグ: Julia言語

posted at 10:34:30

Maple @KarinandMiki

21年2月21日

うちの息子も同じようなことがあった。先生の採点ミスだと思い次の日確認させたところ、「やっぱり間違っているんだって」って悲しそうに戻ってきた。
そこで教科書を確認し「掛け算の順番」で不正解にされたことに気が付いた。小2の算数でどっちが「主」なのか考えることがそんなに重要なのか。 twitter.com/NoriHiDe_engek...

タグ:

posted at 10:34:36

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 erfinv函数は正規分布を扱うときには必須の基本特殊函数です。そういう基本特殊函数の普及しているライブラリが採用しているアルゴリズムは十分に最適化されていないっぽい。

そういうことがJuliaで特殊函数を実装し直すことによって判明してしまったわけです。

タグ: Julia言語

posted at 10:37:00

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 SpecialFunctions.jlのerfinvのコード

こちらでは多項式近似ではなく、有理函数近似が使われています。

Horner法で分子分母の多項式を効率よく計算している。

この方法はJulia以外の言語でもほとんどそのまま使えます。

github.com/JuliaMath/Spec... pic.twitter.com/3qMa1YYmoM

タグ: Julia言語

posted at 10:42:47

kashi @mkashi

21年2月21日

Juliaの三角関数だけど、結局double専用なんだな。Juliaなら、「加減乗除と平方根が実装された数値型を引数に与えると、その型の持つ精度にふさわしい精度で結果を計算してくれる」数学関数が作れないものか。

タグ:

posted at 10:46:34

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 SGJさんはMITでの講義で指数積分函数E₁(z)の実装を宿題で出しています。その模範解答(Julia v0.6版)が

nbviewer.jupyter.org/github/steveng...
(↑これも非常に面白い!)

にあり、Julia v1でも動くようにしたものが

nbviewer.jupyter.org/gist/genkuroki...

にある。あるFortranライブラリの5~6倍の速さ!

タグ: Julia言語

posted at 10:52:38

kashi @mkashi

21年2月21日

こういうのがあれば、例えばdouble-doubleで加減乗除と平方根を実装すれば、すぐに数学関数も使えるようになるのに。いろんな数値計算アルゴリズムがdoubleに過剰適応した結果、double以外の精度の環境整備が進みづらい状況が発生しているように見える。

タグ:

posted at 10:53:34

黒木玄 Gen Kuroki @genkuroki

21年2月21日

既存の基本特殊函数ライブラリの最適化が不十分であることは、 #Julia言語 について調べた人が気付いてしまう驚くべき事実の一つだと思います。

誰かCでも使えるような(ゆえにほとんどの環境で使えるような)、爆速の基本特殊函数ライブラリを書くべきだと思います。

タグ: Julia言語

posted at 10:56:25

黒木玄 Gen Kuroki @genkuroki

21年2月21日

例えばベイズ統計関連の数値計算(例えばMCMC法)では確率密度函数の対数の計算が膨大な回数繰り返されます。その計算では基本特殊函数が使われます。

仮にその部分が数倍高速化がすればMCMC法の計算も体感できるくらい速くなると思う。

基本特殊函数ライブラリの最適化は重要です。

タグ:

posted at 11:00:29

黒木玄 Gen Kuroki @genkuroki

21年2月21日

ただし、CやFortranで書かれた基本特殊函数ライブラリが十分に最適化されていなかったことには理由があると思う。

MITでの宿題の答え nbviewer.jupyter.org/github/steveng... を見ると、特殊函数のコードの最適化を気分よく行うためには、コードの自動生成(マクロ)、視覚化、その他諸々の道具が必須なことが分かる。

タグ:

posted at 11:05:30

dc1394 @dc1394

21年2月21日

#Julia言語 版のソースコードを追記しました。

できるだけ簡単にHartree-Fock法を解説してみる(C++17とJuliaのコード付き) qiita.com/dc1394/items/2... #Qiita @dc1394より

タグ: Julia言語 Qiita

posted at 11:19:21

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 #Julia言語 #統計 www.google.com/search?q=minim...
minimax polynomial approximation of sine を検索

「ミニマックス」は「最悪の(最大の)誤差を最小化するようにパラメータを調節すること」を意味しています。

統計的推測のミニマックスゲームの例↓ twitter.com/genkuroki/stat...

タグ: Julia言語 数楽 統計

posted at 11:33:18

黒木玄 Gen Kuroki @genkuroki

21年2月21日

最悪の場合の害を最小化すること(ミニマックス)は多くのゲームの基本。

例えば、相手が自分にとって最悪の手を指して来ても対応できるような手を探すことが将棋や囲碁の基本。

そういう考え方は最悪の誤差を最小化したい場面でも出て来る。

タグ:

posted at 11:37:07

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@eco_tetsu @mkashi Juliaなどの最近のプログラミング言語では、数値の概念も抽象化されていて、CPUなどのハードウェア依存の部分に直接触らなくても良くなっています。

Juliaについてなら、浮動小数点数のAbstractFloat型について理解した方がよいです。例えば eps(Float32) のような"API"について。

続く

タグ:

posted at 12:04:08

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@eco_tetsu @mkashi 最近話題のJuliaでの三角函数のコードを見ると特に "mod 2π" を扱う部分が64ビット浮動小数点数の仕様に密着した実装になっていて、全然抽象化("API"経由化)されていません。

他の浮動小数点数には全く対応できないコードになっている。続く

タグ:

posted at 12:07:38

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@eco_tetsu @mkashi 浮動小数点数の概念の抽象化が十分にされていて(基本的な函数の計算を適切に実装するために十分なAPIが整備されていて)、API経由で三角函数などの基本的な函数が十分な精度と十分な最適化でジェネリックに計算可能になっていた方が長期的には得だと思います。

タグ:

posted at 12:11:20

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@eco_tetsu @mkashi 浮動小数点数についてどれだけのAPIが用意されていれば、十分な精度と十分な最適化で、基本的な函数達が計算可能になるかは非自明な問題だと思うので、誰か研究実装して欲しいです。

タグ:

posted at 12:13:40

黒木玄 Gen Kuroki @genkuroki

21年2月21日

今まで数秒で計算できていたのに、精度を上げた途端に数十秒~数分の計算時間が必要になるのはかなり不快なので、①そういう犠牲を払う価値がある問題を扱うこと、②精度を上げたことによる速度的劣化を最小化することの2つが重要。最適化をちょっとサボるだけで計算速度は容易に1〜2桁下がる。 twitter.com/genkuroki/stat...

タグ:

posted at 12:18:25

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 では、実行時に、必要な精度が与えられたときに、その精度で効率よく計算できるコードを自動的に生成して、即時ネイティブコードにコンパイルして実行する、というようなことができます。

Juliaのような環境では、各精度ごとに最適化をダイナミックに行えるという利点があります。

タグ: Julia言語

posted at 12:21:53

黒木玄 Gen Kuroki @genkuroki

21年2月21日

以下のSGJさんの講演の最後の方では、与えられた諸々の状況に合わせてFFT(高速フーリエ変換)の効率的なコードが自動生成されるようにしておけば、ハードウェアに依存しないジェネリックで効率的なFFTのライブラリを作れるという話をしています(それがFFTW!)。続く

www.youtube.com/watch?v=mSgXWp... twitter.com/genkuroki/stat...

タグ:

posted at 12:32:45

黒木玄 Gen Kuroki @genkuroki

21年2月21日

それと同じような感じで、与えられた諸々の状況に合わせて初等および特殊函数の効率的なコードを自動生成する仕組みがあるべきだと思います。

FFT単体ではなく、沢山の函数を扱うことになるので、しんどい仕事になりそうですが。

タグ:

posted at 12:32:46

ルカリテ @lucalite_

21年2月21日

次第にpython使いましょうみたいな流れは出てきていてすでにjuliaでもソースコードはあると。 pic.twitter.com/OMmQx3Rlgo

タグ:

posted at 12:34:23

みゆき @miyuki_MathT

21年2月21日

酷い人は

「(算数は)定義とか論理じゃないので」

最初から全て間違ってる
それを噛み砕いて説明するのが仕事

「教育を論理で語ることがおかしい」

???

「辞書ではそうかもだけど指導書は○○なので」

指導書というこちらに見えないものを証拠に挙げるな

タグ:

posted at 12:36:59

黒木玄 Gen Kuroki @genkuroki

21年2月21日

その程度のことは #Julia言語 では実現済み(添付画像)。

64ビットのいつもの浮動小数点数の規格だけに特化されたコードを書くことに投資し続けることが、長期的に適切なやり方だとは思えない、という非常に穏健で普通の話をしているのだと私は思いました。 twitter.com/eco_tetsu/stat... pic.twitter.com/XZdg84LFGv

タグ: Julia言語

posted at 12:40:41

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 で sin(2πkx) を計算するコードを書くときには

sinpi(2k*x)

のように書いた方が精度的にも効率的にも得です。三角函数の引数にπがかけられている場合は多いので、覚えておく価値があります。

タグ: Julia言語

posted at 12:44:35

黒木玄 Gen Kuroki @genkuroki

21年2月21日

sinpiの #Julia言語 での実装のコード(添付画像①)はすでに紹介済み。

そのコードを見れば分かるように、sinpi(1/2)やsinpi(1/6)などを特別扱いして添付画像②のようになっているわけではないです。 twitter.com/eco_tetsu/stat... pic.twitter.com/jK8GOa2GhD

タグ: Julia言語

posted at 12:51:17

黒木玄 Gen Kuroki @genkuroki

21年2月21日

sinpiのコードはここで既出↓ twitter.com/genkuroki/stat...

タグ:

posted at 12:52:08

万博@盲学校マジック @bampaku

21年2月21日

積分定数さんがここ数年?とっている、SNSなどで超算数被害にあった報告をしている人に「気にするな」と声をかけるという作戦が、意外にも効果がある気がしてる。それまで教育界にあんなに直接訴えかけても何も響かなかったのに。

タグ:

posted at 12:54:32

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@eco_tetsu 「通じていない」と思っていること自体が問題だと私には見えます。

「適材適所」だと本当に思っていない反応に見えます。」

もっと穏健な態度でkashiさんの発言の価値を十分に認めた方が良いと思いました。

穏健さが足りな過ぎる。

タグ:

posted at 12:58:17

黒木玄 Gen Kuroki @genkuroki

21年2月21日

超専門家で穏健で親切でいつも面白いネタを雑談でしてくれるkashiさんに対してするには不適切なコメントだったと私は思った。

このスレッドのさらにその先に見える様子に関する話題。

タグ:

posted at 13:08:52

黒木玄 Gen Kuroki @genkuroki

21年2月21日

不適切なコメントだと言うよりも、関連の面白そうな話題を振ることによって「有耶無耶」にしてしまおうと気を使ったのだが失敗。

まあでもしかし、「有耶無耶」にできなくても、有益な情報を拡散できればうれしい。

タグ:

posted at 13:13:29

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 私も同感。

バツのされたことにも問題はあるのですが、仮にバツにされずにマルをつけてくれていて、チョー算数を自分ちの子に反感を買わないように上手に教え込まれる方が怖いので、「バツをつけてもらってラッキーだった。気にする必要はない」と言うのは十分に理に適ったことだと思います。 twitter.com/bampaku/status...

タグ: 超算数

posted at 13:26:14

むううみん @muuumin20

21年2月21日

これはとてもいいこと。学生の頃に数値計算をしていたときは、アルゴリズム的最適化は興味があったけど、コンパイラの評価順がどうとか、レジスタがどうのとか言われたら正直知りたくもなかった。上手いことやっといてちょ、と。今は面白いと感じるけど、当時は他に勉強すべきことも山ほどあったし。 twitter.com/genkuroki/stat...

タグ:

posted at 13:36:52

むううみん @muuumin20

21年2月21日

コンピュータは所詮はツールなので、ユーザーが本業に最大限集中できる言語というのは非常に重要。これまでの言語の進化はコンピュータ上でのモデル構築を支援する機能が拡張される一方、計算速度はおざなりにされる傾向があったが、Juliaはそれを覆した。これは素晴らしい進化だと思う。

タグ:

posted at 13:42:56

黒木玄 Gen Kuroki @genkuroki

21年2月21日

初等函数の範囲内でもFloat64に特化されたコードは多くの場合に使われています。それらをどのようにより一般的な場合に拡張するかは非自明な問題。

添付画像は

log x - x + 1

を計算するための #Julia言語 StatsFuns.jlのコード。logとは別に log x - x + 1 が実装。

github.com/JuliaStats/Sta... pic.twitter.com/tefAC9XJgs

タグ: Julia言語

posted at 13:58:21

Ryotatsu Yanagimoto @yanagimotor

21年2月21日

これは知らなかった! twitter.com/genkuroki/stat...

タグ:

posted at 13:59:51

G-19 @dorataco

21年2月21日

♟️サイコロ本体をチェスの駒として使用するチェス用ダイスの草案イメージです。
🎲チェス用ダイスならではの特別ルールも考え中🤔
dorataco.com
#chess #ドラタコ #dorataco #dice #ダイス #サイコロ #diceshop pic.twitter.com/PWJI5uCn44

タグ: chess dice diceshop dorataco サイコロ ダイス ドラタコ

posted at 14:07:20

黒木玄 Gen Kuroki @genkuroki

21年2月21日

初等函数に限っても、実用的には、非常に細かないバリエーションが必要だという問題があって、一筋縄で行かない。

cos, sin, exp, log の類だけならシンプルだが、log(1 + x) や log(x) - x + 1 の類も別に必要だと知ると結構怖い。

タグ:

posted at 14:08:36

黒木玄 Gen Kuroki @genkuroki

21年2月21日

リンク先での引用の言葉を借りれば、

* 初等函数や特殊函数のライブラリは特に64ビット浮動小数点数に完全に特化しているものが多くて、usability & generality の点で問題があるのではないか

という話。

そのせいで我々は「精度はFloat64が普通」のような思い込みに縛られているのではないか? twitter.com/genkuroki/stat...

タグ:

posted at 14:23:23

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数

「(算数は)定義とか論理じゃないので」のようなことを、100年以上の伝統を持つ非常識な算数教育の伝統に沿って言う人達は基本的に嘘つき。

例えば、小2算数教科書での長方形と正方形の定義は非常に正確で小2の子にも「正方形は長方形の特別な場合であること」が分かるようになっています。 twitter.com/miyuki_matht/s... pic.twitter.com/EW4n9sez6H

タグ: 超算数

posted at 14:49:39

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 長方形と正方形については、すでに小2算数教科書に正確な定義が噛み砕かれた形式で載っているのに、ちょー算数の伝統に則って算数の教え方を指南する人達が、小学校の先生達をおかしな方向に誘導している。

ちょー算数信者の発言は大体において全部「嘘」だと思っておく方がよいです。

タグ: 超算数

posted at 14:49:40

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 小2の子であっても、正方形を見せて、すべての角が直角かどうかを聞いてみて、全部直角だと答えた直後に、教科書にある長方形の定義を読ませて、その条件を満たしていることを確認させると、正方形も長方形の一種であることをすぐに理解できます。

教科書に書いてあるルールに従うだけ。 pic.twitter.com/8NZCG1qH92

タグ: 超算数

posted at 14:52:51

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 ちょー算数の末端の信者はすでに洗脳済みなので、「教科書に従わなければいけない」という発言と「正方形を長方形の特別な場合だと教えてはいけない」かのようなことを言うことが不整合であることに全く気付きません。

洗脳は我々一般人には購入不可の教科書のマニュアル本で行われている。

タグ: 超算数

posted at 14:59:14

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 算数の教科書出版社は、文科省の検定に出す算数の教科書とは別に、ちょー算数の伝統に沿って教科書を利用するためのマニュアル本(教師用指導書などと呼ばれる)を一般人購入不可のルールで出版しています。

そういう透明性のない有害な行為を算数の教科書出版社は伝統的に続けているのです。

タグ: 超算数

posted at 15:02:13

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 過去に遡って、教科書のマニュアル本が公開されて、誰もが問題のある部分のコピーを引用して批判できるようになれば、ちょー算数問題の全貌が明らかになり、問題の根本解決に近付く可能性があります。

私が知っている範囲内だけでも相当に非常識なことが書いてある。

タグ: 超算数

posted at 15:04:39

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 文科省の検定に出す教科書には、小2の子でも「正方形が長方形の特別な場合であること」が分かるような噛み砕いた素晴らしい説明を載せておいて、その裏では教科書のマニュアル本(指導書)では以下のリンク先のような曖昧な指示を先生達に出している。 twitter.com/sekibunnteisuu...

タグ: 超算数

posted at 15:10:42

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 「ザ・ちょー算数」ネタになっているかけ算順序についても、教科書出版社は検定教科書には載せていない順序指導の指示を一般人購入不可のマニュアル本を通して先生達に出しています。 twitter.com/genkuroki/stat...

タグ: 超算数

posted at 15:13:59

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 順序指導におけるパターンマッチ教育(←子供の正常な読解力を破壊する)のために、キーワードに下線を引かせる指示についても、一般人購入不可の教科書マニュアル本の方に書いてあります。

こういうのは本当にやめて欲しいです。 twitter.com/genkuroki/stat...

タグ: 超算数

posted at 15:18:39

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 パターンマッチ指導についてはリンク先も参照

小2の子の保護者達は、自分ちの子の算数の教科書のキーワードに下線が引いてあったり、自分ちの子が「ずつのついている数はかけ算の式で先に書くんだよ」のように言っていたりしないか確認した方が良いです。

放置しておくと大変なことに😭 twitter.com/genkuroki/stat...

タグ: 超算数

posted at 15:22:12

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 検定教科書も信用できない。小5の教科書では

* 0は偶数である。
* 0は2の倍数からは除く。

となっています。

算数教育の専門家も【5年生で倍数の学習をした子どもでも,偶数と2の倍数が同じだと思っている子どもはたくさんいます】と述べていたりする。

0はあらゆる数の倍数です。 twitter.com/genkuroki/stat... pic.twitter.com/q15SGAR6T0

タグ: 超算数

posted at 15:27:19

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 算数教育界では、0がすべての数の倍数であるという常識さえ知らない人が、0は偶数だが2の倍数ではないと教えることを一般教師達に指導しているのだ。

算数教育界では、非常識な考え方をしている人達の方が高い地位についていて権威がある。 twitter.com/genkuroki/stat...

タグ: 超算数

posted at 15:37:29

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#超算数 算数教育界では、非常識な考え方をしている人達の方が高い地位についていて権威があるという状況を放置したままで、教科担任制が実現すると、ちょー算数教育はさらに強化されると予想されます。

大変なことになる可能性があると思う。

タグ: 超算数

posted at 15:39:04

諸遊戯 @shoyugi

21年2月21日

掛け算順序論者はニセ科学の手口を真似してるよね😔どっちもどっちに見せて立証責任の転嫁したり、害の証拠をかき集めろみたいなリソース消費させて持論の弱さを誤魔化そうとしてる👀💨
AでもBでもいいものを一旦AのみBは駄目とする掛け順指導はそもそも異常な設計だから一方的に根拠いるんよ

タグ:

posted at 15:41:53

むううみん @muuumin20

21年2月21日

「Julia言語で入門するプログラミング」第8回を書きました。ようやく「かばう」が実装できました。ラムダ式、第一級関数、キーワード引数、オプショナル引数、オブザーバーパターンといった話題に触れています。
はてなブログに投稿しました #はてなブログ #Julia言語
Julia…
muuuminsan.hatenablog.com/entry/2021/02/...

タグ: Julia言語 はてなブログ

posted at 15:51:11

オレンジシャーベット @dcKEPi

21年2月21日

この係数を使ってプロットすると区間[0,pi/4]でのsin(x)とのずれは2.7*10^-18以下になるようだ。
普通のテイラー展開係数だと10^-14程度。
しかしこれはどう見つけてるんだろう…L2ノルムまたはL∞ノルムの最小化?

タグ:

posted at 16:10:03

Mうら @tchaikovsky1026

21年2月21日

@dcKEPi @genkuroki 最大誤差の最小化、つまりL∞ノルムの最小化だと思われる。
この係数をどうやって探すか知りたい。

タグ:

posted at 16:31:52

kashi @mkashi

21年2月21日

@tchaikovsky1026 @dcKEPi @genkuroki 使ってみたことはないですが、こんなソフトウェアがあるようです。チェビシェフ多項式の中から最良近似を探すRemez algorithmというのが使われているらしい? www.sollya.org

タグ:

posted at 16:54:47

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 私も知らないので、自分でテキトーにやってみました。

* チェビシェフ多項式のミニマックス性を使って、sin((π/4)x)の十分高次のマクローリン展開を区間[-1, 1]で最良近似する13次の多項式を数値的に求める。

* そこからsin(x)の近似多項式を作る。

gist.github.com/genkuroki/2f82... twitter.com/tchaikovsky102... pic.twitter.com/xJYf7lbE7k

タグ: 数楽

posted at 18:19:14

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 高次の多項式を低次の多項式で区間[-1,1]上のsupノルムの意味で最良近似するにはチェビシェフ多項式を使えます。

だから、原理的には、sin((π/4)x)を[-1,1]でものすごい精度で近似する多項式を高次のマクローリン展開で作って、低次の多項式で最良近似すれば欲しいものが得られます。

タグ: 数楽

posted at 18:24:33

Mうら @tchaikovsky1026

21年2月21日

@mkashi @dcKEPi @genkuroki おお、ありがとうございます!
Remez algorithmについても、勉強してみようと思います。

タグ:

posted at 18:28:12

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 チェビシェフ多項式を使った計算はBigFloatで遂行。

添付画像の上半分のグラフはそのようにして私が作った多項式函数の値とJuliaの例のsinの差の10^16倍のグラフです。ほぼ一致!

下半分のグラフは13次のマクローリン展開の場合です。x=π/4の近くで誤差が大きい

gist.github.com/genkuroki/2f82... pic.twitter.com/yxnph2eeI8

タグ: 数楽

posted at 18:28:18

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 #Julia言語

添付画像は上から順に

* BigFloat表示での私が求めた13次の近似多項式
* Juliaのtrig.jlにある係数
* Float64に変換した私が求めた13次の近似多項式
* Float64に変換した13次のマクローリン展開

Juliaのと私のでは結構値が違います。

gist.github.com/genkuroki/2f82... pic.twitter.com/gPg929m1Ju

タグ: Julia言語 数楽

posted at 18:32:16

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 #Julia言語

何も知らないので(チェビシェフ多項式は知っていた)、全部自分でテキトーにやってみた↓

gist.github.com/genkuroki/2f82...
sin(x)の13次の多項式による近似

結果的にJuliaのsinの値とほぼ同じ値を区間[0,π/4]上で計算できるようになりました。

自分でやってみると色々分かる。

タグ: Julia言語 数楽

posted at 18:38:54

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 以上の計算法はRemez法とは全然違う。

ja.wikipedia.org/wiki/Remez%E3%...
Remezのアルゴリズム

タグ: 数楽

posted at 18:48:13

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@lucalite_ #Julia言語 『経済セミナー』誌での連載

北尾早霧・砂川武貴・山田知明「定量的マクロ経済学と数値計算」

ではJuliaも使っています。

github.com/keizai-seminar...

ただし、古いパッケージで使えなくなっているものも使っているので以下のリンク先も参照。私の微修正が入っていて高速になっています。 twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 19:03:29

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽

#Julia言語 のtrig.jlにおけるsin(x)を近似する13次多項式と私が求めた13次多項式の係数がかなり違う理由:

* Juliaの側は最大相対誤差を最小化
* 私の側はsupノルムで測った最大絶対誤差を最小化

添付画像

① 絶対誤差
② 相対誤差

S(x)は私が求めたもので、sin_Float64はJuliaのやつ。 twitter.com/genkuroki/stat... pic.twitter.com/R5i7uvk9Fx

タグ: Julia言語 数楽

posted at 20:01:42

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 あまりにも違う答えが出て来たので悩みました。

最大相対誤差の最小化と最大絶対誤差(supノルムで測った距離)の最小化で、結果が違うのは当たり前でした。

でも、13次多項式によるsinの2つの近似の差はFloat64の精度では大したことないです。

タグ: 数楽

posted at 20:05:54

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#数楽 マクローリン展開をそのまま使うことの効率の悪さが印象的。同じ計算量で最悪の誤差が100倍以上悪化する。 twitter.com/genkuroki/stat...

タグ: 数楽

posted at 20:13:29

ふらいと(今西洋介)@小児科医・新生児科 @doctor_nw

21年2月21日

はたらく細胞にはまってる小学1年の次女。夕食団欒時に「さて問題です」というのでなぞなぞかな〜と思い聞くと「リンパ球の種類をゆってください。7つ」とまさかの口頭試問が始まった。意地で5つまで答えたが、記憶細胞と制御性T細胞が言えず。リアルに悔しいが、休日の家族団欒くらいゆったりしたい

タグ:

posted at 20:14:13

産婦人科医@成田市 @syutoken_sanka

21年2月21日

@doctor_nw 5つも言えません。すごい

タグ:

posted at 20:18:25

永井 @HNagai1108

21年2月21日

微分動的計画法をスクラッチで実装してから気づいたけど、既存の実装あるやんけ(しかもJulia)

タグ:

posted at 20:20:47

永井 @HNagai1108

21年2月21日

お馴染みの最急降下線が出てきたので、workしてるはず

タグ:

posted at 20:21:57

Dr. nhayashi @nhayashi1994

21年2月21日

予備審査,これ流すんじゃダメ?(ダメ)
www.youtube.com/watch?v=ZbVfah...

タグ:

posted at 20:24:13

Shuhei Kadowaki @kdwkshh

21年2月21日

昨日自分が参加してるOSSについて、早とちりしてバカなPRを作ったものの、全く理解が足りてなくて、他のメンテナから指摘をもらって早々にそのPRをcloseしたっていうことがあって、恥ずかしいなって思ってたんだけど、後から「心配ない、自分もこれで迷ったことある」みたいなfollow upをもらって

タグ:

posted at 21:01:19

Shuhei Kadowaki @kdwkshh

21年2月21日

だいぶ気持ちがホッとした、っていう出来事があった。
オンラインでしか繋がってないからこそこういう些細なことが記憶に残ったりするんだよね。

タグ:

posted at 21:01:19

非公開

タグ:

posted at xx:xx:xx

超越基底(佐藤陽花/エヤイヌニタㇰ/藍徽 @Distr_to_Yonder

21年2月21日

@anabanted どちらを使うかはチーム内の使用可能人数によるのかなと僕は思います(とはいえ僕は(特にDevPack内の場合は)高確率でJuliaで押し切っちゃいますが

タグ:

posted at 21:40:02

非公開

タグ:

posted at xx:xx:xx

むううみん @muuumin20

21年2月21日

「Julia言語で入門するプログラミング」
夕方に新しい記事書いてます
#Julia言語 twitter.com/muuumin20/stat...

タグ: Julia言語

posted at 22:04:37

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

積分定数 @sekibunnteisuu

21年2月21日

@musorami @meri_sugaku twitter.com/temmusu_n/stat...【教科書が宝石箱なら、教師用指導書は、その宝石を磨く上質のクロス】らしいですorz

タグ:

posted at 22:16:29

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@sekibunnteisuu @musorami @meri_sugaku #超算数 画像があるのでこっちのツイート使ってくださいなtwitter.com/temmusu_n/stat...

タグ: 超算数

posted at 22:18:59

非公開

タグ:

posted at xx:xx:xx

積分定数 @sekibunnteisuu

21年2月21日

@temmusu_n @musorami @meri_sugaku 楠博文氏、しょーもないこと書いていますね。

タグ:

posted at 22:25:20

永月弥生 @nagathuki

21年2月21日

抖音で見た花卷の巻き方は、この子の作り方!!!この子の使う玉米がないんで小麦粉。
めちゃくちゃ手際良いし参考になる料理人さんなので、何種類かお手本にいたしております!
自分で作ったのモリモリ食べてるのめちゃくちゃ可愛い…!! twitter.com/nagathuki/stat... pic.twitter.com/RnEg1RGcEb

タグ:

posted at 22:25:28

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@kankichi57301 @musorami #超算数 画像付きの教科書比較がネットに転がっていました。思った通り、直方体と立方体の体積公式が別立てになっていましたwww.rs.tottori-u.ac.jp/mathedu/mt/xue...。後者は一辺×一辺×一辺。東書のノート例はあからさまな誘導ですね。

タグ: 超算数

posted at 22:29:03

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 #数楽

github.com/simonbyrne/Rem...
Remez.jl

をありがたく使わせてもらった。

Julia trig.jlのsinを計算するための13次多項式はxの係数を1に固定して相対誤差の最大値を最小化して作ったもののようだ。

gist.github.com/genkuroki/362b... pic.twitter.com/DqCeIOzFsb

タグ: Julia言語 数楽

posted at 22:44:44

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami 学校算数では面積は単位正方形の数、体積は単位立方体の数です。切り貼りによる等積変形は認可(ただし微小図形による変形、カバリエリの原理は禁止)。だから4cm×6cm×5cm=120㎤は禁じられています。面積も同様に6cm×5cm=30㎠もだめです。

タグ:

posted at 22:47:43

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年2月21日

#Julia言語 #数楽

Remez_abs ←Remez法で最大絶対誤差を最小化
Remez_rel ←Remez法で最大相対誤差を最小化
Julia ←Julia trig.jlの13次多項式

添付画像は相対誤差のグラフ。

これを見るとJulia trig.jlが何をやっていそうかが分かる。 pic.twitter.com/JkLskPQ6d4

タグ: Julia言語 数楽

posted at 22:49:20

非公開

タグ:

posted at xx:xx:xx

梅崎直也 @unaoya

21年2月21日

子供の様子を見ていると、メガネのレンズがドライブレコーダーみたいなに自動的に録画されていて後でいい場面だけ保存できるようになってほしいと思う。

タグ:

posted at 22:50:20

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami そう、子供は面積で考えているのはわかります。それは結構いい考えではあるんですが、学校算数では認可できない。だから、形式だけのこすというか、最低限の手直しをして認可することにした、という教師の言い分が考えられますね。

タグ:

posted at 22:50:59

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami 6×5=30 答え30㎤
みたいな方法は、20世紀初頭以来ですね。面積体積の計算では、いったん名数(個とか円とかcmみたいな雑多をまとめる概念)を外して、最後に付け直すみたいなことが書かれています。

タグ:

posted at 22:54:01

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami この作法によって、式と別個の答え欄が必要なわけです。いろんなことが繋がりますね。

タグ:

posted at 22:54:52

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami 面積では明示的に全教科書が縦×横でも横×縦でもよいことを述べています。この辺もめんどくさい事情がありますが、まあ、#超算数 を採用しても、体積で順序にこだわる必要はないはずですね。

タグ: 超算数

posted at 23:03:19

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@temmusu_n @musorami ちょー算数界でカースト高位の人達は、長方形の面積や立方体の体積でもかけ算順序にこだわるカースト低位の教師達を「分かっていない人達」として馬鹿にしています。

チョー算数カルトの真の教義では、長方形の面積や立方体の体積ではかけ算順序にこだわらないことになっています。

嫌な世界。

タグ:

posted at 23:18:02

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami @genkuroki 算数教育界の上位カーストの人々は、平行四辺形とか三角形では順序にうるさいみたいですよ。体積関連の見解は知りませんが、変にこだわった見解を持っていてもおかしくはないでしょう。例えるなら、EMと江戸しぐさとサムシンググレートを信じている人を馬鹿にしているのが、EMだけは信じていない人。

タグ:

posted at 23:29:26

黒木玄 Gen Kuroki @genkuroki

21年2月21日

@musorami @temmusu_n 今までのネット上での議論の経験から、チョー算数カルトのカースト上位者達は「縦×横×高さじゃなくてもいい」と考えていると思います。

曖昧な指示しか出さずに、教義に反したら「修行が足りない」と言える方がありがたい人達もいるでしょう。

タグ:

posted at 23:29:42

非公開

タグ:

posted at xx:xx:xx

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami @genkuroki 昨日のメインの話題で今日もちょっとでた、変身がわかりやすいです。一貫した変換のプロトコルがあるなら、まあ悪いことではない。ところが、そんなものはなく(純理的にありえない)、間違った変換をするとチョー怒られる!

タグ:

posted at 23:32:28

天むす名古屋 Temmus @temmusu_n

21年2月21日

@musorami @genkuroki 一貫した変換のプロトコルの例。単位換算。長さをmからcmにするには、100cm/mをかければよい。この係数は、1m=100cmという定義の下、1に等しい。掛け算の定義は一つ分かけるいくつ分であったので、
3m * 100cm/mとは3メートが一個ある状態をそのまま述べているに過ぎない。

チョー怒られる。

タグ:

posted at 23:37:21

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました