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 » 2023年05月13日
並び順 : 新→古 | 古→新

2023年05月13日(土)

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#統計 もちろんダメ。

事後分布でθについてp(x|θ)の平均を取ったものが事後予測分布で、事後予測分布の対数尤度を計算したいので、事後分布のサンプルをθ₁,…,θₘと書いたときの

Σ_{i=1}^n log((1/m)Σ_{j=1}^m p(xᵢ|θⱼ))

を計算する。

階層モデルではp(xᵢ|θⱼ)を数値積分で求める必要がある。 twitter.com/wu_tsuku/statu...

タグ: 統計

posted at 00:13:01

Hideki Kawahara: WAS @hidekikawahara

23年5月13日

M1 MaxのGPUがMetal.jlで正常に動いた。結局、Metal.jlは、まだJulia v1.9.0に対応していなかった。v1.8.5でMetalのtestが正常に終わることを確認して動かしたら、できた。でもFloat32なのに、Windowsマシンに載せたGTX 1080という旧世代のGPUの方が4倍ほど速い。 twitter.com/hidekikawahara... pic.twitter.com/WauWyi2BH3

タグ:

posted at 00:16:36

Hideki Kawahara: WAS @hidekikawahara

23年5月13日

半世紀前から計算機を使っている化石から見ると、5000個以上のスレッドが個人のマシンの上であたりまえのように動いているのは奇跡に見える。メモリが64GBでSSDが1TBも冗談のよう。でも、10年後には、これがおもちゃのように見えるに違いない。本当に面白い! twitter.com/hidekikawahara...

タグ:

posted at 00:21:58

Hideki Kawahara: WAS @hidekikawahara

23年5月13日

Juliaをexit()したのに、これだけMetalのサポート用?のスレッドが生き残っているのはなぜ?少し気持ちが悪い。 twitter.com/hidekikawahara... pic.twitter.com/EOZE0sgJ19

タグ:

posted at 00:28:17

Yossy @Yossy_K

23年5月13日

この人、眼鏡かけたり差し歯や歯の詰め物したりしてないのかしら。「生まれてきたときに身につけてなかった」ものだものね。 twitter.com/inosenaoki/sta...

タグ:

posted at 00:44:17

sako @SSako86

23年5月13日

いわゆる「算数と数学は違う」で、「数学」は良く知らないということは自覚していても、「算数」なら「数学」に詳しい奴らよりわかっているという思い込みに見えます。
実際には「算数」もわかっているわけではないから、何が批判されているかよくわかっていない。 twitter.com/wato_d/status/...

タグ:

posted at 01:13:57

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

小学校の算数でも「正方形は長方形でない」は単なる間違い。定義の問題ではない。小学校の算数でも、正方形は「すべての辺の長さが等しくすべての角が直角である四角形と、長方形は「すべての角が直角である四角形」と定義されている。「定義」という言葉が使われていないだけ。

タグ:

posted at 01:37:01

Miura Hideki @miura1729

23年5月13日

そう言えば、Mojoって誰もつぶやかなくなったな。早過ぎるだろう

タグ:

posted at 06:29:10

ヤッシー @84yame1000

23年5月13日

これわかる。
国語の研究会では
「自分自身も文学の事は勉強不足で…」
理科でも
「植物についての本質的な勉強しないと授業力は上がらないから…」
といったやり取りがあるのに

算数は
「問いの立て方」
だの
「活動や展開」
だのと、
『内容は分かった前提』
での話ばかりしているイメージ。 twitter.com/ssako86/status...

タグ:

posted at 07:36:55

須藤玲司 @LazyWorkz

23年5月13日

「日本で巨乳美女が厚生大臣に就任して国会審議中に乳首をポロリしたという情報は、調査の結果、AIが作ったデマだと判明! 日本人はデマに騙されるな!」
urgente24.com/ocio/ia-causo-...
工エエェェ(´д`)ェェエエ工
\ダマサレルトコダッター/

そんな謎ニュースが、なぜかスペイン語圏で出回ってます。

タグ:

posted at 07:46:14

須藤玲司 @LazyWorkz

23年5月13日

>日本人はデマに騙されるな!
これはちょっと言い過ぎか、「ネットユーザーはデマに騙されるな」的なかんじかな。
www.excelsior.com.mx/global/ministr...

・日本には「厚生大臣」ポストは存在しないぞ。
・セクシー大臣のフェイクニュース信じた人もいる、AIってすごい。
・岸田政権のジェンダーギャップ批判だ。

タグ:

posted at 08:01:50

猫整体 キュベレイ @cybele_nakano

23年5月13日

なでた瞬間、全力で寄りかかる pic.twitter.com/W68xQ6NNEt

タグ:

posted at 08:21:46

tomo @tonagai

23年5月13日

Powershell(Windowsのコマンドプロンプトの後継)でC#用の数値計算ライブラリMath.NET numericsを使う(2) 高速フーリエ変換(FFT)をやってグラフ化までしてみる。 sci.tea-nifty.com/blog/2023/05/p... pic.twitter.com/Kd9HrvgJiS

タグ:

posted at 08:52:33

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

「同値な特徴づけのどれを定義として採用するか」と「同値でないいくつかの条件のうちどれに特定の名前を割り当てるか」は全然違う問題です。どちらも「定義の問題」と呼ばれることがありますが、混同してはいけません。

タグ:

posted at 08:53:01

ねとらぼ生物部 @itm_nlabzoo

23年5月13日

「近付いて来たカメをなでる簡単なお仕事」

人懐っこいカメたちを飼育員がなでてあげると? 喜びのダンスを披露する姿に「亀がこんなにかわいいものだとは」
nlab.itmedia.co.jp/nl/articles/23... pic.twitter.com/nPT4duOeAc

タグ:

posted at 09:05:00

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

ISO 80000-2とかJIS Z8201とか数学記号の規格がありますが、あれは産業規格です。学術は対象外です。実際、学術書では採用していませんし、標準化機構側からの採用の働きかけもありません。念のため。

タグ:

posted at 09:09:01

#90e667 @e_gracilis

23年5月13日

「filter:follows -filter:safe」で最高のタイムラインをつくる、天才の発送じゃん

タグ:

posted at 09:21:16

apu @apu_yokai

23年5月13日

@klo_tus_kke 例えばこういう方法がありますね。
とはいえ、(sin x)'=cos x を証明なしに用いていい場合には、このような証明方法が存在することを知らなくてもよいと思います。
twitter.com/genkuroki/stat...

タグ:

posted at 09:21:48

鰹節猫吉 @sunchanuiguru

23年5月13日

それはそれで #超算数 の田中博史先生みたいなレクチャラーがはびこりそうで怖いです…
分業するのであれば講義の内容をチェックする仕組みが必要と思いますが… twitter.com/hottaqu/status...

タグ: 超算数

posted at 09:50:44

リュウジ@料理のおにいさんバズレシピ @ore825

23年5月13日

鶏ガラスープを使った油そばのレシピに

「今回は完全無化調ですね、長らく登録を外してましたが再登録しました」というコメントがついてて

「鶏ガラスープは化学調味料入ってるのでチャンネル登録解除お願いします」

と言ってしまった。多分YouTuber向いてない

タグ:

posted at 11:11:10

黒木玄 Gen Kuroki @genkuroki

23年5月13日

ラジアンの意味での角度が

θ = ∫_0^y dt/√(1-t²)

と書けること(これを定義にしてよいこと)は

(*) 速さの積分は軌跡の長さになる

という基本的なことから出ます。高校数学Ⅲでやる。

高校数学Ⅲまで(*)に触れないこと自体が酷い。数学Ⅲをやらない子にもどこかで説明しておくべきことだと思う。 twitter.com/genkuroki/stat...

タグ:

posted at 11:47:20

黒木玄 Gen Kuroki @genkuroki

23年5月13日

微積分を勉強したのに

「曲線の長さが速さの積分で表されること」を知らずに終わる

ことができて、そのせいで

弧度法の意味での角度の積分を使った定義も知らずに終わる

こともできると現状には

何をやっているんだ?

と感じざるを得ないです。

~となる人が増えて欲しいです。 twitter.com/genkuroki/stat...

タグ:

posted at 11:53:19

Rui Ueyama @rui314

23年5月13日

膝にタビとクロが乗っているため動けなくなっています pic.twitter.com/kJaclBrV5F

タグ:

posted at 11:59:37

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽 積分の使用を避けると、初等関数論は無用にしんどくなります。積分を使うと楽になる。積分の使用を避けるのは不健全。

aˣの定義も以下のようにすると楽。

①logの定義は log y = ∫_1^y dt/t (y>0)

②expの定義はlogの逆関数

③eの定義はexp(1)

④aˣの定義は aˣ = exp(x log a)

タグ: 数楽

posted at 12:15:36

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽 よく見るのは、xが有理数の場合のaˣを定義して、その連続的延長でxが実数の場合のaˣを定義するスタイル。

そのスタイルは積分を避けているがゆえに議論が無駄に長くなってしまっている。

そういう経路をたどる経験はあった方が良いと思うが、積分を使って楽をする経路をたどる経験も重要。

タグ: 数楽

posted at 12:15:37

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽 ある種の人たちが初等関数論で積分の使用を避ける傾向は異様。

特に弧度法の意味での角度の定義を曲線の長さの定義から得るために、曲線の折れ線近似を経由して定義された曲線の長さを使いたがる様子は異様。

タグ: 数楽

posted at 12:15:38

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽 なめらかな曲線なら速さの積分で長さを簡単に定義できるのに、なめらかでない曲線にも適用できる難しい方法を採用したがるのはなぜなのか?

おそらく、過去にそういうまずい解説の仕方が広まって、それに従っている人達が多いのだと思う。

タグ: 数楽

posted at 12:15:39

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽 いずれにせよ、微積分に触れたのに

(*) 速さの積分が軌跡の長さになること

には一切触れずに終わる可能性が残されている現状は数学教育的に酷く不健全な状態である、という認識は広く共有されるべき。

速さの積分が何になるかさえ知らないままで「微積分も勉強しました」と言われても困る。

タグ: 数楽

posted at 12:19:43

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽

①単位円周の右半分での弧度法の意味での角度の定義はθ(y)=∫_0^y dt/√(1-t²)

②πの定義は2θ(1)

③-π/2≤θ≤π/2でのy=sin θの定義はθ(t)の逆関数。(これよりd(sin θ)/dθ = √(1-sin²θ) = cos θ は容易に得られる。)

④一般のθでのsin θの値はその自然な延長で定義。 pic.twitter.com/6rI2q9TBim

タグ: 数楽

posted at 12:29:59

積分定数 @sekibunnteisuu

23年5月13日

かけ算順序が話題になり始めた15年ぐらい前は

「順序どっちでもいいなんて、算数・数学を理解していないのw小学校からやり直したらw」というのがちょくちょくあってけど。

最近は「順序どっちでもいいと言うのは傲慢な理系の発想」が多いね。

でも前者もまだ健在だねw twitter.com/wdihw/status/1... pic.twitter.com/42gk47BYEc

タグ:

posted at 12:45:47

金子洋一神奈川20区(相模原市南区、座間 @Y_Kaneko

23年5月13日

賛成できない人事。吉川洋氏は30年以上前は輝いていた存在で、私もケインズの顔のイラストが表紙になった著書を読んで勉強したことがあった。しかし今ではアベノミクスの金融緩和すら否定する頑迷な論者になりさがった。⇒日銀参与に吉川洋氏、大規模緩和に否定的な経済学者 jp.reuters.com/article/idJPL4... twitter.com/i/web/status/1...

タグ:

posted at 13:09:43

Koto_Yoshihisa @Yoshihisa_Koto

23年5月13日

@Y_Kaneko 復興税を賛同した財務省のポチですね。

タグ:

posted at 13:34:57

ハガネの連勤術師 @hgn_no_otaku

23年5月13日

こういう「掛け順に文句言う人は低学歴」みたいな思い込みってどうやって生まれるんだろうな?

この人の最終学歴は知る由もないけど、自分が卒業した学校よりも頭のいい集団があるってことを知らないのかな twitter.com/wdihw/status/1...

タグ:

posted at 16:21:41

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

二等辺三角形の底角といえば、日本の中学校ではなんで二等辺三角形を二つに割る系の証明を採用しているんですか? 全体を裏返して重ねる系のほうが単純だし循環論法を避けやすいのに。

タグ:

posted at 16:39:03

鰹節猫吉 @sunchanuiguru

23年5月13日

単位円で三角関数を定義すると、三角関数の微分公式は直感的に明らか(添付画像)ということで、このようなことは考えてませんでした。後日、対数関数を積分で定義すると分かりやすいという話を聞いてなるほどと思いました。 twitter.com/genkuroki/stat... pic.twitter.com/ql50tNNiDU

タグ:

posted at 17:09:02

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

@LimgTW 原論は合同変換を定義せずにこっそりと合同変換を使っているので、その辺りの厳密性を求めるなら「原論の流儀」では全然ダメダメです。それ以前に、I巻定理1でいきなり証明に深刻なギャップがあります。

タグ:

posted at 17:14:02

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

全体を裏返して重ねる系の証明の例mathtod.online/@kamo_hiroyasu...

タグ:

posted at 17:14:47

Hiroyasu Kamo @kamo_hiroyasu

23年5月13日

二つに割る系の証明の例
mathtod.online/@kamo_hiroyasu...

タグ:

posted at 17:15:38

yamazaks @yamazaksv2

23年5月13日

@sandykeih @wdihw その言い方なら、ひとつ分×いくつが自然ですね。でも、先ほどのよう「2匹のタコの足の数」と言われたら、2×8でもいいと思いませんか?
レシートにも単価×数量と数量×単価のどちらもあることですし、片方しかないと思い込む方が危険だと思います。 twitter.com/genkuroki/stat...

タグ:

posted at 17:27:17

天むす名古屋 Temmus @temmusu_n

23年5月13日

@kamo_hiroyasu #超算数 確かに小学校算数の検定教科書すべてが正方形は特殊な長方形であるとして導入します。しかし、面積の公式がこれまた全社で一辺×一辺と指導されるので、正方形は長方形とは別物との誤解を生む可能性があります。所詮、哺乳類には雌雄があるが、牛だけは牡牝というのようなお為ごかしですが。

タグ: 超算数

posted at 17:38:58

大津秀一 @shuichiotsu

23年5月13日

新型コロナ感染者数を推定し流行を予測するとされる「下水中の新型コロナウイルス濃度」の急増が認められた

前回「先週比 ×0.94倍」「ほぼ横ばい」だったものが「先週比 ×2.97倍」「急増傾向」になっている(※小松市)

今後出て来る他の自治体の結果も気になるが、推移が注視されるところ pic.twitter.com/UTI2SsSS1P

タグ:

posted at 19:02:51

大津秀一 @shuichiotsu

23年5月13日

・石川県小松市の下水モニタリング結果
www.city.komatsu.lg.jp/soshiki/jouges...

・小松市の前回結果はこちら
twitter.com/shuichiotsu/st...

小松市では下水中の新型コロナウイルス濃度が急増傾向

下水の調査を行っている仙台市や札幌市など他の自治体の次回更新の結果も注目される pic.twitter.com/XIRDAe4qU7

タグ:

posted at 19:03:38

OokuboTact 大久保中二病中年 @OokuboTact

23年5月13日

@temmusu_n @kamo_hiroyasu 「正方形を長方形から除外する」問題が算数教育では当たり前になっています。

twitter.com/sekibunnteisuu...

タグ:

posted at 19:28:26

天むす名古屋 Temmus @temmusu_n

23年5月13日

@OokuboTact @kamo_hiroyasu #超算数 風みどりさんが二等辺三角形と二等角三角形と同値であることを知りつつ、*かつ*あの想定問答のような態度をとるのと、よく似ています。包摂・同値を表すテキストは認めつつ、包摂・同値と矛盾する記述、テキストを擁護するという。

タグ: 超算数

posted at 20:39:22

OokuboTact 大久保中二病中年 @OokuboTact

23年5月13日

@temmusu_n @kamo_hiroyasu > あの想定問答のような態度をとるのと、よく似ています。

具体的な授業のマニュアルを見てみましょう。
最初は正方形を含めて「長方形が4つあります」と説明しているのに、
「正方形と長方形の違いは?」となり、
包含関係には触れないで終わります。
#超算数 #矛盾 pic.twitter.com/R7A9igsicu

タグ: 矛盾 超算数

posted at 21:25:30

黒木玄 Gen Kuroki @genkuroki

23年5月13日

#数楽

単位円周の三角関数による表示の楕円曲面の楕円関数による表示への一般化 (m=0, 4K(0)=2πも場合が単位円周の場合)
twitter.com/genkuroki/stat...

タグ: 数楽

posted at 22:41:42

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました