黒木玄 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 を見て下さい。
2021年04月27日(火)
Im(Nyarn)@linuxナニモワカ @Imaginary_Nyarn
JuliaのPluto.jlでこのy=@.~の部分の@.意味が分からない
行としてはブロードキャストしてxとtからyの配列を作ってるのはわかる pic.twitter.com/9KAKKKgoVi
タグ:
posted at 23:30:57
コロナワクチンコールセンターの中の人 @mars87052095
@gogofujoy 若い人ほど、反応が顕著ですが、2日目をピークに治まっていきます。
新型コロナに感染すると2日では治まりません。
なお、この資料は厚生労働省のHPで見ることが出来ます。 pic.twitter.com/wQlNzbGLQc
タグ:
posted at 23:08:49
中1のときの数学の先生に「bと6を読み間違えないように、bを書くときは筆記体で書くといい」と言われてから小文字のbを筆記体で書き続けてきたんだけど、最近数学やってて「そもそも6を書く機会がそんなない」「むしろbを筆記体で書くとℓと混同する」ことに気づき、bをブロック体で書くようにした
タグ:
posted at 19:06:33
非公開
タグ:
posted at xx:xx:xx
@golgo_sardine そして引用してる保護者の怒りは、対面する際に初めて認識して怒る構造なので尚更でしょう。
他方、そういう保護者が予め認識して、予防対策がとれるよう、過ぎた保護者先輩や教育に関心を持つ外野が怒り続けるのは正しい行動でしょう。
タグ:
posted at 18:26:10
解消するまで、怒りつづけるのが正しいし、新規に参入してくる人がいるのはアタリマエでしょう。 #掛算 twitter.com/tonjiruoisii/s...
タグ: 掛算
posted at 18:13:50
先に「掛け算の順序ぐらいでキーキーして教員にモンペする親にはなりたくない」なんて侮辱的言辞を弄した人間がトーンポリシングしてるのマジで草。これも掛順名物だけど。 twitter.com/Bigshortsan/st...
タグ:
posted at 18:05:12
じつはコロナワクチン2回目打ちました。1回目なぞ序の口、本番は2回目…と言っていた先人たちの言葉がよーーーくわかりました…悪寒発熱倦怠感。
たとえば発熱は3割以上にみられるらしいのですが、これは一般接種に先駆けて周知しないとみんな不安になるレベル。
タグ:
posted at 18:00:49
教わったのをしっかり覚えている俺は偉い、覚えてないやつはバカって思想
小学校で嘘を教わり、中学以上で修正できなかった(当然に落ちこぼれた)人がそうやって自分賢いと錯覚できる幻想が超算数の魅力なのかも知れない twitter.com/kale_aojiru/st...
タグ:
posted at 17:47:01
掛け算順序の無限にあるカスなところに、努力を無かったことにされること、理解しているのに理解してないことにされることがある
おつむの弱い人に採点されるのが不憫で不憫で…
タグ:
posted at 17:46:05
「掛け算の順序がクセになるほど真面目でよく勉強する子」ならリスキーだな。早けりゃ中学後半で「習ってないから解けない」って言い始める twitter.com/Bigshortsan/st...
タグ:
posted at 17:42:45
みなさん、これが掛順名物「小2レベルでおかしいとわかる嘘を鵜呑みにする程度の知能しかないのに、それが嘘と分かっている人より自分のほうが優れていると思い込んでマウント取りに行く人」ですよ。
陰謀論者が、自分だけが真理を知っていて他の人は蒙昧な愚民だとか言い出すのとよく似ている。 twitter.com/frejya_m/statu...
タグ:
posted at 17:30:04
うわ、むちゃくちゃ甘い。真面目で素直な子ほど嘘を擦り込まれた被害は致命的なのを知らないご様子。 twitter.com/bigshortsan/st...
タグ:
posted at 17:17:35
FoxQ(上岡詩季)@楕円曲線を囲む会@ @foxq0113
パデ近似や多点総和法について、中高生向けに解説した記事を書きました。
中学一年生程度の知識があれば、だいたいなんとなく雰囲気がわかると思います。
無料なので、暇な時に読んでみてください!!
sky-time-math.hatenablog.jp/entry/2021/04/...
タグ:
posted at 16:27:30
@Bigshortsan 教員の間違いを糺すことはモンペでしょうか?
過保護や過干渉による理不尽要求と正当な要求をごっちゃにしていませんか?
掛け算の順序を守るクセをつけてしまうと、その後の算数、数学、理科で困ることになります。
なお、掛順強制は学習指導要領にはなく、指導していない学校もいくつもあります。
タグ:
posted at 16:04:17
@genkuroki そういえば、私のところに提出いただく見積もりは各社バラバラですね。担当によって異なる場合もあります。もちろん
社印は同じですが。
単価と数量の順番もバラバラです。
古い話で恐縮ですが、昔の方が売っている書式で統一されていました。
タグ:
posted at 15:08:00
逆に、お金を出す不快さに比べれば、フォーマットが統一されていない不快さは大したことがないと思う人も出て来るだろう。
私は、国税庁のウェブサイトで数量×単価と単価×数量の両方のスタイルがすぐそばで使われていることには文句を言うこと自体が時間の無駄だと思うし、お金は一銭も払いたくない。
タグ:
posted at 14:28:35
今まで無料で他人に強制できていた細かなフォーマットの固定を、有料にすればいいかんじになるのではないか?
自分が不快だという理由で他人にフォーマットの固定を求めるときにはさらに余計にお金を払わなければいけなくすれば、お金のために喜んでフォーマットを固定してくれる人も出て来るだろう。
タグ:
posted at 14:23:48
フォーマットの固定は、社会的にその分の仕事をして増やし、場合によっては不毛な仕事の他人への押し付けになる。
そういうところでみんなが消耗するより、統一されていなくても困らないとなっている方がよいと思う。
タグ:
posted at 14:16:37
かけ算順序が混在しているせいで税金のことが分からなくなるようなら、分からなくなるような考え方をしていること自体がひどいということを認識するべき。
「函数」「関数」が混在している程度で数学の内容が理解できなくなるのもおかしい。
不快であるのは悪しき過剰適合が原因。
タグ:
posted at 14:12:09
ちなみに、国税庁のウェブサイトでは、同じページのすぐそばで、かけ算順序のスタイルが違っていたりします。
私には全然問題ないように見える。
同一文書でかけ算順序が固定されている必要はないし、「函数」と「関数」が混在していても問題ない。 twitter.com/genkuroki/stat...
タグ:
posted at 14:09:23
出版業界の習慣やら、そういう習慣に過剰適合してしまった人達にも出版物が売れないと困るという事情は確かに気にする必要はありますが、悪しき過剰適合を潰すためには積極的に統一しないという方針もありだと思う。
無意味なフォーマットの固定は次世代に負の遺産を残す。
ちょー算数はその一例。 twitter.com/m_ero_n/status...
タグ:
posted at 14:09:23
#Julia言語 Distributions.jl は「確率分布オブジェクトに各メソッドをぶら下げる」という昔ながらの方針。
しかし、その確率分布オブジェクトのコンストラクタで生じる遅延が問題になっているようだ。
OOPスタイルの採用が果たして正しかったのか?
discourse.julialang.org/t/way-to-avoid...
タグ: Julia言語
posted at 13:59:48
#超算数
>言われた(教えられた)ことを忠実に出来るかを判断する
掛け算順序批判派が、これを批判的に述べたり、あるいは教員以外の順序擁護派が、これを国定的に述べることがあったが、
私は「教員はそこまで悪意をもってはいないだろう」と思っていた。
でも教員自身が述べているんだね。 twitter.com/dorosakukunn/s...
タグ: 超算数
posted at 13:57:34
今回アマ6段三人が大橋拓文プロにガチンコ勝負を挑むのですが、世の中では置き碁何子が適正だと思われているのだろうか?
投票していただけるとありがたいです。
投票:アマ6段がプロ棋士に囲碁で真剣勝負するとしたらハンデは何子が適正?
前提:プロは無理手でもなんでも容赦なく打つ
タグ:
posted at 13:24:49
#Julia言語
discourse.julialang.org/t/want-a-field...
【There are no arrow types (i.e. function types encoding argument types and return types). Best is probably Jeff’s thesis in explaining why: github.com/JeffBezanson/p... . There is also a bunch of issues on github, e.g. github.com/JuliaLang/juli... .】
タグ: Julia言語
posted at 13:05:12
#Julia言語 この辺については
discourse.julialang.org/t/enforcing-fu...
Enforcing function signatures by both argument & return types
も面白いです。Juliaにおける函数(=引数の型が指定された計算法(メソッド)の集まり)について理解を深めるのに役に立ちます。
添付画像は
gist.github.com/genkuroki/7b4d...
より pic.twitter.com/v2SEDQEJ1o
タグ: Julia言語
posted at 13:01:35
#Julia言語 その辺を解決する方法はすでに開発されています↓
github.com/yuyichao/Funct...
FunctionWrappers.jl
使い方は test/runtests.jl を見れば分かります。
ただし、varargに対応していないので、上で述べたDifferentialEquations.jlでの微分方程式を記述する函数には残念ながら使えません。
タグ: Julia言語
posted at 12:53:40
#Julia言語 Juliaを使い始めて、型の伝搬(型安定性)が重要だと聞いて、函数fの型をtypeof(f)で確認するとtypeof(f)と表示されて、「これどういうこと?」となる(笑)
おそらく、みんなそうなっている。
「普通の常識」では函数の型はA→B(もしくはその変種)で表示されて欲しいと思うはず。続く pic.twitter.com/sLQTMZbAnc
タグ: Julia言語
posted at 12:38:24
なんかまたTransfer Entropyのツール出てる。どうやらスパイクのようなイベントデータで連続時間向けのやつのようだ。どれどれMatlabかな、Pythonかな、と思ったら・・・まさかのJuliaぢゃん!
journals.plos.org/ploscompbiol/a...
タグ:
posted at 11:58:24
「無駄は敵」と考える国民が望んだことでしょう。逼迫するのは日頃からきちきちだから。
緊急事態に対応できるようにするには日頃から無駄を用意しておかなくてはなりません。遊ばせておかなくてはならない。
緊縮は敵ですよ twitter.com/hazuma/status/...
タグ:
posted at 11:14:11
統計学用語としての「尤度」(ゆうど)は英語ではlikelihoodで、likelihoodは日常用語的には「尤もらしさ」という意味になるのですが、「尤度」が「尤もらしさ」を意味すると思ってしまうと、オーバーフィッティングがらみの事がらの理解がぐちゃぐちゃになります。
タグ:
posted at 11:13:57
safycol サフィコル @Lightning_13123
昨日のテストに関するツイートがすごいことになってます。
全部読んでまとめて結論を出そう。たくさんの方の意見を聞けてとてもありがたいです。
娘がちょっと悪い点数を取って、凹んでるところに、お父さんが特訓したるから次はいい点数取ろうと言っての結果なんでより納得がいってないんですよねぇ。 pic.twitter.com/QdKmVusyuc
タグ:
posted at 11:10:16
歴史的な由来云々は数学の中身とは関係ない。
ヒトが言葉に敏感な点は数学の理解にとって不都合な場合が多いと思う。言葉にこだわるという誤りから出発しているせいで、数学を理解できなくなる場合をよく見る。
タグ:
posted at 11:08:40
写像f:X→Yは関係R⊂X×Yの特殊な場合ともみなせるので、同じ漢字を使った「関数」という表記を使うことにも一理あって、「函数」でも「関数」でもどちらでもよいと思います。
タグ:
posted at 11:06:25
「『函数』は中国語でfunctionに近い音の字を当てて作った語であるという説」がありますが、それもデマのようです。
kirara0048.blogspot.com/2018/09/blog-p...
2018/09/08 「函数」が音訳というデマと、本当の語源 twitter.com/mimon01/status...
タグ:
posted at 11:06:24
世の中に通用しない、嘘を教える教員からこどもを守るのも親の務めです。
教員は高々数年の付き合いですが本人や家族にとっては一生の問題です。 twitter.com/bigshortsan/st...
タグ:
posted at 10:57:10
非公開
タグ:
posted at xx:xx:xx
以下のリンク先の見方はおそらくひどい誤り。
文科省が決めた中等教育のスタイルに従う人は「関数」と書く。
私が学生時代に読んだ高木貞治『解析概論』は昔ながらの「函数」。
私は字が汚いので漢字の細かい部分の判別が難しくなる。
全体の形的に「函数」の方が見易いので愛用している。 twitter.com/mimon01/status...
タグ:
posted at 09:14:13
#Julia言語
多重ディスパッチ(multiple dispatch)は「函数=定義域が指定された計算法のあつまり」というスタイルを多変数函数に拡張したものでしかない。わざわざ名前が付けられているのが不思議なくらい自然な考え方。
以下のリンク先のambiguousエラーは添付画像の例3のように図に描ける。 twitter.com/genkuroki/stat... pic.twitter.com/muqUUqfXek
タグ: Julia言語
posted at 09:05:57
「函数」は「関数」と完全に同じ意味。漢字の使い方が違うだけ。
数学がらみの話題では「なにをどう呼ぶかやどう書くか」は非本質的な問題なので、各人が好きなスタイルを採用すればよい。「函数」という書き方もよく使われている。
x↦y は「xにyが対応する」という意味でよく使われる。
タグ:
posted at 08:43:07
#Julia言語
Juliaにおける函数(function)は型によって定義域が指定された計算法(method)のあつまり。
中学や高校の数学で場合分けによる函数の定義について習っていれば、Juliaでも同じことをやっていると考えてよい。
ただし、エラーが発生することが許されている(添付画像の例2を参照)。 pic.twitter.com/X1U1iyuZZ2
タグ: Julia言語
posted at 08:39:48
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 #小学校の掛け算
> 算数は数学ではありません 簿記の基礎です。
いろんな意見があるんだなあ。 pic.twitter.com/So41iHvRvv
posted at 08:37:34
#Julia言語 返り値の型宣言は危険。
h(x::Int)::Int = x/2
のとき
h(2)→1
だが
h(3)→InexactError: Int64(1.5)
となる。
返り値の型宣言を使う場合にはこういうことにならないように、型の伝搬に注意を払うことが必須になる。しかし、注意すれば結果的に返り値の型宣言は大抵無用になる。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 08:20:20
#Julia言語
Juliaでは返り値の型宣言はほとんど使われない。
引数の型が伝搬して返り値の型が確定するように書くことが基本(型安定性、@ code_warntype が基本)。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 08:20:19
#Julia言語
g(::String, ::String) is ambiguous. Candidates: ~ の場合。
これ、複雑なパラメータ付きの型が絡むと頭がこんがらがる。
Juliaの型システムでは「型の共通部分」の扱いが非常に難しくなっている。
エラーメッセージが親切に修正法を提案してくれている点にも注目!
優しい!😊 pic.twitter.com/0FROpEhAbb
タグ: Julia言語
posted at 08:20:19
#Julia言語 no method matching とかで表示された結果が見難いという話をしているのかな?
添付画像は、函数fについてメソッド
f(::AbstractString, ::AbstractString)
を定義し忘れたことによるエラー。Closest candidatesの表示中の赤字は引数に一致していない型。
gist.github.com/genkuroki/e997... twitter.com/sasasasasa339/... pic.twitter.com/IBrHZ7bsni
タグ: Julia言語
posted at 08:20:17
@paulerdosh ちょっと飲み込めなかったのですが,「100人の成績をソートして上位10人とどん尻の10人の平均値の差の検定を行って結果を議論せよ」みたいな作業?まさかとは思いますがそのまさかでしょうか?
タグ:
posted at 08:01:09
日本のあちこちに怪し過ぎるデータサイエンス学科ができ、統計の基礎もわかってないのにデータサイエンス教員を名乗る人生まれてるのもっと知られても良いと思う。ここ卒業してデータサイエンティスト名乗るん?もちろんまともなところもあるんだろうけど。せめて学生自身が気付くと期待したい。
タグ:
posted at 07:38:33
#Julia言語 Plots.jl でk番目のパレットの色でプロットするには、
using Plots
k = 10
plot(sin; color=k)
これをついさっきまで知らなかった。知らなかったせいで
pal = palette(:default)
plot(sin; color=pal[k])
としていた。
gist.github.com/genkuroki/2c9d... pic.twitter.com/q5AL4qcaHy
タグ: Julia言語
posted at 07:15:04
nbextensions gist-it の main.js にパッチをあてた。
gist.github.com/genkuroki/23f3...
twitter.com/genkuroki/stat...
タグ:
posted at 07:08:12
学生に、全数調査したある点数の上位10件と下位10件を抽出して、それぞれの平均値を出してt検定かけさせろ、と言ってきた教員とそれに何の疑問も持たない非常勤たちが教えるデータサイエンス学科が日本にはあるんだ。仮説は何?
タグ:
posted at 07:00:56
因みに突っ走ってる人、昨年はP値がマイナスになる、と言い切った教員。いつも間違えやおかしなことを堂々と声高におっしゃるのだが、周りは統計学がかなりできる人と思ってるw何かそんな政治家、首長いるなあ。
タグ:
posted at 06:50:38
いやそれはダメですという私の話に同意してくれた人の理由が別の意味でダメダメなんだが、一緒にされて突っ走られて途方に暮れている。良くない、ではなく、間違えなんだが。面倒だから放置する。とにかく私はやらない。
タグ:
posted at 06:44:38
@frejya_m >かける数とかけられる数、という形で小学生時代に教わってるはずですねー
少なくとも私自身は小学校時代に掛け算の順序をとやかく言われたことはありません。
文科省も、順序を指導しろとは言っていません。 pic.twitter.com/l6Em061YJs
タグ:
posted at 06:36:54
非公開
タグ:
posted at xx:xx:xx
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
ランダム行列完全理解者になった #なってない pic.twitter.com/Lwcu1cJpz6
タグ: なってない
posted at 03:45:03
Text-to-image with OpenAI's CLIP is getting more and more surreal. Here is "A banquet hall" pic.twitter.com/siEcaXxQyC
タグ:
posted at 02:51:12
Learn more about SIMD, multi-threading, multi-process and #GPU programming. We will also be talking briefly about the need for #parallelism and some of the successes we’ve seen with Julia’s parallel capabilities. Register here form.jotform.me/211113248609449
#julialang #webinar pic.twitter.com/z6YLtzTecT
タグ: GPU julialang parallelism webinar
posted at 02:49:53
Day 11
Toying with CUDA on #WSL2. Going forward I'll make an attempt to migrate my development work to my beefier Windows machine.
Continued work on my Evolutionary Algorithm workbench. Slow but steady progress.
#100DaysOfCode #julialang #code twitter.com/geekproject/st...
タグ: 100DaysOfCode code julialang WSL2
posted at 02:00:55
StatcastデータをダウンロードしてDataFrameにしてくれるJuliaファンクション。やきうファンのプログラマーは是非
[get-statcast-data-as-dataframe.jl](gist.github.com/prs-watch/6327...)
タグ:
posted at 00:23:17