黒木玄 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 を見て下さい。
2020年06月08日(月)
お待たせしました。となジャン版ワンパンマン、単行本化にあたり、140話〜143話までを大幅改訂しております。(143話は一部改訂)よろしければ是非!
tonarinoyj.jp/episode/108341...
タグ:
posted at 23:51:26
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n #超算数 #算数教育の歴史
塩野直道の『数学教育論』にはメートル法の改正のことが書いてありました pic.twitter.com/n93Ul6XmpS
posted at 23:48:48
Twitterのリプライを可視化するシステム登場 「たくさんに見える誹謗中傷、実は少数の人から」が分かる nlab.itmedia.co.jp/nl/articles/20... @itm_nlabより
タグ:
posted at 22:39:56
™ (blueskyに同アカウント名で避 @tmaehara
これ,セグ木とかで頻出する for (i = n; i > 0; i /= 2) { do_something(x[i]); } みたいなのを Rust で高速に書こうとしたら unsafe --- get_unchecked にしなきゃいけないってことですか.
タグ:
posted at 21:41:14
™ (blueskyに同アカウント名で避 @tmaehara
Rust のパフォーマンスまわりが気になったので www.amazon.co.jp/Rust-High-Perf... を見たところ,こういうことが書いてあって辛くなった(境界チェッカのため).単純走査はイテレータを使えばいいけど,多次元配列の i 番目を見ていくみたいな場合は unsafe { arr.get_unchecked(i); } とあってとても辛い. pic.twitter.com/ZDTqOflVvU
タグ:
posted at 21:37:19
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 #算数教育の歴史
大正14年(1925年)
大井全平 『算術教授資料の根本的研究. 上巻』
dl.ndl.go.jp/info:ndljp/pid...
> 1人に3銭づつ5度取りたる3銭×5=15銭
> 之を3回繰り返して・・・5銭×3=15銭 pic.twitter.com/449ak9e0ud
posted at 21:36:40
@wakame01 @JinReiGod @iroha193 @kou_min @RikeinoHanrei @genkuroki ちなみに教師用指導書には「円の面積の公式」をどう教えているのかを著作権的に大丈夫な範囲で教えてくれるとツイッターの数学マニアたちがとても喜ぶと思うので教えてくださいよろしくお願いします。
タグ:
posted at 21:33:12
@wakame01 @JinReiGod @iroha193 @kou_min @RikeinoHanrei おお、ついに出たぞ、「教科書会社が勝手に作っている本」という体裁にすることで内容の責任者も明らかにすることなく #超算数 を文科省などの外野の監視をすり抜けて子供に吹き込む元凶になっているといういあれだな! @genkuroki 先生が言っていたやつだ!
タグ: 超算数
posted at 21:27:45
Michael P.H. Stumpf @theosysbio
I’m really rather impressed by this book: 1. Basics very well covered; 2. Good selection of advanced methods, e.g. Gaussian processes & optimisation under uncertainty; 3. code in #JuliaLang pic.twitter.com/obyYMXYns3
タグ: JuliaLang
posted at 21:22:48
#超算数 資料
教科書会社の指導書は、一般人購入不可で万人の批判の目を逃れている文書でかつ、ぶっちゃけチョー算数に毒されたトンデモ本なので、そんなものに頼ればよいと考える人には子供の教育に関わって欲しくないと思いました。
めちゃくちゃこわい。 pic.twitter.com/tV9ygewcpV
タグ: 超算数
posted at 21:08:55
@walkingrandomly In fact, an overlooked problem is small linear algebra, which comes up more often than not. That's why we have MaBLAS.jl, StaticArrays.jl, etc. in #JuliaLang to optimize the small case.
Another overlooked problem is cases of matrices with skewed aspect ratios.
タグ: JuliaLang
posted at 20:58:12
@walkingrandomly This has been a complaint by users of HPC in general. While I am sure that such matrices show up in some applications, they are not common. Often this is driven by Top500 benchmarks, and few applications on the big machines.
タグ:
posted at 20:56:28
非公開
タグ:
posted at xx:xx:xx
予習禁止なのも、算数じゃない教科(Xとおく)の指導書に書いてある通りに教えられないからでしょ?
Xを定着()させたいから、算数を身に付けられたら困るわけだ。
タグ:
posted at 20:19:07
どこの誰の権限で公開してはいけないことになってるのか知りませんが、とにかく指導書の中身を全て公開してくれませんかね…
指導書を隠匿し、その指導書で算数じゃない何かを教えてるんだから、家で算数勉強されたら教員にとっても不都合でしょう?
こちらに見えないものを根拠にされても困る
タグ:
posted at 20:16:33
記事を書きました。
神童・藤井聡太七段(17)タイトル戦初陣で勝利 王者・渡辺明棋聖(36)との相矢倉の名局を制する(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...
タグ:
posted at 19:59:10
>731部隊がペスト菌を中国に散布した事柄は何処からの情報ですか?
えっと、そこまでの「常識」を今更聞かれましても(^^ゞ 一応「細菌戦はこう展開された」の記事にまとめてありますので、とりあえずご覧ください。yu77799.g1.xrea.com/731/saikinsent... twitter.com/xEOBykkLz8bjq3...
タグ:
posted at 19:36:23
Hmm looks like I might wanna have a look at: github.com/Wikunia/CodePo... again to create a poster with the ConstraintSolver logo :D
#julialang #art pic.twitter.com/uVQdD9QeSZ
posted at 17:59:08
非公開
タグ:
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
julia-vscode Release v0.16.1 をトライ
#Julia言語
タグ: Julia言語
posted at 16:36:22
#Julia言語
”Julia developers are very cute." という選択肢も入れて欲しいと思った。
twitter.com/mathsorcerer/s...
タグ: Julia言語
posted at 15:17:40
2006年から2019年までのWebハッキング手法がまとめられたリポジトリが公開されてる。
【top10webseclist】
github.com/irsdl/top10web...
それぞれの年代別mdファイルの中に、各手法を詳しく解説した記事リンクが掲載されている
タグ:
posted at 14:54:41
丸谷才一が海外の書評を紹介する仕事をしていたけど、ほかにはあんまりやってる人いないですよね。誰かいたかな。
ロンドンで本を読む 最高の書評による読書案内 (知恵の森文庫) 丸谷 才一 www.amazon.co.jp/dp/4334784755/...
タグ:
posted at 14:45:14
考えたことなかったけど、これはたしかにそうですな。
「海外の本の書評の翻訳権は買えないのだろうか。読んでくれるかわからない人に献本して書評を待つより、もう海外で出てる書評を翻訳してしまうほうが確実な気がする」
twitter.com/trylleringen/s...
タグ:
posted at 14:38:50
#超算数 続き
以前調べたことについては以下のリンク先からリンクをたどれば閲覧できます。 twitter.com/genkuroki/stat...
タグ: 超算数
posted at 14:38:24
#超算数 【「ある特定の値で」と「どんな値でも」との違い】で等式を「方程式」と「恒等式」に分類するおかしなスタイルの由来について以前調べたことがあります。
どうも19世紀の教科書でのidentityとconditional equationの区別が由来っぽい。
19世紀のものすごく時代遅れのスタイル!続く twitter.com/newmathworkboo...
タグ: 超算数
posted at 14:38:23
#超算数 【「x+2=3」は方程式で「x+2x=3x」は恒等式だ】という説明はデタタメであり、そのようなデタラメを広める行為はやめて欲しいと思いました。
方程式x+2x=3xのすべての実数解は実数全体になります。
方程式x+2x=3x+1の解は存在しない。
続く twitter.com/newmathworkboo... pic.twitter.com/8v6FL2d7uA
タグ: 超算数
posted at 14:38:23
#統計 ベイズ統計学の部分の説明は信用しない方が良いと思いました。「ベイズ確率」という危なそうな用語のコラムがあるのはかなり怖い。
「ナイーブベイズはMAP法に分類し、ベイズ統計ではない」とした方がより適切だと思う。
「数理統計学」の分類もおかしいと思う。
twitter.com/k_green_tea/st... pic.twitter.com/41sFE9U9H8
タグ: 統計
posted at 14:16:49
非公開
タグ:
posted at xx:xx:xx
@5ebec atcoderでやってる人いたなあ:
www.smartbowwow.com/2018/09/atcode...
JuliaだとHTTP.jlとかになるのかな。ファイルになってるならBase.downloadとかもあって便利なんだけどね。
タグ:
posted at 13:50:57
ごまふあざらし(GomahuAzaras @MathSorcerer
"Julia community of developers is warm and welcoming"
には100回チェックマーク入れたい
タグ:
posted at 13:40:10
「1から始めるJuliaプログラミング」が届いた。もう相当使ってはいるんだけど、我流だからいろいろ無駄をやってるに違いないので、読んどく。薄いし pic.twitter.com/hsEUfBM2N1
タグ:
posted at 13:35:03
@5ebec 入力のところしっかり見ていないけど、これ参考になるかも:
github.com/aviatesk/googl...
コード書いてるときは別ファイルから読み込んで、コンテストではstdinから読み込む。
タグ:
posted at 13:19:56
#統計 「正規分布だと仮定していいのか?」と質問したら合理的な回答が返って来なかった、というような経験談を語る人達が結構いる。
現実には「正規分布だと仮定していいのか?」という質問にまともに回答できないくせに、正規分布モデルを使った統計分析を発表している人達が沢山いる可能性がある。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 13:15:16
会社のブログで、ここ最近の計算社会科学の動向についてまとめました。
buildersbox.corp-sansan.com/entry/2020/06/...
タグ:
posted at 12:44:59
#統計 『統計学入門』(東大出版会)によれば、「主観確率」は【研究者の得られる情報、知識、経験などによって異なる可能性】がある確率らしい。
研究で採用するあらゆる設定について、【研究者の得られる情報、知識、経験などによって異なる可能性】があるので、これはかなり笑える無意味な説明(笑) twitter.com/genkuroki/stat... pic.twitter.com/tqEb8SgMtP
タグ: 統計
posted at 12:04:27
#統計 実は『パターン認識と機械学習』もベイズ統計についてミスリーディングな説明をしています。
機械学習では「最終的に役に立てば良い」で押し通し易いはずなのに、時代遅れの杜撰なベイズ統計観について解説😱
多分、これが原因で__も__多くの人が誤解している。
twitter.com/genkuroki/stat... pic.twitter.com/3AY3idKrmI
タグ: 統計
posted at 11:46:34
#統計 別の事例。以下の機械学習の解説では、最初の方で「主観確率」や「ビリーフ」について非常に頑張って説明しているのに、第二章以降でそれらの概念が無用なように見える。
無用な概念について頑張って説明するのはなぜか?(笑)
www.ai.lab.uec.ac.jp/wp-content/upl...
ベイズ機械学習入門
担当教授:植野真臣
タグ: 統計
posted at 11:35:43
#統計 以下のリンク先のノートブックも参照。
所謂豊田『瀕死本』は非常に奇妙な本で、頻度論的なP値の使用を批判しながら、頻度論的なP値と数値的にほぼ一致するベイズ統計の事後分布で計算した確率の使用を勧めています。
使うべきではないと批判しているものの使用を勧めているようにも見える(笑) twitter.com/genkuroki/stat...
タグ: 統計
posted at 11:24:34
#統計 通常の頻度論的なP値とベイズ統計における事後分布を使って構成したP値の類似物が数値的にほぼ一致している場合の例については以下のリンク先およびそれを含むスレッドを参照。
このようなケースでは「ベイズ統計は事前分布を使っているので主観的」と言うことは無意味です。 twitter.com/genkuroki/stat...
タグ: 統計
posted at 11:19:33
#統計 (James-)Stein推定量については
nbviewer.jupyter.org/gist/genkuroki...
Ridge正則化とStein推定量
に私による解説がある。
機械学習の普及で「Ridge正則化」が常識になっていますが、Stein推定量は先行する重要な発見。
そして、事前分布が主観・確信・信念と無関係に役に立つことを示す例として重要。
タグ: 統計
posted at 11:09:52
#統計 【対応物がなくても全然困らないなら~数学で完結するという話ですね】
いいえ。
渡辺澄夫さんが書いたものを複数紹介しているのに読んでいないのだろうか?
事前分布に現実での対応物がなくても、モデル全体やデータから求めた事後予測分布など現実と比較できる部分を比較すれば困らない。 twitter.com/smorninglory/s... pic.twitter.com/ZW3n1BpocI
タグ: 統計
posted at 10:45:03
論文が出版されました。超高速に超伝導BdG方程式を解く方法についてです。例として行列サイズが4千万次元の正方格子2次元s波超伝導体の局所状態密度がノートPCで30秒以下で計算できることを示しています。journals.jps.jp/doi/10.7566/JP...
タグ:
posted at 10:33:36
記事を書きました。
和服ではなくスーツの藤井聡太七段(17)メイチの短髪・渡辺明棋聖(36)歴史的な棋聖戦五番勝負開幕(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...
タグ:
posted at 10:02:31
「物性実験家のための無料でできる第一原理計算入門」、Siの部分DOSを計算する方法を追加。
cometscome.github.io/DFT/build/Fast...
タグ:
posted at 10:02:00
Clossius Sensei @ClossiusSensei
I'm now streaming on Twitch! Playing Go ift.tt/2qBnL7S pic.twitter.com/NbcfkpWmzF
タグ:
posted at 09:59:12
ワセリンを塗ったら日焼けしやすくなるって、ホント?医師が解説
(ほむほむ先生)
「いえいえ、実はワセリンは、紫外線をむしろ多少ブロックする作用があるくらいですので、塗っても大丈夫ですよ」
この時期よくされる質問、
誤解されている方も多いですね😊
ぜひご一読ください😊 twitter.com/ped_allergy/st...
タグ:
posted at 09:43:33
ほむほむ@アレルギー専門医:noteメン @ped_allergy
【NEW!】Yahoo個人の記事を更新しました。
「顔にワセリンを塗っても大丈夫ですか?日焼けがひどくなりませんか?」という質問は少なからずあります。
そこで、いくつかの研究結果からワセリンと紫外線の関係に関して解説してみました。
news.yahoo.co.jp/byline/horimuk...
タグ:
posted at 09:21:09
Junoを用いてJulia v1.4.0でAtCoderを解く環境を作ったので後は参加するだけになった。(早く参加しろ)
github.com/5ebec/julia-at...
タグ:
posted at 08:50:13
"染谷隆明弁護士は「薬機法違反の表示で、売買を仲介する運営会社も責任を問われうる」と指摘する” r.nikkei.com/article/DGXMZO... #次亜塩素酸水
まとめでご紹介したイベントに染谷先生も出演されます。EC法務担当者も必見ですよ。 togetter.com/li/1537398
タグ: 次亜塩素酸水
posted at 08:23:06
「Linuxカーネルのソースを変更して再構築して運用してアップストリームに提案して皆に貢献することができます」と言えばいいのに、どうして「Linux触れます」という言葉の定義をそんなアクロバティックな慣用句的意味にしたがるのだろう?技術者は怠惰であるべきだから?
タグ:
posted at 08:12:20
ログインしてシェルにコマンド入力したりGUIを使うだけでも「Linux触れます」と言って何の問題もないし、むしろ積極的にそう言って欲しいと思う。どうして「触れる」という言葉をそんな限定的かつ特権的なものにしたがる人がいるんだろう?実に不思議だ。 twitter.com/EzoeRyou/statu...
タグ:
posted at 08:09:43
Juliaの利用者・開発者アンケートが開始されたのでご協力下さい!アンケートは日本語でも読めます!#Julia言語
form.jotform.com/201416098987466
タグ: Julia言語
posted at 07:08:01
一体どういう基準で教員採用したら、教員が勉強を教える専門職じゃないとトンチキなことを言い出す人材が教師になっちゃうんですかね。勉強を教える専門職を養成しない教育学部は潰してもいいのでは。 twitter.com/rOdtLwQI6fMBfu...
タグ:
posted at 04:53:00
juliaでテオヤンセン動いた!
(これやってみただけ)
github.com/rdeits/Strandb... pic.twitter.com/Qzn4HHsDOh
タグ:
posted at 03:35:07
#統計 何度も繰り返し語って来たことですが、
頻度論 ベイズ
パラメータ 定数 確率変数
データ 確率変数 定数
という図式で「頻度主義」と「ベイズ統計」について解説する行為は非常に悪質で困ったものだと思います。添付画像は
watanabe-www.math.dis.titech.ac.jp/users/swatanab...
より。 twitter.com/rakt1a869lnehn... pic.twitter.com/R8gvX7CjOV
タグ: 統計
posted at 01:22:47
「何算をつかう?」とか「何を何で割る?」とか、そんなことをやっているから、日常の感覚からどんどん離れていって、その挙句に「学校で勉強することは将来役には立たない」なんて世間に言われる始末。・・・生徒たちの今後を考えると、なんだかねーって感じる。
タグ:
posted at 01:21:28
で、改めて思うわけですよ。算数や数学が出来ないと思われている生徒でも、日常生活での数学的思考が出来ている子もそれなりにいるのだろう、と。けれども学校でやる「勉強」になると、その時点でわからないと感じてしまうのだろう、と。
タグ:
posted at 01:21:28
でその結果、ほぼ全ての生徒がCと答えたのです。・・・要は1枚あたり(単位量あたり)の金額を、自然に比較できたのですね。けれどもやはりその生徒たち、数学の問題で単位量や割合が出てくると、なかなか立式に自信が持てず手の動きが遅い。
タグ:
posted at 01:21:27
A「3枚で159円」B「7枚で399円」C「10枚で499円」・・・一応念の為に、ここでいう”お得”とはあくまで枚数に関するもので、品質の差や手持ちのお金の額などの別条件は設定しないと、生徒にも確認しています。
タグ:
posted at 01:21:27
この前、数学が苦手だと自分で思っている生徒たちに、次のような質問をしてみた。うちの近くのディスカウントホームセンター(トライ○ル)で、実際に売っているマスクの値段を考えてどのセットを買うのが”お得”かというもの。
タグ:
posted at 01:21:27
Why is it called “mathematical induction?” See this term’s introduction by Augustus De Morgan from 1838. #MAAConvergence #DeMorgan #mathematicalinduction www.maa.org/node/1714300/ pic.twitter.com/0hRe4LYui3
タグ: DeMorgan MAAConvergence mathematicalinduction
posted at 00:01:16