黒木玄 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年02月08日(月)
#Julia言語 考え方を「静的型付け」から「実行直前に判明している型情報の伝搬」にチェンジしなけれ̅ばいけない。
それには「型情報の伝搬」の具体例を多数見るのが近道です。
具体例については以下のリンク先を参照↓
nbviewer.jupyter.org/gist/genkuroki...
@ timeと@ code_warntypeの使い方
タグ： Julia言語
posted at 00:11:07
#Julia言語
function f(a::Array{Float64, 2})::Array{Float64,2}
～
end
のような書き方をしまくっている人に、「無駄なメモリアロケーションを減らすために @ view や @ views を使うといいよ」と教えた途端に、その人が書いたコードが全く動かなくなる可能性を心配しなければいけなくなる(笑) twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 00:16:03
動画だけだと幾何的なことは読み取れますが、同じだけ動かすのに右手の力の加減が前半と後半で変わることは分かりにくいと思います。こういうすぐにできることで体感するというのは研究する上でもとても大切だと考えています。
タグ：
posted at 00:17:39
シャコパンチってこうなってたのか〜面白い！！前半と後半で左上の割り箸のゴム留め位置(関節位置)が変わる。four-bar linkageのこの組み方は、ある関節の1回転入力をぴょんと伸びてる先っちょの直進運動に変換できる(ある程度の範囲で)。脚ロボットのホッピング機構でたまに見かけたりする(バネ付きで twitter.com/katzkagaya/sta...
タグ：
posted at 00:18:49
#Julia言語 私と同じようなミスで時間を潰したくない人は
nbviewer.jupyter.org/gist/genkuroki...
@ timeと@ code_warntypeの使い方
に目を通しておくとよいと思います。
タグ： Julia言語
posted at 00:21:57
補足的な解説いただきありがとうございます。Comparative biomechanicsの分野ではリバースエンジニアリング的にこのようにモデル化します。ロボット構成されている方々は材料など制約が生物と異なりますが、実機の難しさを体感されているので今後ともよろしくです。twitter.com/fukufuku_7/sta...
タグ：
posted at 00:31:19
lmodernしているとqiita.com/zr_tex8r/items... の「その9」が発動してしまうと教えてもらった．lmodern，いろいろ悩ましいなぁ．
タグ：
posted at 00:41:03
0始まりインデックスでの a[i] には、#Julia言語 における a[begin+i] が対応していることを知っていれば、まごつかずに済むかも。
a[i] ←0始まりインデックス
↓
a[begin+i] ←Julia
あと、firstindex(a), lastindex(a), eachindex(a), axes(a, i) とかを使えばいいかも。 twitter.com/ohtomoyuichi/s...
タグ： Julia言語
posted at 00:41:33
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
同じシステムで、「イケメンを作ろう」と目標を変えてどうなるかみてみたい / “最高にエッチな画像が遺伝的アルゴリズムで生み出される様子を見て反省する日々 - 本しゃぶり” htn.to/42Tj4n68zM
タグ：
posted at 07:03:03
@golgo_sardine 「掛け算の順序はどっちでもいいなんて言う人がいるが、それじゃあ足し算の順序もどっちでもいいと言うのか！？（反語 いや言わない）」みたいなブログを見た記憶があります。
「掛け算の順序に反対の人でも、足し算には順序があると思っているはず」という認識なのかな？
タグ：
posted at 07:20:46
竹田恒泰
『無症状の人にも入院勧告、事実上の1類』
『エボラ出血熱とかペスト相当対応させてたら医療崩壊する』
『5類に落とした途端に医療崩壊はなくなる』
これはまったく感染症の分類も、医療崩壊の問題も分かっていない。『疾患の重さ』でなく、病気の『把握』の問題
#そこまで言って委員会NP
タグ： そこまで言って委員会NP
posted at 08:40:32
宮沢孝幸
『今までの日本は感染症で困ってなかった。トレーニングされてなく、対応できる人も育ってなかった』
『僕医学部で感染症教えてますけど、大学でも感染症は低くみられ、院内感染のプロを置く所はわずか』
え？新型インフルエンザの事、なかった事になってるの？
#そこまで言って委員会NP
タグ： そこまで言って委員会NP
posted at 08:48:16
教えてドクター佐久@無料アプリ配信中♪ @oshietedoctor
泣き止まない
だれのせいでも
ありません
教えて！ドクターのサイトでもダントツにアクセスの多い「赤ちゃんが泣き止まない」のページを貼っておきますね。
oshiete-dr.net/2018/05/01/pos... twitter.com/doctor_nw/stat...
タグ：
posted at 09:32:23
v_n=(a_n, b_n), F((x,y))=(f(x), g(y)) とおけば、漸化式は
v_{n+1} = F(v_n)
と書けるので、a_{n+1}=f(a_n)の場合に帰着します。
Fが連続で v_n が収束するならば(←厳密な設定は任せた(笑))、
F(lim v_n) = lim F(v_n) = lim v_{n+1} = lim v_n.
1つ目の等号でFの連続性を使った。続く twitter.com/physics303/sta...
タグ：
posted at 10:16:41
f(x) = if x > 0 then x^2 else 1
a_0 = 1/2
a_{n+1} = f(a_n)
とすると、数列 a_n は
1/2, 1/4, 1/16, 1/256, …
になり、0に収束するが、f(0) = 1 となる。
このように f の連続性に仮定がないと f(lim a_n) = lim a_n には反例がある。
タグ：
posted at 10:16:42
厳密な議論に必要な細かな仮定の設定が難しいと感じる人は、函数 f の連続性は「f と極限の順序を交換可能なこと」を意味すると思っておいてよいです。
極限と〇〇の交換可能性は非常に基本的な話題。
しかし、非常に不幸なことにマウントを取るために使われる場合があって心を痛めている。
タグ：
posted at 10:22:06
Masa Yamamoto予測誤差が大き @mshero_y
コンパイラと対話をするところが他の言語とは違うかなと思ったりする。 twitter.com/genkuroki/stat...
タグ：
posted at 10:39:14
#Julia言語
【コンパイラと対話をするところが他の言語とは違うかなと思ったりする。】
この説明いいです！パクらせて下さい！
JuliaとREPLの相性の良さは非常に印象的。
REPLの動作もユーザー側が変えられる。
例えばユーザー定義の型のデフォルトでの表示の仕方の設定は日常茶飯事。 twitter.com/mshero_y/statu...
タグ： Julia言語
posted at 10:45:43
Masa Yamamoto予測誤差が大き @mshero_y
教育は、パターンマッチを好む脳のくせにつられてはいけないということ。確かにテストの点も取れるのだけれども..でも理解して論理を知っていることの利点の方がはるかに大きいのだけれど.. twitter.com/genkuroki/stat...
タグ：
posted at 10:51:23
#Julia言語 例えばJulia v1.6で大幅に改善された「最初のプロットの遅延問題」について↓
julialang.org/blog/2020/08/i...
コンパイル結果を大量にキャッシュしておけば遅延問題が容易に解決しそうな感じがしますが、実際には全然やさしくないという話。キャッシュしても再コンパイルが容易に生じ得る。
タグ： Julia言語
posted at 11:25:20
#Julia言語 Juliaは「静的型付け&厳密な型検査」を行うプログラミング言語ではないので、それが原因のトレードオフがあります。しかし、「型の伝搬」の様子の解析によってバグを発見することならある程度可能なはずで、それを実現するための非常に面白そうな試みがあります↓
github.com/aviatesk/JET.jl
タグ： Julia言語
posted at 11:30:07
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
市販の高校向け指導要領の参考書から。
２０１０年に出た本。
０に関する倍数について書いてある箇所があった。 pic.twitter.com/yAJCNsCll8
タグ： 超算数
posted at 12:02:01
一年ちょっと前のtweet。よく見ると、元の方程式f(x)=0の解と、収束せずに現れる周期軌道をどちらも「解」と呼んでるのでえらく読みづらい文章になってる。 twitter.com/mkashi/status/...
タグ：
posted at 12:14:13
いい問題だなあ、これ・・・
「詰めチャレ」で難易度2203の問題が解けませんでした..。あなたは解けますか？ #詰めチャレ #将棋クエスト pic.twitter.com/phX9bGEN9F
posted at 13:07:03
Me checking Twitter every day for the last three months to see if Julia 1.6 had been released yet. twitter.com/skeeter696969/...
タグ：
posted at 14:34:00
#数楽 #Julia言語 かなり前の話題になってしまいますが、いつも面白い話題、どうもありがとうございます。
Julia + SymPy + Plots による再現↓
gist.github.com/genkuroki/1a27...
A=1.50187…
B=0.91476…
C=0.02047…
の3周期。Cの近くで強く縮小写像になっているのが効いているんですね。dG(C)が小さい。 twitter.com/mkashi/status/... pic.twitter.com/uJgjGuc3Yc
posted at 15:47:45
#Julia言語
SumPyで計算した式をJuliaの函数にして計算している。
gist.github.com/genkuroki/1a27... pic.twitter.com/7v12MKofTT
タグ： Julia言語
posted at 15:50:01
こんなドキュメントはご存知ですか？How to create sliding puzzles on GeoGebra
– A tutorial of GeoGebra Script –
藤本 光史（福岡教育大学）staff.fukuoka-edu.ac.jp/fujimoto/geoge... twitter.com/Hyperbolic____...
タグ：
posted at 16:32:50
#超算数 く÷も＝わ
典型的駄目な授業 twitter.com/yuuyuuyuu21/st... pic.twitter.com/lom7sw3XhU
タグ： 超算数
posted at 16:44:37
#超算数
こういう駄目な授業をしている教師（「学び合い」らしい）が決して「問題教師」や「不適格教師」「指導力不足」じゃない、むしろ指導的立場にいる可能性すらある。
この授業、ダメな授業だが、教科書や指導書に忠実に沿ったものだろう。闇は深い。
twitter.com/yuuyuuyuu21/st... pic.twitter.com/W899yFib2G
タグ： 超算数
posted at 16:54:35
道草学習の部屋＠オンライン家庭教師&教育 @michikusa_heya
「く÷わ＝も」が最悪なのは言うまでもないが、この二重線分図（とでもいうのかな？）も前々から大問題だと思っていた。数直線の成り立ちから考えたらありえない。かつては教科書には載っていなかったが、なぜこんな変なわかりにくい線分図が出てきたのだろうか。謎だ。 twitter.com/sekibunnteisuu...
タグ：
posted at 17:01:34
BlackBoxOptim.jl searching for the global minima #JuliaLang #julia twitter.com/Skeeter696969/...
posted at 17:47:38
jsfiddle.net/c1dznxjk/
ニュートン法は収束が速くて万全と思ったら弱点もあるのね。
0.5とか初期値にしても3周期に近づいていくようだ。
twitter.com/genkuroki/stat...
タグ：
posted at 18:09:50
@michikusa_heya #超算数
この手の図は、ある時期から一斉に教科書に載るようになりました
教育出版
www.kyoiku-shuppan.co.jp/textbook/shou/...
東京書籍
ten.tokyo-shoseki.co.jp/text/shou_curr...
学習指導要領解説にも出ています
www.mext.go.jp/component/a_me...
算数教育界の権威筋が考えて、指導要領解説に潜り込ませて、教科書会社が従ったのでしょう
タグ： 超算数
posted at 18:17:10
Juliaで書いた20^3の3次元イジングモデルを2000万モンテカルロステップ走らせるのにMac mini(Intel)でちょうど1:30かかったんだけど、速いのか遅いのか分からん
タグ：
posted at 18:19:32
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
１９６９年に出た『算数教育現代化全書 第２巻 数と計算 整数編』を調査。
倍数では０について全く書いてない。
偶数では０についての説明がある。
タグ： 超算数
posted at 18:56:07
#数楽 #Julia言語
f(x) = x³ - x + 3/2 のNewton法のiterationを初期値をずらしながらプロット。
0.02, 0.91, 1.50 の周期3の安定軌道が鮮明。
0.02周辺でかなり強い縮小写像になっているおかげで、その軌道が安定になっている。
gist.github.com/genkuroki/1a27... pic.twitter.com/Umko2c83dQ
posted at 19:05:45
７３１は、第一部（研究部）、第二部（実験部）、第三部（防疫給水部）、第四部（細菌製造部）などから成り、「防疫給水」に携わっていたのは第三部だけでした。詳しくは「７３１部隊 （１０）ただの防疫・給水部隊だった？」参照ください。 yu77799.g1.xrea.com/731/nomonhan.h... twitter.com/noyuzukioni/st...
タグ：
posted at 19:06:04
このスレッドと
gist.github.com/genkuroki/1a27...
を見れば、 #Julia言語 + α で「こういう遊び」(特に可視化)の仕方がわかる。意味不明のプロットオプションはそれを外した結果を見れば何のためのオプションであるかが分かる。
可視化の仕方の習得は計算の仕方の習得以上に大変。
タグ： Julia言語
posted at 19:08:26
非公開
タグ：
posted at xx:xx:xx
#Julia言語 #数楽 画像を作り直した。
Newton法の写像を1000回繰り返しているのですが、100回目以降を別の色にした。周期3の安定軌道のみが生き残っている。それ以外は枠外にはみ出している。 pic.twitter.com/Hu9Z2mjeiN
posted at 19:24:04
ガッキー＠西垣農園（岐阜の富有柿専門農家 @nishigakinouen
え？なんでダメなん？
５×６でも６×５でも良いじゃん！
ちなみ❌の理由は「１つ分」×「いくつ分」で教えてるからみたい。
なんか揚げ足取りみたいで気持ち悪い。
計算の本質ってそう言う事じゃないと思う。
こんなんで❌にされたら算数嫌いになるわ💨
って今はこれが一般的なの？ pic.twitter.com/4GT6bIy4NF
タグ：
posted at 19:26:27
@nishigakinouen ぜんぜん納得出来ないんですけど、これ、算数(数学)出来る人から見たら納得出来るもんなんですかね？？
高度な計算式の場合とかで重要になってくるとか？？
とにかく自分にはこれがバツになるのが全く納得出来ないっす。
タグ：
posted at 19:55:34
Neural NetworkにおけるWAICを渡辺先生がご講演されていて、それがYoutubeに上がっていました。大変興味深かったです！
先生のお話を見れる事自体が大変貴重な事のように思えます…。
www.youtube.com/watch?v=602hyo...
タグ：
posted at 20:10:20
@marfee12 @nishigakinouen 【算数(数学)出来る人から見たら納得出来るもんなんですかね？】
数学や物理などが大好きな人々が「オカシイ」と言っています。#掛算
タグ： 掛算
posted at 20:15:10
さっきは2000万モンテカルロステップの計算を6本並列で走らせたから、1億モンテカルロステップ以上だったではないか。僕が博士課程の時とはステップ数の桁が違うね。しかもMac mini。
ベクトルマシンを使ったらもう二桁増やせるのだろうか。目的がないけど
タグ：
posted at 20:32:23
71万もフォロワーがいるはずのひろゆきが福島の放射能デマをツイートしても5時間でまだ150リツイート足らずっていうところに、彼の拡散力の実際と放射能デマの現状が現れてるんじゃないかな
タグ：
posted at 20:33:53
彼、このところ、とみに「専門家をイラっとさせる放言」を繰り返してるけど、2chの管理人だったころと比べて「影響力」の退勢は本人が一番感じているからこそ、ああいう成功体験に基づく放火を繰り返してエンジン掛けようとしてるんじゃないかな……
タグ：
posted at 20:38:11
#超算数 偶奇性と倍数に関する一片の歴史
真山寛・窪田豊次郎編『小学筆算教授法』仙台、静雲堂、1888年。dl.ndl.go.jp/info:ndljp/pid...
まずこの本は0をプレースホールダとしてのみ理解するようだdl.ndl.go.jp/info:ndljp/pid...。おそらく時代の偏見を反映しているのだろう。
タグ： 超算数
posted at 20:51:11
#超算数 次に最小の偶数は2、最小の奇数は1としているdl.ndl.go.jp/info:ndljp/pid...。倍数の最小のものについては明示的な記述がないが、例えば【偶数は二より起り二を逓加せし数即二の倍数】(89)dl.ndl.go.jp/info:ndljp/pid...という記述があり、0は定義の範囲外である。
0を偶数に含めるのはいつからだろうか。
タグ： 超算数
posted at 20:51:11
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n そうですね
画像は「学習指導要領・解説」 pic.twitter.com/DSQatbbCYj
タグ：
posted at 21:21:20
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
数学の教育現代化の時代でも、小学校では倍数で０を積極的に語っていない。
なんでだろう？
タグ： 超算数
posted at 21:25:36
@marfee12 @golgo_sardine @nishigakinouen よろしければこの連ツイをお読みいただくとありがたいです。
twitter.com/sekibunnteisuu...
タグ：
posted at 21:28:54
@OokuboTact #超算数 最新の指導要領中学数学の解説ですね(文科省謹製の)www.mext.go.jp/component/a_me...。
タグ： 超算数
posted at 21:31:32
@sekibunnteisuu @marfee12 @golgo_sardine @nishigakinouen 納得できないのが正しい数学的感覚です。掛算の順番はどちらでも正解です。
タグ：
posted at 21:47:59
@temmusu_n @OokuboTact 参考情報
文科省は、算数科の数の範囲に関して混乱している？(＋倍数に関して)
8254.teacup.com/kakezannojunjo...
タグ：
posted at 22:15:16
OokuboTact 大久保中二病中年 @OokuboTact
@takusansu @temmusu_n 小学校では、空集合を０とするやり方は採用していないですね
＃超算数 pic.twitter.com/j6LHXwAeg5
タグ： 超算数
posted at 23:13:07
@barichallenge #超算数
失礼します。足し算の中でも増加には順序があるとはどういう意味でしょうか？
4人いるところに3人やってきた。何人になったか？
この場合、3+4とするのは間違いなのでしょうか？ pic.twitter.com/3rB2UpgtDg
タグ： 超算数
posted at 23:40:49
@barichallenge #超算数 杉山吉茂氏はペアノ公理の講義をしていますが、理解していないようですよ。
twitter.com/barichallenge/... pic.twitter.com/4Mcg3Ky5mJ
タグ： 超算数
posted at 23:42:56
@barichallenge #超算数 杉山吉茂氏がペアノ公理を理解していないことに関しては、ここに詳しく書きました。
8254.teacup.com/kakezannojunjo...
タグ： 超算数
posted at 23:47:46
@kimushun1101 Pythonはほんとにこれがつらい ほかにもデフォルト引数にオブジェクト作っちゃったりするといろいろな不具合のもとになります
note.nkmk.me/python-argumen...
タグ：
posted at 23:57:59
