黒木玄 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年05月22日(土)
学校が教えるのは「規則性がある解き方」なんだろうけど、子どもの頭の回転を早くするなら「効率的な解き方」を教えるべきなんだよな。 twitter.com/ra_hiiragi/sta...
タグ：
posted at 00:13:39
julia> open(f->read(f, String), "loader/main.c")
"#include <Uefi.h>\n#include <Library/UefiLib.h>\n#include
ファイル読んだら、文字列帰ってくる。printすれば元通り。こんな言語見たこたない。直感を遥かに超え過ぎて何を言ってるのかわからない。（エラー処理はどうやるんだろう…
タグ：
posted at 00:36:54
#超算数 界隈の人達の主張は導入に順序を持ち込んでもいいが、それが理解できているならテスト時の採点は逆順でも正解にすればいい、だよな。僕もそれには賛成。でも、学校では×にする先生もいると教える。でもこの人が指摘しているこの検算方法はどっちでもいいと思う。これは違うでしょ。 twitter.com/ra_hiiragi/sta...
タグ： 超算数
posted at 01:56:57
Users can develop #EarthEngine workflows using Julia-like syntax and take advantage of cool #JuliaLang features like types and multiple dispatch! pic.twitter.com/CsEBNPOu5W
タグ： EarthEngine JuliaLang
posted at 03:44:47
But if users want to use the conventional #EarthEngine API, then you can call the Python API directly without changing anything! pic.twitter.com/7pvrpRlNHm
タグ： EarthEngine
posted at 03:47:02
A little update....I had to rename the module for registration with the #JuliaLang package registry sharing the new links:
Repository: github.com/KMarkert/Earth...
Documentation: KMarkert.github.io/EarthEngine.jl...
タグ： JuliaLang
posted at 07:32:08
#Julia言語
type piracy (型賊)について
docs.julialang.org/en/v1/manual/s...
⭕️自分が定義した函数に他人が定義した型のメソッドを追加
⭕️他人が定義した函数に自分が定義した型のメソッドを追加
❌他人が定義した函数に他人が定義した型のメソッドを追加
(これがtype piracy)
タグ： Julia言語
posted at 07:38:20
#Julia言語
using AbstractTrees
AbstractTrees.children(T::Type) = subtypes(T)
は実際には非常に便利です。
こうしておくとサブタイプ達を簡単にツリー表示できる(添付画像)。
しかし、一時的な措置として便利であっても、使い回しするコードでは避けた方が良いです。(type piracyになる。) pic.twitter.com/s3McvyTcDX
タグ： Julia言語
posted at 07:38:23
#Julia言語 そのための具体的な方法については
github.com/genkuroki/Meta...
を見て下さい。 pic.twitter.com/7PlMVTZS8v
タグ： Julia言語
posted at 07:38:34
#Julia言語
github.com/genkuroki/Meta...
MeraUtils.jl
を入れておけば、
using MetaUtils
print_subtypes(AbstractMatrix)
などでサブタイプのツリー表示が可能です。
MetaUtils.jl には他にも機能があってメタプログラミング(マクロ)の勉強に使えます。
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/2RBvcqqvZo
タグ： Julia言語
posted at 07:43:44
非公開
タグ：
posted at xx:xx:xx
コレここでこだわるなら
ニュートン力学教えちゃアカンのちゃう？？
最初っから全部あえて漁師力学で教えろ、と。。
算数と数学、代数は違って、より厳密だったり違った物の見方も、の一言で解決な気が。。
ココでこんなチェックし過ぎで算数・数学嫌い増やしたり時間食うのこそ、駄目だと思う計算機屋 twitter.com/ra_hiiragi/sta...
タグ：
posted at 09:14:33
@wakate_kyouyu @DORAemo25224128 5人に4個ずつ蜜柑を配る。蜜柑の総数は？
10×2＝20 20個
ドラゴンボール教員Aさんはこれも正解としてくれますか？
タグ：
posted at 09:22:50
#Julia言語 read("loader/main.c", String) とさらにシンプルに書けます。
添付画像では、文字列のCのコードをwriteして、readして、printして、色を付けて表示して、gccでコンパイルして、実行。
pimcmc(n)はjulia版の方がC版よりも10倍以上速い。(C版に問題があり)
gist.github.com/genkuroki/e106... twitter.com/boxnos/status/... pic.twitter.com/gmKdeA8iaD
タグ： Julia言語
posted at 09:48:57
すぐ上でC版に問題ありと書いたが、C版を改良してJuliaに速度競争で勝つことは容易ではない。
Julia側も分散処理や並列処理がものすごく簡単に可能なので、実践的にはさらに高速の場合を使うことになる。
私の実力では計算を速くしたければCよりもJuliaを使った方が無難。この辺には個人差あり。
タグ：
posted at 09:59:30
これは、模範解答通りに採点すると理不尽非常識な採点になる事例なのであって「採点ミス」ではない。
結局「指導内容も採点も定められた通りなので適切であると認識している。反抗的な児童生徒とモンスターペアレントにからまれた。」という反応になる。
#超算数
#超算数
mobile.twitter.com/wakate_kyouyu/... twitter.com/sekibunnteisuu...
タグ： 超算数
posted at 09:59:55
#Julia言語 以下のリンク先スレッドはおもしろい。
Q> juliaがでかすぎる
A> LinearAlgebraを削るといいよ
Q> ほんじゃあ、REPLも削ったろ
A> REPLはデバッグ用に残しておいた方がいいよ
うけた(笑) twitter.com/jeremyphoward/...
タグ： Julia言語
posted at 10:10:28
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/TomiyaAkio/sta...
バックプロップの手前まで実装できた。バックプロップさえつければ学習できるな。
タグ：
posted at 11:24:54
精密にはんだ付け細工のビー玉落としで何も考えずにぼーっとしていたい。ガラスと銅の触れる音に耳を傾けると，懐かしさがわきあがる。
Gravity-Driven Marble Run Sculptures Are Comprised of Precisely Soldered Copper Pathways www.thisiscolossal.com/2021/05/little... @colossalより
タグ：
posted at 11:30:07
silverfilain@猫研さん @silverfilain
もうこれら計算順序の問題は「世の理不尽を教えることを目的として学習指導要領に入っている」と考えるしかないかなと思っている。 twitter.com/ra_hiiragi/sta...
タグ：
posted at 12:19:58
大友良英 otomo yoshihide @otomojamjam
亀石倫子弁護士のインタビュー、勉強になります。
薬物なんかとんでもないと思っている人にも読んでほしいです。
↓
大麻「使用罪」の創設議論 出来レースの茶番で人の自由を奪っていいのか？ 弁護士が署名活動で反対する理由 www.buzzfeed.com/jp/naokoiwanag...
タグ：
posted at 13:08:06
小野田 英(ONODA Takeshi) @onoda_oyanz
@genkuroki 今、環境をインストールしようとしたところで早速壁にぶつかりました。最新の安定したリリース（v1.6.1）のWindows用にはinstallerってのとportableの2種類並んでいます。古いバージョンのJuliaだとinstallerの1種類だけです。自宅据え置きパソコンで使うだけならinstallerだけ実行すれば良いですか？
タグ：
posted at 14:23:49
小野田 英(ONODA Takeshi) @onoda_oyanz
@genkuroki さっそくありがとうございました。私は初心者で小心者なのでインストーラーに任せてみます💦
タグ：
posted at 14:29:56
いいかい、C# でできることは C# でやれば良いんだ、
いちいち Python とか Julia でやろうとしなくて良いんだよ。
うるせえ、他の言語でできるようになったほうが気持ちいいだろ!!
タグ：
posted at 14:42:19
#Julia言語
Julia版のコードを見たいと思ったので書いた。
Juliaではreinterpret函数を使う。
コードもおそろしくすっきりしています。
nbviewer.jupyter.org/gist/genkuroki...
浮動小数点数の規格を利用した平方根の逆数の近似値を高速に計算する方法
私が計算した範囲内では3～4%の相対誤差。 pic.twitter.com/lxecjp8Dh6
タグ： Julia言語
posted at 15:15:45
ごまふあざらし(GomahuAzaras @MathSorcerer
マイコンで入ってくれないかなー(願望) twitter.com/genkuroki/stat...
タグ：
posted at 15:22:16
#Julia言語 ググって出て来るコードは、残された3～4%の誤差を縮めるために、f(y) = 1/y² - x のNewton法を使っているのですが、逆数に g(y) = y² - x のNewton法を使った方が収束が速いはず。(私が試した範囲内では実際にそうでした。)
nbviewer.jupyter.org/gist/genkuroki... のコードもそうしてあります。
タグ： Julia言語
posted at 15:24:57
#Julia言語 あと、Juliaのデフォルトの平方根は速かった。
sqrt_fastではニュートン法で値の違いがマシンイプシロン以下になるようにしてあります。 pic.twitter.com/8WA4QRp5Tj
タグ： Julia言語
posted at 15:26:40
小野田 英(ONODA Takeshi) @onoda_oyanz
#Julia言語 の参考書の13ページ図1.5までたどり着いてそのから先でどうも何かをミスしたのか、エラーのループに入ってしまった模様。コマンドプロンプトでのJuliaは動作したが、AtomというエディタでJunoという開発環境は導入出来たようだが何かを間違ったみたい・・・
Windows10の64bit版にて。 pic.twitter.com/gK8J7rCedw
タグ： Julia言語
posted at 16:18:29
コメントのjuliaコードをアプデ。
おそうす
boxnos-m/loader/main.c (6f5c834)
github.com/boxnos/boxnos-...
タグ：
posted at 16:51:06
#Wolfram言語 #jupyter
nbviewer.jupyter.org/github/genkuro...
Free Wolfram EngineをJupyterで使う方法
黒木 玄
2019-05-25～2019-06-05
以下のスクショは魔改造パッチをあてていない状態。
式 // TeXForm
でMathJaxで整形された式を表示できます。(添付画像の最下段を参照)
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/gbkkp9tRD1
posted at 17:17:10
お好み焼きにはカープソースをどうぞ。 @IshidaTsuyoshi
読みたくない本を読まなきゃならないってつらいな。 twitter.com/kamefuji/statu...
タグ：
posted at 17:19:51
#Jupyter でJuliaを使えるようにするよりも、Free Wolfram Engine を使えるようにした方が便利だと思う人は結構多いかも。
自分自身が2年前に書いた解説 nbviewer.jupyter.org/github/genkuro... は懇切丁寧で自分自身にとって非常に役に立ちました。
タグ： Jupyter
posted at 17:26:53
#超算数 日本の算数・数学教育の歴史について調べるときには、「教科調査官」のような社会的地位に就いてしまう人達が
数学的記号法に関するイロハさえ
理解していないレベルの人たち
であり、実際に現在の数学教育に悪影響を与えているという事実に注意を払うことが必要です。 twitter.com/temmusu_n/stat...
タグ： 超算数
posted at 18:28:12
どこからつっこめば良いかわからない。「乗法の定義」なるものが複数あることの説明だけで140字をはるかに超えてしまいます。 twitter.com/higayama0523/s...
タグ：
posted at 18:40:57
過去の経験では、この手の話を始めるとどこからともなくペアノの公理系馬鹿の一つ覚えさんが湧いてきます。今回も出てきたらいやだなあ。（とりあえず、前TWのリンク先の人は馬鹿の一つ覚えさんではなさそうなのは幸い）
タグ：
posted at 18:47:22
先に書いておきます。自然数の構成法は山ほどあり、ペアノの公理系はそのうちの一つにすぎません。掛け算の順序の話にペアノの公理系を持ち出す人は、数ある中からペアノを選んだ理由も述べて、馬鹿の一つ覚えでないことをアピールしてください。
タグ：
posted at 19:07:37
「学校は混乱極めた」 現職校長、実名で大阪市長を批判：朝日新聞デジタル www.asahi.com/articles/ASP5N... #新型コロナウイルス
タグ： 新型コロナウイルス
posted at 19:10:30
小野田 英(ONODA Takeshi) @onoda_oyanz
#Julia言語 インストールするパッケージがuber-juno以外に２つ図には項目あるけど、juno-toolbar-plusとlanguage-junosもインストールするのかな？（本には一つ目の事しか書いてない・・・） pic.twitter.com/RZ59Y7h4DY
タグ： Julia言語
posted at 19:28:15
#囲碁 おすすめソフト
github.com/sanderland/kat...
KaTrain.exe
KaTrainOSX. zip
これ遊び易くて良かったです。続く
タグ： 囲碁
posted at 20:26:49
#囲碁 ダウンロードは以下のリンク先から可能です。
github.com/sanderland/kat...
Windowsユーザーは KaTrain.exe をダウンロードすればOK pic.twitter.com/v7SBey1lFP
タグ： 囲碁
posted at 20:28:15
#囲碁 このソフトの良いところは置き碁で遊び易いこと。添付画像のように設定すれば、九子で遊べます。Kata置碁にするとよい。 pic.twitter.com/s5NKZqc4UG
タグ： 囲碁
posted at 20:32:07
#囲碁 いきなり三々に入ってこないような設定になるようにした方が相手が人間っぽい感じで楽しめます。
適当に上段の設定欄でチェックを入れると「色々」表示してくれます。最後のスクショでは候補手の上にマウスのカーソルをおいた状態。候補手順が表示される。 pic.twitter.com/mCsQWef7zx
タグ： 囲碁
posted at 20:35:12
Dr. Chris Rackauckas @ChrisRackauckas
"Specifying ode solver options to speed up compute time". Best option to use? Click the button that says "Close MATLAB", open #julialang, copy paste, fix a few brackets, and here's your 3,000x acceleration over the other poster's example.
scicomp.stackexchange.com/a/37464/18981
タグ： julialang
posted at 20:58:54
疑似科学の本の中にきちんと福岡伸一氏のアレも入れているので、信用できる学者さんだと分かります
生物学の本やコラムを書いている学者やライターが福岡氏を絶賛した時のガッカリ感はデカいですから twitter.com/kamefuji/statu...
タグ：
posted at 21:14:53
//memo//
#julialang
A=[2.0 3.0 ; 4.0 5.0]
B=[6.0 7.0 ; 8.0 9.0]
A*B = [36.0 41.0 ; 64.0 73.0]
->行列の積
inv(A)*B = [-3.0 -4.0 ; 4.0 5.0]
->逆行列と行列の積
タグ： julialang
posted at 21:18:10
小野田 英(ONODA Takeshi) @onoda_oyanz
#Julia言語 進展あり。試しに
①Julia-plusパッケージをインストールした。
②Atomを一旦終了しAtomアプリを再起動した。
そしたらうまく行ったような結果になった。 pic.twitter.com/c398FXMdLe
タグ： Julia言語
posted at 21:34:51
Wrote a lil about one of my favorite undervalued weapons in my #JuliaLang arsenal: Meta Types - the soft introduction to metaprogramming!
kiruse.medium.com/julia-meta-typ...
タグ： JuliaLang
posted at 21:45:21
『すごすぎる #天気の図鑑 』を読んで虹との出会い方を知った雲友さんたちが、雨上がりのタイミングを見計らって空を見上げて、しっかり虹と出会って綺麗な写真をTwitterに投稿する流れが好きすぎます。 pic.twitter.com/qGcc3HJoJJ
タグ： 天気の図鑑
posted at 22:22:25
虹との出会い方の解説です。#天気の図鑑
www.amazon.co.jp/dp/4046051515 pic.twitter.com/iUUJj2FMir
タグ： 天気の図鑑
posted at 22:27:17
Introducing TableScraper.jl - an easy way to scrape WELL-FORMED tables from webpages youtu.be/Bi1faYTkIGM
#julialang
タグ： julialang
posted at 22:44:37
jl.devもくもく会（5月24日月 朝） に参加を申し込みました！OSC2021OnlineNagoyaの資料作りとかするかもです。 jldev.connpass.com/event/212892/?...
タグ：
posted at 23:03:28
チーム豊島 ２－５ チーム木村
大橋 貴洸六段●－○木村 一基九段
豊島 将之竜王●－○池永 天志四段
佐々木大地五段●－○木村 一基九段
大橋 貴洸六段●－○佐々木勇気七段
佐々木大地五段○－●池永 天志四段
豊島 将之竜王○－●佐々木勇気七段
佐々木大地五段●－○木村 一基九段
タグ：
posted at 23:21:16
井上信治大臣が消費者庁に強要している「デジタル化」名目の「書面交付の電子化」というマルチ商法等規制緩和。マルチ業界は歓迎し、ナチュラリープラス等がすでに動いてると報じられています。
www.bci.co.jp/nichiryu/artic...
悲惨なマルチ商法被害をこれ以上増やさないで！ #特商法書面電子化反対 twitter.com/emil418/status...
タグ： 特商法書面電子化反対
posted at 23:23:47
#Julia言語
inv(A)*B は A\B とも書けます(添付画像①)。効率もよいはず。
さらに、最小二乗法も b = X\y の1行で可能になります。添付画像2を参照。
gist.github.com/genkuroki/aae0... twitter.com/iitenki_morute... pic.twitter.com/tEYm457Eze
タグ： Julia言語
posted at 23:25:36
