黒木玄 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年07月10日(土)
My shortest Quine in #julialang :
`".|>[show,print]".|>[show,print]`
github.com/mossr/Beautifu...
タグ： julialang
posted at 23:10:23
団体間のバトルはあっても、団体内の批判はほとんどない。
数教協会員が遠山啓を批判したり、TOSS会員が向山洋を違反したり、山田幸子が陰山英男を批判したり、
ということは聞いたことがない。
左翼セクトに似ているね^^ pic.twitter.com/VAtjErE8R5
タグ：
posted at 22:48:35
GitHubをブログのプラットフォームとして考えると極めて優秀。git pushするだけで投稿できるし。 twitter.com/mattn_jp/statu...
タグ：
posted at 22:15:17
r=0でn=1の場合には、変形後の方程式の形は
0=p_1
になる。例えば
3x = 3x + 1
は
0 = 1
に同値変形される。0 = 1 も(解なしの)方程式扱いしてくれないと困る(笑)。
タグ：
posted at 22:07:20
@genkuroki 一応、
・頭にかぶらないタイプのヘッドセット
・（おそらくアナログの）有線USB接続だと酷いノイズが入るハイブリッド車内でも使いたいので（おそらくデジタルの）Bluetooth
・耳の中に入れるタイプは避けたい
という特殊条件下の選択肢です。念のためのご参考に。
タグ：
posted at 21:58:55
#数楽 これは任意の連立一次方程式は、行列の基本変形に対応する操作で、
x_1 = p_1
x_2 = p_2
………
x_r = p_r
0 = p_{r+1}
0 = p_{r+2}
………
0 = p_n
の形に変形できるという話。p_{r+1},…,p_nのどれか1つでも0でなかったりすると解無しになる。 twitter.com/physics303/sta...
タグ： 数楽
posted at 21:58:00
1回目のときには、注射を打ったときには「え？もう終わり？全然痛くないじゃん」と思っていたら、夜になってから注射を打った箇所がかなり痛くなって、ニ晩くらい寝返りすると「いてっ！」となっていました。1回目は痛みだけで発熱などはなかった。
というわけで以下のリンク先のアドバイスは有益。 twitter.com/tate_ala_arc/s...
タグ：
posted at 21:47:35
これって rank normal form って言われてるやつの話ですか？
qr.paps.jp/qWIke pic.twitter.com/kburpGZlNM
タグ：
posted at 21:47:24
ああ、なるほど。
事前情報がないとこれはびっくりするかも。
副反応の情報の周知は非常に重要だということを身をもって実感した。
害より益が非常にものすごく大きいという情報が非常に大事。
タグ：
posted at 21:36:35
今日の午前中にモデルナ2回目を打って来たのですが、午前中の体温は36.2°Cで、現在37.2°Cです。副反応キタ！
注射した部分の痛み、微妙な頭痛、首から肩にかけて微妙にけだるい感じ、寒気はない、発熱は上記の通りある。
典型的な副反応ではないか！
事前に色々情報を得ていると結構おもろい。
タグ：
posted at 21:36:34
非公開
タグ：
posted at xx:xx:xx
#数楽 これは本質的にX²が下に凸なことの言い換えで、X²でなくても下に凸ならいつでも同様のことが成立しているという主張がJensenの不等式。
Kullback-Leibler情報量が0以上なこと(Gibbsの情報不等式)はf(z)=x log x (x>0)が下に凸なことから出る。 twitter.com/unaoya/status/...
タグ： 数楽
posted at 20:35:09
サンワサプライダイレクトのほう twitter.com/esumii/status/... は音声もクリア（というか周りのノイズが極端に小さくなって，音声だけ大きくなる？）で完璧っぽい．
タグ：
posted at 20:30:52
再度繰り返しますが、日本の算数教育界の算数の理解の仕方がおかしいという問題は、これこそ「ザ・非常識❗️」と言いたくなるような内容なので、事情を知らない人が自分の頭で勝手な想像で意見を述べるとものすごく外れたことを言うことになってしまいます。
私も何度も認識を改めざるを得なかった。 twitter.com/genkuroki/stat...
タグ：
posted at 19:55:24
#Julia言語 Juliaのベクトルはデフォルトで列(縦)ベクトル扱いなので、普通に使えば、ベクトルは縦ベクトルとして扱うことになります。
Juliaのスタイルは、ベクトルと言えば縦ベクトルになることが多い大学新入生向けの線形代数の教科書のスタイルに近い。 twitter.com/natsurenatsure...
タグ： Julia言語
posted at 19:46:50
#Julia言語 getproperty, setproperty! だけではなく、propertynames も定義してやると、タブ補完が効くようになって楽しいです。
この辺、やろうと思えば何でもやりたい放題なんだよな。
github.com/genkuroki/publ... pic.twitter.com/MNlpbufVfa
タグ： Julia言語
posted at 19:41:44
#Julia言語 #統計 DiscreteUniform(0, 100)でのχ²検定は非常にうまく行くが、Binomial(100, 0.7)ではそうではないという話。
χ²検定はある種の多変量正規分布による「χ²統計量の分布のχ²分布による近似」を使うが、Binomial(100, 0.7)ではその近似が成立していない。英語。
discourse.julialang.org/t/whats-wrong-...
posted at 19:00:58
Plots.jlでターミナルプロットを楽に書けるし、👇が上手く行けば、Juliaで書くべきかも分からん
kdheepak/TerminalUserInterfaces.jl: Terminal User Interfaces in Julia. : github.com/kdheepak/Termi...
タグ：
posted at 18:27:49
なるへそ♬ ついつい「えっ！遂にJuliaでAIな」とか思うたけど当然 Python やった。 twitter.com/hirax/status/1...
タグ：
posted at 16:05:04
もっと良いライブラリがあれば良いんだが、、
pfalcon/picotui: Lightweight, pure-Python Text User Interface (TUI) widget toolkit with minimal dependencies. Dedicated to the Pycopy project. : github.com/pfalcon/picotui
タグ：
posted at 14:29:25
テキストユーザーインターフェースでダッシュボードを作るプラン、バーッとは書けたが、picotuiにアウトプット用のウィジェットが無いので、仕上がりとしてはハンパだなー。テキストユーザーインターフェースに合わないネタな点も大きいので、もっとマッチしたネタを決めよう
タグ：
posted at 14:28:36
非公開
タグ：
posted at xx:xx:xx
要するに、日本では伝統的に、算数教育界が育てた「子どもが算数を分からなくなるように教える方法」について勉強した人たちが小学校の先生になる社会的仕組み(教員採用試験を含む)が整備されているのです。
タグ：
posted at 11:23:16
算数教育界が育てた「シンプルな算数に余計なものを付け加えて子どもに置いてけぼりを食わせる傾向」はかなりひどいです。
算数教育界で、わり算の意味の話は、かけ算の逆の話ではなく、「包含除と等分除の違い」の話になっていて、教員採用試験の問題にも出されることがある。
タグ：
posted at 11:20:41
【1.2で割ることがどういう意味なのか理解させてもらう前に、「やり方」を教え込まれている】
かけ算の逆というわり算のシンプルな意味を教えてもらわずに、算数教育界の伝統が育てた「包含除と等分除の違い」(チョー算数の一種)について教わっていて、1.2で割ることを理解できなくなっている。
タグ：
posted at 11:16:40
予約システム外注しようとしたら超価格見積もりだったので諦めて大学間認証利用して自作とのこと。（ごくろうさまです＆ありがとうございます twitter.com/kahoku_shimpo/...
タグ：
posted at 10:47:53
他人の助けはあった方が良いですが、自力でジタバタする経験は貴重で尊いと思います。
すぐに「せんせー、これであってますかー」と聞いてしまう癖は反数学的。
先生に聞いたって数学的正しさが保証されるわけではない。
正しいと確信を持つことができたのに実際には間違っていたという経験は貴重。
タグ：
posted at 10:41:05
すぐに間違いを見つけられなさそうだという理由で、いつも自信がなくて、身動きが取れなくなるのが最悪だと思います。
ああでもないこうでもないとジタバタしてかつその結果も間違っていて半年後にならないと誤りを発見できない、というので問題ないと思います。 twitter.com/genkuroki/stat...
タグ：
posted at 10:31:10
The double slit experiment for the Schrödinger equation, rendered showing wave function phase (by popular demand 😃) pic.twitter.com/RbuJQFpmLR
タグ：
posted at 04:18:30
適切な密度でスポーツ観戦をしてもリスクが低いことは、野球やサッカーの試合でクラスターが発生していないことからも明らか。尾身先生もスタジアムではなく、人流が増えることを懸念している。極端な仮定による計算でスタジアム内の安全性を強調しても意味が無い。
タグ：
posted at 02:46:25
@genkuroki 下記の点を追記しました。
・関数内で通常evalを使わず、マクロを使うということに関しては追記しました。
・@eval マクロの説明を追記しました。
ただ、マクロの詳しい説明は切り離して別ページにすることにしました。変数保護など、厄介なところも多いので、簡単には説明できず。
タグ：
posted at 01:35:35
1.2で割るとはどういうことかについて、シンプルに「かけ算の逆」と教えずに、算数教育業界独自の非常識な考え方で教え込もうとするから、子どもは理解できなくなる。
「わり算が嫌いならかけ算だけでもいいです！」という方針で行けば、結果的にわり算のシンプルで本格的な理解に到達する。
タグ：
posted at 01:02:59
多くの子は1.2で割ることがどういう意味なのか理解させてもらう前に、「やり方」を教え込まれている。あれはひどい。
わり算の定義はかけ算の逆演算なので、わり算のやり方を一度全部忘れてもらって、かけ算だけで困らないようになった後で、「実はわり算とは〜」と説明すると「な~んだ」となる。
タグ：
posted at 01:02:57
小5くらいになると、1.2個とか2.5倍という言い方で理解できるようになってくる。
だから「1.2個のみかんを幾つ集めれば6個分になるか？」についても絵を地道に描ければ6÷1.2を経由せずに解けたりする。
実際に解ければ「ゆえに6÷1.2=5である」と教えることができる。
タグ：
posted at 01:02:57
【[割り算の]文章問題に関しては、割り算と言うものを知らなくても、かけ算だけで処理できる。それどころか掛け算を知らなくても求められる】
私も実経験から非常に正しいと思います。
「わり算」については、わり算の問題をかけ算だけで解けるようになってから教えてもいいくらいかも。 twitter.com/sekibunnteisuu...
タグ：
posted at 01:02:56
