Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
Favolog ホーム » @genkuroki » 2021年08月06日
並び順 : 新→古 | 古→新

2021年08月06日(金)

天むす名古屋 Temmus @temmusu_n

21年8月6日

#超算数 長いので省略するが、エウクレイデスの『原論』への言及があり、算術では乗数が小さい方の因数を指すことが慣習化しているとも述べる。小節の題名は Multiplicandus aut Multiplicator, utervis ex factoribus dici potest. [因数のどちらも、被乗数または乗数と呼んでよいこと]

タグ: 超算数

posted at 23:58:19

天むす名古屋 Temmus @temmusu_n

21年8月6日

#超算数 ここでジョン・ウォリスはかけ順固定気味だと紹介したが、厳密というか晦渋なだけだった。おそらく×記号が発明されてから百年経っていない時代であり、数学そのものの未整備が原因と思われる。87ページに、アレイ図による交換法則からの行論books.google.co.uk/books?id=XjmI9...twitter.com/temmusu_n/stat... pic.twitter.com/SaFEdKAH3i

タグ: 超算数

posted at 23:58:19

GitHub Next @GitHubNext

21年8月6日

@vchuravy thanks! added a color for .jl files - let me know if we missed anything

タグ:

posted at 23:19:53

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 そしてそういう便利な仕組みを相対的に少ない人数で開発できてしまうことからも、プログラミング言語としての生産性の高さもうかがわれると思います。

タグ: Julia言語

posted at 23:09:58

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 こんな感じで、1スレッドCPU版の段階ですでにかなり速いコードが、場合によっては完全にそのままで、多くの場合に小さな手間で、CPUのコアを使い切るマルチスレッドによる計算やGPUを使う計算でそのまま流用可能になったりします。

タグ: Julia言語

posted at 23:09:57

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 マクロは本質的に式を引数として受け取り式を返す函数で、マクロの戻り値の式がマクロを配置した場所に挿入され、即時コンパイルされて実行されます。

添付画像中で、マクロ Threads.@ threads がforループの式を受け取って、その並列化版の式を返しています。

github.com/genkuroki/publ... pic.twitter.com/aBi0XNP64n

タグ: Julia言語

posted at 23:00:51

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 「モダンなC++」での同等のコードを期待しながら、スレッド並列化版も追加(添付画像3)。

単純なforループにスレッド並列化のマクロを付け加えているだけで、非常にシンプルです。12スレッドで1スレッド版より約8倍速くなっています。

github.com/genkuroki/publ... twitter.com/yujitach/statu... pic.twitter.com/H7bY6deLbQ

タグ: Julia言語

posted at 22:56:34

天むす名古屋 Temmus @temmusu_n

21年8月6日

#超算数 si Multiplicator (seu è factoribus alter) sit minor quam 1, Productus continebit Multiplicandum (seu reliquum factorem) minus quam semel. [もし乗数 (因数の一方) が 1 より小さいなら、積は被乗数 (残りの因数) を一回より少なく含有する。]

タグ: 超算数

posted at 22:53:32

天むす名古屋 Temmus @temmusu_n

21年8月6日

#超算数 前にも引用したが
Wallis, Johannes [John Wallis]. _De Algebra Tractatus Historicus & Practicus_. Oxford: Sheldonian Theatre. 1693. books.google.co.uk/books?id=EuzpN...
ウォリスが乗数と被乗数をどちらでもよいと考えていたと強く示唆する記述が、95ページに。因数の一方ともう一方を指示した。 pic.twitter.com/EtPuCmkoy4

タグ: 超算数

posted at 22:53:32

探究 @sekai_tankyu

21年8月6日

@sekibunnteisuu 「一般の人が批判するのは謎」という主張と共に「文科省の方針だから従う義務があります」とか言ってましたね。

従いながら批判だってできますしね。
「ある法律を守ること」と「その法律を批判すること」が矛盾しないのと同じですよね。

彼女は確か今寮母だったような...

タグ:

posted at 22:36:19

JuliaHub @JuliaHub_Inc

21年8月6日

Learn how to use PackageCompiler.jl to cache the loading and compiled code of functions in #packages, effectively removing the compilation overhead. Create apps-executable programs that can be run on other machines without #Julialang installation form.jotform.me/211801978922461
#webinar pic.twitter.com/RjeHmWQRKc

タグ: Julialang packages webinar

posted at 22:27:49

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 このスレッドでは「CPUとGPU」という枠で簡略化された説明をしたかったので、CPUのマルチスレッドの場合は略しました。

スレッド並列化されたコードもJuliaでは簡単に書けます。

ブロードキャストの部分をスレッド並列化するだけなので、mandelbrot(c)函数はそのまま変更無しに使われる。

タグ: Julia言語

posted at 22:20:25

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 見た直後に反応できず、流れて行ってしまって見失っていた質問はこれ。

多分、モダンなC++で私が書いたマンデルブロ集合の計算と同等のコードを書いてくれる人がいればよいと思う。プロットも含めて。

CPUとGPUの両方とFloat64とFloat32の両方の精度で使える1つの函数をC++で書ける? twitter.com/yujitach/statu...

タグ: Julia言語

posted at 22:16:32

Daisuke HOTTA, 堀田大介 @dhotta_met

21年8月6日

@yujitach @genkuroki 実用面では、Juliaの柔軟な型推論のおかげで、PythonかMatlabを書くようなノリ型をあまり意識せず「とりあえず動くコード」を書いておき、後から結果の一致を確認しながら少しずつ速いコードに書き換えていける点が便利です。

タグ:

posted at 22:05:18

Daisuke HOTTA, 堀田大介 @dhotta_met

21年8月6日

@yujitach @genkuroki このエレガントな仕様のおかげで、例えば並列化やGPUの利用、自動微分などがわずかな書き替えで可能になることがあります。
「C++と表現力が同等」とはいえないように思います(が、私はC++11以降のC++を知らないので誤解しているかもしれません)。

タグ:

posted at 22:04:26

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@sunchanuiguru @sekibunnteisuu この絵柄がちょっとすごすぎ!トンデモ感が強すぎる!

数学動画の方の動きが滑らかで綺麗な点も印象を強くしている!

こういう決定的なシーンにはそう簡単には出会えません! pic.twitter.com/MdSWkSufye

タグ:

posted at 22:04:04

Daisuke HOTTA, 堀田大介 @dhotta_met

21年8月6日

@yujitach こちらのスレッドで @genkuroki さんが具体例を挙げて力説されていますが、型の取り扱いに特別な工夫があり、そのおかげで一度書いた関数を簡単に使い回すことができます。
twitter.com/genkuroki/stat...

タグ:

posted at 22:03:58

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@sunchanuiguru @sekibunnteisuu 数学動画は見付けたらほぼ機械的にRTしているので上のもRTしておきました。もちろん動画の方だけ。

タグ:

posted at 22:00:54

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@sunchanuiguru @sekibunnteisuu クソうけた🤣

数学とコンピュータが好きなガチで優秀な人に突撃して無視されていた。

タグ:

posted at 21:54:11

まるまる @EZX2FOFxVpvStIK

21年8月6日

@genkuroki twitter.com/genkuroki/stat...
「この方法」は僕のツイートのコードにたいしてでした。

リプライに書くと確かに意味わからなくなりますよね。大変申し訳ありません😣

関数使う発想はなかったです。勉強になりました。ありがとうございます😊

タグ:

posted at 21:49:48

Daisuke HOTTA, 堀田大介 @dhotta_met

21年8月6日

こちらのスレッド、以前私がツイートしたネタを材料に黒木玄さんが #Julia言語 の魅力をこれでもかと力説してくださった。読み応えがあるが非常に説得力のある解説。 twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 21:48:27

鰹節猫吉 @sunchanuiguru

21年8月6日

@sekibunnteisuu メタメタ007さん、最近は、海外進出しましたが、海外からの反応は無い模様です。

mobile.twitter.com/metameta007/st...

タグ:

posted at 21:41:42

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@EZX2FOFxVpvStIK #Julia言語 細かいことは置いておく。

ラベルの情報を (i, j) にそれに対応するラベルを対応させる函数を引数にすれば添付画像のようなことをできます。

「ラベルは(i, j)の函数になっているので、そのような函数を引数として与えればよい」とシンプルに考えると楽です。

github.com/genkuroki/publ... twitter.com/ezx2fofxvpvsti... pic.twitter.com/Irr2G18oaE

タグ: Julia言語

posted at 21:41:32

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@EZX2FOFxVpvStIK 「この方法だと」の「この方法」は誰が書いたどのコードのことですか?

私への返答なので「この方法」は私が書いたコードの方法だと解釈できます。しかし、それだと私には全然理解不可能な話になります。

「この方法」は誰のどの方法のことですか? twitter.com/ezx2fofxvpvsti...

タグ:

posted at 21:20:52

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 型に関するこういう仕組みがあるお陰で、一般エンドユーザーは型名を一切書かずに、CPUとGPUを使った爆速計算をスッキリしたシンプルなコードで楽しめるわけです。

裏でめちゃくちゃ手間のかかる細かい工夫をやりまくっている。その地道さはJulia言語のリポジトリで誰でも確認できます。

タグ: Julia言語

posted at 21:17:21

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 これによってJuliaではJuliaでは浮動小数点数の種類によらずに動くジェネリックな数値計算のコードを非常に書き易くなっています。

型名がパラメータを含むことができる仕様を使えば他にも色々なことができます。

タグ: Julia言語

posted at 21:17:20

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 Array{ComplexF32, 2}とCuArray{ComplexF32, 2}におけるComplexF32, 2の部分がパラメータ化できて、コード中にArray{T,N}, CuArray{T,N}のように書け、TやNを使って、TやNが特定の範囲内で何であっても動くコードを書けます。

タグ: Julia言語

posted at 21:17:20

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 型名Matrix{ComplexF32}はArrya{ComplexF32,2}の別名です。CuArray{ComplexF32,2}はGPU計算用の配列の型名です。

配列の成分の型のComplexF32と配列の次元(インデックスの個数)の2が、型名中の{ }の間に入っています。{ }の内側は型のパラメータ。

タグ: Julia言語

posted at 21:17:19

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 通常の2次元配列のMatrix{ComplexF32}型のcについて、m = mandelbrot.(c) はCPUで計算されて、Matrix{Int64}型の配列が得られます。

CuArray{ComplexF32, 2}型の配列c_cudaについて、mandelbrot.(c_cuda)はGPUで計算されて、CuArray{Int64, 2}型の配列になる。

github.com/genkuroki/publ... pic.twitter.com/bfFHQRFLen

タグ: Julia言語

posted at 21:03:09

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 ソースコードを更新

* mandelbrot(c)函数の外にあるz, z32, z_cudaの名前をc, c32, c_cudaに変えた。

* typeof(c32)やtypeof(c_cuda)などを表示するようにした。

github.com/genkuroki/publ... pic.twitter.com/rQvQtJxCm1

タグ: Julia言語

posted at 20:59:01

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 Juliaでは函数は引数達の具象型の組み合わせに最適化されたネイティブコードにコンパイルされてから実行されます。

Juliaは函数の引数達の具象型の組み合わせが分かってから、その情報を使ってネイティブコードにコンパイルする。

ちょっと考えれば利点と欠点の両方があることが分かる。

タグ: Julia言語

posted at 20:30:47

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 今回のコードには具体的な型名が一切登場しないのですが、Juliaの型の世界は非常に複雑です。

通常の配列の型とGPU用の配列の型は違っていて、zがそのどちらであるかによって、同一のコードmandelbrot.(z)の実行のされ方が変わります。

タグ: Julia言語

posted at 20:30:47

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 最初の話に戻る。CPUとGPUによるマンデルブロ集合の計算で、本質的に同一の函数 mandelbrot.(z) が使われています。ここでzはマンデルブロ集合を計算する領域内の複素数の配列です。

その配列zをJuliaのデフォルトの配列にするとCPUが使われて、GPU用の配列にするとGPUが使われます。 pic.twitter.com/LbR9Nctrgh

タグ: Julia言語

posted at 20:24:25

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 の2年前の様子

youtu.be/TPuJsgyu87U
JuliaCon 2019 | What's Bad About Julia | Jeff Bezanson

これがJulia開発者による伝説の爆笑講演。
何度見てもクソ面白い。

タグ: Julia言語

posted at 17:57:49

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 2014年2月のJulia開発者達への取材

www.wired.com/2014/02/julia/
Out in the Open: Man Creates One Programming Language to Rule Them All
Stefan Karpinski was building software that could simulate wireless networks, and his code was a complete mess. But it wasn't his fault. twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 17:46:57

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 のリポジトリへの2012年3月頃までの貢献のトップ4 twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 17:44:07

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 の開発を大学院生時代に始めた3人と10代から開発に参加して来た1人の現在の様子は以下の動画で見ることができます。もはや伝説。

youtu.be/IlFVwabDh6Q

State Of Julia

Stefan Karpinksi
Viral Shah
Jeff Bezanson
Keno Fischer

An overview of the state of Julia in 2021.

タグ: Julia言語

posted at 17:34:54

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 コンパイルの中間段階や最終段階(ネイティブコード)の詳細を見たり、函数ごとに精密なベンチマークテストを実行したりする仕組みを気軽に利用できるようになっていて、Juliaが具体的にどういうことをやっているかは調べ易い。ブラックボックスの部分が小さいようにユーザーは感じるはず。

タグ: Julia言語

posted at 17:30:58

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 JuliaはLispの影響を強く受けていて、インプットに合わせて最適なJuliaのコードを自動生成して即時ネイティブコードにコンパイルして実行するというようなテクニックを利用できます。

JuliaはJuliaで動くコードを自動生成して即時実行できる。

タグ: Julia言語

posted at 17:26:54

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 「ソースコードをコンパイルしてできるバイナリをshellから利用する」という感覚をそのままJuliaに持って来ようとするには悪しき過学習的センスで、shellがREPLに置き換わり、コンパイルの手間がjust-in-timeコンパイルの遅延に置き換わるというような考え方が必要になります。

タグ: Julia言語

posted at 17:24:24

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 は主にREPLやその拡張版(VScode, Pluto, Jupyter)で使用することが多い。

UNIXスタイルのshellのコマンドラインから複数のコマンドを組み合わせて使うのと同じように、JuliaのREPL(もしくはその拡張版)から複数の函数を組み合わせて使う感じです。

タグ: Julia言語

posted at 17:20:33

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 その辺をJuliaの人達は非常にうまくやっていると思います。大学院生達が開発を初めて、公開直後から10代の少年も開発に参入して来た草に根プログラミング言語が超巨大企業の支援を受けずに、相対的に少人数でここまでの仕事を達成したことは驚異的だと思います。

タグ: Julia言語

posted at 17:09:51

清水 団 Dan Shimizu @dannchu

21年8月6日

M1macで
#VSCode + #Jupyter+ #julia
を使い始めたのですが、#Markdown
のセルの数式の表示(黒い方)がイマイチでやる気が出ません。ブラウザでJupyter notebookを利用してた時くらいの数式(白い方)がいいのですが。。。どなたか設定わかりますか? pic.twitter.com/m50mY5LWCD

タグ: julia Jupyter Markdown VSCode

posted at 17:07:51

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語

並列化や分散処理を楽にできる仕組みや
GPUを楽に使える仕組みや
自動微分を楽に使える仕組みなどなど
の整備は特別な専門家に任せないと苦しいです。

しかもそれらが特別なライブラリ内部でのみ使えるだけだとダメで、すべてを組み合わせて使えないと困る。続く

タグ: Julia言語

posted at 17:06:42

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 論文に書いてある広い意味での数値計算のアルゴリズムを実装してパフォーマンスがどの程度であるかを自分なりに確認するには、Juliaが非常に便利です。

具体的型名を含まないまるで擬似コードのようなジェネリックなプログラムを書いて、そのまま高速で計算できます。

タグ: Julia言語

posted at 17:01:27

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 重要なポイントは、GPUであってもなくても、同じようにJulia全体で利用できる多次元配列の仕組みが整備されていることです。

ある特別なライブラリやパッケージ内部のみで利用できるというような話と混同しないように注意。

タグ: Julia言語

posted at 16:58:13

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@OokuboTact 要するに、算数教育の専門家が文科省に入り込んで、影響力を振るうことができているという話ですね。

普通のまともな分野なら、事務方が専門的な仕事を各分野の専門家にまかせようとすることは良いことだと思います。

算数教育については専門家が特にひどいという点が大問題。

タグ:

posted at 16:54:32

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 具体的な型名を一切入れずに書かれたジェネリックなコードがCPUやGPUのネイティコードにコンパイルされて、C, C++, Fortran並の速さで計算されます。

しかも、環境設定もコードを書くこともものすごく簡単。

タグ: Julia言語

posted at 16:50:57

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 using CUDAがGPUを使うためのパッケージの読み込みです。そのパッケージのインストールはJuliaのREPLから

julia> ]
pkg> add CUDA

だけで可能で、細かい設定は自動的にやってくれます。

インストールからコードを書くことまでどの段階もおそろしく簡単です! pic.twitter.com/dTFVqJBcxc

タグ: Julia言語

posted at 16:50:56

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 これがGPUを使った計算です。

CPUによる計算で使ったmandelbrot(c)函数をそのままGPUでの計算で使っていることに注目!

cu(z32)はGPUで計算される配列を作る操作で、collectは通常の配列に戻す操作です。

その結果が100倍以上の計算の高速化!

このように非常に気軽にGPUを使えます。 pic.twitter.com/ZQ5LjNcj7l

タグ: Julia言語

posted at 16:45:39

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 GPUではFloat32を使いたいので、インプットの複素数の配列をFloat32の複素数の配列にしています。この段階ではまだCPUで計算しています。 pic.twitter.com/4crLOE6W5J

タグ: Julia言語

posted at 16:45:37

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 ソースコードは

github.com/genkuroki/publ...

にあります。

添付画像はそのCPU用のコードです。マンデルブロ集合の定義を知って入れば特別なことをしていない陳腐なコードであることが分かるはずです。

どこにも具体的な型名が書かれていないことにも注目。続く pic.twitter.com/Kp66p4tLTp

タグ: Julia言語

posted at 16:45:33

黒木玄 Gen Kuroki @genkuroki

21年8月6日

#Julia言語 の特徴に関する質問を見たのだが、流れて行ってしまった。もう遅いかもしれないですが、以下のリンク先のネタを再現してみました。

マンデルブロ集合をGPUを使ってCPUの1スレッドの100倍以上の速さで計算する方法。

ポイント:GPU用の特別なコードを書く必要がない。続く twitter.com/dhotta_met/sta... pic.twitter.com/i5yt2oHL8C

タグ: Julia言語

posted at 16:45:30

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@EZX2FOFxVpvStIK 【ラベルのところ以外はコードが重複してしまう】が何を言いたいのか理解できませんでした。

タグ:

posted at 16:21:10

OokuboTact 大久保中二病中年 @OokuboTact

21年8月6日

#超算数

文科省の事務方の人達は、教科調査官や算数教育の専門家に丸投げしている疑惑

タグ: 超算数

posted at 15:10:59

OokuboTact 大久保中二病中年 @OokuboTact

21年8月6日

#超算数

最新版の文科省指導要領・解説(算数篇)は大増量になった。
かつて教科調査官ごときがこんな大役を任されたことがあったのだろうか? pic.twitter.com/02oLWiirjl

タグ: 超算数

posted at 14:58:30

OokuboTact 大久保中二病中年 @OokuboTact

21年8月6日

@genkuroki #超算数

笠井健一氏は事務方ではなく文科省の下部組織から来ている人なので、文科省の事務方として出世することはありませんが、
今回の「新指導要領及び解説」で主導的な役割を果たしており、文科省の算数教育の顔的存在です。

www.youtube.com/watch?v=gxAvyE... pic.twitter.com/mHRh0jMHQv

タグ: 超算数

posted at 14:45:03

ソ゛ン゛ヒ゛ラント゛佐渡 @Sado_ga_Shima

21年8月6日

スタンド攻撃を喰らったのかと思った pic.twitter.com/NeueYLRkMX

タグ:

posted at 14:36:39

ソ゛ン゛ヒ゛ラント゛佐渡 @Sado_ga_Shima

21年8月6日

四半世紀前の人間に騙されてたわ
ごめんなツイッターランドのみんな(開封の儀のためにベニヤまで敷いた人間) pic.twitter.com/kENa7op3lL

タグ:

posted at 14:28:26

OokuboTact 大久保中二病中年 @OokuboTact

21年8月6日

@genkuroki #超算数

参考

笠井健一氏と算数教育の権威の人達の座談会

twitter.com/OokuboTact/sta...

タグ: 超算数

posted at 13:18:58

OokuboTact 大久保中二病中年 @OokuboTact

21年8月6日

@genkuroki 事務方はそうなのかもしれませんが、
例えば、笠井健一(文部科学省初等中等教育局教育課程課教科調査官)は、率先していると思います。

kyoiku.sho.jp/84669/

タグ:

posted at 13:17:33

津田和俊/急激に進行した網膜剥離と闘って @kaztsuda

21年8月6日

@pinwheel007 朝日新聞の記者時代に医療担当になってからだいぶトーンが変わったように見えますが、ニュースソースとして誰に当たったかの違いで、本人の理解度という意味ではあまり変わってないように個人的には見ています。

タグ:

posted at 13:11:57

Iwao KIMURA @iwaokimura

21年8月6日

からの再起動で復活。ベータチャネルとはそういうことさ。

タグ:

posted at 12:48:40

Iwao KIMURA @iwaokimura

21年8月6日

例のWindow11になっちゃったマシン、更新が降ってきたので「更新して再起動」したら起動しない。

タグ:

posted at 12:43:26

黒木玄 Gen Kuroki @genkuroki

21年8月6日

@OokuboTact ❌「式」と「具体的な場面」を対応させる授業は、文部省や算数教育専門家によって推進されている。

⭕️「式」と「具体的な場面」を対応させる授業は、算数教育専門家によって推進されており、文科省内部にも算数教育専門家がいる。

文科省の事務方は非常識なチョー算数の実態を知らないと思います。

タグ:

posted at 12:20:57

ソ゛ン゛ヒ゛ラント゛佐渡 @Sado_ga_Shima

21年8月6日

未開封っぽいんだけど揺さぶったら小石が入ってるみたいなコロコロって音がする(恐怖)

タグ:

posted at 12:03:41

ソ゛ン゛ヒ゛ラント゛佐渡 @Sado_ga_Shima

21年8月6日

大掃除してたらやべえもん発掘しちまった pic.twitter.com/vGmDc5u1CR

タグ:

posted at 12:02:40

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月6日

function res_plot(n; label="n = $ n")
plot(rand(n); label)
end

の類で不満足なのかな? #Julia言語 twitter.com/EZX2FOFxVpvStI... pic.twitter.com/j6MGLfHm1N

タグ: Julia言語

posted at 09:56:57

黒木玄 Gen Kuroki @genkuroki

21年8月6日

「1あたり量が重要」という言説は「内包量が重要」という言説にほぼ等しいので、積極的にその教育的かつ社会的有害性を指摘して行く必要があります。

若いときに権威に負けて洗脳されたまま年寄りになって「1あたり量が重要」と言い続ける社会的に立派な地位を築いた人達がいるので要注意です。 twitter.com/genkuroki/stat...

タグ:

posted at 09:42:17

非公開

タグ:

posted at xx:xx:xx

EARLの医学ツイート @EARL_med_tw

21年8月6日

これなんですよね。西浦先生は基本的にワーストケースシナリオの想定までされていて、その中で当たってるので twitter.com/muscle_penguin...

タグ:

posted at 09:18:35

黒木玄 Gen Kuroki @genkuroki

21年8月6日

XY問題

真に解決したい課題Xに取り組んでいる人が、大変な苦労のすえ、方法Yを実現できれば課題Xが解決できそうなことに気付いた。

しかし、方法Yの具体的な実現法がわからない。

そこで、方法Yの実現方法のみについて質問してみた。

しかし、方法Yは課題Xの解決法として論外にダメな方法だった。

タグ:

posted at 08:36:11

しぴこめᓚᘏᗢ @chipie0826

21年8月6日

RTありがとうございます。
職務質問で1度賑わいました、おこめです。
よろしくお願い致します。 pic.twitter.com/qLxWibRoJE

タグ:

posted at 08:32:20

黒木玄 Gen Kuroki @genkuroki

21年8月6日

speakerdeck.com/butsugiri/incr...

さらに

discourse.julialang.org/t/please-read-...
make it easier to help you

も参照。

さらに

ja.wikipedia.org/wiki/XY%E5%95%...
真に解決したい課題Xを説明せずに、自分で考えた方法Yの実現法を質問するのはやめた方がよい。回答者は質問者のアイデアを否定せざるを得なくなってバツが悪い。 twitter.com/imai_eruel/sta... pic.twitter.com/AlLF6ynFei

タグ:

posted at 07:53:43

積分定数 @sekibunnteisuu

21年8月6日

@rokkasen その通りです。文句を言うのです。 pic.twitter.com/WBGXfcEzqJ

タグ:

posted at 07:08:28

積分定数 @sekibunnteisuu

21年8月6日

@golgo_sardine @tora8enl @Tmalone19270428 @nshrknl_e >型を決めてあげないと考えられない生徒もいるとは思うけど、そういう生徒のレベルに合わせないと不公平って話なのかなぁ

算数教育の専門家はそういうことは言っていません。

7人に5個ずつ配ると全部で何個か?を求める式は、5×7であって、7×5は誤り

と素で考えています。

タグ:

posted at 07:04:08

Julia Bloggers @juliabloggers

21年8月6日

New post: AbstractDifferentiation.jl for AD-backend agnostic code - www.juliabloggers.com/abstractdiffer... #julialang pic.twitter.com/YqI3urCuub

タグ: julialang

posted at 05:07:19

Julia News @julialang_news

21年8月6日

Using QuestDB to Build a Crypto Trade Database in Julia www.juliabloggers.com/using-questdb-... #juliabloggers

タグ: juliabloggers

posted at 04:22:45

JuliaHub @JuliaHub_Inc

21年8月6日

DataSets.jl: A bridge between code and data. DataSets.jl is a new package for describing data declaratively and mapping it neatly into your programs. For more details click here youtu.be/PJkf0CO5APs
#julialang #Datascience #ML

タグ: Datascience julialang ML

posted at 03:27:41

Julia Bloggers @juliabloggers

21年8月6日

New post: Using QuestDB to Build a Crypto Trade Database in Julia - www.juliabloggers.com/using-questdb-... #julialang

タグ: julialang

posted at 03:01:54

Keno Fischer @KenoFischer

21年8月6日

My slides from this morning's #julialang Cxx.jl talk are up at compiler-research.org/assets/present... if you're interested in 6 slides worth of reasons Cxx never achieved its full potential :)

タグ: julialang

posted at 02:49:58

非公開

タグ:

posted at xx:xx:xx

(「・ω・)「ガオー @bicycle1885

21年8月6日

Julia 1.7出て〜!

タグ:

posted at 01:15:31

Ellis Brown @_ellisbrown

21年8月6日

also check out out my presentation of the packages at #JuliaCon2021 last week:

"Linearly Constrained Separable Optimization"
live.juliacon.org/talk/FGUEAM

I give an overview of the packages and talk about the new Julia organization we created for first-order optimization!

タグ: JuliaCon2021

posted at 00:22:32

Ellis Brown @_ellisbrown

21年8月6日

Super excited we were able to get these packages out the door!! The #JuliaLang open-source community is awesome twitter.com/BlackRock_Eng/...

タグ: JuliaLang

posted at 00:16:24

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました