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 を見て下さい。
並び順 : 新→古 | 古→新

2020年06月08日(月)

MAA @maanow

20年6月8日

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

@rn49rn49

20年6月8日

遊びで文字を流してみました。今日は月曜日。 pic.twitter.com/uZ6kCm64pV

タグ:

posted at 00:48:49

なべT@せつなさみだれうち @zatukun

20年6月8日

この前、数学が苦手だと自分で思っている生徒たちに、次のような質問をしてみた。うちの近くのディスカウントホームセンター(トライ○ル)で、実際に売っているマスクの値段を考えてどのセットを買うのが”お得”かというもの。

タグ:

posted at 01:21:27

なべT@せつなさみだれうち @zatukun

20年6月8日

A「3枚で159円」B「7枚で399円」C「10枚で499円」・・・一応念の為に、ここでいう”お得”とはあくまで枚数に関するもので、品質の差や手持ちのお金の額などの別条件は設定しないと、生徒にも確認しています。

タグ:

posted at 01:21:27

なべT@せつなさみだれうち @zatukun

20年6月8日

でその結果、ほぼ全ての生徒がCと答えたのです。・・・要は1枚あたり(単位量あたり)の金額を、自然に比較できたのですね。けれどもやはりその生徒たち、数学の問題で単位量や割合が出てくると、なかなか立式に自信が持てず手の動きが遅い。

タグ:

posted at 01:21:27

なべT@せつなさみだれうち @zatukun

20年6月8日

で、改めて思うわけですよ。算数や数学が出来ないと思われている生徒でも、日常生活での数学的思考が出来ている子もそれなりにいるのだろう、と。けれども学校でやる「勉強」になると、その時点でわからないと感じてしまうのだろう、と。

タグ:

posted at 01:21:28

なべT@せつなさみだれうち @zatukun

20年6月8日

「何算をつかう?」とか「何を何で割る?」とか、そんなことをやっているから、日常の感覚からどんどん離れていって、その挙句に「学校で勉強することは将来役には立たない」なんて世間に言われる始末。・・・生徒たちの今後を考えると、なんだかねーって感じる。

タグ:

posted at 01:21:28

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 何度も繰り返し語って来たことですが、

      頻度論  ベイズ
パラメータ 定数   確率変数
データ   確率変数 定数

という図式で「頻度主義」と「ベイズ統計」について解説する行為は非常に悪質で困ったものだと思います。添付画像は

watanabe-www.math.dis.titech.ac.jp/users/swatanab...

より。 twitter.com/rakt1a869lnehn... pic.twitter.com/R8gvX7CjOV

タグ: 統計

posted at 01:22:47

ceptree @ceptree

20年6月8日

The頭

タグ:

posted at 01:23:36

firefly @ynhrt1250

20年6月8日

juliaでテオヤンセン動いた!

(これやってみただけ)
github.com/rdeits/Strandb... pic.twitter.com/Qzn4HHsDOh

タグ:

posted at 03:35:07

闇のapj @apj

20年6月8日

一体どういう基準で教員採用したら、教員が勉強を教える専門職じゃないとトンチキなことを言い出す人材が教師になっちゃうんですかね。勉強を教える専門職を養成しない教育学部は潰してもいいのでは。 twitter.com/rOdtLwQI6fMBfu...

タグ:

posted at 04:53:00

TN @tomoak1n

20年6月8日

@apj 教員採用試験はこれからだから、採用の基準の問題なのか、教育課程だけの問題なのかは、まだ明らかではない。

タグ:

posted at 05:33:48

(「・ω・)「ガオー @bicycle1885

20年6月8日

Juliaの利用者・開発者アンケートが開始されたのでご協力下さい!アンケートは日本語でも読めます!#Julia言語
form.jotform.com/201416098987466

タグ: Julia言語

posted at 07:08:01

極端流形式仕様 初代 @tomooda

20年6月8日

ログインしてシェルにコマンド入力したりGUIを使うだけでも「Linux触れます」と言って何の問題もないし、むしろ積極的にそう言って欲しいと思う。どうして「触れる」という言葉をそんな限定的かつ特権的なものにしたがる人がいるんだろう?実に不思議だ。 twitter.com/EzoeRyou/statu...

タグ:

posted at 08:09:43

極端流形式仕様 初代 @tomooda

20年6月8日

「Linuxカーネルのソースを変更して再構築して運用してアップストリームに提案して皆に貢献することができます」と言えばいいのに、どうして「Linux触れます」という言葉の定義をそんなアクロバティックな慣用句的意味にしたがるのだろう?技術者は怠惰であるべきだから?

タグ:

posted at 08:12:20

yuri @syoyuri

20年6月8日

"染谷隆明弁護士は「薬機法違反の表示で、売買を仲介する運営会社も責任を問われうる」と指摘する” r.nikkei.com/article/DGXMZO... #次亜塩素酸水
まとめでご紹介したイベントに染谷先生も出演されます。EC法務担当者も必見ですよ。 togetter.com/li/1537398

タグ: 次亜塩素酸水

posted at 08:23:06

へいほぅ @h3y6e

20年6月8日

Junoを用いてJulia v1.4.0でAtCoderを解く環境を作ったので後は参加するだけになった。(早く参加しろ)
github.com/5ebec/julia-at...

タグ:

posted at 08:50:13

ほむほむ@アレルギー専門医:noteメン @ped_allergy

20年6月8日

【NEW!】Yahoo個人の記事を更新しました。

「顔にワセリンを塗っても大丈夫ですか?日焼けがひどくなりませんか?」という質問は少なからずあります。

そこで、いくつかの研究結果からワセリンと紫外線の関係に関して解説してみました。
news.yahoo.co.jp/byline/horimuk...

タグ:

posted at 09:21:09

ナカイサヤカ @sayakatake

20年6月8日

@apj @930_jp 東進みたいと言っているので「勉強」についての理解が浅すぎるんでしょう。問題集の問題を解くことができる部分を勉強と言っていて、現実を理解して考察することとかは勉強以外に入ってしまっているのかも。でも頭を使う活動についても軽く考えている感じもあって、そういう教育学部は問題かな

タグ:

posted at 09:41:44

ナカイサヤカ @sayakatake

20年6月8日

@apj @930_jp 教育系大学卒としては後輩でないことを祈るよ。

タグ:

posted at 09:43:02

こどアレ@小児科|アレルギー専門医 @kodoare

20年6月8日

ワセリンを塗ったら日焼けしやすくなるって、ホント?医師が解説
(ほむほむ先生)

「いえいえ、実はワセリンは、紫外線をむしろ多少ブロックする作用があるくらいですので、塗っても大丈夫ですよ」

この時期よくされる質問、
誤解されている方も多いですね😊
ぜひご一読ください😊 twitter.com/ped_allergy/st...

タグ:

posted at 09:43:33

Clossius Sensei @ClossiusSensei

20年6月8日

I'm now streaming on Twitch! Playing Go ift.tt/2qBnL7S pic.twitter.com/NbcfkpWmzF

タグ:

posted at 09:59:12

Yuki Nagai @cometscome_phys

20年6月8日

「物性実験家のための無料でできる第一原理計算入門」、Siの部分DOSを計算する方法を追加。
cometscome.github.io/DFT/build/Fast...

タグ:

posted at 10:02:00

mtmt @mtmtlife

20年6月8日

記事を書きました。
和服ではなくスーツの藤井聡太七段(17)メイチの短髪・渡辺明棋聖(36)歴史的な棋聖戦五番勝負開幕(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...

タグ:

posted at 10:02:31

Yuki Nagai @cometscome_phys

20年6月8日

論文が出版されました。超高速に超伝導BdG方程式を解く方法についてです。例として行列サイズが4千万次元の正方格子2次元s波超伝導体の局所状態密度がノートPCで30秒以下で計算できることを示しています。journals.jps.jp/doi/10.7566/JP...

タグ:

posted at 10:33:36

黒川猫子(,,Ծ‸Ծ,, @nekoko_kurokawa

20年6月8日

julia、楽しそうな言語ではある

タグ:

posted at 10:42:43

黒川猫子(,,Ծ‸Ծ,, @nekoko_kurokawa

20年6月8日

c言語の速さとpythonの書きやすさとかすごく強そうでしょ

タグ:

posted at 10:43:36

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 【対応物がなくても全然困らないなら~数学で完結するという話ですね】

いいえ。

渡辺澄夫さんが書いたものを複数紹介しているのに読んでいないのだろうか?

事前分布に現実での対応物がなくても、モデル全体やデータから求めた事後予測分布など現実と比較できる部分を比較すれば困らない。 twitter.com/smorninglory/s... pic.twitter.com/ZW3n1BpocI

タグ: 統計

posted at 10:45:03

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 例えば、S市の中1全体の体重の真の分布のq(y)と書くとき、複数のモデルの複数の事後予測分布p*(y)とq(y)の違いをWAICで推測することもできるし、複数のZ(y_1,…,y_n)とq(y_1)…q(y_n)の違いを-2log Z(y_1,…,y_n)で推測することもできます。(これが渡辺澄夫『ベイズ統計の理論と方法』の主題)

タグ: 統計

posted at 10:51:53

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 続き。「違いを推測できる」という言い方は文字数の都合でした。より正確には、「モデル1から得られる分布p₁とモデル2から得られる分布p₂と分布qの違いのどちらが大きいかを推測できる」という意味です。

それによって、複数の事後予測分布を比較したり、複数のモデル全体を比較できます。

タグ: 統計

posted at 10:57:22

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 事前分布を調節して、平均予測誤差を事前分布を用いない最尤法よりも小さくできることを直接的な計算できる例としては、(James-)Stein推定の話が有名。

ただしベイズ統計ではなく、MAP法の話。

事前分布は主観・信念・確信と無関係に平均予測誤差を小さくするために使用できます。

タグ: 統計

posted at 11:05:05

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 (James-)Stein推定量については

nbviewer.jupyter.org/gist/genkuroki...
Ridge正則化とStein推定量

に私による解説がある。

機械学習の普及で「Ridge正則化」が常識になっていますが、Stein推定量は先行する重要な発見。

そして、事前分布が主観・確信・信念と無関係に役に立つことを示す例として重要。

タグ: 統計

posted at 11:09:52

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 モデルが単純な場合には、最尤法(と通常の仮説検定や信頼区間の組み合わせ)と広がったおとなしめの事前分布でのベイズ統計の方法による結論は、そう違わないことが多く、そのことを支える数学的定理も比較的容易に証明できます。

簡単なモデルを与えた場合には単なる計算問題。続く

タグ: 統計

posted at 11:14:45

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 通常の頻度論的なP値とベイズ統計における事後分布を使って構成したP値の類似物が数値的にほぼ一致している場合の例については以下のリンク先およびそれを含むスレッドを参照。

このようなケースでは「ベイズ統計は事前分布を使っているので主観的」と言うことは無意味です。 twitter.com/genkuroki/stat...

タグ: 統計

posted at 11:19:33

金子裕介 @fxgodzeuss

20年6月8日

なんでCやJuliaがないのですか?
Pythonに入れておきますが。 twitter.com/pasonatech/sta...

タグ:

posted at 11:22:03

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 以下のリンク先のノートブックも参照。

所謂豊田『瀕死本』は非常に奇妙な本で、頻度論的なP値の使用を批判しながら、頻度論的なP値と数値的にほぼ一致するベイズ統計の事後分布で計算した確率の使用を勧めています。

使うべきではないと批判しているものの使用を勧めているようにも見える(笑) twitter.com/genkuroki/stat...

タグ: 統計

posted at 11:24:34

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 別の事例。以下の機械学習の解説では、最初の方で「主観確率」や「ビリーフ」について非常に頑張って説明しているのに、第二章以降でそれらの概念が無用なように見える。

無用な概念について頑張って説明するのはなぜか?(笑)

www.ai.lab.uec.ac.jp/wp-content/upl...
ベイズ機械学習入門
担当教授:植野真臣

タグ: 統計

posted at 11:35:43

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 実は『パターン認識と機械学習』もベイズ統計についてミスリーディングな説明をしています。

機械学習では「最終的に役に立てば良い」で押し通し易いはずなのに、時代遅れの杜撰なベイズ統計観について解説😱

多分、これが原因で__も__多くの人が誤解している。

twitter.com/genkuroki/stat... pic.twitter.com/3AY3idKrmI

タグ: 統計

posted at 11:46:34

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 『統計学入門』(東大出版会)によれば、「主観確率」は【研究者の得られる情報、知識、経験などによって異なる可能性】がある確率らしい。

研究で採用するあらゆる設定について、【研究者の得られる情報、知識、経験などによって異なる可能性】があるので、これはかなり笑える無意味な説明(笑) twitter.com/genkuroki/stat... pic.twitter.com/tqEb8SgMtP

タグ: 統計

posted at 12:04:27

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 統計学入門書に書いてある正規分布モデルを使った区間推定(信頼区間)や仮説検定も、真っ当な研究者であれば正規分布モデルの妥当性が疑わしい場合があることを理解した上で、過去の経験などから正規分布モデルを適用しているのでしょうから、その意味でものすごく主観的なわけです。

タグ: 統計

posted at 12:08:50

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 ぶっちゃけ、そういう方向に進むと、何でも「主観的」であり、「主観的」と言う意味がない(笑)

そして、正規分布モデルの妥当性は個人の経験に帰着するべきではなく、真の母集団分布が正規分布ではない場合に正規分布モデルを適用したときに生じる誤差の数学的な分析も交えて判定するべき。

タグ: 統計

posted at 12:12:17

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 「何でも主観的」だと無意味。

それでは「リスクの期待値の最小化」の線で主観確率によるベイズ統計の正当化についてはどうでしょうか?

すなわち、事前分布を主観を表現するものと解釈し、その主観(=事前分布)のもとで何らかの方法で決めた「リスク」の期待値が最小化によって~続く

タグ: 統計

posted at 12:19:22

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 ~、「ベイズ推定量」を定義する方針はどうでしょうか?

さらに、「ゆえにベイズ統計はリスクの判断に向いている」と主張することはどうでしょうか?

私はこれらの考え方はひどくミスリーディングだと思う。

モデル内部でのリスクを評価をしても現実でのリスクを評価したことにならない‼️

タグ: 統計

posted at 12:19:25

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 当たり前の話ですが、ベイズ統計による分析結果による予測が現実における妥当性は事前分布の取り方にも依存します。そして、事前分布以前の問題として、確率モデルの設定の方によって分析結果が大きく変わります(当たり前)。

我々は現実におけるリスクに興味がある。続く

タグ: 統計

posted at 12:23:38

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 事前分布を主観の表現と解釈したときの期待リスク最小化による「ベイズ推定量」の正当化における「リスク」はモデル内で計算されたリスクに過ぎず、その意味での期待リスクを最小化しても、現実におけるリスクは全然小さくならないかもしれない‼️

この点を強調しない解説は不正直だと思う‼️

タグ: 統計

posted at 12:27:41

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 採用したモデル(事前分布もモデルの一部分)の現実への適用が妥当であれば、モデル内期待リスク最小化の結果を現実に応用することも妥当になります。

肝腎な点は「モデルの現実への適用の妥当性」の評価の方であり、「モデル内部での期待リスク」の評価ではないのです。

タグ: 統計

posted at 12:30:55

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 肝腎の「モデルの現実への適用の妥当性」の評価は一般には非常に難しい問題。(部分的な解決策が渡辺澄夫さんの本に書いてある。)

「事前分布=主観」という解釈によるベイズ統計の「正当化」は肝腎な問題を避けるレトリックのようなもので、ミスリーディングの主な原因になっていると思います。

タグ: 統計

posted at 12:35:01

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 過去のデータに関する情報を事前分布に組み込む場合についてはどうか?

その場合には、事前分布は過去のデータの情報の表現になっているので、安易に主観という言葉を出さずに、「過去のデータも交えた適切な分析を行おうとしているか」という観点から科学的な議論で決着を付けるべきです。

タグ: 統計

posted at 12:39:00

Naoki Maejima @naoki_maejima

20年6月8日

会社のブログで、ここ最近の計算社会科学の動向についてまとめました。
buildersbox.corp-sansan.com/entry/2020/06/...

タグ:

posted at 12:44:59

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 「正規分布だと仮定していいのか?」と質問したら合理的な回答が返って来なかった、というような経験談を語る人達が結構いる。

現実には「正規分布だと仮定していいのか?」という質問にまともに回答できないくせに、正規分布モデルを使った統計分析を発表している人達が沢山いる可能性がある。 twitter.com/genkuroki/stat...

タグ: 統計

posted at 13:15:16

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 要注意なのが最小二乗法。最小二乗法は残差を正規分布でモデル化した場合の最尤法に等しいので、最小二乗法のユーザーは正規分布モデルのユーザーになっています。

残差の様子が全然正規分布っぽくない場合には、最小二乗法の適用による誤差が非常に大きくなっている可能性が高いです。

タグ: 統計

posted at 13:19:20

Shuhei Kadowaki @kdwkshh

20年6月8日

@5ebec 入力のところしっかり見ていないけど、これ参考になるかも:
github.com/aviatesk/googl...

コード書いてるときは別ファイルから読み込んで、コンテストではstdinから読み込む。

タグ:

posted at 13:19:56

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 最小二乗法についての解説においても、現実の分析で生じるリスクを覆い隠すような説明が横行していて、ちょっと閉口します。

「最小二乗法は最良線形不偏推定である」というガウス・マルコフの定理によって、最小二乗法の最良性を強調するミスリーディングな解説が実に多い。続く

タグ: 統計

posted at 13:33:47

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 「最良線形不偏推定」における「線形」という条件はものすごく強い。

問題: y = a + bx + cx² + (残差) 型の最小二乗法は「最良線形不偏推定」の意味で線形であるか?

この問題に「x²の部分が非線形なので線形ではない」と答えると不正解になります。このレベルでアウトな人も多いと思う。

タグ: 統計

posted at 13:33:53

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 y = a + bx + cx² + (残差) 型の最小二乗法も「最良線形不偏推定」の意味で線形になる程度には線形性はゆるい条件なのですが、その意味での線形性は「a,b,cの推定値がyのデータについて線形になる」という条件なので、実際にはものすごく強い条件です。ほとんどの推定法は線形ではない。

タグ: 統計

posted at 13:33:55

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 「最小二乗法は最良線形不偏推定」という主張は線形かつ不偏というものすごく狭い推定法の中での最良性を意味しているに過ぎず、「最小二乗法は井の中の蛙」を意味する定理だと思っておいた方が事故が減ると思います。

かなり話題が脱線した😅

タグ: 統計

posted at 13:33:56

あ〜る菊池誠(反緊縮)公式 @kikumaco

20年6月8日

「1から始めるJuliaプログラミング」が届いた。もう相当使ってはいるんだけど、我流だからいろいろ無駄をやってるに違いないので、読んどく。薄いし pic.twitter.com/hsEUfBM2N1

タグ:

posted at 13:35:03

ごまふあざらし(GomahuAzaras @MathSorcerer

20年6月8日

"Julia community of developers is warm and welcoming"
には100回チェックマーク入れたい

タグ:

posted at 13:40:10

へいほぅ @h3y6e

20年6月8日

@kdwkshh なるほどなぁ,ありがとう🙇
テストケースも自動で取得するようにしたら捗りそう

タグ:

posted at 13:44:01

Shuhei Kadowaki @kdwkshh

20年6月8日

@5ebec atcoderでやってる人いたなあ:
www.smartbowwow.com/2018/09/atcode...

JuliaだとHTTP.jlとかになるのかな。ファイルになってるならBase.downloadとかもあって便利なんだけどね。

タグ:

posted at 13:50:57

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 ベイズ統計学の部分の説明は信用しない方が良いと思いました。「ベイズ確率」という危なそうな用語のコラムがあるのはかなり怖い。

「ナイーブベイズはMAP法に分類し、ベイズ統計ではない」とした方がより適切だと思う。

「数理統計学」の分類もおかしいと思う。

twitter.com/k_green_tea/st... pic.twitter.com/41sFE9U9H8

タグ: 統計

posted at 14:16:49

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#統計 続き。解説がおかしくなる理由を、「易しく説明しようとしたこと」に求めるのは誤り。

例えば東大出版会『統計学入門』のような世間一般的には信用されている大学レベルの教科書での標準的な解説がひどい。

標準的な解説がひどいので易しく書いてもひどいままになるという問題。

タグ: 統計

posted at 14:21:37

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 【「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

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 【「ある特定の値で」と「どんな値でも」との違い】で等式を「方程式」と「恒等式」に分類するおかしなスタイルの由来について以前調べたことがあります。

どうも19世紀の教科書でのidentityとconditional equationの区別が由来っぽい。

19世紀のものすごく時代遅れのスタイル!続く twitter.com/newmathworkboo...

タグ: 超算数

posted at 14:38:23

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 続き

以前調べたことについては以下のリンク先からリンクをたどれば閲覧できます。 twitter.com/genkuroki/stat...

タグ: 超算数

posted at 14:38:24

栗原裕一郎 @y_kurihara

20年6月8日

考えたことなかったけど、これはたしかにそうですな。
「海外の本の書評の翻訳権は買えないのだろうか。読んでくれるかわからない人に献本して書評を待つより、もう海外で出てる書評を翻訳してしまうほうが確実な気がする」

twitter.com/trylleringen/s...

タグ:

posted at 14:38:50

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 「x+2=3」「x+2x=3x」のような等式を見ただけで、それが方程式なのかどうかわかるというような考え方は誤りです。等号記号=には「等しい」以上の意味はない。

方程式扱いになる等式は「~を満たす○○を求めよ」という問題を扱うときの~に登場する等式です。式以外に文脈を見る必要がある。

タグ: 超算数

posted at 14:42:52

栗原裕一郎 @y_kurihara

20年6月8日

丸谷才一が海外の書評を紹介する仕事をしていたけど、ほかにはあんまりやってる人いないですよね。誰かいたかな。

ロンドンで本を読む 最高の書評による読書案内 (知恵の森文庫) 丸谷 才一 www.amazon.co.jp/dp/4334784755/...

タグ:

posted at 14:45:14

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 「方程式」は式の一種を意味する用語ではなくて、「~を満たす○○を求めよ」型の問題の一種を意味する用語です。

「等号記号=の意味は恒等式と方程式では違う」というデタラメな説明もよく見ます。等号記号=には「等しい」以上の意味はありません。

デタラメを堂々と教える行為は普遍的。

タグ: 超算数

posted at 14:46:46

まさとらん @0310lan

20年6月8日

2006年から2019年までのWebハッキング手法がまとめられたリポジトリが公開されてる。

【top10webseclist】
github.com/irsdl/top10web...

それぞれの年代別mdファイルの中に、各手法を詳しく解説した記事リンクが掲載されている

タグ:

posted at 14:54:41

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#Julia言語

”Julia developers are very cute." という選択肢も入れて欲しいと思った。

twitter.com/mathsorcerer/s...

タグ: Julia言語

posted at 15:17:40

Astellon @astellon_music

20年6月8日

Juliaのユーザーアンケートに回答した

タグ:

posted at 15:24:24

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#Julia言語

そんなパッケージが存在していたのか!おもろい。 twitter.com/ynhrt1250/stat...

タグ: Julia言語

posted at 15:47:50

(「・ω・)「ガオー @bicycle1885

20年6月8日

みんなもう1からJulia読んどるやんな?

タグ:

posted at 15:48:32

お***ぎ @muripo_life

20年6月8日

cmcの人julia使い多いよな。

タグ:

posted at 16:06:06

ごまふあざらし(GomahuAzaras @MathSorcerer

20年6月8日

julia-vscode Release v0.16.1 をトライ

#Julia言語

タグ: Julia言語

posted at 16:36:22

Lirimy @LirimyDh

20年6月8日

VSCode でのプロット表示、 ElectronDisplay.jl がしっくり来ている。 `using ElectronDisplay` だけで良い。 #Julia言語

タグ: Julia言語

posted at 16:40:35

(「・ω・)「ガオー @bicycle1885

20年6月8日

人類のためのJulia

タグ:

posted at 17:19:20

非公開

タグ:

posted at xx:xx:xx

(「・ω・)「ガオー @bicycle1885

20年6月8日

酵母でもわかるJulia

タグ:

posted at 17:24:35

あずりえる @poyothon

20年6月8日

データサイエンティストよりも真核生物の方が多いので「データサイエンティストのためのJulia」よりも「真核生物のためのJulia」の方が売れる。 #宣言的知識

タグ: 宣言的知識

posted at 17:27:28

さとし @SatoshiThermoph

20年6月8日

原核生物のためのJulia欲しい

タグ:

posted at 17:30:18

Miura Hideki @miura1729

20年6月8日

そんなこと言ったら宇宙で一番たくさんあるダークエネルギーのためのJulia なんて出したら通常の物質を全部本にしてもたりなくくらい売れるのでは?

タグ:

posted at 17:30:30

OpenSourcES @opensourcesblog

20年6月8日

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

タグ: art julialang

posted at 17:59:08

ゆう@小さな資料集 @yu77799

20年6月8日

>731部隊がペスト菌を中国に散布した事柄は何処からの情報ですか?

えっと、そこまでの「常識」を今更聞かれましても(^^ゞ 一応「細菌戦はこう展開された」の記事にまとめてありますので、とりあえずご覧ください。yu77799.g1.xrea.com/731/saikinsent... twitter.com/xEOBykkLz8bjq3...

タグ:

posted at 19:36:23

Fumiyuki Fujii @fumiyukifujii

20年6月8日

↓RT バックナンバーとして発見して購入。お勉強。後ろの方に、Julia言語のことも詳しく書いてあった。

タグ:

posted at 19:58:54

mtmt @mtmtlife

20年6月8日

記事を書きました。
神童・藤井聡太七段(17)タイトル戦初陣で勝利 王者・渡辺明棋聖(36)との相矢倉の名局を制する(松本博文) - Y!ニュース news.yahoo.co.jp/byline/matsumo...

タグ:

posted at 19:59:10

みゆき @miyuki_MathT

20年6月8日

どこの誰の権限で公開してはいけないことになってるのか知りませんが、とにかく指導書の中身を全て公開してくれませんかね…
指導書を隠匿し、その指導書で算数じゃない何かを教えてるんだから、家で算数勉強されたら教員にとっても不都合でしょう?
こちらに見えないものを根拠にされても困る

タグ:

posted at 20:16:33

みゆき @miyuki_MathT

20年6月8日

予習禁止なのも、算数じゃない教科(Xとおく)の指導書に書いてある通りに教えられないからでしょ?
Xを定着()させたいから、算数を身に付けられたら困るわけだ。

タグ:

posted at 20:19:07

非公開

タグ:

posted at xx:xx:xx

Viral B. Shah @Viral_B_Shah

20年6月8日

@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

Viral B. Shah @Viral_B_Shah

20年6月8日

@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

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#超算数 資料

教科書会社の指導書は、一般人購入不可で万人の批判の目を逃れている文書でかつ、ぶっちゃけチョー算数に毒されたトンデモ本なので、そんなものに頼ればよいと考える人には子供の教育に関わって欲しくないと思いました。

めちゃくちゃこわい。 pic.twitter.com/tV9ygewcpV

タグ: 超算数

posted at 21:08:55

Michael P.H. Stumpf @theosysbio

20年6月8日

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

三塚ハル @mtkharu3

20年6月8日

@wakame01 @JinReiGod @iroha193 @kou_min @RikeinoHanrei おお、ついに出たぞ、「教科書会社が勝手に作っている本」という体裁にすることで内容の責任者も明らかにすることなく #超算数 を文科省などの外野の監視をすり抜けて子供に吹き込む元凶になっているといういあれだな! @genkuroki 先生が言っていたやつだ!

タグ: 超算数

posted at 21:27:45

三塚ハル @mtkharu3

20年6月8日

@wakame01 @JinReiGod @iroha193 @kou_min @RikeinoHanrei @genkuroki ちなみに教師用指導書には「円の面積の公式」をどう教えているのかを著作権的に大丈夫な範囲で教えてくれるとツイッターの数学マニアたちがとても喜ぶと思うので教えてくださいよろしくお願いします。

タグ:

posted at 21:33:12

OokuboTact 大久保中二病中年 @OokuboTact

20年6月8日

#超算数  #算数教育の歴史

大正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

™ (blueskyに同アカウント名で避 @tmaehara

20年6月8日

Rust のパフォーマンスまわりが気になったので www.amazon.co.jp/Rust-High-Perf... を見たところ,こういうことが書いてあって辛くなった(境界チェッカのため).単純走査はイテレータを使えばいいけど,多次元配列の i 番目を見ていくみたいな場合は unsafe { arr.get_unchecked(i); } とあってとても辛い. pic.twitter.com/ZDTqOflVvU

タグ:

posted at 21:37:19

™ (blueskyに同アカウント名で避 @tmaehara

20年6月8日

これ,セグ木とかで頻出する for (i = n; i > 0; i /= 2) { do_something(x[i]); } みたいなのを Rust で高速に書こうとしたら unsafe --- get_unchecked にしなきゃいけないってことですか.

タグ:

posted at 21:41:14

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#Jupyter Jupyter notebook ファイルでありがたいのは、プログラムのコードと実行結果のグラフや動画を含むと整形された数式入りの文書をまとめたものになっていること。

結構重要なのは「実行結果」を含められること。

再実行しなくても良い点が重要。

「実行結果」を見せたいことは結構多い。

タグ: Jupyter

posted at 22:13:46

OokuboTact 大久保中二病中年 @OokuboTact

20年6月8日

(続き)
#超算数  #算数教育の歴史

3銭×5と5銭×3

どちらも名数×非名数の順序だけど、交換法則を使っているという特殊例

タグ: 算数教育の歴史 超算数

posted at 22:30:31

闇のapj @apj

20年6月8日

Twitterのリプライを可視化するシステム登場 「たくさんに見える誹謗中傷、実は少数の人から」が分かる nlab.itmedia.co.jp/nl/articles/20... @itm_nlabより

タグ:

posted at 22:39:56

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#Jupyter プログラムのコードと数式入りの解説のみが配布可能で、「実行結果」(例えばグラフや動画)はコードを実行しないと得られないならば、数学や科学技術関連の計算結果を伝えることが主目的であっても、読者の側にコードの実行という手間をかけさせてしまうことになる。読者は希少になるだろう。

タグ: Jupyter

posted at 22:44:57

黒木玄 Gen Kuroki @genkuroki

20年6月8日

#JuliaLang

Holy Traits Pattern (book except)
disq.us/t/3lgvu2n

タグ: JuliaLang

posted at 23:43:23

OokuboTact 大久保中二病中年 @OokuboTact

20年6月8日

@temmusu_n #超算数  #算数教育の歴史

塩野直道の『数学教育論』にはメートル法の改正のことが書いてありました pic.twitter.com/n93Ul6XmpS

タグ: 算数教育の歴史 超算数

posted at 23:48:48

村田雄介 @NEBU_KURO

20年6月8日

お待たせしました。となジャン版ワンパンマン、単行本化にあたり、140話〜143話までを大幅改訂しております。(143話は一部改訂)よろしければ是非!  
tonarinoyj.jp/episode/108341...

タグ:

posted at 23:51:26

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました