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 » 2019年02月17日
並び順 : 新→古 | 古→新

2019年02月17日(日)

積分定数 @sekibunnteisuu

19年2月17日

@super6694295123 上下関係らしきものもあるんだけど、例えば教育委員会は「文科省の指導要領の文言からかけ算の順序に拘る」と言っていて、文科省は「文科省としてどうこう言う立場ではない」という感じ。どこにも責任が存在しない。日本社会の縮図ですねw

タグ:

posted at 23:12:07

非公開

タグ:

posted at xx:xx:xx

milk♪ @milmilk6

19年2月17日

都道府県別組体操事故統計によると、2016年度の事故件数は5271件、骨折は1326件。
これだけ事故が多発しているというのに、未だにこんな危険なことをやらせてるのだとしたら…まず大人達が組体操をして子供達が感じている恐怖、痛みを体感して欲しい。 pic.twitter.com/n5TtE87tFb

タグ:

posted at 22:35:13

S.Hirano @Bimaterial

19年2月17日

できていないこと続き
・0.5バイトデータが入っていた場合の処理(3バイトができているので出来るはず…?ただし0.5バイトはほとんど使われることがなく、V-netで一度見たことがあるだけ)
・欠測の判定(Fortran で組んだプログラムの方にはちゃんと実装済みなので難しくない)

タグ:

posted at 21:36:29

S.Hirano @Bimaterial

19年2月17日

まだできていないこと
・チャンネルテーブルをプログラムが読みに行って振幅を物理量に換算するところ(今は別処理。asciiファイルを読むだけだから簡単なはず?)
・自動的に観測点コードと成分を図中に表示する(まったくわからない)

タグ:

posted at 21:34:46

S.Hirano @Bimaterial

19年2月17日

#julialang の plot が何から何まで全くわからないという状態を辛うじて脱した気がするので、julia で防災科研 Hi-net のバイナリフォーマットである .cnt ファイルを読み込んで、滋賀県の大津観測点で記録された2018年大阪北部地震の際の地震波形記録(速度の上下・南北・東西成分)を描画してみました pic.twitter.com/FgXfuPXcjl

タグ: julialang

posted at 21:32:13

Massimo @Rainmaker1973

19年2月17日

When the tensioner pulley is not being adjusted right to correct the tracking, a belt of a grinder can escape and run on its own, giving us a brilliant visualization of conservation and transformation of angular momentum [source: buff.ly/2wW0Kji] #Physics pic.twitter.com/kt5DzW1Ehe

タグ: Physics

posted at 21:00:15

すむーずぷりんちゃん @mat_der_D

19年2月17日

Q. ぷりんさんとみぽさん(@nekomath271828)さんでやばいのはどっち?

タグ:

posted at 20:58:16

三乗根 @cubic_root3

19年2月17日

麹町中の校長がやってることも概ねこの発想でしょ。
元々教員でない人の方が学校とは何であるべきかをよく分かってるってのは何とも情けない話ではあるが。

タグ:

posted at 18:40:24

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#Julia言語 続き。そのようにしておけば、実際にやりたいことのコードを書き終わる頃にはすぐにplotできるようになっている。

* 高級電卓としてはREPLを一切使用していない。Jupyter notebookを使っている。

REPLを使ったり、jlファイルを実行するというような使い方をしている人には無理な方法。

タグ: Julia言語

posted at 18:39:15

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#Julia言語 私は Plots パッケージを頻繁に使っているのですが、

* Jupyter notebookを使用する。

* JuliaカーネルのJupyter notebookを立ち上げたら、最初のセルですぐに

using Plots
plot(sin)

などを実行してしまう。

* 次のセルで実際にやりたいことのコードを書き始める。

としています。

タグ: Julia言語

posted at 18:39:15

非公開

タグ:

posted at xx:xx:xx

三乗根 @cubic_root3

19年2月17日

こういうのガンガン削っていけば良いと思います。学校は勉強をする場であることに特化すべき。 twitter.com/minami57903879...

タグ:

posted at 18:36:41

Ninja DAO | CryptoNi @CryptoNlnjaNFT

19年2月17日

さて姫新線で帰宅中である。 pic.twitter.com/NNUalBYxo6

タグ:

posted at 17:43:27

積分定数 @sekibunnteisuu

19年2月17日

@sayasayaf @AS_Insects 問題集の模範解答は、試行錯誤の痕跡を消した“よそ行き”のものなんですよね。重要なのは試行錯誤の部分で、それこそが数学の理解を深めるんだけど、「きれいなノート」を心がけるというのは、試行錯誤よりも、「正しい答案を一発で書く」という方向にいきがち。これだと理解は遠のく。

タグ:

posted at 17:28:26

非公開

タグ:

posted at xx:xx:xx

@oct1984shell

19年2月17日

財政破綻がーとか言ってる連中のほうが、よっぽど議論が雑じゃねぇか。会計や簿記、経済学的な学術や実務的な話が一切出てこない。

タグ:

posted at 16:58:01

高橋洋一(嘉悦大) @YoichiTakahashi

19年2月17日

児童相談所。痛ましい事件があるけど、都市部、政令市は数が足りない。数の足りないのは質ではカバーできないのがしばしば。痛ましい事件も数の問題かも pic.twitter.com/GIxecOCrkI

タグ:

posted at 16:05:52

さやさや @sayasayaf

19年2月17日

@sekibunnteisuu @AS_Insects ちなみに、私の恩師も、子どもの先生も、ノートチェックするのは「成績の悪い子」だけ。テスト点が赤点の子のノートをチェックして、少しでも平常点をあげようということらしい。その他ノートを見て欲しい希望者のも見てた。ノートが汚いとか出さないとかで「減点」するためではなかった。

タグ:

posted at 15:10:25

さやさや @sayasayaf

19年2月17日

@sekibunnteisuu @AS_Insects うちの子「数学の勉強しようと思って裏紙もらってきた」と学校から裏紙どっさりもらってきてましたwww
考えをまとめるのに途中の式とか、グラフとかを書いて、いかに効率よく「答案」を仕上げるのか練習するのが数学の勉強法だと思っています。
ノートがきれいであるのはあんまり必要ないかもね

タグ:

posted at 15:05:22

きづのぶお @jucnag

19年2月17日

日本母親連盟の件がTLに流れ出したけど、これ山本太郎が広告塔になってるからね。昔、内海聡と対談本出してたけど、こんなニセ医学カルトのクズレイシストとまだつるんでるんだね。 pic.twitter.com/i03PzRn2Um

タグ:

posted at 14:52:33

椚座 くにゅくにゅ @kunukunu

19年2月17日

開発環境はgccベースで自前で構築してVMイメージを社内で配布しています。コード管理は普通にgitです。なにも難しいことはしていません。と言ったら,そこまでやってる会社そんなにありませんって言われたんだけど,みんなどんな仕事のやり方してるのかしらね。

タグ:

posted at 14:19:10

椚座 くにゅくにゅ @kunukunu

19年2月17日

むかし仲良くなった半導体営業の方から「自分で仕様を理解する気がまったくないファームウェア担当者から,信じられないほど頭の悪い質問が,山ほど来るんですよ」と告白されたことがあります。心中お察しいたします。 twitter.com/u_akihiro/stat...

タグ:

posted at 14:03:42

積分定数 @sekibunnteisuu

19年2月17日

@AS_Insects 私自身もそうだし、生徒にもノートは不要、無地の紙にどんどん書くように、と言っています。以前は落書き帳を薦めていたけど、コピー用紙の方が割安だと気づいた。

タグ:

posted at 14:00:40

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ナカイサヤカ @sayakatake

19年2月17日

「アルミニウムで認知症になる」を広めたのは、ステンレス多層鍋を売らんかなだったアムウェイの人だった記憶があります。

タグ:

posted at 12:51:55

黒井丸 @gokutubusi354

19年2月17日

なろう系の小説の魔法って
一般常識となっている呪文より本質を掴んでイメージした無詠唱のほうが強い
という話が支持されているの
掛け算の順序に拘る現在の教育への寓話のようにも見える

タグ:

posted at 12:49:05

@kuri_kurita

19年2月17日

.@JosephYoiko さんのコメント「論理的に破綻しているルールなんか押しつけたら、それこそ算数教育(もっと言えばその先の数学教育に)に有害だとは考えないのだろうか?

分からない子にはルールを与えてパターン化して教えるって一番駄目な教育や..」にいいね!しました。 togetter.com/li/1319611#c59...

タグ:

posted at 12:46:19

@kuri_kurita

19年2月17日

.@mochiey さんのコメント「.@Lamborghini_16 少なくとも、この件に関しては納得のしようがないのではないでしょうか。この掛け算の順序にこだわっている方、みんなから総フルボッコで、一人の賛同者もいないという...」にいいね!しました。 togetter.com/li/1319611#c59...

タグ:

posted at 12:46:00

@kuri_kurita

19年2月17日

.@vecchio_ciao さんのコメント「掛算の順序に拘る人は、自分がなぜそれに拘っているのか理解していないということがよくわかる…」にいいね!しました。 togetter.com/li/1319611#c59...

タグ:

posted at 12:45:48

kzk_tkhs @kzktkhs111

19年2月17日

研究室に入りたての頃、2個上の修士の先輩で、好奇心の塊みたいな人がいた。その人がしょっちゅう “〇〇が気になる” と議題提起するので、その度にそこにいる皆んなで一斉にググり出して、あーだこーだ言う、そういう時間が楽しかった。研究の話題に限らず、そういう空気感を求めてTwitterしてる。

タグ:

posted at 12:29:36

非公開

タグ:

posted at xx:xx:xx

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

19年2月17日

@MathSorcerer @delta2323_ module自体のsetter/getterの書き換えると、影響範囲広すぎないですか? numpyだけとかnanだけとかに限定できるのかもですけど、実際の危険性がそれほどない割に特別な対応が必要な気がするので、あんまり受け入れられない気がします。

タグ:

posted at 12:03:00

ごまふあざらし(GomahuAzaras @MathSorcerer

19年2月17日

@bicycle1885 @delta2323_ np.nan に関しての getter/setter を定義して setterが呼ばれたら例外をだすみたいな仕組みでいけませんかね?(普段、明示的にsetterを使うコードは書かないのでわからないですが・・・)

タグ:

posted at 11:56:35

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

19年2月17日

定数の再定義も出来ないから、NaNを書き換える方法は無いか。 pic.twitter.com/gCzvriuXpH

タグ:

posted at 11:51:57

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

19年2月17日

Juliaは他モジュールの再代入は(基本的に)出来ない。 pic.twitter.com/RMcNzrcZSe

タグ:

posted at 11:50:32

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

19年2月17日

@MathSorcerer @delta2323_ Pythonって定数がない(はず)なので、仕組み的に防げなくないですか? (TrueやFalseは構文レベルで再代入を防いでいる)

タグ:

posted at 11:48:13

ごまふあざらし(GomahuAzaras @MathSorcerer

19年2月17日

@delta2323_ numpyの Issueをパッと見た限り np.nan = 1 みたいなことを許す/許さないような議論は見当たらなかったので、Issueを出してみようかと思います。

タグ:

posted at 11:42:49

>ω< @u_akihiro

19年2月17日

お手伝いで入ったファームウェア開発で、たまに、半導体の営業の方から、こんなに説明が楽な組み込みファームの書き手はあなたが初めてだ、みたいなことを言われると、照れ恥ずかしいですけど、やっぱり嬉しいものですね。特にこの10年はいつも個人でいるから、他を知らないので、なおさらです。

タグ:

posted at 11:19:57

カトリック信者な冷泉さんw @JosephYoiko

19年2月17日

どうも、『ルール』って言葉を『理屈はないけど強制するもの』って考え方をする人が一定数いるようですな。
論理的に破綻している事項を強制するなんて、『将軍様』.. togetter.com/li/1319611#c59...

「かけ算の順序 教育を研究しているらしい人とのやりとり」togetter.com/li/1319611 にコメントしました。

タグ:

posted at 09:36:50

Kenta Oono @delta2323_

19年2月17日

@MathSorcerer こんにちは、np.nanはIEEEのNaNであるとドキュメントに書いているので、代入して別の値にできるのはバグの可能性があると思います(もしくは実装の都合上代入できるようにせざるを得ないのかもしれません)。NumPyの開発チームにレポートして修正すべき内容か聞いてみると喜ばれるかなと思いました

タグ:

posted at 08:42:09

Clara Kreft @808Towns

19年2月17日

河豚の毒は人間の場合麻痺による呼吸困難を引き起こします。
イルカでは河豚の毒が効かないどころが、イルカがハイになる。
その為、イルカは河豚をわざと膨らませて、友達でキャッチボールして、ハイになる。 pic.twitter.com/V5iQHknI8i

タグ:

posted at 08:25:52

結城浩 / Hiroshi Yuki @hyuki

19年2月17日

(*'-'*) .。oO(積分定数さんのアイコン、いままでレモンだと思っていた…ハコフグとのこと

タグ:

posted at 08:03:47

Yoshiki NAGATANI @nagataniyoshiki

19年2月17日

今日は学力入試。今年もまた希望に満ち溢れた受験生たちが来るだろうが、彼らの熱い眼差しに堪えられる自信が無い。彼らを教育で伸ばす、なんておこがましいことは言えないが、せめて足を引っ張ることのないようにはしたいものなんだが。

タグ:

posted at 08:03:39

ゆう@小さな資料集 @yu77799

19年2月17日

ついでですが、この裁判では、肝心の国側証人である秦郁彦氏が、裁判中に論稿『日本の細菌戦』を書いて、「731」が事実であることを認めちゃいました。ですので最高裁における争点は、あくまで「執筆時点で事実と認識されていたか」です。最高裁判決yu77799.g1.xrea.com/siryoushuu/731...

タグ:

posted at 04:15:28

ゆう@小さな資料集 @yu77799

19年2月17日

なお「裁判」云々の文字が見えましたが、「731」の記述をめぐる家永教科書裁判では、「悪魔の飽食」前後の時点で、「731」に関してどれだけの裏付け資料が揃っていたか、が論点でした。最高裁では逆転勝訴になっています。

タグ:

posted at 03:30:49

ゆう@小さな資料集 @yu77799

19年2月17日

どうしてパイオニアである「本書より前に出た」資料を問題にするのかよくわかりません。「パイオニア」ですから、それ以前の資料が乏しいのは当たり前。私が採り上げているのも、大半は、その後に発見された資料です。

タグ:

posted at 03:28:57

ゆう@小さな資料集 @yu77799

19年2月17日

「悪魔の飽食」は「パイオニア」ではありますが、少なくとも私の中では「参考文献」の扱いです。私が示した「これだけの根拠」の中にも、「悪魔の飽食」関連はひとつも入っていませんよね。yu77799.g1.xrea.com/#731 twitter.com/shindoP/status...

タグ:

posted at 03:26:13

k @musicisthebest_

19年2月17日

交換法則は2年生段階ですでに習う。仮に習わなかったとしても、気づく子は気づく。 pic.twitter.com/xkoEjviEAM

タグ:

posted at 02:35:45

k @musicisthebest_

19年2月17日

何が言いたいのかさっぱりわからんし、事前にルールを伝えているとかそういう問題じゃない。 pic.twitter.com/mnmYWUQojl

タグ:

posted at 02:17:43

カトリック信者な冷泉さんw @JosephYoiko

19年2月17日

論理的に破綻しているルールなんか押しつけたら、それこそ算数教育(もっと言えばその先の数学教育に)に有害だとは考えないのだろうか?

分からない子にはルール.. togetter.com/li/1319611#c59...

「かけ算の順序 教育を研究しているらしい人とのやりとり」togetter.com/li/1319611 にコメントしました。

タグ:

posted at 01:22:26

非公開

タグ:

posted at xx:xx:xx

k @musicisthebest_

19年2月17日

『彼や、彼に同調している若い人たちのアカウントのプロフィール欄は、どれも同じような特徴を持っていて、それはいわゆるインフルエンサー界隈やオンラインサロンを運営している人々のプロフィールの作り方と酷似している』
(「彼」=アメリカ横断中学生)
note.mu/toda_makoto/n/...

タグ:

posted at 01:11:41

非公開

タグ:

posted at xx:xx:xx

ceptree @ceptree

19年2月17日

@tdualdir ウー

タグ:

posted at 01:08:03

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#数楽 n→∞でのスターリングの公式

n! ~ n^n e^{-n} √(2πn)

もしくは同値な

log n! = n log n - n + (1/2)log n + log√(2π) + o(1)

は非常によく使われるのですが、これらの公式の背景に数論に出て来るフルヴィッツのゼータ函数が住んでいるという話はもっと普及した方がよいと思う。

タグ: 数楽

posted at 00:43:50

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#数楽 (3) Lerchの定理の証明は、ヴェイユさんが楽しんで書いたと言っている本

A.ヴェイユ著『アイゼンシュタインとクロネッカーによる楕円関数論』

の第VII章§9(pp.70-73)にあります。その証明の実質コピペが

genkuroki.github.io/documents/Calc...

にある(添付画像)。 pic.twitter.com/PYsmjDvM9B

タグ: 数楽

posted at 00:38:21

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#数楽 易しい計算でs=0での偏微分係数は

ζ_s(0,x+1) = x log x - x +(1/2)log x + φ(x),

φ(x) = ∫_0^∞ (1/(e^t-1)-1/t+1/2) e^{-xt} t^{-1} dt

となることがわかるので、Lerchの公式

log Γ(x+1) = ζ_s(0,x+1) + log√(2π)

を示せば、Stirling-Binetの公式が得られるわけです。

タグ: 数楽

posted at 00:38:19

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#数楽 (1) φ(x)の積分表示から、φ(x)→0 (x→∞)となることや、Bernoulli数を用いたStirlingの公式の補正項を出すことは易しいです。

(2) Hurwitzのゼータ函数の積分表示

ζ(s,x+1) = (1/Γ(s))∫_0^∞ (1/(e^t-1)) e^{-xt} t^{s-1} dt

の解析接続のs=0での偏微分係数を計算するのも易しい。

タグ: 数楽

posted at 00:38:19

黒木玄 Gen Kuroki @genkuroki

19年2月17日

#数楽 Stirling-Binetの公式

log Γ(x+1) = x log x - x +(1/2)log x + log√(2π) + φ(x),

φ(x) = ∫_0^∞ (1/(e^t-1)-1/t+1/2) e^{-xt} t^{-1} dt

の証明は、Hurwitzのゼータ函数の偏微分係数に関するLerchの定理

log Γ(x) = ζ_s(0,x) + log√(2π)

経由が易しい。

twitter.com/genkuroki/stat...

タグ: 数楽

posted at 00:38:18

非公開

タグ:

posted at xx:xx:xx

OokuboTact 大久保中二病中年 @OokuboTact

19年2月17日

「バナタル」でツイート検索したけど、バナッハ=タルスキをバナタルで略している人かなりいる。

タグ:

posted at 00:07:36

黒木玄 Gen Kuroki @genkuroki

19年2月17日

まだ視聴できます。

独占!!第12回朝日杯将棋オープン戦 準決勝・決勝 藤井聡太七段2連覇なるか!?
abema.tv/video/genre/sh...

タグ:

posted at 00:05:27

黒木玄 Gen Kuroki @genkuroki

19年2月17日

うわ!負けた当日にブログを書いている!

渡辺明ブログ:朝日杯準決勝、決勝。
blog.goo.ne.jp/kishi-akira/e/...

タグ:

posted at 00:03:36

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました