黒木玄 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 を見て下さい。
2019年04月16日(火)
#数ら 以前仙台市内の高校で高校生達が、
堀田良之著『加群十話』
www.amazon.co.jp/dp/425411463X
を読んでいるという話を聞いたことがあります。
楽しく読める非常に良い数学の本だと思います。
twitter.com/yuichi_ike/sta...
タグ: 数ら
posted at 23:53:47
はむかずさんによる一企業と個人に対する批判に何の問題があるのやら。
あのビデオの内容をまじめに受け取って被害を受ける人が出る可能性を放置しておく方がまずい。
クズのような動画を公開している教育関連企業を名指しで批判する行為は良いことだと思います。
twitter.com/joa_channel/st...
タグ:
posted at 23:49:51
coursera の Algorithms, Part I の課題(パーコレーション)を Julia でやってみた。描写には Gtk.jl を使用。
DataStructures.jl の disjoint-set (union-find) の使い方をとりあえず覚えた。 pic.twitter.com/IXeatiusJT
タグ:
posted at 23:45:30
アンケート
とある数学の試験問題に、具体的に与えられた函数 f(x) について「すべてに実数xについて f(x)≧0 となることを証明せよ」と書いてあった。ある人は「すべての実数xについて f(x)>0 となること」を正しく証明する答案を書いた。
その答案をあなたはどのように採点しますか?
タグ:
posted at 23:26:12
@sekibunnteisuu @genkuroki 同様のことを私も塾講師時代に感じておりました。なんなら(教科書に載っていたかは覚えていませんが)「三角関数を含む不等式」というニュアンスで「三角不等式」と言われた時は絶句しました
タグ:
posted at 23:10:41
#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
実際はむかず氏の「『社会人』としての資質」とかいうのが大いに欠如していることは公然知られた自明な事実なのでは……? twitter.com/JOA_channel/st...
タグ:
posted at 23:07:38
@nabekichi32 なんだかんだで教育産業はバイトとしてメジャーなので素人がひっきりなしに参入してくるから
あとそういう指導しかできない奴は定期的にそれを主張してループさせとけばよく分かってない人には平行線に見えるので自分を保てるから
タグ:
posted at 22:26:12
これは物理で使う特殊関数に関する必須本。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
非公開
タグ:
posted at xx:xx:xx
拳法学者 SATOH AKIRA @kodomokateicho
ちょー賛成、卒業式も卒業証書たる公文書をくれればOK twitter.com/genkuroki/stat...
タグ:
posted at 21:18:40
書き直し
無理数、有理数の件が炎上しているが、高校数学では「無理式」という定義も意義も曖昧なものが登場する。無理式を「根号の中に文字を含む式」としていて、トライの映像と無理数の説明とそっくり。
トライと異なり、文科省の検定を通過した教科書である。
twitter.com/sekibunnteisuu...
タグ:
posted at 20:38:54
無理数、有理数の件が炎上しているが、高校数学では「無理式」という定義も異議も曖昧なものが登場する。件の無理式を「根号の中に文字を含む式」としていて、トライの映像と無理数の説明とそっくり。
トライと異なり、文科省の検定を通過した教科書である。
twitter.com/sekibunnteisuu...
タグ:
posted at 20:13:50
「家庭教師のトライ」の数学の映像授業のレベルが低い - Togetter togetter.com/li/1211107 @togetter_jpさんから
タグ:
posted at 17:06:44
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
ごまふあざらし(GomahuAzaras @MathSorcerer
ラズビアンしかやったことないので64ビットの別の何か欲しい場合は参考になるかも
denor.daa.jp/raspberry-pi%E...
タグ:
posted at 13:31:44
これからどういう技術が流行るにしても,線型代数と微積分(他変数も含む),それから,基本的な英語が邪魔になることはないでしょう.学ぶべきはこちら.はやっている(はやりを過ぎつつある)何かではなく.
タグ:
posted at 13:01:13
#数楽 以下のリンク先の注意は自明に誤り。頭が狂っていた。ひどい。
F(z)=1-z^rが自明な反例になっている。
twitter.com/genkuroki/stat...
タグ: 数楽
posted at 12:16:51
加藤公一, 가토우 기미카즈(はむかず) @hamukazu
指摘を受けて、3)は
3') 正の無理数と正の無理数の和は正の無理数である
に変更したいです。それじゃないと、-√2と√2という自明な反例が(それも気づかいない人も多そうだけど)
タグ:
posted at 12:03:47
Kuri TsukaΦ (くり つかお) @20_0855369231
リプ欄も含めて,職場では使い古された例(といっても毎年出してる笑)
(しょうもない追加だが)さらに
正の無理数と正の無理数の和は無理数
にすると何人かはハメられる(というか昔そんなチューターがいたらしい笑)
最後の方にある「無指数の無理数乗」も結構ひっかかる生徒がいる(情けない). twitter.com/hamukazu/statu...
タグ:
posted at 11:59:59
無理やり作った数とか、√とπ以外有理数とか、きちんと小数で表せるのが有理数とか、
ここまで酷いともう絶句するしかない... twitter.com/kamere112/stat...
タグ:
posted at 11:57:46
YouTubeにアカウントを持っていたのを思い出したので、低評価に一票を入れておきました。YouTubeアカウントがこんな時に役立つとは思いませんでした。 youtu.be/zgENPw4KSF0 @YouTubeさんから
タグ:
posted at 11:36:40
加藤公一, 가토우 기미카즈(はむかず) @hamukazu
トライの講師に解いてもらいたい問題:
次のそれぞれの命題について、正しければ証明し、間違いであれば反例を示せ。
1) 有理数と有理数の和は有理数である
2) 有理数と無理数の和は無理数である
3) 無理数と無理数の和は無理数である
タグ:
posted at 11:29:30
ごまふあざらし(GomahuAzaras @MathSorcerer
MCA何もわからんですがModular Component Architecture (MCA) のことらしい・・・。このへんはまだ理解が足りていません
docs.oracle.com/cd/E19708-01/8...
タグ:
posted at 11:12:20
ごまふあざらし(GomahuAzaras @MathSorcerer
下記のリンクも参考になりました。 /etc/ssh/sshd_config を編集する
d.hatena.ne.jp/taiyo/20080613...
タグ:
posted at 11:12:19
ごまふあざらし(GomahuAzaras @MathSorcerer
トラブルシューティング ssh pi @ anotherrasp env | grep -i path
などで必要なパスが入っているかを確認。マスターから ssh コマンドでやりたい命令を渡すのとsshでログインしているシェルの中でやりたいことをするときで環境変数の扱いが違うらしい。
www.open-mpi.org/faq/?category=...
タグ:
posted at 11:12:19
ごまふあざらし(GomahuAzaras @MathSorcerer
いよいよ #Julia言語 の MPI.jl のexampleで提供されているサンプルコードを動かす。
```
mpiexec --mca btl_tcp_if_include eth0 -np 8 --machinefile machinefile julia hello.jl
```
互いのラズパイを top コマンドで監視しながら julia のプロセスが4つずつでていればOK
タグ: Julia言語
posted at 11:12:19
ごまふあざらし(GomahuAzaras @MathSorcerer
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
ごまふあざらし(GomahuAzaras @MathSorcerer
いったん 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
ごまふあざらし(GomahuAzaras @MathSorcerer
(前提環境はラズパイ3B+の2台構成です。ハードウェアとしてはLANケーブルでモデムに繋いであり、手動によるSSHがパスワードレスで設定できているものとする)
でマルチノードでトライするといろいろ失敗
バージョンが古いのかな・・・。
タグ:
posted at 11:12:18
Jonathan Carroll @carroll_jono
@alexpghayes I can't speak for other languages, but wrapping #julialang has decent support in #rstats
github.com/Non-Contradict...
posted at 10:03:43
OokuboTact 大久保中二病中年 @OokuboTact
【上野千鶴子 祝辞】で思ったのは、女性の社会進出を促すためには、「景気を良くすべし」だと思う。
しかし上野千鶴子は「日本の衰退は必然」論者なんで
タグ:
posted at 09:40:44
Irish Tech Events @IrishTechEvents
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
ごまふあざらし(GomahuAzaras @MathSorcerer
sudo apt install libopenmpi-dev
julia -e "using Pkg; Pkg.add("MPI")
でどうにゅうできましたね。Helloworldのプログラムも動いた。
タグ:
posted at 01:19:10
ごまふあざらし(GomahuAzaras @MathSorcerer
ラズパイ、本当は教育用途で子供のために提供されてるはずなんだけれど、
息子・娘にパイ焼いてあげたとか、パイづくりなうとか、パイに蛇や #Julia言語 いれてみたった的な内容をリアル小学生・中学生・高校生の活動から観測できていないのは何かがおかしい。
タグ: Julia言語
posted at 00:51:01
@HK_fatman こちらをご覧下さいませ……
www.mwsoft.jp/programming/ju...
twitter.com/genkuroki/stat...
タグ:
posted at 00:50:10
何故星が光るかを知っているというただ一人の男とその瞬間にいっしょに歩いているということには、彼女は別段感興を示さなかった。たった一人というのはあわれなものである。しかしこの世界はそういうものなのである。
タグ:
posted at 00:01:27