黒木玄 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 を見て下さい。
2022年01月02日(日)
ごまふあざらし(GomahuAzaras @MathSorcerer
binder で試すお話
#Julia言語
github.com/terasakisatosh...
タグ： Julia言語
posted at 23:45:42
現行と新課程の教科書を比較して、どこを修正し、どこをそのままにしたかを調べていくと、どのような教科書を書いたかが見えて来るから面白い。
#新課程の教科書の研究
タグ： 新課程の教科書の研究
posted at 23:34:19
@VgQcrk8 @golgo_sardine twitter.com/takusansu/stat...
【「2+2+2と考えられれば2×3で求められる」】
これで十分だと思うのですが・・・
もう少し具体的に書けば、
絵を提示したり文章題を出したりして、同じ数を幾つか足せば総数が出せるのを把握させる。(足し算が使える)
掛け算が使え、楽に求められる。
これだけの話です。
タグ：
posted at 23:27:47
新しい記事がZennにアップされました！#Julia言語 #Julia日本語記事
zenn.dev/ohno/articles/...👈
タグ： Julia日本語記事 Julia言語
posted at 23:24:14
某検定教科書の現行版と新課程版を比較している。
ほとんど変わっていない(笑)。つまり流用がほとんど。
まあ、変える必要がないからというのもわかるけど。
#新課程教科書の研究
タグ： 新課程教科書の研究
posted at 23:19:36
プロ村長@小学校教員（特別支援） @muraosaaniki
@aonimaru_games ゴゴゴゴ… pic.twitter.com/LPbtgNh0v1
タグ：
posted at 22:54:53
スケッチからイラストをリアルタイムで自動生成する実験をしています。
これまで全く絵を描いたことがない人でも、それなりのクオリティのイラストを短時間で描けるようになればいいなと考えています。
次はパラメータスライダーを追加して、描いた後に画風や形状を変更できるようにする予定です。 pic.twitter.com/NgE2xFhzsh
タグ：
posted at 22:29:19
@VgQcrk8 @golgo_sardine 何度言われても、だから何？ としか思えません。
同数累加で考えられれば、「1単位あたりの数と単位数」の思考が出来ていますよね。
こちらは同数累加で説明していますが、何か問題がありますか？
タグ：
posted at 22:26:59
@MIKITO_777 倍率もさることながら、慈恵の入試偏差値は約70（手元のデータ）で、誰でも入れるレベルとは思えません。平均的な大学受験生にすれば、夢のような点数です。（参考：京大が約72（同））
デマ屋さんは、ちょっと調べれば分かることもすっ飛ばして、「とりあえず、いいがかり」モードに入ったようです。
タグ：
posted at 22:19:58
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 のコミュニティ見ていると
I'm ... Mathematics, PhD ... etc ... と自己紹介する人がわんさかいるので色々勇気づけられる．
タグ： Julia言語
posted at 22:15:42
餅を喉に〜で思い出した話
魚の骨が喉に刺さった時、民間療法で｢餅を丸のみする｣と言うのがありますが更に深く骨が刺さり危険な上に餅も喉に詰まるという最悪な連鎖が起こる危険性が高いです
痛い場合は耳鼻咽喉科へ受診して下さい
感動的なテクで取ってくれます
餅は餅屋
喉は耳鼻咽喉科
です
タグ：
posted at 22:08:26
@MIKITO_777 『医師免許』持ってるだけで充分すごいんだが…
仮に大学行けても、6年間、勉学と実習を重ねて、その上国家資格試験を受けないと取れないのが医師免許なんだから、、ただのボンボンじゃなれません
努力の賜物なんです
タグ：
posted at 22:08:16
#数楽 MathologerことBurkard Polsterさんの数学動画シリーズ。最新版にコインを別のコインの周上で回転させる話が含まれているyoutu.be/oEN0o9ZGmOM?t=...。
タグ： 数楽
posted at 22:05:34
慈恵医大は結構難関校だと思いますが…
私の時の倍率はたしか20倍を超えていました。
私立では最も授業料が安い医学部の一つです。
あと内科学会認定内科医の資格を持っています。
忽那先生は日本で最もCOVID19を診ている専門家の一人で
知事のブレーンとして多くの大阪府民を救って下さっています。 twitter.com/MIv0yHR4e9IdjG...
タグ：
posted at 22:01:08
もう21世紀だから、教育カリキュラムだけでは無く、中身もいい加減アップデートして欲しいものだ。近代化が過去に失敗したからって、失敗原因を分析して再チャレンジしないと、永遠に時代遅れたままになるのがオチ。 twitter.com/genkuroki/stat...
タグ：
posted at 21:55:37
@VgQcrk8 @golgo_sardine 【「授業で順序があると言い、強制する」】
逆順は誤りだと教えるのですよね。
「2+2+2と考えられれば2×3で求められる」「3×2を誤りとはしない」では駄目なのですか？
理解してなさそうな生徒には順序など持ち出さず、問題場面の把握を中心に指導すべきだと思います。
タグ：
posted at 21:50:15
データ拡張されていたので、プログラミングすることなく「ひろゆき判定AI」を作った。｜tdual @tdualdir #note note.com/tdual/n/n718bc...
タグ： note
posted at 21:41:12
非公開
タグ：
posted at xx:xx:xx
これは高城さんの研究で、ミオシンの運動に対するATP-ADPの効果を考えるたもの。この論文で提示したシナリオはまだ活きてると思うので、もっと読んでほしい |
Structural Change and Nucleotide Dissociation of Myosin Motor Domain: Dual Gō Model Simulation www.cell.com/biophysj/fullt...
タグ：
posted at 20:39:34
セブンで、大晦日で余ったらしいどん兵衛が、2個買い百円引きで売ってたので購入。
あとのせサクサクとか書いてあるけど無視して最初からお湯かける。こんなんぐずぐずにして食うほうがうまいに決まっておるわ。
タグ：
posted at 20:35:04
@hiroco2003 以下のリンク先の指摘の通りです。
PDFの方は正しいが、ウェブページの記述が間違っている。 twitter.com/sughimsi/statu...
タグ：
posted at 19:28:42
もう誰も覚えてないかもしれないけど反原発・再生エネ推進の気勢を上げていた孫正義氏は当時、「首相にしたい人ナンバーワン」に選ばれていたんだよね。いま答え合わせをしてみれば、彼は熱心に自分の商売をしていただけなのに。 twitter.com/HidetaFukushim...
タグ：
posted at 19:15:45
演奏はデンマークのバスーン奏者、物理学者、哲学者、故Peter Bastian氏です。
en.wikipedia.org/wiki/Peter_Bas...
タグ：
posted at 18:58:20
tdual(ティーデュアル)@Matri @tdualdir
はい
データ拡張されていたので、プログラミングすることなく「ひろゆき判定AI」を作った。｜tdual @tdualdir #note note.com/tdual/n/n718bc...
タグ： note
posted at 18:48:08
掛け算の順番違ったら×されたみたいなやつ、傍から見ていて確かに馬鹿じゃないのとは思うが、教員特有の理屈で正当化されているのかもしれない
クラス担任が1人で子供30人の人生を1年間も丸抱えしてたら気もおかしくなる
タグ：
posted at 18:27:03
#Julia言語 Plots.jl でも
plot(; dpi = 600)
plot!(～)
savefig(P, "test600.png")
とか
P = plot(～)
P.attr[:dpi] = 600
savefig(P, "test600.png")
でdpiをコントロールできています。
添付画像の2つにプロットを比較すると後者が鮮明。
ソースコード↓
github.com/genkuroki/publ... twitter.com/kado_judo0312/... pic.twitter.com/PMG3brAaqr
タグ： Julia言語
posted at 18:24:44
www.theguardian.com/environment/20...
ギリシャでは都市の大気中の発がん性物質の半分が薪ストーブ由来、と言う研究結果があるそうな。
タグ：
posted at 18:16:14
assabu.exblog.jp/amp/15933098/
脱原発を望む立場の人が「薪ストーブの普及で脱原発を目指せるか？」と計算してみたら、北海道でも全然薪が足りないと言う結果になったそうな。
タグ：
posted at 18:12:16
gendai.ismedia.jp/articles/-/819...
間伐材を薪ストーブに利用しようと言う薪ストーブに肯定的な立場からの記事でも
「日本全国でやるのは無理」
と言う結論
タグ：
posted at 18:11:40
Shota 初写真集4/28日販売開始 @shnimohus
雪解け水が創り出す反転世界が美しかった pic.twitter.com/u373kJUvpO
タグ：
posted at 18:03:00
伸びているので、拙著のHartree-Fock法の解説記事を宣伝させて頂きます（分かりやすいとの感想も頂いております）。読んで頂ければ幸いです。
できるだけ簡単にHartree-Fock法を解説してみる（C++17とJuliaのコード付き） qiita.com/dc1394/items/2... #Qiita @dc1394から
タグ： Qiita
posted at 17:40:05
#数楽 #統計 人生は数学を十分に理解できるほど長くないので、コンピュータによる計算によって、(1 + 1/n)ⁿ → e の速さを確認するだけでも相当に立派な勉強の仕方をしていることになると思います。
#Julia言語 による計算
相対誤差 (1 + 1/n)ⁿ/e - 1 は、nが大きなとき、ほぼ -1/(2n) に等しい。 pic.twitter.com/Huv0F8oRAn
posted at 17:21:36
父(母管理栄養士)「ポテチ食べてるだけで怒られるんすよ」
彼氏(私看護師)「わかります」
妹彼氏(妹薬剤師)「わかります」
彼氏「僕の健康診断結果を僕より見てきます」
父「わかります」
妹彼氏「わかります」
タグ：
posted at 16:47:58
@VgQcrk8 @golgo_sardine 逆順を誤りとするのは、緩衝材でもなんでもないというのがこちらの見解です。
式の順序というのもを介在させるくらいなら、同数累加の考えを丁寧に教えた方が良いでしょう。
タグ：
posted at 16:39:09
読了。数学基礎論、計算量理論、プログラムについての話がモチベーションが分かりやすく一気通貫で書かれててとても良かった👏線形型についてもしっかり導入が書いてあって勉強になった📝 pic.twitter.com/EHBnbp0EV2
タグ：
posted at 16:34:09
#統計 連続極限
二項分布→Poisson分布
負の二項分布→ガンマ分布
と
Poisson分布とガンマ分布の関係の離散版。
私の感覚では、多くの場合に連続版の公式よりも離散版の公式の方が「偉い」。
これを理解すればPoisson分布とガンマ分布を素朴なベルヌイ試行の場合の極限として理解できる。 pic.twitter.com/ilFUu1QQlv
タグ： 統計
posted at 16:16:26
非公開
タグ：
posted at xx:xx:xx
書いた！
文字を含んだまま計算できるのは便利。
Julia（SymPy）で行列の和・積・転置、線形方程式を解く方法｜趣味の大学数学 math-fun.net/20220102/21281/
タグ：
posted at 15:55:20
非公開
タグ：
posted at xx:xx:xx
How to install Julialang in WSL2
#julialang
olejorik.github.io/post/juliawsl/
タグ： julialang
posted at 15:39:21
非公開
タグ：
posted at xx:xx:xx
あと源氏物語で一番好きなのが六条御息所編。
ロリコンの光源氏にしては珍しく歳上のヒロインなのだが、強い嫉妬のあまり自信が寝てる間に生霊を飛ばして恋のライバルを呪い殺すというヤバい能力を持っており、コイツが出てくる話は恋愛モノじゃなくてジョジョ3部ばりの超能力スタンドバトルが始まる
タグ：
posted at 14:05:32
#超算数 ギリシャ語の方はFriedlein (1873:43)にあるwww.wilbourhall.org/millionbookspd...。「普遍数学」とは主に算術と幾何の統合に必要な概念だろうが、比例論が数学を統合するわけではないと断言したのだ。すごい。19世紀の算術書が比例と量に固執していたのと極めて対蹠的twitter.com/temmusu_n/stat...。 pic.twitter.com/tFmArOEqMC
タグ： 超算数
posted at 13:50:17
ごまふあざらし(GomahuAzaras @MathSorcerer
他にも選択肢はあってGenie.jl と連携しやすい
Vueと組み合わせた Stipple.jl があるし
github.com/GenieFramework...
React 信者なら Dash.jl にカスタムコンポーネントを自作するというのもある．
タグ：
posted at 13:26:19
ごまふあざらし(GomahuAzaras @MathSorcerer
もっとミニマムに行きたいのであれば
Mearly.jl があるらしい
qiita.com/kogad/items/f8...
タグ：
posted at 13:26:18
ごまふあざらし(GomahuAzaras @MathSorcerer
Genie.jl 側で frontend assets オプションがあるようだけれど，正直何もわからなかったので
Genie.jlを単なるバックエンドとして運用させた．
タグ：
posted at 13:26:17
ごまふあざらし(GomahuAzaras @MathSorcerer
上述の処理に加えてCORS の部分を設定するために
Genie.jl で作っているアプリの config/env/dev.jl を添付のようにする．
"Access-Control-Allow-Origin" => "localhost:3000"
とすることでフロント側からのアクセスを許可する．
yarn start する際に port 番号 3000 になっていることが前提 pic.twitter.com/dBNKBQ0KTT
タグ：
posted at 13:26:17
ごまふあざらし(GomahuAzaras @MathSorcerer
React 側は axios を使って get リクエストを出して
Genie.jl側のルーティング処理でくるレスポンスをもらう．(続く） pic.twitter.com/3OnKsnFI82
タグ：
posted at 13:26:15
ごまふあざらし(GomahuAzaras @MathSorcerer
この記事の FastAPI の部分を Genie.jl に置き換えを試みたでキュ．
#Julia言語
qiita.com/magiclib/items...
タグ： Julia言語
posted at 13:26:12
104歳叔母婆が
なんとか新年迎えられました
この写真を
目をまん丸くして見てます
皆貧しくてこんなんやったわ…
草鞋も履いてない…寒いやろに
綿入(?)着てるだけマシかな…
笑顔で懐かしみ目を細めてます
カラー写真で甦る婆の記憶
婆の嬉しそうな顔みても
100年前は
そう遠くない様に思いました twitter.com/hwtnv/status/1...
タグ：
posted at 12:58:22
#超算数 Barozzi (1560:25)にbooks.google.co.uk/books?id=2XoNA...、
Caeterum conjunctio quoque mathematicarum discplinarum, non ut censuit Eratosthenes, proportio ipsa ponenda est.
とある。「その上、数学の諸分野を結びつける紐帯は、エラトステネスが論じたように比例であるとは、考えるべきでない」。 pic.twitter.com/350QpvVdwG
タグ： 超算数
posted at 12:27:59
#統計 高木貞治さんは【別段重要性を有しない】と余計なことを言っていますが、二項分布からPoisson分布への連続極限や負の二項分布からガンマ分布への連続極限の収束の速さの程度を知るためには、このような練習問題は役に立つ。
たとえ数学者が【重要性を有しない】と言っていても信用しちゃダメ。 pic.twitter.com/I5JaOJvFrZ
タグ： 統計
posted at 12:16:22
#数楽 f(z) = (1 + az)^{1/z} = exp((1/z)log(1 + az))は z = 0 まで解析函数として延長できて、
f(z)/eᵃ = 1 - a²z/2 + a³(3a+8)z²/24 + O(z³)
高木貞治『解析概論』の第5章の練習問題にもあります。
www.wolframalpha.com/input/?i=serie... twitter.com/gsnxukm/status... pic.twitter.com/DZv5ADdQ4y
タグ： 数楽
posted at 12:12:37
ここから始まる一連のツリーでコーシー列と完備の意義を理解しました
学部生の頃は定義だけ追ってて意義をちゃんと理解していなかった
ありがとうございます twitter.com/genkuroki/stat...
タグ：
posted at 12:10:25
#超算数 プロクルスの註解は、平面幾何に関するものであり、かけ算に関する意見、まして順序についてのそれは、ないと思われる。一応現代の英訳もあるのでリンクwww.amazon.com/Proclus-Commen...。しかしSasaki (2003:334)
books.google.co.uk/books?id=H1H1C...に助けを借りて拾い読みしてみると、面白い記述が見つかった。
タグ： 超算数
posted at 12:06:25
オミクロンの感染爆発を起こした南アフリカ、明らかにピークアウトしましたね。
懸念より入院患者も少なく済んだとのことで、深夜の外出禁止も解除されました。
すでにデルタまでで国民の70%が感染した国なので、これをそのまま日本に当てはめることはできませんが、いいデータだと思います。 pic.twitter.com/Rk5KhaV0lA
タグ：
posted at 11:55:31
#超算数 ラテン語に訳したバロッツィはクラヴィウスと数学に関する書簡のやり取りがある。
_Procli Diadochi Lydii in primum Euclidis Elementorum librum commentariorum libri IV a Fransisco Barocio Patritio Veneto Editi_. Padua: Gratioso Perchacino. 1560.
books.google.co.jp/books?id=2XoNA...
タグ： 超算数
posted at 11:09:28
1/3=0.333…を使う説明法はよく見かけるが、多湖輝の頭の体操にのっていたのがひろまったのかな？と思っていました。
悪く言えば「話術でまるめこむ手法」「分かった気にさせる手法」ですが… twitter.com/genkuroki/stat...
タグ：
posted at 10:39:54
ja.wikipedia.org/wiki/%E3%83%87...
デヴィッド・ボウイ - Wikipedia
www.google.com/search?tbm=isc...
デヴィッド・ボウイ 日本 関連画像
有名な親日家でした。 pic.twitter.com/6BQ3wcKXrm
タグ：
posted at 10:37:11
#超算数 プロクルスの註解書とは、『原論』の第一巻への註解。第一巻はピタゴラスの定理等の平面幾何が内容。ギリシャ語原文の初めての版本は発見できなかったが、Gottfried Friedlein編の1873年のものが利用できるwww.wilbourhall.org/millionbookspd...。佐々木力さんはクラヴィウスはラテン語訳を利用したとみる。 twitter.com/temmusu_n/stat...
タグ： 超算数
posted at 10:25:02
これは可笑し過ぎる。
マジでサイコー！
コーヒーを噴き出しそうになる。
これを作った奴は天才。
bowiebranchia.tumblr.com twitter.com/shinmetal44/st... pic.twitter.com/u02cefivuo
タグ：
posted at 10:07:26
新井紀子さんは「重い扉を開く」などと文学的表現をしてますが問題提起しただけならテスト事業する必要はないです。
利益誘導のために存在しない扉を創作したのですよね。
リーディングスキルテスト
＞新井紀子さんが代表理事でベネッセも絡んでいる
twitter.com/genkuroki/stat...
タグ：
posted at 10:02:42
元旦に新しい記事を書いています。新年はGenie.jlでWebアプリを公開しよう！
#Julia言語 twitter.com/muuumin20/stat...
タグ： Julia言語
posted at 09:46:03
exercism.org #exercism でJuliaはじめてた。とりあえず気合いで解いて、その後に他の人の解法を見て検討してる。言語機能やライブラリをとりあえずでもあれこれ触れることになるのでいい勉強になる。github.com/exercism/websi... に問題の解説あるの見つけた。
タグ： exercism
posted at 09:45:02
森毅さんも「着衣着火」のひどい大やけどを負い、その約1年5ヶ月後にお亡くなりになりました。めっちゃ怖い。
ja.wikipedia.org/wiki/%E6%A3%AE... twitter.com/togemaru_k/sta... pic.twitter.com/eaab0QCUIx
タグ：
posted at 09:43:38
AIの専門家ではなくAI関係で何も発見していないのに
エビデンスと言って国語教育界に殴りこんで来たように見えました
AIがエビデンスなら問題提起になってないと思いますが
2021.10.7 新井紀子
「虚を突かれた」と国語教育界が受け止めてくれたのであれば
問題提起をした甲斐があったと思いました pic.twitter.com/fYQNTNQvZr
タグ：
posted at 09:39:22
これは数学だけに限らず、個人的には仕事にも通じる話だと思います。
(ただし、人身事故に繋がる、法に反する(逮捕されるレベル)ようなミスは除く)
そうすると、若手はどんどん育ちます。 twitter.com/genkuroki/stat...
タグ：
posted at 09:38:11
それはそうでしょうがAIは人間とは違う方法で読んでますのでAIの読解力とは無関係ですね
「国語教育は文学をどう扱ってきたのか」引用
リーディングスキルテストは、これまでの読解指導で、文法学習を除いては～従来の読解指導の虚を突く形で～細密化の焦点を照らし出した pic.twitter.com/GJsplmaqwP
タグ：
posted at 09:24:38
#数楽 1/3=0.333…を自明だと感じる人が多いのは1/3の小数展開を筆算で実行した経験の影響が強いせいであり、1=0.999…は疑問だと思う人が多いのは1/1の小数展開として0.999…が出て来る筆算が可能なこと(添付画像)を知らないからだと思います。
具体的計算の多様性に無知なままだと誤解し易くなる。 twitter.com/a_saitoh/statu... pic.twitter.com/B3muttyiz2
タグ： 数楽
posted at 09:21:24
「つらつら考えました」って、なにを今さら
あの山月記批判はどこからきたのか
2021.10.7 新井紀子
というようなことを
「国語教育は文学をどう扱ってきたのか」を読みながらつらつら考えました pic.twitter.com/jtMBtAP995
タグ：
posted at 09:15:26
@genkuroki ありがとうございます。考えてみます。この辺りが数学の難しさであり面白さでもあるなと感じます。
超算数やこのようなツイート、今後も楽しみにしてます。
タグ：
posted at 09:14:04
利益相反（の疑い）がある新井紀子さん
リーディングスキルテストで「問題提起」をしただけと言い逃れ（してると思うよ）全文
2021.10.7 新井紀子
様々なところで国語の先生から「現代文は（読めばわかるので）教えることがない」というご意見を聞き、驚きます
twitter.com/noricoco/statu... pic.twitter.com/Ry8BIcmi5s
タグ：
posted at 09:11:16
#数楽 1/3の小数展開の筆算から、1/3=0.333…であることの証明を出すには、添付画像のような議論が必要。
筆算の見た目のままで考えるのではなく、
1/3 = 0.3333 + 0.0001/3
のように書き直して考えれば易しい話です。
しかし、これは0.9, 0.99, 0.999, …が1に収束することの証明よりは難しい。 pic.twitter.com/MZSEdUbmZ8
タグ： 数楽
posted at 09:11:11
非公開
タグ：
posted at xx:xx:xx
#数楽 1/3=0.333…を使いたければ、数列0.3, 0.33, 0.333, …が1/3に収束することを前もって示しておく必要があり、その証明は 0.9, 0.99, 0.999, …が1に収束することの証明(ぶっちゃけ自明)よりも少し難しいです。
普通は相対的に難しいことの証明に帰着するのはおかしい。続く twitter.com/fwis_9329/stat...
タグ： 数楽
posted at 08:55:46
@VgQcrk8 @golgo_sardine 例えば、3年生ではしっかりと逆順でも正しいと指導するなら、私は強くは批判しません。
しかし、一時的にでも逆順を誤りとする事にメリットを見出せません。
手間暇かけて何がしたんだろうという想いです。
タグ：
posted at 08:49:30
そもそも、中等教育での数学の教科書が、時代遅れの杜撰で奇妙に見えるスタイルを維持しまくっていることに気付けるだけの教養がなくて、教科書のスタイルが普通だと信じて教えてしまっている場合が多いのではないか？
大学での教員養成課程関連科目でその辺の事情をきちんと教える必要があると思う。
タグ：
posted at 08:41:37
1/3=0.333333...
に疑問を持たないのに
1=0.9999999...
は疑問に思うという心の働きが面白いですね。 twitter.com/genkuroki/stat...
タグ：
posted at 08:39:41
本当の問題はそういう個々の細かい話ではないと思います。文脈ごとに適切な程度に緩く説明するのは全然問題ない。
問題なのは、高校数学でのスタイルの多くが19世紀以前の時代遅れのスタイルを維持しており、一般には通用しないろくでもないものになっていることを教えている側が正直に言わないこと。 twitter.com/f_sei/status/1...
タグ：
posted at 08:36:00
「高校数学」という特殊分野に価値があると思わせてしまうような教育はやってはいけないと思います。「高校数学」に合わせている大学入試も歪んでいる。
社会全体で
⭕️高校でしか通用しない「高校数学」に価値はない。
⭕️高校で教わる数学的内容には普遍的な価値がある。
を同時に言う必要がある。 twitter.com/f_sei/status/1...
タグ：
posted at 08:32:02
これは結果論からしても、循環小数の時点で有理数なわけで、「実数」の出番が無いと気付かねばたね。 twitter.com/genkuroki/stat...
タグ：
posted at 08:13:03
#数楽 この易しめのスレッドのまとめ
ポイント
①循環小数が有理数に収束することの証明に、実数の完備性は無用である。収束先の有理数が分かっているのでどうにでもなる。
②完備性は、収束先が未知の場合の収束を示すために使われる。例1: 無限小数は常にある実数に収束する。例2: 絶対収束。 pic.twitter.com/wwqpLYHWZB
タグ： 数楽
posted at 07:42:43
【防災】年100人前後が死亡「着衣着火」の危険性
www.buzzfeed.com/jp/kotahatachi...
芸大の大学生が作品制作中にやけどを負い死亡した事故をきっかけに、「着衣着火」の危険性を呼びかける声が広がっています。
「表面フラッシュ現象」により、一瞬で火に包まれることも。対処法をまとめました。 pic.twitter.com/4SzrbJvS04
タグ：
posted at 07:30:06
そのくせ、論文出版に圧力が…とかを臭わせる陰謀論的なものに寄り添っていたりして、結局、主義主張ありきの発言をしているというのがあまりに明確なので、片腹痛いというか、見ていて恥ずかしく嘆かわしい👶
タグ：
posted at 07:17:30
権威主義以外のポイントも幾つもある👶
よい研究者はよい教師かよいコミュニケーターか。専門バカの問題に当たっていないか（特に医療分野などは医師などとみえてる範囲が違うことはよくあるよね）。動機の偏りチェリーピッキングなどを自分で意識しているか。業績評価法はそれでいいのか。等等ね…。
タグ：
posted at 07:15:48
ましてや大学所属の研究者などが、そういう単純思考で発言して溜飲を下げようとしているのとか、ひねくれ具合がひどすぎるのも甚だしい👶自分の思考やバイアスや現実を見つめられない人なんでしょうね。やはりお気持ちの人なんだろうな。
タグ：
posted at 07:13:24
ひねくれているのはわかるし、相手の「権威性」を落としたいと思ってそういう思考・発言をしてしまうのだろうけど、業績の多い研究者、が、当該分野における適切な情報発信の出来るある者であるか、という単純な部分だけ見ても、スジ悪だと分かると思うんだけどね👶知性がたりないと無理か。
タグ：
posted at 07:11:47
情報提供をしている医師の研究業績が貧弱である、と喚いている人がまだいるようだけど、典型的な「権威主義者」しぐさなのよね👶ノーベル賞受賞者が正しい、h-index が高い方が正しい、そういうことを暗に言いたいなら完全な権威主義だし、相手のあら探しで業績を挙げているなら、本筋が見えていない。
タグ：
posted at 07:10:34
森林の管理は、江戸時代どころか676年に「天皇が、飛鳥川上流の畿内の草木採取と畿内山野の伐木を禁止する勅を発令」したらしい。watashinomori.jp/study/basic_02...
タグ：
posted at 06:56:08
朝日新聞の薪ストーブ記事が話題だけど、文明が最初に直面した資源枯渇問題が森林で、多くの文明がそれで滅亡したと本を読めば書いてある。江戸幕府はそれに気づき、厳しく森林の管理をしたとも
タグ：
posted at 06:42:17
We'll be playing tricks like this in Soss as well. For example, numeric literals can be made static and propagated in this way. In this way, we can compute some subexpressions once at compile time, and reuse them during inference.
タグ：
posted at 03:55:20
You can still convert to the dynamic version at the *very end* of the computation. Julia will work to figure out the intermediate types, and solve your problem along the way.
タグ：
posted at 03:55:19
To make this better, I've introduced a new "partial static" type representing a sum of a static value and a dynamic one. So now we can do
julia> partialstatic(static(2.0)) + partialstatic(3.0)
PartialStatic(static(2.0), 3.0)
with no information lost
タグ：
posted at 03:55:19
It takes a little more work, because adding a static and dynamic value "forgets" that there was anything static. Like this:
julia> static(2.0) + 3.0
5.0
タグ：
posted at 03:55:18
That's because static values are stored at the type level! So
static(3.0)
becomes
StaticFloat64{3.0}()
For more details, see
github.com/SciML/Static.jl
タグ：
posted at 03:55:18
Here's the time in nanoseconds for evaluating a Gaussian log-density in an upcoming MeasureTheory release, when some params and/or data are known statically.
This took some restructuring, because you need to be sure the types propagate correctly.
#julialang pic.twitter.com/vJnMz265vU
タグ： julialang
posted at 03:55:17
↑
この辺のことは私は詳しくないのですが
国語を文学と論理にわけるとか
記述式導入（ここで採点にAIが関係してきます）
とか、誤情報が流されてたようです。
新井紀子さんが関係していたことは間違いありません
↓
twitter.com/EineKleineN/st...
タグ：
posted at 02:12:40
新井紀子さんは利益相反の幸田国広氏を引用してるのでRSTは論理国語に賛成で利益相反の疑いがありです
＞早稲田大学の幸田国広先生は論理国語に賛成の立場。主張を読んでもピンとこない。
で、調べてみて驚いた。
ちゃっかり参考書を出版しておられます！
twitter.com/stsune1/status...
タグ：
posted at 02:02:06
『「国語教育は文学をどう扱ってきたのか」
（幸田国広著）にはRSTに言及
従来の読解指導の虚を突く形で照らし出した
読解における細密化』
↑
これがRSTの6つの読解力のこと
利益相反の幸田国広氏
↓
twitter.com/EineKleineN/st...
twitter.com/Tei393098/stat...
タグ：
posted at 01:56:35
『係り受けソフト』を東ロボは数学で使ったそうです。AIに負けたと話題になった「Alex 」問題文
東ロボは係り受けを使って正解してませんので
その結果を人間と比較することに意味があると思えません。
twitter.com/Tei393098/stat...
タグ：
posted at 01:45:18
リーディングスキルテストの6つの読解力のうち
2つは東ロボとは関係なくすでに研究済み。
その他は東ロボで研究してないので
リーディングスキルテストはAIの技術とは関係ないところで考案されてると思うのですが、そこは新井紀子さんの説明をお待ちしてます。
twitter.com/Tei393098/stat...
タグ：
posted at 01:37:22
それリーディングスキルテストの6つの読解力のことでしょ？
2017.1. 6
AIが長文読解力に問題を抱えているのは新しい発見ではない
若い世代の読解力不足指摘も今さらのこと
意味があるとすれば私たち人間が意識せずに使っているさまざまな力を多くの人々に知らせてくれたこと
kyoiku.yomiuri.co.jp/rensai/content...
タグ：
posted at 01:27:58
『東大合格を目標に掲げている』のに
『なぜ人間が負けるのかという視点』
AIの限界と言いたかったのだろうけど
↓
2016年に東ロボ東大断念の理由
読解力が必要な国語や英語など苦手
文章の意味を理解できない
NIIは現段階では彼の弱点である読解力を
東大合格水準困難と判断
diamond.jp/articles/-/142...
タグ：
posted at 01:21:06
2016.3.15
東ロボは2021年度までに東大に合格することを目標に掲げている
2015年度の進研模試（高3生高卒生総合学力マーク模試6月）挑戦
5教科7科目合計偏差値57.8、
「ただ文字列を解析するだけのAI」になぜ人間が負けるのかという視点から独自の調査結果も踏まえ現在の中・高生の読解力のなさを指摘
タグ：
posted at 01:13:09
2016.3.15
（東ロボが）模試への挑戦を振り返る中で記述試験の採点についても触れた新井氏
AIによる記述式の正誤判定は「絶望的に難しい」
between.shinken-ad.co.jp/hu/2016/03/pos...
2021.12.21
大学入学共通テスト試行調査記述式問題の手書き答案をAIに自動採点させたところ
「ほぼ人間並み」
www.nikkei.com/article/DGXZQO... pic.twitter.com/2cfZEzrggv
タグ：
posted at 01:07:42
