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年04月03日
並び順 : 新→古 | 古→新

2021年04月03日(土)

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#数楽 大学1年生向けの線形代数の講義では、与えられた a_{ij}とb_iが定めるx_j達に関する連立一次方程式

a_{11}x_1 + … + a_{1n}x_n = b_1
  ………
a_{m1}x_1 + … + a_{mn}x_n = b_m

をa_{ij}, b_iに関する場合分けで解く話をやったりします。

ax=bはこれのm=n=1の特別な場合。 twitter.com/f_sei/status/1...

タグ: 数楽

posted at 00:28:53

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#数楽 そのm=n=1の特別な場合の方程式

ax=b

は以下の3種に分けされる。

(0) a≠0の場合の ax=b
(1) a=0, b≠0の場合の 0=b
(2) a=0, b=0の場合の 0=0

(0), (2)の場合に解空間の次元はそれぞれ0, 1になり、(1)の場合に解空間は空集合になる。

これの一般化をやる。

タグ: 数楽

posted at 00:28:54

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#数楽 m=n=2の場合の方程式の中には

x + ay = p
0x + 0y = q

のようなものも含まれる、q≠0の場合は解なしになり、q=0の場合には

x = p - ay
yは任意

の形ですべての解を表せる。

こういう講義をしている人達はそれなりにいるはず。

タグ: 数楽

posted at 00:28:55

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#数楽 以上の話を具体的な計算でやる話は、「場合分け」の部分がグラスマン多様体の代数的な胞体分割の話を含んでいる。

線形写像を使った抽象化は定番でそれよりずっと易しい。

タグ: 数楽

posted at 00:28:55

Massimo @Rainmaker1973

21年4月3日

A Penrose tiling is an example of non-periodic tiling generated by an aperiodic set of prototiles. Penrose tilings are named after mathematician and physicist Sir Roger Penrose, who investigated these sets in the 1970s buff.ly/2IrumtB [gif: buff.ly/2MMYZJP] pic.twitter.com/bCfXyOWCuk

タグ:

posted at 00:30:41

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#数楽 体Kについて、単射線形写像f:Kⁿ→Kᵐの全体を分類する話が、グラスマン多様体のセル分割の話。

連立一次方程式の抽象化で使われる線形写像は単射とは限らないので、連立一次方程式論の方が一般的な場合を扱っていることになる。

タグ: 数楽

posted at 00:42:36

Florian Oswald @FlorianOswald

21年4月3日

@ckhead @grant_mcdermott julia is orthogonal to that. you don't need an NVIDIA gpu, but you need to check that it's CUDA capable (that you can do generic compute on it).
what's with #julialang here? GPU computing has never been so user friendly. github.com/JuliaGPU

タグ: julialang

posted at 00:44:46

匿本 名太郎 @kaisekigakumoyo

21年4月3日

偉い人が高次元問題にはSobolev/Besovスケールは適切じゃないんじゃないかみたいなことたしか言ってて(いやisotropicなものはそうでしょうけどと思いながら聞いていたが)ここに出てくるBarron spaceを持ち出してきたのは知らなかった.
youtu.be/5rb8DJkxfg8?t=...

タグ:

posted at 00:49:42

高梨陣平 @jingbay

21年4月3日

GCCのMLで激論が行われていたようだけれども、実際に消されたのは事実の模様

web.archive.org/web/2021033119...

18時にはStallmanの名前があったのだが、19時には消えている。そして現在、Stallmanの名前は無い twitter.com/HNTweets/statu...

タグ:

posted at 00:51:52

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年4月3日

この動画の威力はすごい。

猫を飼っていないけど欲しくなった。 twitter.com/sociologbook/s...

タグ:

posted at 01:50:07

Jacob Quinn @quinn_jacobd

21年4月3日

Neat; Julia General registry calculates levenshtein distance for proposed new package names vs. existing packages and warns for "very similar" package names. github.com/JuliaRegistrie...
#julialang

タグ: julialang

posted at 02:00:38

Erik Engheim @erikengheim

21年4月3日

@kdwkshh I actually tried JET now, and while it looks promising I did not have that great results. Either I need to learn it better or this is just too early in the development to judge.

タグ:

posted at 02:14:28

Julia Bloggers @juliabloggers

21年4月3日

New post: Poor man’s guide to despecialization - www.juliabloggers.com/poor-mans-guid... #julialang

タグ: julialang

posted at 02:18:19

Shuhei Kadowaki @kdwkshh

21年4月3日

@erikengheim what kind of results did you get ? You may need to configure JET to make it analyze your code properly.

タグ:

posted at 02:20:33

Stefan Karpinski @StefanKarpinski

21年4月3日

@quinn_jacobd Even fancier, it computes visual similarity of words and checks that too! github.com/ericphanson/Vi...

タグ:

posted at 02:27:06

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年4月3日

ツツカナ vs. 森下卓 電王戦リベンジマッチ shogidb2.com/games/07219818... #将棋 #将棋DB2 @backflip1801より

タグ: 将棋 将棋DB2

posted at 04:10:26

黒木玄 Gen Kuroki @genkuroki

21年4月3日

電王戦公式統一パソコン「GALLERIA電王戦」森下卓九段インタビュー - ヒューマンエラー対策 森下新ルールなら技術で勝てる (1) | マイナビニュース news.mynavi.jp/kikaku/2014120...

タグ:

posted at 04:13:48

黒木玄 Gen Kuroki @genkuroki

21年4月3日

指掛けの電王戦リベンジマッチは指継がず、森下卓九段の判定勝ちと発表。ニコ生アンケート結果は良かった85% shogi1.com/denousen-reven...

タグ:

posted at 04:15:16

黒木玄 Gen Kuroki @genkuroki

21年4月3日

人間側が盤と駒を使って検討しながら指せるできるというルールは面白かったな。

使える道具として盤駒だけではなく、単に駒を動かす検討だけが可能なソフトも許すというルールに改訂して、もう一回やってくれないかな。

人間側の負担が非常に大きくなってしまうので再度実行するのは大変そうですが。

タグ:

posted at 04:21:18

黒木玄 Gen Kuroki @genkuroki

21年4月3日

人間の将棋の世界では「全部心の中で考えること」が大変な美徳になっているように思うのですが、私のパズルや数学での経験では手を動かして試行錯誤した方が圧倒的にうまく行く。

盤駒やそれに類する道具(ソフト)を使って検討しながら指せるというルールでどれだけ棋力が上がるかをもっと知りたい。

タグ:

posted at 04:26:23

桑満おさむ @kuwamitsuosamu

21年4月3日

別件:夏井先生、その後炭水化物ダイエットでちょっとヘンになっちゃいましたけど。 twitter.com/MURIANTHR/stat...

タグ:

posted at 06:45:31

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 Xsum.jl examples

Float128を使うと計算速度が数十倍~百倍以上遅くなったりする。

Xsum.jl の xsum を使えば、少し遅くなる程度のトレードオフで、Float64の精度での和を正確に計算できる。

精度が気になる和をgeneratorのsumで計算してはいけない。

gist.github.com/genkuroki/97c4... pic.twitter.com/uYhQrv5D4P

タグ: Julia言語

posted at 06:50:15

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 builtin sum も sum(f, iter) の形式で使えば精度的に結構悪くなさそう?

タグ: Julia言語

posted at 06:51:43

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 ストーリーはこれで終わりではない。

このスレッド面白いです。

discourse.julialang.org/t/question-abo...

github.com/JuliaMath/Accu...
Calculate with error-free, faithful, and compensated transforms and extended signficands.

タグ: Julia言語

posted at 07:00:41

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 質問者が計算しているのは “loop quantum gravity” (ループ量子重力)です。Juliaのコミュニティで質問するとどういう感じの回答が得られるかも分かり、色々有益な内容だと思いました。 (科学研究者の間でJuliaユーザーが増えている?)

discourse.julialang.org/t/question-abo...

タグ: Julia言語

posted at 07:09:23

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

21年4月3日

たまに log(θ+μ) みたいな変数名を使いたくなるんだけど、Juliaだと var"log(θ+μ)" でできるな。

タグ:

posted at 07:26:49

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 これも面白いです。

LispとJuliaの比較のような話になっている?

以下のリンク先はJuliaでの高速多項式評価が何をやっているかの解説。係数が格納された配列を読みながらの多項式評価より速いです。

discourse.julialang.org/t/cas-benchmar...
CAS benchmarks (Symbolics.jl and Maxima)

タグ: Julia言語

posted at 07:32:03

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 【ネタ】重要情報(笑)

discourse.julialang.org/t/cas-benchmar...
【Maybe julia stands for “Jeff’s uncommon lisp is automated”?】とJeff Bezansonさんが言っていた!

タグ: Julia言語

posted at 07:43:39

Matttttttt @matthieubulte

21年4月3日

I came back to this funny little #julialang experiment and realized that this is something that #Symbolicsjl should also be able to do. Not only that's the case, but this also allows to pre-compile even more complicated expressions! 1/5 twitter.com/matthieubulte/...

タグ: julialang Symbolicsjl

posted at 08:00:19

Matttttttt @matthieubulte

21年4月3日

First, we can simply reproduce the previous example by multiplying our sparse matrix with a symbolic matrix and call `build_function` on the result. Result? It just works and is just a little slower than the "hand-made" version from my previous tweet (~230ns vs ~170ns) 2/5

タグ:

posted at 08:00:19

Matttttttt @matthieubulte

21年4月3日

I must say I'm not 100% sure why this is the case, and comparing the two generated codes didn't help much. However, this is still much faster than performing the matrix multiplication directly (~230ns vs ~620ns)! 3/5

タグ:

posted at 08:00:20

Matttttttt @matthieubulte

21年4月3日

Where this really shines is on more complex functions. This was not easy to do with my previous approach, but Symbolics handle it just as well. Simply call your function on a matrix symbol, call `build_function`, and voilà, a super fast compiled version is ready to use! 4/5

タグ:

posted at 08:00:20

Matttttttt @matthieubulte

21年4月3日

Here is the code with my small experiments gist.github.com/matthieubulte/... 5/5

タグ:

posted at 08:00:20

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 上で紹介したスレッドは以下に紹介するスレッドから派生したっぽい。

以下のリンク先はJuliaが何をやっているかの易しい解説になっている発言を選びました。

どういう人がやって来ても、技術的な事柄を易しく解説しようとすることはやはり大事なことだな。

discourse.julialang.org/t/cas-best-pra...

タグ: Julia言語

posted at 08:59:21

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語

discourse.julialang.org/t/cas-best-pra...
【それら(Maple, Axiom, Maxima)すべては、命令型言語とシームレスに連携する記号計算ツールセットではなく、「1つの言語」になろうとする失敗を犯していると思う】

確かに、数式処理系が汎用プログラミング言語の一部分であることはとても大事だと思う。

タグ: Julia言語

posted at 09:15:42

黒木玄 Gen Kuroki @genkuroki

21年4月3日

数式処理に特化した文法の採用は、数式処理には便利であっても、プログラミング言語としてはつらくなる。

PythonのSymPyは色々欠点はありますが、Pythonの一部分として動いてくれる点は非常に便利だと思いました。数式を数値や文字列などと同じようにプログラミング言語内で扱いたい。

タグ:

posted at 09:20:26

黒木玄 Gen Kuroki @genkuroki

21年4月3日

「コンピュータで計算するためにプログラムを書いているのに、手計算や数式処理型で得た数式の手動でのコピー&ペーストと書き換えが必要になった」となるのは、我々がコンピュータを十分効率的に使えていないことを意味していると思う。

プログラミング言語から直接数学全体を使用可能なのがベスト。

タグ:

posted at 09:30:01

黒木玄 Gen Kuroki @genkuroki

21年4月3日

以下のリンク先の発言の最後の段落を見ると、 #Julia言語 界では言語仕様を話し合って決めている様子が垣間見えます。

いわゆる「こだわりがあって、めんどくさい人達」で意見が一致することなど期待できないのですが、非常にうまくやっているように見える。

discourse.julialang.org/t/cas-best-pra...

タグ: Julia言語

posted at 09:41:20

Kaz Muzik @kazmuzik

21年4月3日

【19桁】の第1種カニンガム鎖の処理は 9.0e18まで完了。CC14は18番目以降、8497371982946563859, 8881902370813680779, 9442556584747983839, 9903787712504472929, 10007753467735417679 の5つが見つかった。20番目までが正式。現在は 1e19を超えて、そのまま 1.08e19まで処理中。 pic.twitter.com/yIKcUVjjjN

タグ:

posted at 10:02:38

狸の中年 @salmoncrawler

21年4月3日

今年は Julia 言語ちゃんと勉強しようかな。

タグ:

posted at 10:13:49

nagoya amigo(名古屋アミーゴ @nagoya_amigo

21年4月3日

4月4日日曜日からの囲碁フォーカスは、「上野愛咲美のハンマーパンチ!!」

愛咲美先生、ハンマーのフォームチェックに余念がありません!

新生囲碁フォーカス、ぜひ、ぜひご覧下さい!!

(下島) pic.twitter.com/K4uhJ0vdtv

タグ:

posted at 10:40:20

nagoya amigo(名古屋アミーゴ @nagoya_amigo

21年4月3日

アシスタントの下島です!どうか温かく見守ってください^ ^
鶴山八段のあとを継いで、動画を撮影してみました!
愛咲美先生の魅力をたくさんお伝えしていきたいです!

タグ:

posted at 10:42:51

歩行者は右側通行 @JikanBae

21年4月3日

Raspberry Pi 4でVSCodeとJuliaも動くし、最新のREAPERも動くので、完璧です。Juliaも最新版が動くといいのになぁ(自分でコンパイルするのは絶対きついと思う)。 pic.twitter.com/YQyqLY1oSg

タグ:

posted at 12:11:46

Akinori Ito @akinori_ito

21年4月3日

モノメチルヒドラジン発生中 pic.twitter.com/sUJP6DsMjU

タグ:

posted at 13:06:46

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

@sekibunnteisuu いそうな気はしませんが、いても驚きません。数学オリンピックでは微分積分と線形代数は出題範囲外なので、数学オリンピックに過適応した人が大学に入ってεδ論法と抽象線形空間でつまずいても不思議ではありません。

タグ:

posted at 13:08:11

狸の中年 @salmoncrawler

21年4月3日

@genkuroki Julia の Catlab.jl あたりの可視化に興味をもってます。 >ふぁぼ

タグ:

posted at 13:43:39

C @coffee_cpa

21年4月3日

Juliaってプログラム言語ごあるの初めて聞いた!しかもPythonの上位互換やてぇ!?progateにJuliaなんて見当たらない、これは調べるしかない!

タグ:

posted at 13:44:48

あ〜る菊池誠(反緊縮)公式 @kikumaco

21年4月3日

科研費が当たったらJuliaが速く動くコアの多いマシンを買いたかったんだけど、当たらなかったから、また当分はMac miniの合計10コア14スレッドでがんばる

タグ:

posted at 13:45:10

KokyuHatuden @breathingpower

21年4月3日

EM菌のように歴史あるニセ科学の場合、教員がEM菌信者になるだけではなく、EM菌信者が教員になることもあるのでしょう。恐ろしいことです。

EM菌教育のまとめ 令和3年3月版 - Togetter togetter.com/li/1679822 @togetter_jpより

タグ:

posted at 13:45:39

狸の中年 @salmoncrawler

21年4月3日

こういうワイヤリングダイアグラムが描けるらしいです。pic.twitter.com/OUY6np2KWP

タグ:

posted at 13:48:45

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 での確率分布の取り扱いの状況

Random variables in Julia (working list) discourse.julialang.org/t/random-varia...

タグ: Julia言語

posted at 14:26:30

@kuri_kurita

21年4月3日

日本語のニュースで続報出てるんでしょうか。

一週間で感染者数は三倍以上に、
“プロジェクト”が予定通り続けられるかどうか怪しくなってきたようで。

行く末に懐疑的で危機感を表明する専門家の発言も。

(注:自動翻訳を通した情報です)
amp.focus.de/gesundheit/new... pic.twitter.com/hs7xQMKz8N

タグ:

posted at 14:46:42

@kuri_kurita

21年4月3日

失礼ながらどこのどなたか存じませんが、こんなツイートを見つけました。
連続するツイートをGoogle 翻訳して画像としてつけました。 twitter.com/karl_lauterbac... pic.twitter.com/ZNi0InCr62

タグ:

posted at 15:05:11

こなみひでお @konamih

21年4月3日

@akinori_ito それは珍味!!どこで?

タグ:

posted at 15:18:52

Akinori Ito @akinori_ito

21年4月3日

@konamih 秘密です

タグ:

posted at 15:19:07

@kuri_kurita

21年4月3日

他にも、はっきりと「ロックダウンの代わりに検査なんて失敗することは最初から分かっていたのになぜ始めた」みたいなツイートが見つかる。 twitter.com/frank_grimm/st... pic.twitter.com/h54Qt3vazs

タグ:

posted at 15:24:27

むううみん @muuumin20

21年4月3日

凄い。Stataってよく知らないけど、ちょっと調べた感じJuliaからもLispからも遠そうなのに、よくこの記事に辿り着いて、よくあの長い文章を読んでくださったものだ twitter.com/willow_bps/sta...

タグ:

posted at 15:26:25

@kuri_kurita

21年4月3日

ヤヴァいでしょ、これは。😬 twitter.com/kuri_kurita/st... pic.twitter.com/oSBWhihIj0

タグ:

posted at 15:38:07

積分定数 @sekibunnteisuu

21年4月3日

@kamo_hiroyasu >数学オリンピックでは微分積分と線形代数は出題範囲外

そうなんですね。知らなかった。

タグ:

posted at 16:11:08

癒される動物 @cutest_animal1

21年4月3日

大好きな飼育さんを見つけたペンギンの赤ちゃんがかわいい✨
pic.twitter.com/7CQcPxhKah

タグ:

posted at 16:12:59

積分定数 @sekibunnteisuu

21年4月3日

@suugakukaiku @hgn_no_otaku >数学を楽しむための分野

現行の数学自体がそうでしょう

タグ:

posted at 16:18:21

積分定数 @sekibunnteisuu

21年4月3日

@suugakukaiku だとしたら、それは教え方なり教わり方の問題であって、数学史を入れても同様のことになると思います。

タグ:

posted at 16:24:40

柳本和春 (Kazuharu Yanag @kazuyanagimotoJ

21年4月3日

@muuumin20 経済学だとStataとMatlabが少し前のデファクトスタンダードだったので、多少知識があるんです。僕は、本当はJuliaを使いたい人なので、記事を拝読させていただきました。

Juliaのマクロの理解に役立ったのは言うまでもありません。ありがとうございました。

タグ:

posted at 16:27:29

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 2D Ising modelのモンテカルロシミュレーションの動画を10行で作っているのって、結構すごくね?

可読性はそう悪くないし、最後の10行目はforループの終わりのendだけで、プログレスメーターまで付いている。ising2d!函数では計算速度も犠牲にしていない。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/biLyUi95JL

タグ: Julia言語

posted at 16:38:37

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 の公式バイナリは

julialang.org/downloads/

からダウンロード可能。Jupyterとの連携については

nbviewer.jupyter.org/github/genkuro...

が詳しい。

タグ: Julia言語

posted at 16:40:42

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

短いコメント:数学史をなめるな。 twitter.com/Numerus_A/stat...

タグ:

posted at 16:43:03

頭撫で撫で @atama_nadenade

21年4月3日

ダブルバッファとかトリプルバッファで作ったことがあるな。メインメモリからGPUへの転送はドライバにやらせる。 twitter.com/genkuroki/stat...

タグ:

posted at 16:58:57

Massimo @Rainmaker1973

21年4月3日

Manufacturing ropes is an old, north German activity that is still practiced today. Tugboats use this kind of huge ropes to pull large ships. This is where traditional handwork merge with industrial production [full video (DE): buff.ly/3dKBRtp] pic.twitter.com/APw5PmkdHc

タグ:

posted at 16:59:14

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 Jupyterとの連携が取れなくても

gist.github.com/genkuroki/9937...

のコードを julia 公式バイナリを実行して出て来たREPLに貼り付ければ2次元Isingモデルの動画を作れます。

すでに Plots.jl と ProgressMeter.jl のインストールが終わっている人は5行目以降を貼り付ける。 pic.twitter.com/mdDkVyV47b

タグ: Julia言語

posted at 17:23:31

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

中等教育の数学に数学史を入れたら楽しくなるだろうというのは、数学を対象とした歴史学である数学史を過去の数学の楽しい読み物と混同しています。

タグ:

posted at 17:30:41

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 Jupyerとの連携が取れない人であっても、ライフゲームで遊べるようなコードも公開しました。

gist.github.com/genkuroki/9e2b...

使い方は1つ前のツイートと同じ。REPLに貼り付ける。(julia GemeOfLife.jl でもよいです。)

S の定義や x0, y0 の定義などを変えれば、初期条件を変更できます。 pic.twitter.com/I6pzdm4kgA

タグ: Julia言語

posted at 18:07:23

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語 2d_Ising.jl と同じ方法を GameOfLife.jl でも使うようにすれば GameOfLife.jl 側も周期境界条件にできます。(もちろん、もっと別の境界条件も可能。)

タグ: Julia言語

posted at 18:14:55

加藤公一, 가토우 기미카즈(はむかず) @hamukazu

21年4月3日

@sekibunnteisuu @kamo_hiroyasu メダリストじゃなくても数学オリンピック出場者は数学科でやっていく能力としては十分にあると思いますが、やってることが違うのでモチベーションが続かないことはあると思います。

タグ:

posted at 18:18:39

黒木玄 Gen Kuroki @genkuroki

21年4月3日

#Julia言語

2√3, x√x, 4∛-3 などを可能にするパッチ。

Julia開発者達は so cute だと思った。

github.com/JuliaLang/juli...

タグ: Julia言語

posted at 18:30:55

積分定数 @sekibunnteisuu

21年4月3日

この人は、ハジキ推しであることはもっと知られるべき。www.oyaryoku.jp/books/sansu_ry... twitter.com/oyanochikara/s... pic.twitter.com/nOHFEDPe2Z

タグ:

posted at 19:10:33

Matt Henderson @matthen2

21年4月3日

a pendulum, double pendulum, 4-, 8-, and 16-pendulum- all with the same total mass. I originally thought in the limit it would behave like a hanging rope — why doesn't it? pic.twitter.com/OcqyHeqtCq

タグ:

posted at 20:18:51

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

【特集】「ユークリッド原論」を読み解き、考える力を身に付ける…市川 : 市川中学校・高等学校 : 会員校だより : 中学受験サポート : 教育・受験・就活 : 読売新聞オンライン www.yomiuri.co.jp/kyoiku/support...

タグ:

posted at 20:49:13

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

原論I巻定理1にいきなり証明のギャップがある話をちゃんとしてくれれば、教育的効果は高そうです。やり方を間違えると原論原理主義者をいまさら育ててしまう危険もあります。

タグ:

posted at 20:49:13

Hiroyasu Kamo @kamo_hiroyasu

21年4月3日

数学史というのは、後の知見で理論が整備される前の右往左往を扱わなくてはならないのだから、むちゃくちゃ深い数学力が必要です。数学の導入に数学史なんて無理!

タグ:

posted at 21:06:01

かくびー @cakkby2

21年4月3日

juliaでローレンツアトラクタかけたー

ほぼPython(1-index許すまじ) pic.twitter.com/0CGAe1xILt

タグ:

posted at 21:08:23

加藤公一, 가토우 기미카즈(はむかず) @hamukazu

21年4月3日

MakefileとDockerfile組み合わせるの、前職時代にtdualに教えてもらった気がする。
hyper-pigeon.hatenablog.com/entry/2021/02/...

タグ:

posted at 21:13:37

Chad Scherrer @ChadScherrer

21年4月3日

In #julialang this is like
𝚞𝚜𝚒𝚗𝚐 𝚕𝚒𝚋𝚛𝚊𝚛𝚢
and it's totally fine!

If there's a collision, you'll have to qualify those names. But the standard is to design libraries so overlapping function names will just lead to multiple methods (dispatched on parameter types) twitter.com/svpino/status/...

タグ: julialang

posted at 21:18:59

l_ppp @ppp3141592ppp

21年4月3日

#第1種カニンガム鎖  を #Julia言語 で探す

強PCちょい使ってさっきのver.2で
CC15が19桁までにない確認完了
(ない確認で、何も結果がない)

次の桁のケツ当たりにCC15があるはずだが、計算1ヶ月以上の見積もりで
う~ん一旦ここまでかな

gist.github.com/pppp314592/e11... pic.twitter.com/IDs4v4CwV6

タグ: Julia言語 第1種カニンガム鎖

posted at 21:19:24

加藤公一, 가토우 기미카즈(はむかず) @hamukazu

21年4月3日

別に技術的に難しくはないんだけど、Dockerの足りない部分を何で補うかというのはいくつか選択肢があって、Makefileは30年前から使ってるけどDocker初心者の僕にその組み合わせは思い浮かばなかったという話です。

タグ:

posted at 21:19:29

タクト @tkt_lmao

21年4月3日

vscodeでJuliaが動かなくなったの何でなの🥺

タグ:

posted at 22:13:52

黒木玄 Gen Kuroki @genkuroki

21年4月3日

バックアップを取って休憩。

バックアップ、非常に大事。

忙しいときほどバックアップを忘れないようにする。

タグ:

posted at 22:52:09

Erik Engheim @erikengheim

21年4月3日

@ChadScherrer Yeah, I noticed that Python will simply I overwrite existing functions and types without warning, so it is indeed dangerous there. But in Julia you get warnings and it does not overwrite, so this is not much of an issue.

タグ:

posted at 23:10:45

Erik Engheim @erikengheim

21年4月3日

@trent_hauck @ChadScherrer It is no different from object oriented Python code. x.foo(y) is no more readable than foo(x, y). Julia devs use fully qualified names where context is not clear.

タグ:

posted at 23:13:45

tune3orz @tune3orz

21年4月3日

reading: Juliaで数値計算 その3:コードサンプル〜2次元プロット・可視化編〜
qiita.com/cometscome_phy...

タグ:

posted at 23:21:37

Chad Scherrer @ChadScherrer

21年4月3日

@erikengheim @trent_hauck IMO, the only readability advantage of the former is when it's natural to think of x as "owning" the operation. Sometimes that's the case, and chaining with `.` can be natural.

But too often, no argument is "special" and the OO syntax feels very weird

タグ:

posted at 23:29:23

akakit @akakit

21年4月3日

読んでるけど Lisp の勉強になる。

JuliaとLispのマクロの比較 - SE教育パパむううみんのブログ muuuminsan.hatenablog.com/entry/2020/10/...

タグ:

posted at 23:54:40

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました