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

何故星が光るかを知っているというただ一人の男とその瞬間にいっしょに歩いているということには、彼女は別段感興を示さなかった。たった一人というのはあわれなものである。しかしこの世界はそういうものなのである。

タグ：

posted at 00:01:27

運命 @Chu_ChuCo

@HK_fatman こちらをご覧下さいませ……

www.mwsoft.jp/programming/ju...

twitter.com/genkuroki/stat...

タグ：

posted at 00:50:10

ラズパイ、本当は教育用途で子供のために提供されてるはずなんだけれど、
息子・娘にパイ焼いてあげたとか、パイづくりなうとか、パイに蛇や #Julia言語いれてみたった的な内容をリアル小学生・中学生・高校生の活動から観測できていないのは何かがおかしい。

タグ： Julia言語

posted at 00:51:01

ラズパイでJITコンパイルできるの素ですごい。

タグ：

posted at 00:54:58

sudo apt install libopenmpi-dev
julia -e "using Pkg; Pkg.add("MPI")

でどうにゅうできましたね。Helloworldのプログラムも動いた。

タグ：

posted at 01:19:10

どら @d0ra1998

計算機ソフトウェアの課題のアルゴリズムを何らかの言語で動くサンプルを添付したくて、Juliaをインストールしてしまった

タグ：

posted at 01:24:21

Irish Tech Events @IrishTechEvents

OokuboTact　大久保中二病中年 @OokuboTact

First Julia Programming Workshop in Dublin - Dublin Julia User Group
Saturday, April 27, 2019 (10.30-16:30) @TheDigitalHub Dublin 8

#JuliaLang is high-level general-purpose dynamic language designed for high-performance computing & #datascience

www.meetup.com/Dublin-Julia-U... pic.twitter.com/R5Hs2Wd7jQ

タグ： datascience JuliaLang

posted at 06:40:46

【上野千鶴子　祝辞】で思ったのは、女性の社会進出を促すためには、「景気を良くすべし」だと思う。
しかし上野千鶴子は「日本の衰退は必然」論者なんで

タグ：

posted at 09:40:44

リンク先の動画に擁護の余地はないのに、それでも擁護するコメントが湧くのが闇。 twitter.com/kamere112/stat...

タグ：

posted at 09:54:16

Jonathan Carroll @carroll_jono

@alexpghayes I can't speak for other languages, but wrapping #julialang has decent support in #rstats

github.com/Non-Contradict...

タグ： julialang rstats

posted at 10:03:43

(前提環境はラズパイ３B+の２台構成です。ハードウェアとしてはLANケーブルでモデムに繋いであり、手動によるSSHがパスワードレスで設定できているものとする)
でマルチノードでトライするといろいろ失敗
バージョンが古いのかな・・・。

タグ：

posted at 11:12:18

いったん libopenmpi-dev を apt で purge しました。
OpenMPIの 4.0.1 のソースコードを .tar が拡張子になっている子を落として
./configure --prefix=/usr/local/opempi-4.0.1 && make -j4 && make install 的なのをする。

タグ：

posted at 11:12:18

mpiexec -np 4 echo hello が動くか確認
ラズパイのIPアドレスのリストを記述するmachinefileというファイルを
```
192.168.xxx.yyy
192.168.zzz.www
```
でつくって
mpiexec -np 8 --machinefile machinefile echo hello
が動くかを確認

タグ：

posted at 11:12:18

いよいよ #Julia言語の MPI.jl のexampleで提供されているサンプルコードを動かす。

```
mpiexec --mca btl_tcp_if_include eth0 -np 8 --machinefile machinefile julia hello.jl
```

互いのラズパイを top コマンドで監視しながら julia のプロセスが４つずつでていればOK

タグ： Julia言語

posted at 11:12:19

トラブルシューティング ssh pi @ anotherrasp env | grep -i path
などで必要なパスが入っているかを確認。マスターから ssh コマンドでやりたい命令を渡すのとsshでログインしているシェルの中でやりたいことをするときで環境変数の扱いが違うらしい。

www.open-mpi.org/faq/?category=...

タグ：

posted at 11:12:19

下記のリンクも参考になりました。 /etc/ssh/sshd_config を編集する

d.hatena.ne.jp/taiyo/20080613...

タグ：

posted at 11:12:19

MCA何もわからんですがModular Component Architecture (MCA) のことらしい・・・。このへんはまだ理解が足りていません

docs.oracle.com/cd/E19708-01/8...

タグ：

posted at 11:12:20

動いたよ pic.twitter.com/2YBhwcfTjz

タグ：

posted at 11:19:26

トライの講師に解いてもらいたい問題：
次のそれぞれの命題について、正しければ証明し、間違いであれば反例を示せ。
1) 有理数と有理数の和は有理数である
2) 有理数と無理数の和は無理数である
3) 無理数と無理数の和は無理数である

タグ：

posted at 11:29:30

（あの動画見る限り、この問題解けないんじゃないかと強く疑われるので）

タグ：

posted at 11:30:37

YouTubeにアカウントを持っていたのを思い出したので、低評価に一票を入れておきました。YouTubeアカウントがこんな時に役立つとは思いませんでした。 youtu.be/zgENPw4KSF0 @YouTubeさんから

タグ：

posted at 11:36:40

すでに、複数の人が指摘していますが、教育産業大手がこれをそのまま通してしまったのが危険です。

タグ：

posted at 11:39:01

@hamukazu 追加：
4) 有理数と有理数の積は有理数である
5) 有理数と無理数の積は無理数である
6) 無理数と無理数の積は無理数である

5に引っかかる人が多そうなので。

タグ：

posted at 11:41:40

分かっている人には瞬殺なので、即興で作ったわりにはいい問題だと思う。

タグ：

posted at 11:46:13

RochejacMonmo @RochejacMonmo

Kuri TsukaΦ (くりつかお) @20_0855369231

無理やり作った数とか、√とπ以外有理数とか、きちんと小数で表せるのが有理数とか、
ここまで酷いともう絶句するしかない... twitter.com/kamere112/stat...

タグ：

posted at 11:57:46

リプ欄も含めて，職場では使い古された例（といっても毎年出してる笑）
（しょうもない追加だが）さらに
正の無理数と正の無理数の和は無理数
にすると何人かはハメられる（というか昔そんなチューターがいたらしい笑）

最後の方にある「無指数の無理数乗」も結構ひっかかる生徒がいる（情けない）． twitter.com/hamukazu/statu...

タグ：

posted at 11:59:59

指摘を受けて、3)は
3') 正の無理数と正の無理数の和は正の無理数である
に変更したいです。それじゃないと、-√2と√2という自明な反例が（それも気づかいない人も多そうだけど）

タグ：

posted at 12:03:47

#数楽以下のリンク先の注意は自明に誤り。頭が狂っていた。ひどい。

F(z)=1-z^rが自明な反例になっている。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 12:16:51

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

#数楽 p_k≧0かつp_1+…+p_r=1のとき、F(z)=1-(p_1 z+…+p_r z^r)の根の絶対値は1以上になり、絶対値が1の根は1のべき根である必要があります。三角不等式より、zがF(z)の絶対値が1の根ならば p_k z^k = p_k (k=1,…,r)となります。

タグ：数楽

posted at 12:24:46

Juliaとかいう言語マジちょろい。

タグ：

posted at 12:43:52

Iwao KIMURA @iwaokimura

これからどういう技術が流行るにしても，線型代数と微積分（他変数も含む），それから，基本的な英語が邪魔になることはないでしょう．学ぶべきはこちら．はやっている（はやりを過ぎつつある）何かではなく．

タグ：

posted at 13:01:13

#数楽 p_k≠0となるk達の最大公約数をdと書く。

そのとき、zを1のd乗根とするとすべてのkについてp_k z^k = p_k となり、zはF(z)の根になる。

最大公約数をもとの整数達の整数係数一次結合で書けることより、d=1ならばF(z)の絶対値1の根は1のみになることもわかる。

タグ：数楽

posted at 13:01:15

#数楽ゆえに、F(z)の絶対値1の根が1だけになることと、p_k≠0となるkの最大公約数が1であることは同値。

タグ：数楽

posted at 13:01:19

Iwao KIMURA @iwaokimura

s/他変数/多変数/;

タグ：

posted at 13:01:47

#数楽線形代数の基礎が確認できるいい話かも。

F(z)=1-(p_1 z+…+p_r z^r) の根は固有値の逆数ともみなされ、「最も効いて来る成分」は絶対値が最大の固有値から来る。

タグ：数楽

posted at 13:23:40

ラズビアンしかやったことないので64ビットの別の何か欲しい場合は参考になるかも

denor.daa.jp/raspberry-pi%E...

タグ：

posted at 13:31:44

Greg Egan @gregeganSF

The black hole Taraxippus is about to enter the solar system. But it’s only a tenth the mass of the sun, and it’s not expected to pass too close to the Earth. What could possibly go wrong?

My new novella, PERIHELION SUMMER, 16 April from Tor.com Books. pic.twitter.com/Z1et9RhlWX

タグ：

posted at 15:19:16

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

「家庭教師のトライ」の数学の映像授業のレベルが低い - Togetter togetter.com/li/1211107 @togetter_jpさんから

タグ：

posted at 17:06:44

「Juliaまったく分からん」と「Juliaを真に理解しているのは世界で俺だけ」の間を単振動してる。

タグ：

posted at 18:39:38

無理数、有理数の件が炎上しているが、高校数学では「無理式」という定義も異議も曖昧なものが登場する。件の無理式を「根号の中に文字を含む式」としていて、トライの映像と無理数の説明とそっくり。

トライと異なり、文科省の検定を通過した教科書である。

twitter.com/sekibunnteisuu...

タグ：

posted at 20:13:50

twitter.com/sekibunnteisuu...

タグ：

posted at 20:16:37

書き直し

無理数、有理数の件が炎上しているが、高校数学では「無理式」という定義も意義も曖昧なものが登場する。無理式を「根号の中に文字を含む式」としていて、トライの映像と無理数の説明とそっくり。

トライと異なり、文科省の検定を通過した教科書である。
twitter.com/sekibunnteisuu...

タグ：

posted at 20:38:54

Yuichi Ike @yuichi_ike

拳法学者 SATOH AKIRA @kodomokateicho

@simizut22 加群十話は面白いですよね。私はこの本に騙されて（？）代数解析を志しました。

タグ：

posted at 21:03:35

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認く @esumii

ちょー賛成、卒業式も卒業証書たる公文書をくれればOK twitter.com/genkuroki/stat...

タグ：

posted at 21:18:40

明らかに問題がある公の対象を公に批判しちゃダメってどんな社会…

タグ：

posted at 22:15:07

非公開

タグ：

posted at xx:xx:xx

Yuki Nagai @cometscome_phys

これは物理で使う特殊関数に関する必須本。Amazon.co.jp: Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables (Dover Books on Mathematics) (English Edition) 電子書籍: Milton Abramowitz, Irene A. Stegun: Kindleストア www.amazon.co.jp/Handbook-Mathe...

タグ：

posted at 22:23:03

あおじるPPPP @kale_aojiru

@nabekichi32 なんだかんだで教育産業はバイトとしてメジャーなので素人がひっきりなしに参入してくるから
あとそういう指導しかできない奴は定期的にそれを主張してループさせとけばよく分かってない人には平行線に見えるので自分を保てるから

タグ：

posted at 22:26:12

twitter.com/JOA_channel/st...

あんな駄目な授業をする講師の資質を問題視するのは当然だと思うけど・・・

タグ：

posted at 22:34:50

twitter.com/JOA_channel/st...

私はこのツイート主の人格を疑わざるを得ない

タグ：

posted at 22:43:49

あおじるPPPP @kale_aojiru

書かないと減点される例はめっちゃ多いですね。 twitter.com/kamo_hiroyasu/...

タグ：

posted at 23:05:00

赤ぶどう @rinodrops

実際はむかず氏の「『社会人』としての資質」とかいうのが大いに欠如していることは公然知られた自明な事実なのでは……？ twitter.com/JOA_channel/st...

タグ：

posted at 23:07:38

#Julia言語 v1.1.0 と新しい PyCall.jl に対応させた

nbviewer.jupyter.org/github/genkuro...
FFTを用いた偏微分方程式の数値解法(in-place版)

空間が1次元の場合の熱, KdV, Schroedinger, Smith 方程式達を数値的に解いています。 pic.twitter.com/f9tS23VTT3

タグ： Julia言語

posted at 23:10:17

らいおん @Lion_Lion_gaou

@sekibunnteisuu @genkuroki 同様のことを私も塾講師時代に感じておりました。なんなら(教科書に載っていたかは覚えていませんが)｢三角関数を含む不等式｣というニュアンスで｢三角不等式｣と言われた時は絶句しました

タグ：

posted at 23:10:41

#Julia言語 v0.6 から v0.7 and v1.0 への引っ越しも面倒でしたが、PyCall.jl の仕様の変化への対応も結構面倒。

タグ： Julia言語

posted at 23:11:42

あおじるPPPP @kale_aojiru

だいぶ前のツイートだった。

タグ：

posted at 23:14:49

ceptree @ceptree

これか

www.amazon.co.jp/%E5%8A%A0%E7%B...

タグ：

posted at 23:16:49

Yossy @Yossy_K

間違った内容をドヤ顔で垂れ流す講師の、教科指導担当者としての資質を批判して何が悪いのか twitter.com/JOA_channel/st...

タグ：

posted at 23:21:31

この方は俳優でトライのスタッフの書いた脚本を読んでいるだけということはないですか？ www.youtube.com/watch?v=zgENPw...

タグ：

posted at 23:23:43

アンケート

とある数学の試験問題に、具体的に与えられた函数 f(x) について「すべてに実数xについて f(x)≧0 となることを証明せよ」と書いてあった。ある人は「すべての実数xについて f(x)>0 となること」を正しく証明する答案を書いた。

その答案をあなたはどのように採点しますか？

タグ：

posted at 23:26:12

goropikari @goropikari_

coursera の Algorithms, Part I の課題(パーコレーション)を Julia でやってみた。描写には Gtk.jl を使用。
DataStructures.jl の disjoint-set (union-find) の使い方をとりあえず覚えた。 pic.twitter.com/IXeatiusJT

タグ：

posted at 23:45:30

はむかずさんによる一企業と個人に対する批判に何の問題があるのやら。

あのビデオの内容をまじめに受け取って被害を受ける人が出る可能性を放置しておく方がまずい。

クズのような動画を公開している教育関連企業を名指しで批判する行為は良いことだと思います。

twitter.com/joa_channel/st...

タグ：

posted at 23:49:51

#数ら以前仙台市内の高校で高校生達が、

堀田良之著『加群十話』
www.amazon.co.jp/dp/425411463X

を読んでいるという話を聞いたことがあります。

楽しく読める非常に良い数学の本だと思います。

twitter.com/yuichi_ike/sta...

タグ：数ら

posted at 23:53:47