黒木玄 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 を見て下さい。
2020年11月07日(土)
表示が圧倒的に速いことも報告されています。
特に広告ブロックを最初から持っているBraveブラウザがiOS上でも最速であることが報告されています。iPhoneユーザーの皆さんはぜひBraveを入れて通信費を節約し、高速な環境を楽しみましょう :-)
さて、日本の報道で報道する所はあるかな?
タグ:
posted at 00:16:24
ある生徒が「これ記述で書こうとしたらどうしたらいいですか?」とかめっちゃ気にするんだけどなんなんだアレ?
高校でも超算数的なことやってんのかね?
その生徒、「記述気にしなくていいから答えをまず出せ」とこちらが言っても満足に答え出せないんだぜ?
タグ:
posted at 01:47:45
非公開
タグ:
posted at xx:xx:xx
VSCodeでJupyter notebookを使うとき、カーネルをJuliaにすると変数エクスプローラが使えない
%whosコマンドを打つと"IJuliaではwhos()を使ってくれ!"というエラーメッセージが出たけど使えないので調べたらwhos()はJulia1.0で廃止されvarinfo()になってた
discourse.julialang.org/t/base-whos-no...
ミスリード…
タグ:
posted at 02:04:43
New post: Swift as an Arrow.jl - www.juliabloggers.com/swift-as-an-ar... #julialang
タグ: julialang
posted at 02:43:33
MIT発の高度な数値処理をプログラミングできるJuliaの最新情報を紹介 thinkit.co.jp/article/17749 @thinkitcojpより
julia専用のノートブックPluto.jlというのが開発されているらしい
タグ:
posted at 03:20:06
動画や音声の読み込み、再生、ファイルのアップロードとかもできる
hub-binder.mybinder.ovh/user/fonsp-plu...
てことはそのままJuliaで解析できるってこと???
しかもPluto.jl本体とUIは独立してるらしい
これJupyter notebookと連携できるんじゃないか?
タグ:
posted at 03:43:00
Frames Catherine Whi @oxinabox_frames
An important and excellent blog post by my colleague Sam Morrison.
Interfaces and their matching test-suites are a crucial #JuliaLang patterns.
See examples:
FilePathsBase.jl (you can see it being used in AWSS3.jl)
github.com/rofinn/FilePat...
Models.jl
github.com/invenia/Models... twitter.com/InveniaLabs/st...
タグ: JuliaLang
posted at 04:06:42
How to use OnlineStats, JuliaDB, and other Julia packages to analyse larger-than-memory datasets from a standard laptop? Watch this video youtu.be/1K5G0atyCZc
#julialang #ML #AI #financialmodelling #fintech
タグ: AI financialmodelling fintech julialang ML
posted at 04:23:04
Swift as an Arrow.jl www.juliabloggers.com/swift-as-an-ar... #juliabloggers
タグ: juliabloggers
posted at 04:52:19
Why is diagonal dispatch "diagonal"? Thanks @StefanKarpinski for the explanation.
#julialang pic.twitter.com/kErRyDY97E
タグ: julialang
posted at 05:42:14
Stefan Karpinski @StefanKarpinski
@tomkwong Your presentation of the reason here is much better than mine! The table is so helpful. I'll have to steal it 😝
タグ:
posted at 07:01:42
A Neural Network in 15 lines of #JuliaLang
#ML #AI #NeuralNetworks pic.twitter.com/nrisdBRHhA
タグ: AI JuliaLang ML NeuralNetworks
posted at 07:20:08
This demonstration, contributed by @AlfonsiJessica, shows two-dimensional square and labyrinth tilings based on Octonacci (Pell) and Fibonacci sequences. Both tilings can be obtained from the grid (tensorial) product of two identical quasiperiodic chains: wolfr.am/QLJ90FXQ pic.twitter.com/1iY3NP2fIw
タグ:
posted at 07:38:42
#Knuth さんの #AlgorithmX と #DancingLinks で遊んでみ乍思うのは,プログラム言語は数多あるし,そのデータ形式も其々に様々あるから,先ずデータをどう扱うかで何通りもの選択肢がある。例えば今回の #ruby では #struct という所謂 #構造体 を使ってるけど其れが最適なのかどうかは判らない。
タグ: AlgorithmX DancingLinks Knuth ruby struct 構造体
posted at 09:06:41
「#ruby に習熟している」といえる為の条件の一つは多分 #AlgorithmX と #DancingLinks の仕組みが十分理解できていればrubyで実装するには「どのようにデータ仕様を決める」と要領が良いかが少しの時間(或いは数回の試行錯誤)で判断できることなのだろうと思う。幸い #Knuth のアイデアは何方も
タグ: AlgorithmX DancingLinks Knuth
posted at 09:12:20
幸いな事に #Knuth の #AlgorithmX と #DancingLinks というアルゴリズムとデータ構造とその利用法はシンプルで要領(動作や理屈もだけど理解に要する知識や経験量も)が良い。だからまぁ其々の言語で実装してみる事はその言語の習熟の為には良い方策なのかも。昔々QuickSortなんかが定番だったように
タグ: AlgorithmX DancingLinks Knuth
posted at 09:16:17
そんな事を思うと要領の良いプログラミングの学習って何やろかとも思う。此れも定番だった8Queen問題なんかは #AlgorithmX と #DancingLinks の格好の題材になってるわけでそうなると何かややこしやな匂いがする。当然だけど #小学校でプログラミング と宣う方々の一定数はこの手の話は十分分かってる?
タグ: AlgorithmX DancingLinks 小学校でプログラミング
posted at 09:19:05
とつい思うてしまう。下手すると典型的な問題ですらヒーヒー言いながら解ける程度だとするとホンマヤバイよなぁと思うたりする。其れはしつこいようだけど #Knuth さんの #AlgorithmX や #DancingLinks といった発想が素敵に素朴で単純だからだ。とはいえ証明迄は追ってないところが少し辛いのだけど。
タグ: AlgorithmX DancingLinks Knuth
posted at 09:21:36
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
This was probably the best message I received all week 😅. #julialang‘s latest feature: “helps with anxiety” (thanks to @PhilChodrow)
If you’re a Julia beginner and have questions, join us tomorrow for a “Julia beginner ask us anything” @ 9AM ET/3PM CET. youtu.be/CT5OD6eDyjQ pic.twitter.com/2QaZunxyOX
タグ: julialang
posted at 10:59:12
確率変数のランダムネスはどこからくるんだろうってずっと疑問だったけど、確率変数 (確率空間上の可測写像) ではなく確率空間そのものからくるものっぽいな。まあ写像の返り値がランダムだったら写像じゃないもんな。。(そして確率空間のランダムネスはどこから、、)
タグ:
posted at 12:08:11
と思ったけど、結局ランダムネスってたぶん明示的に入っていないくて、事象をぶっこむと確率というよくわからん値が返ってくるっていうところがミソで、確率の「解釈」自体については何も言ってないのでそこで勝手にランダムっぽく見せてるだけに見える (ほんまか?)。
タグ:
posted at 12:10:58
ごまふあざらし(GomahuAzaras @MathSorcerer
juyptext で ipynb をスクリプトに変更した時にスクリプト化したファイルを ipynb で走らせる方法として
jupytext --execute があった
タグ:
posted at 12:32:39
#統計 尤度の話の追加
モデルp(y|θ)がパラメータθを含んでいるときも、対数尤度函数の-1/n倍
L_n(θ) = -(log p(Y_1|θ) + … + log(Y_n|θ))/n
は、大数の法則より、n→∞で汎化誤差函数
G(θ) = -∫q(y) log p(y|θ) dy
に収束する。続く twitter.com/genkuroki/stat...
タグ: 統計
posted at 13:19:43
#統計 添付画像は『統計学を哲学する』でも触れている
www.stat.columbia.edu/~gelman/resear...
より。ほぼ私と同じようなことを言っています。
添付画像の部分をきちんと引用して最初から「ベイズ主義」に拘らない方針にすれば、偽物ではないデータサイエンスの話をできていた可能性がある。 twitter.com/genkuroki/stat... pic.twitter.com/PrikX71qD4
タグ: 統計
posted at 14:26:28
#統計 また別の尤度の話
【データ】を重視するの立場では、【そのモデルについて推論しうるすべてのことは~尤度に要約されなければいけない】という考え方がどんなに馬鹿げているかについて。
同一の統計モデルにおいて、異なるデータに同一の尤度函数が対応する場合を簡単に挙げられます。続く twitter.com/genkuroki/stat... pic.twitter.com/rZOUDnDtkp
タグ: 統計
posted at 14:32:49
非公開
タグ:
posted at xx:xx:xx
あれ?お礼を書こうとしたのですが、削除されている?
スクショでごめんなさい。
教えて下さってどうもありがとうございます。
実はついさっきまで外出中で今帰宅しました。
どちらにせよ、外出先での視聴は無理でした。 pic.twitter.com/GNg8sy0pkE
タグ:
posted at 15:53:12
#統計 確率空間は、例えばサイコロで言えば
1 ↦ 1/6
2 ↦ 1/6
3 ↦ 1/6
4 ↦ 1/6
5 ↦ 1/6
6 ↦ 1/6
のような確率の数表(および連続版での確率密度函数)の一般化に過ぎず、「確率とは何か」とか「ランダムネスとは何か」のような事柄の定式化を一切含んでいません。
twitter.com/yellowshippo/s...
タグ: 統計
posted at 17:26:39
#統計 まったくその通りで、確率空間は「非負で総和が1の数表」の一般化でしかない。
面白がるべきポイント:「確率とは何か」について一切扱うことなく、「非負で総和が1の数表」(の一般化)から出発するだけで、確率概念の運用に有益な結果が膨大に得られることは非自明!
twitter.com/yellowshippo/s...
タグ: 統計
posted at 17:26:39
@sekibunnteisuu 8254.teacup.com/kakezannojunjo... の文献より
【ここから彼は教師と生徒が異なる思考の水準にいると考えた(p39)。この教師と生徒とで言葉が通じない状況は、繰り返し指摘される(van Hiele,1959,1969,1986)。】
「抽象化<量・具体を重視」の輩と言葉が通じないのと似ています。
タグ:
posted at 17:53:48
#超算数 子供には大人の意図をものすごく深読みする傾向があります。
「その550gって問題に出てきてないよね?どうやって110gってわかったの?」
に「問題文には確かにありませんが、問題文を見れば110gだとすぐに分かります。そういうバカな質問を私にしないで下さい」と子供は言えないと思う。 twitter.com/sekibunnteisuu...
タグ: 超算数
posted at 18:02:50
#超算数 分かっている子供の側は「問題文を見れば明らかなことを、どうしてこの大人は質問して来たのだろうか?どういう意図があるのだろうか?もしかして怒られるようなことをやってしまったのだろうか?」と考えるかもしれない。
フリーズしたのはそういうことかもしれない。 twitter.com/sekibunnteisuu...
タグ: 超算数
posted at 18:05:57
どう考えても直感的に片方の解は確定できるような。そしたら1元方程式か?Newton法でJacobian計算する必要すらナイ。可視化して最小値探そう。あと式変形すると簡単に表現できるようになるよってブログ見つけたけど数式打ち込む気力ナシ。(*ノωノ) 日曜ずっと族サ、月曜もダメ。火曜? #julialang
タグ: julialang
posted at 18:06:20
高三 和晃 / Kazuaki Taka @takasan_san_san
Juliaでラップトップで軽く計算するような時にちょっとforループを(OpenMP的な?)並列化したりしたいんだけど、何見たら参考になるかな
タグ:
posted at 18:36:59
海面が100m上がった世界線を描いてみたら ”日本のようで日本でない列島" が出現。
どこに都市ができて、どんな産業が育つんだろう?地形が険しいから国内線✈が発達する?旅行先はどこがいいかな?・・・などなど考えてるうちに秋の夜が更けていく🌔 pic.twitter.com/42QEN3FytM
タグ:
posted at 20:00:00
ちょっと拡大。
・九州から長崎群島が分離。
・大阪平野・濃尾平野・関東平野が水没。→次なる大都市圏は?
・山形盆地や北上盆地にシアトルみを感じる。
・北海道は東西に分離。
データソースはSRTM15_PLUS。堆積作用を加味して沖積平野を少し広げましたが、砂浜・砂州は再現できず。 pic.twitter.com/sMKJmItqxj
タグ:
posted at 20:05:13
ごまふあざらし(GomahuAzaras @MathSorcerer
BinaryProduct って FileProduct はあるけれど特定のディレクトリ以下のものをごっそりプロダクトとみなすオブジェクトってありますかね?
#Julia言語
タグ: Julia言語
posted at 20:07:33
ごまふあざらし(GomahuAzaras @MathSorcerer
REPLの起動だけであればコマンドパレットを
Cmd/Ctrl + shift + p で起動してJuliaのREPLを選択することでREPLを起動できますね. twitter.com/JikanBae/statu... pic.twitter.com/cNjL5x8Lv7
タグ:
posted at 20:10:55
さらに拡大。
・九州では熊本平野が栄えそう。日田盆地は入り江に。
・瀬戸内海と日本海が繋がるかも(兵庫県丹波市に標高95mの分水界がある)。
・琵琶湖畔に大都市ができそう。
・宇都宮・高崎・八王子が港湾都市に?
・千葉島でワーケーションしたい。(・ㅅ・)
・ニセコは天然の良港になるかな? pic.twitter.com/alx5vMf5lC
タグ:
posted at 20:14:30
#統計
①ベイズ統計に「主観確率」「ベイズ主義」「内在主義」などの余計なものをくっつける。
↓
②後でそれでは困ると言い出す。
↓
③今度はベイズ統計に「外材主義」「プラグマティズム」などの余計なものをくっつける。
マッチポンプ。
⓪分布を特徴付ける値をその期待値と呼んだりする(笑) pic.twitter.com/f6yUaAgFWL
タグ: 統計
posted at 20:28:23
ごまふあざらし(GomahuAzaras @MathSorcerer
って思ったけれどGitHubActionsでOS毎のインスタンス作ってバイナリー作ればいいってことになるのかな :thinkingface:
タグ:
posted at 20:36:13
#統計 添付画像
1. 『統計学を哲学する』より。Major axesを回帰直線だと主張😅
2. Galton 1886 galton.org/bib/JournalIte... から、私が引用。
3. 私によるその模造品
#Julia言語 によるソースコード↓
gist.github.com/genkuroki/ff0c...
loci of {vertical, horizontal} tangential pointsがの方が回帰直線 pic.twitter.com/TeCgQXTJXa
posted at 20:54:56
Thread Reader App @threadreaderapp
@pengch0308 Hola, here is your unroll: @genkuroki: #統計 新刊の大塚淳著『統計学を哲学する』を近所の本屋で買って来ました。まだp.91にしか目を通していないのですが、 【データに基づく信念の改定というベイズ流の考え方】 とか… threadreaderapp.com/thread/1322449... Talk to you soon. 🤖
タグ: 統計
posted at 20:58:57
教科指導の改善(という言葉遣いでいいのか必ずしも確信はないが)が先手の支援とtwitter.com/zubattored/sta...。特別支援教育の分野からの指摘ではあるが、とくに限定する必要はないと思う。#超算数 のような先生の都合でさえなく、専門家の満足にしか資さない指導が批判さるべきなのはこういう理由もある。
タグ: 超算数
posted at 21:17:12
@takusansu 量の中でも、「内包量」「一当たり量」に異様にこだわりますね。
速度や密度を普通に理解した人であれば、ことさらにこれらを「難しい量」「長さや体積とは根本的に異なる量」とは思わないでしょう。
数教協を信奉してしまう人って、算数や物理が得意ではなかった人が多いと推測します。
タグ:
posted at 21:19:15
@sunchanuiguru 仲松庸次氏もそうだと思う。
selfyoji.blog28.fc2.com/blog-entry-479...
>このように、水道方式では、できればいい、とするのではなく、理解させてできるようにするということを重視しているのです。
水道方式じゃなくても、普通に考えたら長方形の面積は縦×横となるのは当たり前。
タグ:
posted at 21:23:22
@takusansu ただ分からないのは、数教協のトンデモ理論を築いたのが銀林浩などの数学者と言うこと。
まともに数学を理解した人がなぜあんな奇妙奇天烈なものを作ってしまったんだろうか?
タグ:
posted at 21:33:17
@sekibunnteisuu 【まともに数学を理解した人】
まともに数学を理解していたかは疑問ですね。
銀林浩氏に関しては、数教協の強化が目的化していて、妙な世界を構築した印象を持っています。
又、数教協の基本理念は「量の追放の批判」から「量を基礎に数学を構築」なのも問題だと思っています。
タグ:
posted at 21:56:50
This road in Japan was torn almost exaclty along its center line during the devastating earthquake of March 2011 bit.ly/2s1mZgS pic.twitter.com/1IDP4c98An
タグ:
posted at 22:04:44
広域版。
パナマ運河、スエズ運河は天然の海峡となり通行料を取れなくなりそう。
日本版と同じく、河川の下流を嵩上げ(沖積平野)してますが精度は低いです。チベットが雪を被ってたり五大湖が干からびてるのはご愛敬。
◆参考:世界の人口の3割強、日本の人口の8割強が海抜100m以下に居住。 pic.twitter.com/7QYTCZSgJc
タグ:
posted at 22:45:24
#超算数 式の意味の押しつけが、気をつけて制度を運用しないと発生してしまう、制度悪である可能性を見た。
横須賀市教育研究所編『小学校算数科用語及び記号の指導』紀要第57集 横須賀、横須賀市教育研究所、1977年。
現代化の時代。用語記号は、主要な研究課題だったとも。(2)と(4)は両立が難しい。 pic.twitter.com/ZcWrlagayX
タグ: 超算数
posted at 22:49:03
#超算数 5頁。足し算の式は【合併でも添加でもさまざまな場合に形式的に活用でき、その適用範囲は無限である。この式は具体的概念のすべての主張でもある。】らしい。後半、式と具体的場面を等価とする考えに近い。もちろん、この研究は式で具体的場面を表さねばならないという考えに立っている。 pic.twitter.com/G017kn5GEb
タグ: 超算数
posted at 22:49:04
#超算数 7頁は2年生の調査結果。第1問、もっていた蜜柑から8個とったら残りが7個。最初にもっていた蜜柑の個数は? に、15-8=7と答えると【誤答例】とされてしまう。第2問の誤答例にも同じように、教科書で習いそうな式よりも一般性の高い解答が忌避されているのが見える。4の作問は2年生には難しい。 pic.twitter.com/fEQN1W0ue0
タグ: 超算数
posted at 22:49:06
#超算数 3年生は75人を調査。4×8になる作問で、【8×4の問題】と教委が考える作問が多かったことを報告。「すいかが8こあります。4こずつきりました。すいかはいくつ。」を誤答扱いする、偏狭さをみせる。「りんごが43こありました。おとうとが11こたべるとのこりはいくつ。」というほのぼの解答も。 pic.twitter.com/4CtkdjuqBC
タグ: 超算数
posted at 22:49:08
#超算数 31頁は「研究のまとめ」。形式科学である数学における抽象的な用語記号の重要性を云々した後、算数教育では具体性を重視すると宣言。当時の指導要領から算数科の目標を引用して、用語記号を用いることの意義を指導すべきだと主張。【…式のもつ有用性は、はかりしれない】(5)はずなのに、 pic.twitter.com/rJvYdFfoLZ
タグ: 超算数
posted at 22:49:11
山梨県は南部町が港町に、滋賀県も琵琶湖が海抜87mなので(淡水化事業を行わなければ)内海に。
もっとも、ここまで海だらけになると都道府県の切り方もガラっと変わりそうですが🤠
twitter.com/jfuk2/status/1... pic.twitter.com/CwXQ2EGW8Z
タグ:
posted at 23:50:51
さて、Julia というプログラミング言語ですが、Python や R に較べて計算速度が速く、容易に習得できる次世代のデータサイエンス用のプログラミング言語として注目されています。大量のデータを計算処理するためにデ…⇒基礎から学ぶJulia ~基本文法からデータサイエンスまで~amzn.to/32pluNI
タグ:
posted at 23:59:40