黒木玄 Gen Kuroki(@genkuroki)/2019年04月10日

あと数値計算のコードがfortranやCの次ぐらいに容易に落ちているという理由も忘れてはいけなかった。
微分方程式解きたいからね。

タグ：

posted at 23:58:09

@takusansu @sekibunnteisuu @OokuboTact ハッシュタグは主に自分のツイートを自分で検索し易くするためにつかっています。

「あのとき自分はこう言っていた」「すでの〇〇の証拠は示してある」などの情報を自分で得るために結構苦労する。タグ付け重要。

ツイッターは資料庫みたいな使い方を結構している。

タグ：

posted at 23:57:22

お***ぎ @muripo_life

juliaやっているのは、ミーハーなのと、ユーザーが少ないから先手が取りやすいというのが主な理由なのだが……

特に深い理由ないのだが……

タグ：

posted at 23:49:38

@sekibunnteisuu @genkuroki @OokuboTact ある程度の期間が過ぎると解除されるようです。

タグ：

posted at 23:44:55

mattn @mattn_jp

CSV をテーブルにするのは tablewriter で十分っぽそう。 pic.twitter.com/pd9CWuD0MJ

タグ：

posted at 23:42:52

Ari Rubin @ari_rubin

This is amazing! #EHTBlackHole pic.twitter.com/nqYD2fg8jc

タグ： EHTBlackHole

posted at 23:36:57

@mrkn あ、ほんとですかw
多分このページ訳すよりそっちの方が早いと思うので、お待ちしてます！
英訳もできる限り頑張ってみます…できる限り(強調)

タグ：

posted at 23:25:19

mattn @mattn_jp

意外と one-hot encoder みたいなのが無い。

タグ：

posted at 23:25:08

mattn @mattn_jp

gonum 使ったサンプル(アヤメをあやめる分類)書いて gonum と plot に足りない何かを探ってる。

gist.github.com/mattn/1d38a9a0...

タグ：

posted at 23:24:23

@abap_julialang お急ぎでなければ、再来週まで待っていただければ、JuliaTokyo の Slack で説明できます。

タグ：

posted at 23:24:13

@genkuroki @sekibunnteisuu @OokuboTact 私としては、ハッシュタグをつけるのは、興味を持った人(フォロワー以外の人も含めて)に幅広く見てもらいたい為なのですが、他の人はそうでもないのかな？

タグ：

posted at 23:21:07

@mrkn ありがとうございます…

英語苦手なので、じっくり読んでみます。

また疑問点があったらリプライしてみます。🙇‍♂️🙇‍♂️

タグ：

posted at 23:20:44

@abap_julialang このページ (JupyterHub のドキュメント) を見たらなんとなく分かりますか？ jupyterhub.readthedocs.io/en/stable/

タグ：

posted at 23:19:11

@mrkn JupyterHubはなんで動いてるんですかね？JupyterNotebookは一体どこが建ててるんですか？

タグ：

posted at 23:16:30

@abap_julialang JupyterHub は Jupyter Notebook を起動するための仕組みです。JuliaBox で Launch ボタンをクリックして起動されるものが Jupyter Notebook です。Jupyter Notebook は Julia だけでなく、Python、R、Ruby など様々なプログラミング言語を使えるようにできます。

タグ：

posted at 23:15:17

@sekibunnteisuu @takusansu @OokuboTact 自分で自分のツイートを検索しても、きちんと表示されます。だから、気付かないという仕組みになっている。

タグ：

posted at 23:13:18

カメぽん @TurtleKingdom

@_St_co Julia がいいぞ

タグ：

posted at 23:12:37

@mrkn JupyterHub、調べてみます...φ(・ω・ )ﾒﾓﾒﾓ
ほかの言語の場合はどうなんでしょうか？

タグ：

posted at 23:07:13

@abap_julialang JupyterHub だと思います。

タグ：

posted at 23:05:24

積分定数 @sekibunnteisuu

@genkuroki @takusansu @OokuboTact 私は自分のツイートを検索することがあるから、不便と言えば不便かな。黒木さんに関しては以前も同様のことがあった記憶がある。

タグ：

posted at 23:05:13

@sekibunnteisuu @takusansu @OokuboTact そう、私とか積分定数さんのスタイルだと、何も困っていない感じ。

ツイッターで私が検索したときだけあるある特定の私が興味を持ちそうな情報が表示されないというようになると困るが、私の発言が検索で表示されなくても私は困らない。

タグ：

posted at 23:00:56

積分定数 @sekibunnteisuu

@takusansu @genkuroki @OokuboTact twitter.com/takusansu/stat...　これか。特に何もしなかったけど。

タグ：

posted at 22:59:57

@takusansu @OokuboTact @sekibunnteisuu 問題の報告は私以外の誰にでも可能なようです。私以外の人が私の発言が検索で表示されないことに文句を言う価値はあるかもしれませんね。

私は報告しておきました。

タグ：

posted at 22:58:34

積分定数 @sekibunnteisuu

@takusansu @genkuroki @OokuboTact 私、何かありましたっけ？覚えていない。

タグ：

posted at 22:55:50

三谷純 Jun MITANI @jmitani

穴を避けて玉をゴールへ移動させる、よくあるオモチャ（100円ショップで購入）。
結構難しくて僕にはできないのだけど、息子(5歳)は飽きもせずに連日遊んでいて、今ではスイスイ。
もはや目を閉じてもできるのではないかと冗談で試させたら、本当にできてしまって驚いた。
子供の集中力ほんとすごい。 pic.twitter.com/QChMlsTVBu

タグ：

posted at 22:54:37

tomo @tonagai

ブラックホールの回転はわかったのか？
⇒質量と回転しか特徴つけるものはない。今回分かったのは質量。
　もう少しシャープな映像が得られればスピンについての情報も得られるかも。何度も言うが重要なのはジェットのメカニズム。

タグ：

posted at 22:50:48

@genkuroki @OokuboTact @sekibunnteisuu 上のページでは情報不足でしたので、一応 twitterへのリンクをお知らせしておきます。
ヘルプセンター - 問い合わせをする - 検索
help.twitter.com/forms/feature_...

個人的には、超算数タグに関しては、黒木玄さんのフォロワー以外の人にも見えるようになって欲しいです。

タグ：

posted at 22:47:37

まぁでもそれが違うことくらいわかる。三平方の定理はとっくに知ってるし、証明も。けど、この考え方のどこに間違いがあるんだろう？

タグ：

posted at 22:46:57

「円の面積は無限に小さな三角形に無限に小さくしていくから…」的な。

で、その時に疑問に思った。

だったら直角三角形の斜辺はほかの2辺の和なんじゃないか？って。

タグ：

posted at 22:46:12

「無限に細かくする」これって、小学校の頃円の面積の求め方で習ったんです。

タグ：

posted at 22:44:59

TOMO @tmk9071

富川キャスター「さきほど被災地に関する閣僚らの失言を並べて安倍政権を批判しましたが、実は最初の２つは実は民主党政権でのものでした（バレちまったぜ）」
#報道ステーション pic.twitter.com/K0Q8PXPRy7

タグ：報道ステーション

posted at 22:44:40

で、まぁ結論から言って同じです。では、これをもっと細かくしていったらどうでしょうか？

タグ：

posted at 22:44:20

@AzzuraWords

😁😁😁

#bee #funnyvideos #FunniestTweets pic.twitter.com/91XdiIpE2f

タグ： bee FunniestTweets funnyvideos

posted at 22:44:07

#Julia言語リンク先の添付画像では、四元数を扱うパッケージで定義された四元数を成分に持つ行列を、Juliaでの一般的に使用できる線形代数の実装中のLU分解函数でLU分解している。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 22:37:23

A〜B〜C っていう直線とA〜Cっていう線がありますね。

【問い】この2直線の長さの関係は？ pic.twitter.com/NDlmHYFQ8b

タグ：

posted at 22:33:52

kemofure @kemohure

安倍政権が国立天文台などの基礎研究減らして、ムーンショット型研究(台風回避等、実現可能性のないセンセーショナルな研究)に予算を割り当てて、国立天文台の海外協力が出来なくなったり野辺山の天文台が維持できなくなったりしていることはもっと知られてほしい。基礎研究は国の土台だよ。

タグ：

posted at 22:28:23

@OokuboTact @takusansu @sekibunnteisuu 問い合わせ方法はないみたいですね。放置しておくしかない。

私はフォロワーが多い分だけ、多くに反応を引き起こし易いので、積分定数さんとはその点で事情が異なると思います。

別に私自身は何も困っていないです。

タグ：

posted at 22:21:40

@OokuboTact @genkuroki @sekibunnteisuu 3月5日頃の積分定数さんの時は、「検索を禁止する」より重い処置だったけど短期間で解除されたようです。

タグ：

posted at 22:15:45

非公開

タグ：

posted at xx:xx:xx

tomo @tonagai

ごまふあざらし(GomahuAzaras @MathSorcerer

今、イベントホライズンテレスコープ（EHT)の記者発表見ている。
ブラックホールの直接画像がたった一枚ではあるが、撮影することができた！
輪っか（ブラックホールシャドウ）が得られているのが証拠。
live.nicovideo.jp/watch/lv319442... pic.twitter.com/vTMoBzqmDo

タグ：

posted at 22:09:59

bat ハイライトなcatを導入しました。
batってRustで書かれているみたいですね。 pic.twitter.com/HxlWm8INJ9

タグ：

posted at 21:16:01

ceptree @ceptree

OokuboTact　大久保中二病中年 @OokuboTact

ベクトル解析30講と微分形式と有限要素法と多様体の基礎と長谷川線形代数とかにオレンジジュースぶちまけたつらい

タグ：

posted at 21:11:09

@takusansu @genkuroki @sekibunnteisuu ＞　２週間経っても解除されませんね。

積分定数さんはどうして解除されたんだろう？

タグ：

posted at 20:43:40

#julialang

タグ： julialang

posted at 20:06:09

IJulia.notebookしてもブラウザ自動起動しない。datachedはTrueです。

タグ：

posted at 20:05:59

@genkuroki @sekibunnteisuu @genkuroki @OokuboTact
２週間経っても解除されませんね。
「問い合わせ方法」を紹介しているページがあったので、お知らせしておきます。
remarks.hatenablog.jp/entry/shadouwb...

タグ：

posted at 19:58:11

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

#数楽 1/2 ≦ p ≦ 1 と仮定する。

円周上の一様分布のサイズnのサンプルの円周上での分布に角度2πp以上の非存在部分(ギャップ)が存在する確率は n(1-p)^{n-1} である。

証明はp=1/2の場合と同じ(n=3の図はp>1/2の方が描きやすい)。

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

タグ：数楽

posted at 19:20:58

Juliaを使い始めるひとがどんどん増えていて嬉しいのう

タグ：

posted at 19:11:39

ceptree @ceptree

正垣雄治【Yuji Masagaki】 @funky_rhythm_

複数の教科書にオレンジジュースをぶちまけて気分がりんごジュースになってる

タグ：

posted at 18:53:27

正垣雄治【Yuji Masagaki】 @funky_rhythm_

からのエンディングまで、ほんまに言葉はいらなくて幸せな空間。

誰か全然知らんけど笑 pic.twitter.com/YoeTCmOBoe

タグ：

posted at 18:48:23

正垣雄治【Yuji Masagaki】 @funky_rhythm_

からのギターソロベースソロカホンソロからの歌に戻る言葉はなくてもスキルの高さ pic.twitter.com/wXxRVO0elO

タグ：

posted at 18:44:41

通りすがりの外人さんとノリでセッションしたら完全に作品になった、
この人すげぇほんまに

何者なんやろ pic.twitter.com/OOuw2YOGuB

タグ：

posted at 18:38:43

単純にあれってどうやって動いているんだろうと。

タグ：

posted at 18:30:10

#julialang
#Julia言語

タグ： julialang Julia言語

posted at 18:29:02

【ゆるぼ】
Web上でJuliaを動かす
(訪問者が使えるようにしたい)
のには何をすればいいんだろう？
例えばJuliaBoxみたいなの。
なんの技術が必要なのかもさっぱりぴーまんです。

タグ：

posted at 18:24:02

#Julia言語は juliabox.com を使えば無料でかつブラウザだけで使用できます。

以上の計算結果のスクショを見ればわかるように、無料なのにかなり実用的です。高速の超高級電卓としてかなり使える。

WolframAlphaに向かない仕事はJuliaでやるといいと思います。

タグ： Julia言語

posted at 18:19:35

#数楽 #Julia言語 legend()を忘れていた。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/5HDq3TE2V5

タグ： Julia言語数楽

posted at 18:17:11

#数楽 GitHub Gistにノートブックを投稿しました。

nbviewer.jupyter.org/gist/genkuroki...

グラフを見ると、シミュレーションと n/2^{n-1} がほぼぴったり一致しています。対数を取ってからプロットしています。 pic.twitter.com/ow6MVQylcd

タグ：数楽

posted at 18:13:07

#数楽 #Julia言語計算効率的はdotsが足りなかった。@.を追加した。more dots!

julialang.org/blog/2017/01/m...

メモリ効率が悪いと速度的にも遅くなる。 #Julia言語にある程度なれた後は「メモリ効率との戦い」になることが多いと思う。

PythonでNumpy強制されると苦しい。 pic.twitter.com/A9OwopZafL

タグ： Julia言語数楽

posted at 16:19:16

#数楽 #Julia言語 n次元単体

{ x_1,…,x_{n+1}≧0, x_1+…+x_{n+1}=1 }

上の一様分布に従う乱数が欲しいことがあります。そういう場合には、1次元単体上の一様分布に従う乱数をn個独立に生成して、小さな順番にソートして、隣との差を x_i とすればよい。

タグ： Julia言語数楽

posted at 16:09:44

#数楽私は自分でやった証明を信用しないので #Julia言語によるシミュレーションでも確認。

rand(n)で[0,1]区間の一様乱数をn個生成してソートして、隣との差が1/2以上になる部分がある場合をカウントして、確率を近似計算。各々100万回回している。

確かに n/2^{n-1} に近い値になった。😊 pic.twitter.com/tO4ER141lM

タグ： Julia言語数楽

posted at 16:03:55

#数楽 n次元単体上の一様分布に関するある部分集合の確率。

n次元単体の体積が 1/n! で、
求めたい部分集合の体積は n・(1/n!)(1/2^n) + (1/(n-1)!)(1/2^n).
上で下を割ると、2n/2^n = n/2^{n-1}.

n=3で分かれば一般の場合も同様。

続く pic.twitter.com/YQAwDYfodE

タグ：数楽

posted at 16:03:53

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

#数楽【問. n を自然数とする. 円周上に n 点を一様分布で独立に取る. このときどの点も含まれないような半円周が存在する確率を求めよ.】

私も n/2^{n-1} になりました。続く

twitter.com/mat_der_D/stat...

タグ：数楽

posted at 16:03:50

昨日のこの件ですが、数研出版の方からメールがあり、きちんと対応していただいたことを報告します。 twitter.com/hamukazu/statu...

タグ：

posted at 13:56:05

栗原裕一郎 @y_kurihara

植松被告がキレた理由　「日本の借金」を、なぜあれほど憂えるのか www.huffingtonpost.jp/karin-amamiya/...

タグ：

posted at 13:09:27

たまさか @TamasakaTomozo

すむーずぷりんちゃん @mat_der_D

研究者の就職については様々な問題がありますが、おそらく一番厄介なのは、若手研究者に対するまともな支援策がないことと、大学の予算を減らしまくっている結果、多くの大学が新任教員を取りたくても取れないことだと思います。そのどちらもがこの記事には書いていないけど。
www.asahi.com/articles/ASM46...

タグ：

posted at 12:55:00

計算し直したら n/2^(n-1) になった

タグ：

posted at 12:12:21

大' @satodainu

OokuboTact　大久保中二病中年 @OokuboTact

宮城県に『大雪に関する宮城県気象情報　第１号』が出てた。「１０日夜から１１日朝にかけて、湿った雪が降り、西部の山沿いを中心に大雪となるおそれがあります。」らしい。けっこう降りそうだなぁ。 www.jma.go.jp/jp/kishojoho/3...

タグ：

posted at 11:38:07

非公開

タグ：

posted at xx:xx:xx

＃超算数

小学校で、「長方形と正方形」と並べて書く場合がある。
「日本人と東京都民」みたいで奇妙な感じではある。
小学校では、「正方形は１辺だけわかれば面積が求められるから、普通の長方形とは違う」ということを暗に強調するために、わざと分けている気がする。

タグ：超算数

posted at 09:00:34

Deep Sea @DeepSeaImage

This was an astonishing video observation of a swimming brittle star!
They have a very different kind of body skeleton compared to sea stars with arms composed of many vertebrae-like parts, which allows them a wide range of flexibility and motion!
🎥NOAA
#deepsea #MarineLife pic.twitter.com/JVlJRsM2CO

タグ： deepsea MarineLife

posted at 07:22:30

松浦健太郎 @hankagosa

ArviZ ("AR-vees"と発音する) というPythonのベイズ統計モデリングの可視化ライブラリがあると知った。ベイズ統計モデリングに限らなくとも使えそうで、とても良さそう。
github.com/arviz-devs/arviz

タグ：

posted at 06:48:39

Windowsでも使える非可換環を扱うパッケージを #Julia言語に用意してくれないものかと思います。 (Singular.jl は Windows では使えない。)

タグ： Julia言語

posted at 02:44:07

#Julia言語で「2×2の全行列環」を実装して、既存の函数でそれを成分に持つ行列のLR分解を実行してみたら、正しく計算してくれました。非可換上のLR分解は「非可換行列式」を構成する一つのやり方なので、それによって「2×2の全行列環」上の非可換行列式もJuliaで計算できるようになったわけです。

タグ： Julia言語

posted at 02:42:58

線形代数に限らず、「ほんのちょっと自前でコードを書くだけで、既存の普遍的に適用できて欲しい仕組みが、そのまま自分が実装した対象にも使えるようになる」というようなことがうまいことできるようになっているのだから、object.method() 形式のOOPのスタイルにこだわる必要はないと思う。

タグ：

posted at 02:38:11

あと、何度も繰り返し書いていることですが、 #Julia言語の線形代数まわりの仕様は結構よくできている。自分で環を実装すれば、その環の要素を成分に持つ行列に多くの線形代数の函数をそのまま実行できます。しかも、非可換環であっても通用するようにその辺の仕組みが作られている。

タグ： Julia言語

posted at 02:35:36

ちなみに、私がいつも使っている確率分布およびそのフレームワークのパッケージであるDistributions.jlにおけるjlファイルの行数は17500行でした。

このパッケージを使うと、確率分布に関する一部の函数を実装すればその確率分布に関する他の様々な函数が自動的に使えるようになります。

タグ：

posted at 02:20:55

ごまふあざらし(GomahuAzaras @MathSorcerer

例えば #Julia言語には、高速の数式処理系の Nemo.jl + Hecke.jl があるのですが、それらの中の jl ファイル達の行数を wc -l で数えたら、

Nemo.jl → 72077行
Hecke.jl → 98685行

でした。合わせて17万行程度。

nemocas.org
thofma.github.io/Hecke.jl/latest/

タグ： Julia言語

posted at 02:17:54

21世紀宇宙の旅っぽいと期待してしまった。 twitter.com/86723nasogamat...

タグ：

posted at 01:02:58

RussianGoFederation @GoFederationRu

Now you can also charge your goban :) pic.twitter.com/3YS2VVdAYn

タグ：

posted at 00:31:06

#数楽「古典型Cartan行列の固有ベクトルの表」のような基本的なデータが検索しても容易に出て来ないので、自分でまとめた。古典アフィン型の場合も含む。アフィン型の場合の方が計算は簡単かも。

本質的に1次元格子上の離散ラプラシアンの適当な境界条件での対角化。

nbviewer.jupyter.org/gist/genkuroki...

タグ：数楽

posted at 00:13:24