黒木玄 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 を見て下さい。
2019年12月16日(月)
小学校で暗記数学を指導しているのか‼
#超算数 #掛算 twitter.com/amiami114114/s...
posted at 23:51:05
黒沢くんとの20秒将棋麻雀に囲碁も私と打つという、、あり得ない3面打ち❗️そのうち村中七段のyou tubeチャンネルで詳しくご覧頂けます😊 pic.twitter.com/DEnT3uWD6H
タグ:
posted at 23:42:11
@389jan @MathSorcerer #Julia言語 連分数に関する非常に感心したコードが書いてある
nbviewer.jupyter.org/github/steveng...
を読むと滅茶苦茶勉強になる。
このノートブックでは、Juliaを使って、scipyなどで使われているFortranで書かれた特殊函数のライブラリ中の指数積分函数よりも5~6倍速い指数積分函数を実現しています。
タグ: Julia言語
posted at 23:14:55
@389jan @MathSorcerer #Julia言語 上の連分数の函数を
function f(x::Float64, n::Int64)
略
end
のように書いてしまうと、有理数で計算したり、数式を表示させるのに使ったり、という使い回しができなくなる。
同一の函数の使い回しはプログラミングの基本中の基本なので無駄な型付けをするのは避けた方がよいです
タグ: Julia言語
posted at 23:09:56
@389jan @MathSorcerer #Julia言語 を使っていてうれしいのは、「現時点の仕様に不満はあっても、じっくり待っていれば、開発者達がちょっとずつ改善してくれるだろう」という気持ちになれることです。
細かいことを気にしないユーザーが気付かないような大きな改善がちょっとずつではありますが、相当になされています。
タグ: Julia言語
posted at 23:05:28
@389jan @MathSorcerer #Julia言語 のコンパイラーはかなり進歩して来ていて、以前は @ code_warntype で赤字の警告が出る場合には、計算速度的に大きく劣化することが多かったのですが、現在の Julia v1.3 ではそうなる場合がかなり減りました。
カジュアルに使う場合には赤字の警告もそんなに気にする必要はないかも。
タグ: Julia言語
posted at 23:03:34
@389jan @MathSorcerer #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
には @ code_warntype の結果も含まれています。
cf = x
としてしまった場合には、赤字で警告が表示されます。
「型の伝搬」については、@ code_warntype で赤字の警告が出なくなるように書くことが基本になります。
以上で長い説明終わり! pic.twitter.com/kGUAWRlKpt
タグ: Julia言語
posted at 23:01:18
@389jan @MathSorcerer #Julia言語 上の連分数の函数は数値を求める函数として利用できるだけではなく、
using SymPy
@ vars z
f(z, 4)
→ 数式による表示 (添付画像を参照)
のように連分数を数式で表示するためにも使えます。
連分数のコードはバグりやすいのでこれは結構必須(笑)。 pic.twitter.com/RmSBVZr4dc
タグ: Julia言語
posted at 22:57:42
@389jan @MathSorcerer #Julia言語 だから、
cf::typeof(1/x) = x
の行を単に
cf = x
と書くと、xの型がIntなどの場合にまずいことになります。
この例は非常に繊細で微妙な例で、
nbviewer.jupyter.org/github/steveng...
でそのように書かれていることを発見し、私は非常に感心しました。続く
タグ: Julia言語
posted at 22:54:34
@389jan @MathSorcerer #Julia言語 連分数を計算するコードなので、出力になる変数 cf の型を引数 x の分数 1/x と同じ型にすることは数学的に自然です。
cf の型を x と同じにするとよくないことが起こります。
例えば x が Int のとき、xを含む分数の型は Int になるはずがないので、cf の型を x と同じにするのはダメ。
タグ: Julia言語
posted at 22:52:57
@389jan @MathSorcerer #Julia言語 ポイントは
cf::typeof(1/x) = x
の行です。Juliaの気軽なコードでは珍しく、変数cfの型が指定されている。
「連分数になる変数 cf の型を 1/x と同じ型にせよ」と書かれている。x の型ごとに cf の型が変わります。
これが、私が非常に感心した「型の伝搬」の記述の例です。続く
タグ: Julia言語
posted at 22:51:02
@389jan @MathSorcerer #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
私がすごく感心した例:
function f(x, n)
cf::typeof(1/x) = x
for k in n:-1:1
cf = x + (-1)^k/cf
end
1/cf
end
これは連分数のコードです。
f(1, 100)
→ 1.6180339887498947 # ほぼ (1+√5)/2
f(1//1, 10)
→ 13//8
続く
タグ: Julia言語
posted at 22:48:28
一人で「戦闘員」をやっていた時は、僕の戦い方がマズいのかなと思っていました
しかし、有識者のコメントや専門誌の指摘記事が出てきても行政は動かないし、業者はますます暴れるばかり
何とかならないものか?
タグ:
posted at 22:39:46
既に多くの方が余りにもおかしな鈴木寛氏の議論にコメントしてくださっているので、あとでまとめてRTしたいが、個人的に一番失笑したのは下記のくだり。誤情報を拡散するだけでなく、自分の手柄話にしてしまう。ここまで現状認識が歪んでしまうともはや修正できないのではないか。 pic.twitter.com/QGLvUCGMzK
タグ:
posted at 22:24:36
Geof Hannigan, PhD @StartupSciences
@ChrisRackauckas Thanks, this is really cool! This will be a helpful resource to reference. 😁
タグ:
posted at 22:16:25
鈴木寛は福武財団の理事つまりベネッセ一味だが,なぜか記事には書かれていない。国公立の2次試験はほとんどが記述式だから,センターのみ判定の一部の私立大学(の学部)に記述式の2次試験を課すように指導した方が,出題採点ともに安定して実施できる。 headlines.yahoo.co.jp/article?a=2019...
タグ:
posted at 21:54:15
柴山前文科省大臣ってどういう政治家なのでしょう。
少なくとも現高2生一保護者の私に理解出来る範囲では柴山前文科省大臣は今回の入試改革に関しては政治家としては失格だと思います。柴山先生ご自身がまだおわかりになってい無さそうなのは返す返す残念です。 twitter.com/KITspeakee/sta...
タグ:
posted at 21:43:35
Dr. Chris Rackauckas @ChrisRackauckas
@iprophage I created the #rstats diffeqr package which utilizes the #julialang DifferentialEquations.jl solvers using JuliaCall. This has worked out really well and has been surprisingly easy to maintain. Would highly recommend.
github.com/JuliaDiffEq/di...
posted at 21:36:38
ごまふあざらし(GomahuAzaras @MathSorcerer
いろいろコードを書いてBenchmarkToolsなどでベンチマークをとるとコツがわかってきますね.型が伝搬しないと途中でデータのコピーがconvert関数とかで暗黙的に走るので注意が必要です. twitter.com/389jan/status/...
タグ:
posted at 21:25:52
Geof Hannigan, PhD @StartupSciences
So I like #JuliaLang for easy yet fast scripting, and am considering leveraging it in some of my #rstats work as well. Mostly I want Julia to do a couple heavy lifting tasks for R.
Has anybody tried this? It might crash and burn, but the JuliaCall package looks helpful. 🤔
posted at 21:23:17
謎水問題で「問題提起」の記事がことごとく業者に圧力を受けています
悪質な商品を売るだけではなく、言論つぶしまで手を出すとは…
皆様のリツイートが頼りです
ぜひ問題を広めてください
法治国家でこんなことが許されて良いはずがない
nmr.nazomizu.com/rikatan/history
タグ:
posted at 21:16:29
#Julia言語
github.com/JuliaComputing...
build MKL おわた。40分くらいかかった。
しばらく、この状態でJulia v1.3.0を使って行くことにしよう。
MKL.jlではPackageCompiler.jlを使っている。こういう使い方もできるんですね。 pic.twitter.com/qY645HCZ1i
タグ: Julia言語
posted at 21:15:27
ごまふあざらし(GomahuAzaras @MathSorcerer
@389jan @genkuroki Juliaのドキュメントを見るとType Stable に記述するとよいと書いてありますね.この例が参考になると思います.
docs.julialang.org/en/v1/manual/p...
タグ:
posted at 21:01:40
@genkuroki コメントありがとうございます。より具体的にはどういったコードを書くことになりますか or 黒木さんが公開されているコードのどこをどう読み取れば型の伝搬が意識されていることを見れるでしょうか?
タグ:
posted at 20:52:54
#Julia言語 で気楽に書くときには、陽な型付けを書かずにコードを書いて、函数の引数に予定通りの型のオブジェクトを突っ込んだときに、自動的に「FloatやIntよりBool」のようにコンパイルされるように書くのが普通だと思う。
「型付け」ではなく、「型の伝搬」。 twitter.com/389jan/status/...
タグ: Julia言語
posted at 20:48:03
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia v1.3.0 で各々のラズパイでJuliaをビルドできるようにしておきました(げっそり).
github.com/Julia-Embedded...
タグ:
posted at 20:46:01
そして「どう思う?」と聞いたら「わからない」と。混乱させたと思う。
意図せずとも(おそらく少数派であろう)出てきた文の順とは逆の式を書き、問題提起をし、なぜ違うのか?と疑問を持った息子を私は誇らしく思っている。
もう少し自分の考えが整理できたらもう一度きちんと伝えようと思う。
タグ:
posted at 20:43:38
息子はこの件忘れてるかと思いきや、会った瞬間に「算数の話どうだった?」と聞かれた!気にしてたのかよぅ。
正直に「先生は式の順番が逆だと言っていて説明を受けたけど、ママは納得できなかった。どう伝えようか今悩んでいた所」と伝えました。
タグ:
posted at 20:36:25
なんか算数の件が若干燃えてて、先生本人の目に止まらないか心配になってきた…
入学してから今まで、学校や先生の対応に感謝することも多かった。先生も色々な人に色々な所を突かれて本当に大変だなとは思います。
これは一種の問題提起ということで!身バレしませんように。
タグ:
posted at 20:33:10
非公開
タグ:
posted at xx:xx:xx
どえらいコストを払って世間に迷惑かけつつ、しょぼいレベルで実行しておきながら(つまりは本来の目的は達成できてない)、報告書には「第一歩を踏み出すことに意味がある」とか書いておけば格好がつく(ように思える)あたりも、「日本の病」ですね。
幸いにしてこの件はまだ実行されてませんが。
タグ:
posted at 19:30:43
世間にツッコミまくられているひどい記事なんだけど(そして私もたくさんつっこみたいけど)、画像の部分の「実現不可能なことをやれやれと言われたから、実現可能なしょぼいレベルに落として実行して『やりました』ってことにする」という流れが「日本の病」過ぎて泣ける。
headlines.yahoo.co.jp/article?a=2019... pic.twitter.com/AmEmVDcpWF
タグ:
posted at 19:15:07
非公開
タグ:
posted at xx:xx:xx
書いてないんかーい!
しかしそれ以外にも、他の先生の指示とか、別のマニュアルによる指針といった可能性もあるそうです。先生も大変だなぁ… twitter.com/genkuroki/stat...
タグ:
posted at 19:01:52
またまた鈴木寛氏によるダウト感満載の記事が出た。今度は記述式に関するもの。(不快そうなので読みたくないが^^;;)あとで読む。
headlines.yahoo.co.jp/article?a=2019...
タグ:
posted at 18:15:18
岩永直子 Naoko Iwanaga『言 @nonbeepanda
本文の最後に書いてありますが、本人が断れば、請求できない診療報酬です。定期的、継続的に診てもらわなくてもいい、自分は丁寧な説明はいらないと考えるなら、最初に断ることも可能です。自己負担は増えません。 twitter.com/ItohMaki/statu...
タグ:
posted at 17:38:18
子供に言うなら先生も親も嘘を教える可能性があるいつも疑う視点を持て大人を信用するなって言うかなー子供いないけど twitter.com/wmpicaco_/stat...
タグ:
posted at 17:37:42
非公開
タグ:
posted at xx:xx:xx
#超算数 【指導要領にそう書いてあるですか?と聞いたら、「書いてあります」と。】
書いてありません!
ググって学習指導要領を見れば誰でも確認できます。(学習指導要領解説という名の文書と学習指導要領は異なることに注意。)
平気で嘘を付いて来るので要注意。続く
twitter.com/wmpicaco_/stat...
タグ: 超算数
posted at 17:14:23
私もその典型で先生にとって嫌な母親だろうな。もちろん、その志とか子供を統率するスキルみたいなものは尊敬するけど、算数に関してあんな説明しかできないんじゃ、ナメちゃうよ。
大人の私を納得させられなくて子どもに理解させられるわけがない。これが正だと押し付けるだけになるのが目に見える。
タグ:
posted at 16:57:58
Juliaでメタプログラミング入門
#Julia言語
qiita.com/hibi1104/items... #Qiita
posted at 16:43:05
100点ではない子が100点の子に迷惑をかけていると責められていような気持ちになった。だったら100点の子を待たせず自由時間にさせればよいのでは?
もう学校ってなんなの。
タグ:
posted at 16:39:34
「息子は×の理由がわからず先生に聞きに行くのを躊躇したよう(本来聞きに行くべきだと思うが)」と伝えると、
「もしかしたら時間がなくなったのかも。100点の子はそうでない子が直して質問している間ずっと待ってなきゃならないので直しの時間は5分と決めている」と。
タグ:
posted at 16:38:20
#Julia言語 v1.3の機能を試してみました。スレッド並列を気楽に使えるのは確かにめちゃくちゃありがたい。
Channel のススメ for Julia v1.3 qiita.com/antimon2/items... #Qiita
posted at 15:50:48
この件、先生に確認してきた。
結果から言うと無駄だった。
・×の理由は順序が逆だから
・文章の順序で書けとは教えていないが、先に大人が6人、と書いてあるからその通りに書かなくてはならない
↑支離滅裂で全く納得できない。指導要領にそう書いてあるですか?と聞いたら、「書いてあります」と。 twitter.com/wmpicaco_/stat...
タグ:
posted at 15:25:31
「点を長方形に並べたものに対応させて(抽象化して)考える」と、「順番に意味などない」ということがバレてしまう😝ので、わざわざ「一つ分」を「線でかこむ」事を強要して、あくまでも「順番がある」という教義を守ろうとしているのか。
件の小学校の教員はその犠牲者か。
twitter.com/genkuroki/stat... twitter.com/genkuroki/stat...
タグ:
posted at 15:21:15
JuliaのJITコンパイルって、陽に型付けしないことでコンパイル時によしなにやってくれたりしますかね?
そうだとしたら人間がやるべき作業ではなくなり雑に書いても早くていいんだが
タグ:
posted at 15:11:53
この人が、なんでこんなおかしな考えを抱くようになったのか、その理由がやっと分かった。😑(算数教育界の闇は深し) twitter.com/kuri_kurita/st...
タグ:
posted at 15:11:22
Juliaを書いているとなぜか静的型付け言語を書いてる時と同じ意識になってくる不思議(バイナリベクトルはFloatやIntよりBoolの方がメモリ節約できるし壊れにくいよね、など)
タグ:
posted at 15:08:04
面白すぎたので和訳しました
[和訳] Dropboxアカウントのせいで胃潰瘍になった qiita.com/ktnyt/items/a4... #Qiita
タグ: Qiita
posted at 14:41:24
@OokuboTact その本は、第三章が典型的なチョー算数的トンデモになっているせいで、チョー算数批判本でかつチョー算数推進本になってしまっているという問題があって、他人に安易に勧めてはいけない本になっている。
著者が自分のダメな点を認めていれば害は小さくなるのですが、現実にはトンデモさん化した。
タグ:
posted at 13:01:55
#超算数 算数の話に、数学半可通が「右加群」という用語を持ち込んでいる別の例。
YouTubeは子供達が結構見ているので、有害教育動画を作ってYouTubeで公開している人達の社会への負の貢献度は結構大きいと思う。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 12:12:27
この国で起きているのは,覚悟の上で告発した技術者や組織内の人が返り討ちされる事態であって,告白者に責任があるなどという主張には到底賛成できません。行政でも,大学でも,どの世界でも同じ構図のしっぺ返しにあっている人のなんと多いことか。告発制度が罠になっていることすらあります。 twitter.com/al25corta/stat...
タグ:
posted at 12:11:01
#数楽 最近の金土日に私とHさんが(うちわのミニワークショップで)重要性を強調した話も以下のリンク先の「状態変換の生成子」について。
そうか、「状態変換の生成子」という言い方もあるのか。
メモとしてリンクしておく。 twitter.com/hottaqu/status...
タグ: 数楽
posted at 11:59:36
#超算数 2つ上のツイートのリンク先が消えている。しかし
web.archive.org/web/2006101613...
で読める。 pic.twitter.com/J5zc6ZDWxW
タグ: 超算数
posted at 11:47:22
#超算数 チョー算数批判では、順序指導が
パターンマッチ教育
と強く結び付いていることへの批判が重要。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 11:35:13
#超算数 2つの添付画像の内容を比較してみて下さい。後者は
english.stackexchange.com/questions/2047...
の回答の引用。日本語と英語で文法からかけ算の順序が決まっていて互いに逆になるかのようなことを米国在住のW氏は述べていますが、実際に使われている英語を見れば単なるデタラメであることがすぐにわかります。 pic.twitter.com/ViSIOd3PRR
タグ: 超算数
posted at 11:24:09
#超算数 「日本なら~数学的には右加群を定義した事になる」と「右加群」という数学用語を使ったいかにも数学半可通の反応が行っていると思いますが、このスレッド全体で述べた理由から、その人の発言は参考にしない方がよいです。続く
twitter.com/pp_299torino/s...
タグ: 超算数
posted at 11:19:27
多分今まで読んできた専門書の中で、渡辺ベイズが(単純に)1番わくわくしながら読んでいる…まるで何かの物語を読んでいるみたい(数式を追えているとは限らない)
タグ:
posted at 10:55:33
ジェダイ評議員Go Nakagawa O @Go_Go_Go_Go_Go
鳥刺し・たたきのカンピロバクターに関しては松浦さんのこちらの記事に詳しい。
news.yahoo.co.jp/byline/matsuur...
タグ:
posted at 10:30:30
ジェダイ評議員Go Nakagawa O @Go_Go_Go_Go_Go
その先の議論、鳥刺しレバ刺しの厳格な提供禁止を続けるか否かの議論で、厳格化前後での全食中毒発症率の比較は参考になるとは思う。
タグ:
posted at 10:30:30
ジェダイ評議員Go Nakagawa O @Go_Go_Go_Go_Go
この記事に関して言えば、『レバ刺し・鳥刺しの安全性』を論じるのに必要なデータは、レバ刺し・鳥刺しの提供禁止の厳格化の前後で『【レバ刺し・鳥刺しによる】食中毒の発症率』がどう変化したかで十分。
タグ:
posted at 10:30:29
ジェダイ評議員Go Nakagawa O @Go_Go_Go_Go_Go
またこいつか。
夕張の病院を無くしたら、夕張市民が健康になったとか与太記事を書いてたアホね。(医療が必要な市民が市外に流出したのが主な理由で医療費が減少したことを、健康になったと勘違いしている?勘違いさせたい?) note.com/hiroyukimorita...
タグ:
posted at 10:19:00
ごまふあざらし(GomahuAzaras @MathSorcerer
Oh, MKL になっておる.
一回Juliaのセッションを起動する必要がある. pic.twitter.com/axagTEF1on
タグ:
posted at 08:54:58
去年1年間のアニメ産業の市場規模は、6年連続で過去最高を更新するとともに、「海外展開」が初めて1兆円を超えて全体の半分近くを占めています。www3.nhk.or.jp/news/html/2019...
タグ:
posted at 07:30:15
#超算数 アメリカの某州立大数学科准教授と言う人がこんなアホなこと言っている。
現在の学校の算数教育では、このツイートにあるような累加ではなく、1つ分×いくつ分で教えているのだが、そこはまあどうでもいいところ。 twitter.com/willyoes/statu...
タグ: 超算数
posted at 07:16:50
JuliaAdventCalendar2019 ( qiita.com/advent-calenda... ) の6日目埋めました。
Channel のススメ for Julia v1.3 qiita.com/antimon2/items... #Qiita #JuliaLang #Julia言語
posted at 02:28:37
Dr. Chris Rackauckas @ChrisRackauckas
@ChadScherrer @sir_deenicus I have already started testing integration of it with ModelingToolkit through MathLink.jl. It seems promising, but indeed the install is a little wonky because of licensing (free, but requires a license, so no auto-install)
github.com/JuliaInterop/M...
タグ:
posted at 02:10:17
Two Weeks With #julialang : a Java Programmer’s Journey Into New Paradigms by seth chapman link.medium.com/k0ezDPXtr2
タグ: julialang
posted at 00:40:51
非公開
タグ:
posted at xx:xx:xx
#囲碁ルール 日本囲碁規約ではなく、池田ルールならば、地とハマの計算法のままで合理的に勝敗の決着を付けられます。実戦解決可能なルールになっており、ルールに従っていれば審判不要。
harryfearnley.com/go/ikeda/j_men...
gobase.org/studying/rules...
home.snafu.de/jasiek/WMSGrul...
twitter.com/cute_na_piglet... twitter.com/cute_na_piglet...
タグ: 囲碁ルール
posted at 00:19:27
#囲碁ルール ううむ。山口さんのような優れた人物に、well-definednessが保証されそうもないバージョンの日本ルール対応のコードを書かせる仕事をさせるのは人の道を外れている。
日本囲碁規約の近似として池田ルールを実装した方がシンプルで無駄なバグも防げると思う。
twitter.com/tanasey/status...
タグ: 囲碁ルール
posted at 00:11:18
航空アドベントカレンダー16日目です
Juliaでメタプログラミング入門
qiita.com/hibi1104/items...
#julialang
タグ: julialang
posted at 00:09:02