黒木玄 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 を見て下さい。
2018年04月28日(土)
And this patch for Blink (src/AtomShell/process.jl):
- joinpath(Base.find_in_path(pkg, nothing), "..","..", path...) |> normpath
+ joinpath(Base.find_package(pkg), "..","..", path...) |> normpath
タグ：
posted at 22:19:16
Needed the following packages on master and/or specific branches:
Atom:julia-0.7
Blink:master
HttpServer:0.7_migration
Juno:julia-0.7
Lazy:master
MacroTools:master
Media:master
Tokenize:master
atom-ink:master
atom-julia-client:julia-0.7
タグ：
posted at 22:19:15
BINGO! I've tried unsuccessfully probably 3 or 4 times over the last couple of months, but finally got #JuliaLang Juno in @AtomEditor working error free on #JuliaLang 0.7! pic.twitter.com/iL3hbMYsmm
タグ： JuliaLang
posted at 22:19:15
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
これ、既に各所で話題になってたので何を今さらなのですが。
よくよく考えたら「匿名でヘイト書き込みばかりしてきた集団が、自分たちがやった懲戒請求で1000人近く弁護士に身バレしちゃっている」という稀に見る面白案件なので、積極的にエールを送っていこうと思います。
matome.naver.jp/odai/214539682...
タグ：
posted at 17:33:00
なんか面白そうなことになってたんでまとめときました。
【5分でおさらい】ネトウヨの皆さんが弁護士に集団で懲戒請求中の件 - NAVER まとめ
matome.naver.jp/odai/214539682...
タグ：
posted at 17:09:14
香川愛生 Manao Kagawa ☗ @MNO_shogi
『りゅうおうのおしごと!』
姉弟子こと、空銀子さん。。。
衣装は母の手作りです🙇♂️ pic.twitter.com/3jyrzdPjAo
タグ：
posted at 16:22:02
非公開
タグ：
posted at xx:xx:xx
竹内端三、藤原松三郎、高木貞治など、数学青空文庫というのも大切なのだろうと思います。現役の数学者には時間的に難しく、数学愛好家の方がこの水準でMathJaxで作るのもハードルが高いように感じます。マンパワーの点で厳しいのかもしれません。
タグ：
posted at 15:21:47
気がつきませんでしたが，労作です。以前、TeXにしてpdfを公開されていた人がいらっしゃいました
twitter.com/genkuroki/stat...
が、そちらのサイトは@niftyの終了で消えてしまいました。
scan版の公開は続いています：
kenboushoten.web.fc2.com
国会図書館より読みやすいです
dl.ndl.go.jp/info:ndljp/pid... twitter.com/line__segment/...
タグ：
posted at 15:16:17
@unite_daction 財政出動に誤解があるようです。
共産党は財政再建重視ですので（www.jcp.or.jp/tokusyu/senkyo...）それだけで緊縮的です。社会保障を手厚くするからどこかを手薄くするというのは財政出動ではありません。再分配の是正です。財政出動は政府支出をいくら増やすのかという話です。
タグ：
posted at 14:01:01
前に書いたこれ、粒子数保存してる場合の生成と消滅の演算子を疎行列の形で作れるので、組み合わせれば、任意のハミルトニアン、任意のグリーン関数の計算ができる github.com/cometscome/Exa...
タグ：
posted at 12:20:13
#数楽 #Julia言語 添付画像はPeano曲線(x(t),y(t))のx(t)とy(t)のグラフ。一様収束していることが一目瞭然。「一様収束」を習いたてのよく理解していない段階では一様収束しているかどうかを目で見て簡単に確認できる場合がたくさんあることを知らない。一度知ってしまえば明らかな概念になる。 pic.twitter.com/KMSj4lKrQQ
posted at 09:16:42
#数楽 #Julia言語
nbviewer.jupyter.org/github/genkuro...
連続函数の一様収束の例にペアノ曲線を追加した。証明の概略付き。 pic.twitter.com/MS6c48LPPs
posted at 09:12:42
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
@takusansu だから「正方形は長方形ではない」「正三角形は二等辺三角形ではない」「掛け算の順序強制」などなど、のような論理を無視した教え方が横行するんですね
＃超算数
タグ： 超算数
posted at 07:31:47
2018年04月27日(金)
非公開
タグ：
posted at xx:xx:xx
Arguments for #Julialang and the bazaar model for developing machine learning infrastructure. Julia being mentioned in the same breath as Swift, a heavyweight-backed language, is an achievement in itself! news.ycombinator.com/item?id=16939525
タグ： Julialang
posted at 22:29:35
@polytomous @bulldogjob @neuralmarket @JuliaLanguage Claim: Julia’s multiple dispatch syntax allows function overloading the way humans learn by analogy. We first learn to add whole numbers, then reals, complexes and matrices. In Julia, all these are different notions of the same +. In class-based OOP the objects come first, then +
タグ：
posted at 22:24:07
@genkuroki #超算数 次期学習指導要領解説には酷い記述があります。
【小学校段階では，数学として抽象的で論理的に構成された内容になっていない。】【以上のことから，小学校では教科名を「算数」とし，中学校以上の「数学」と教科名を分けている。】
8254.teacup.com/kakezannojunjo...
やりたい放題ですね。
タグ： 超算数
posted at 21:28:10
続き～、純粋に論理的に読解するべき事柄(正方形も長方形の一種であることや、0はすべての数の倍数であること)をねじまげて非論理的になるような読解の仕方を教えていたりするのです。
すべてがデタラメ。これだけのデタラメが堂々と実行されている分野は他にはないと思う。しかも子供相手に。
タグ：
posted at 20:50:17
このように、形式的な構文解析の考え方を適用するべき場面で、一つの数量を表すから、のようなおかしな理由をでっちあげて教えているわけです。
そして、このスレッドのずっと上の方で指摘したように、文章題の読解では単純パターンマッチングによる悪しき読解法を教えていたり～続く
タグ：
posted at 20:50:17
「3+2×4」の中の2×4を先に計算するのは単にそのように構文解析のルールを決めたからにすぎず、「2×4が一つの数を表している」からではありません。
たし算よりかけ算を先に計算することはコンピューターでも易しく判断できる形式的な構文解析のルールに過ぎないのです。
タグ：
posted at 20:50:16
小学校の先生に算数の教え方を指導する立場の人が「学習指導要領解説」という名のいち著作物に従っている例についてはリンク先を見て下さい。
「2×4」は一つの数を表しているので、「3+2×4」で掛算を先に計算するのは当然であるというような説明の仕方をしている！ひどすぎ
twitter.com/genkuroki/stat...
タグ：
posted at 20:50:16
学習指導要領解説は文科省が出している単なるいち著作物に過ぎないので、教科書出版社も小学校の先生も「クズ著作物」扱いして従わないことが可能です。しかし、現実には、そういう「クズ著作物」に教科書出版社は忖度し、小学校の先生に算数の教え方を指導する立場の人がそのまま従っていたりします。
タグ：
posted at 20:50:16
文科省によれば
括弧や乗法・除法を用いて表された式は【一つの数量】を表すために使われている
らしい！【一つの数量】を表すためにたし算・ひき算は使わないらしい。そして【一つの数量】であるか否かは演算の優先順位と関係があるという見解らしい。全部デタラメ。
twitter.com/genkuroki/stat...
タグ：
posted at 20:50:15
算数レベルでの式の構文解析で重要なのは、掛算と割算の優先順位がたし算・ひき算より高いことと、括弧の内側は一塊だと考えることです。
そういう基本的な構文解析の教え方が壊滅的にひどいことになっている。その証拠は学習指導要領解説(学習指導要領とは異なる単なるいち著作物)にあります。続く
タグ：
posted at 20:50:15
そうそう、式の構文解析については、形式的な処理についてしっかり教える必要があると思っています。私が形式的処理をやらせてはいけないと言っているのは、自然言語で書かれたものについてです。
算数における式の構文解析の教え方も悲惨なことになっています！
タグ：
posted at 20:50:15
非公開
タグ：
posted at xx:xx:xx
@Ocean3092 転勤は引越し費用を会社が出す。
でも家探しも伴う付帯作業も転勤する夫ではなく妻がして(夫は引越し前日まで普通に勤務し送別で飲み歩き)妻への人件費は勿論出ない。何で夫の会社の為に私がタダ働きせなあかんねん。
妻の転職活動も支援なく同時期にやった。
理不尽だ。
タグ：
posted at 16:10:44
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
釧路から東大行った人が文化的格差を嘆いてたけど、大都市内の文化的格差も凄い。中受が盛んな地域では公立中が吹き溜まりになり、中1以降まともな大学に行く友人が皆無の環境で過ごしてそのまま大人になる人が多数。田舎と違い「優秀だった同級生の◯◯君」みたいな存在すらいない。
タグ：
posted at 13:56:53
@AS_Insects すばらしい！ パッと見の感想ですが、400-600万のところの進学率50%以下の空白が、文化資本の効力が東京近くでは見えにくいということの証拠なのかもです。
タグ：
posted at 13:49:26
非公開
タグ：
posted at xx:xx:xx
@genkuroki この問題は、「具体例同定」の問題で、このカテゴリの正答率は低く、ランダム率も高いようですが、この問題の正答率などの具体的な情報は述べられていません。結局、RSTの問題が「読解力」を測るために「ある程度妥当」と言えるかさえ、個々の問題を検証しなければならないように思います。
タグ：
posted at 12:36:23
@genkuroki 新井氏の本の中で紹介されているRSTの例題の中には、偶数についての問題もあります。この問題は、算数教育の拙さが影響する可能性の高い問題かもしれず、実際の回答状況を見ないと、読解力を「正しく」測定しているか危ないと思います。 pic.twitter.com/J3ktHy4Wse
タグ：
posted at 12:34:15
もう一点、最初のツイートでPhD必須と書いてしまいましたが募集要項には「PhDもしくはそれに匹敵する研究開発経験」とあり、必ずしもPhDの学位取得者でなくても大丈夫です（そもそもBrainチームにはPhDではないメンバーが何人もいる） twitter.com/tjo_datasci/st...
タグ：
posted at 12:27:55
高木・解析概論・岩波講座版のあとがき。
「・・・そのような解析教程は分厚であればあるほど立派なので
あろうが、吾々の意図する解析概論は薄っぺらで済めば済むほど理想的なのである。問題は何を書くかよりも、むしろ何を書かないかである」 pic.twitter.com/wEkfGYc4cK
タグ：
posted at 12:19:41
サイバーグ先生に仮面ライダーネタがめっちゃ受けていた（冒頭に Ian との共同研究の思い出を語った部分も受けていた）。
白石さん @Perfect_Insider ありがとう！
タグ：
posted at 11:49:07
久々に Julia から Python に戻って仕事をしたら、尋常でないストレスを感じることに気がついた。numpy ... こんなに行列書きにくかったっけ...
タグ：
posted at 11:19:59
お！ずーっとJulia 1.0のリリースをブロックしてた件がついに解決したらしい！
Customizable lazy fused broadcasting in pure Julia by mbauman · Pull Request #26891 · JuliaLang/julia github.com/JuliaLang/juli...
タグ：
posted at 10:58:34
非公開
タグ：
posted at xx:xx:xx
#数楽 さらに別の話題になってしまうが、リンク先のようなことが起こっていることも「測度零集合の影響が無視できない」というような話と関係があるのだと思う。
twitter.com/yaneuraou/stat...
タグ： 数楽
posted at 08:19:21
和歌山県の女子の大学進学率は39.6%かあ。
高校より上級に進学するだけでほぼ県外の一人暮らし確定だもんな。 twitter.com/tmaita77/statu...
タグ：
posted at 07:59:33
python での言語処理の練習ということで、以下のページを参考に、
自分の過去の全ツイートからワードクラウドを作ってみました。
目立つ2つの単語は、やっぱり、、と言った感じです。
Word Cloudで文章の単語出現頻度を可視化する。[Python] - Qiita qiita.com/kenmatsu4/item... pic.twitter.com/KJs72GFgug
タグ：
posted at 07:30:51
昨日、うちのボスが「自分の面白い講義を聞いて寝てしまう学生がいるのは講義室のCO2濃度が高いからだ」と言って、CO2モニターを持って講義に出かけた結果、実際に2,000ppm!（眠気に襲われるには十分すぎるレベル）を超えたそうです。学生が眠ってしまった理由はともかく、換気は本当に重要。
タグ：
posted at 07:28:12
#数楽 以上とは別の話題になってしまうが、
qiita.com/NaokiHamada/it...
の一番最後に書いてある【量的問題に関しては，結局は実験するしかない】という注意は最も重要なポイントだと思いました。
タグ： 数楽
posted at 06:46:00
#数楽 私がやってみた場合については以下のリンク先を参照
twitter.com/genkuroki/stat...
genericには成立している正則モデルの漸近論によれば、サンプルサイズを大きくすると尤度函数は単峰型になるはずなのですが、リンク先のプロットでは測度零集合の近くに細く広がった形になっている。
タグ： 数楽
posted at 06:30:29
偶数・奇数については悲惨なことになっています。算数の教科書通りに教わると、
* 0は偶数である。
* 0は2の倍数から除く。
と教わることになります。まだかわいい小学生の子供にこういうスタイルできちんとマルバツをつけて教え込むわけです。
論理的読解力が破壊されるのは当然でしょう。
タグ：
posted at 05:43:02
具体的には
* ずつのついている数を掛算の式で先に書かせる
* 正方形が長方形の特別な場合であることが明瞭な定義が教科書に書いてあるのに、問題練習では正方形を長方形から除外させる
というような教え方がされています。こういうスタイルがずっと続く。読解力が破壊されない方がおかしい。
タグ：
posted at 05:43:01
私も小学生の保護者の一人。
小学校の段階で読解力問題が生じているとすれば、授業時間数の割合から、国語または算数の授業に問題がある可能性が高い。国語の教科書と算数の教科書を両方チェックすると、読解力破壊を引き起こしている可能性が高いのは算数である可能性が高いと私は判断しています。
タグ：
posted at 05:43:01
小学校の段階で子供の読解力に問題が生じている疑いが強いという意見に私は賛成だが、その原因が新井紀子著『ハッピーになれる算数』のような教え方にある可能性を私は危惧しています。
しかし、その問題への責任は新井さん自身にはほとんどなくて、算数教育における伝統的な教え方の側に問題がある。
タグ：
posted at 05:33:54
以上は
www.atmarkit.co.jp/ait/articles/1...
を見ての感想。
「偶数と奇数の和が奇数になることを示せ」ではなく、「例えば10-13=-3は奇数である。偶数と奇数の差が奇数になることを示せ」を扱わせると違う結果になった可能性がある。
タグ：
posted at 05:33:54
非公開
タグ：
posted at xx:xx:xx
こういう当たり前の話をわざわざしなければいけない状況になっているように見えることはとても残念だと思います。
・「問題に出て来た数字しか書かない」
とか
・「わり算の言葉づかい」なので割り算で解かなければいけない
というような教え方を子供にすることには反対しないといけない。
タグ：
posted at 05:24:12
子供に対して、プログラミング言語のコンパイラーやインタープリターによるパース(構文解析)と同じような手続きを強制するようなことはやってはいけないことだと思う。
(プログラミング言語における構文解析の仕組みについて理解してもらうことは大事。混同しちゃダメ)
タグ：
posted at 05:24:12
私は、数学で問題を解くときおよびより一般的には何か論理的な読解が必要な場面では、形式的に処理して正しい読み方をするように注意することではなく、それとは何か別の手段(←無数に選択しがあることが重要！)で正しいかどうかを判断することをきちんと教えるべきだと思います。
タグ：
posted at 05:24:11
「2n-2n=0…? ぎょぎょぎょ！ゼロ？」とびっくりして消しゴムで消す様子を想像すればよい。
さらに、
(1)偶数と偶数の差が偶数になることを示せ。
という問題の後で
(2)偶数と偶数の和が偶数になることを示せ。
という問題を解かせれば、単独で(2)を解かせた場合とは全然違う結果になると思う。
タグ：
posted at 05:24:11
「偶数と偶数の和が偶数になることを示せ」という問題を出すと「2n+2n=4nなので～」という誤答が頻出することはよく知られているが、「偶数と偶数の**差**が偶数になることを示せ」だと「2n-2n=0なので～」という誤答は稀なことが知られていたはず。回答する人の気持ちを考えると当然な感じ。
タグ：
posted at 05:24:11
Dr. Chris Rackauckas @ChrisRackauckas
"Why #Swift for @TensorFlow" mentions #julialang. They picked Swift because established community and they "were more familiar with its internal implementation details". But it's interesting to see that Julia did meet their technical needs! Best of luck.
github.com/tensorflow/swi...
posted at 03:31:24
