黒木玄 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 を見て下さい。
2018年02月11日(日)
僕のコメントの内容は
1. 露骨な自己宣伝(自分たちは差別をどう語ってきたか)
2. 福島差別について
3. 本の感想など(言いたい放題)
4. 甲状腺検診について
です。いろいろと踏み込んだ話をしていますが、不規則発言・失言のたぐいはないと思います
タグ：
posted at 23:33:37
「しあわせになるための「福島差別」論」出版記念シンポジウム、1/28東京分の映像です。ぜひご覧ください
www.youtube.com/watch?v=yD8yx_...
僕のスライド(翌週の京都用に少し手直ししてあります)は
theremin.sakura.ne.jp/presentation/2...
にありますので、お急ぎのかたはそちらを。
僕はいろいろ文句をつけたりしています
タグ：
posted at 23:28:46
tdual(ティーデュアル)@Matri @tdualdir
タイムラインでソリトンがブームを起こしてるけど、ソリトンは数学的にも分かりやすいが、素粒子論の現象論的な側面でも大きな役割を果たしてるのでオススメって話 twitter.com/tdualdir/statu...
タグ：
posted at 23:18:24
はてなブログに投稿しました #はてなブログ
球面調和関数のレシピ - 角運動量の合成から - Shironetsu Blog
shironetsu.hatenadiary.com/entry/2018/02/...
タグ： はてなブログ
posted at 23:09:36
それと、ワクチン副作用らしいからものすごく同情するのに、突然寝込んじゃって引きこもり生活になってしまった子や、原因不明の痛みに耐えている人たちのことは無視するのひどくない？いっぱいいるんだよ。その子たちの親は絶望と戦っていないとでも思うの？
タグ：
posted at 22:48:30
私が思うのは少女時代の子と若い女性の（男の子もかも）医療ケアが全然足りないことなの。sikoが足りないから、ワクチンに原因を求めざるを得なくなるわけで、それは見てて辛くてたまらない。
タグ：
posted at 22:43:59
かもがわ出版は自主避難者の本を出しましたが、あれは著者を追い込んでしまうと思いますし、ご本人を拝見する限り、既に追い込まれていると感じました。かもがわは罪作りだったと思います。かもがわ以外にも、自主避難者を主役に仕立てたメディアや支援グループは罪作りでした
タグ：
posted at 22:43:25
うちの場合は成人用の精神科の薬が使える年齢になってゆるゆる動けて生活も出来るようになった訳なんだけど、主治医曰く、ずっとこれ必要だろうなって。本人ももう大人で自分で決めるだろうからいいんだけど、子ども時代の医療ケアには不満ありますよ。
タグ：
posted at 22:41:04
きれいごとのお題目なら誰にでも言えるのですが、現実にどう折り合いをつけるのかは難問でしょう。時間が経つに連れて、利害の対立は大きくなっていきます。特に「自主避難者代表」のような立場に自分を置いてしまった人たちには厳しい状況になります。それをどうするか。「支援者」は責任を取れるのか
タグ：
posted at 22:40:58
「しあわせになるための「福島差別」論」出版記念シンポジウムで僕は、福島に暮らす人たちと自主避難者のあいだには「利害の対立」があるのだと言いました。「互いの立場を尊重しよう」という建て前はもちろん正しいのだけれども、現実にはそれはお題目に過ぎず、歩み寄りは難しい状況だと思います
タグ：
posted at 22:38:10
ワクチン関係なく思春期に寝たきりになった子の母ですけど、怒りを向ける場所は思春期の子どもの不調を救うケアが足りない医療体制であり、連帯すべきは「ワクチン関係なく同じような症状を抱えている」と名古屋市の調査で言われた「同じような症状」の人たちなんじゃないかしらとおもってんです
タグ：
posted at 22:36:48
#Julia言語 リンク先はよく見るKdVの2ソリトン解なのですが、exact solutionがわかっている場合の解ではありません。初期条件を1ソリトン解の単純な足し算にしてあります。それでも破綻せずに2ソリトン解らしい数値解がきちんと得られている。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 22:06:53
#Julia言語 リンク先のKdV方程式の数値解は
u_t = - u_{xxx} - 3(u^2)_x = - u_{xxx} - 6 u u_x
の数値解です。スケールを変えると方程式の係数が変化する。FFT経由でxに関する偏微分を計算するとかなり正確に計算されることを使っています。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 22:04:22
twitter.com/math153arcligh...
#数楽 添付画像は
www.math.tohoku.ac.jp/~kuroki/LaTeX/...
のpp.35-36より。 pic.twitter.com/K0Ly6E1y7M
タグ： 数楽
posted at 21:53:44
（続き）実装は GitHub に置いてあって、実際に触って遊べます。もし Star がつくようならもうちょっと機能を足してライブラリとして切り出すかも (ﾁﾗｯ。 github.com/y-taka-23/elm-...
タグ：
posted at 21:23:36
Elm でフルスクラッチから簡易物理エンジン作ってみた。可動オブジェクトを円盤だけに絞ってモーメントを考えないようにしたので、非常に単純な実装だけど意外とそれっぽく見える。GIF アニメなのでフレームレートが低いけど、実物はもっと滑らかに動きます。（続く） pic.twitter.com/Ddos5ZGKDf
タグ：
posted at 21:23:35
非公開
タグ：
posted at xx:xx:xx
#数楽 リンク先の「大参事」は vertex operators の作用によってnソリトン解を作るときに必然的に発生する「大参事」です。 (この辺はもう完全にのりのりで書いていた。こういう話をもっと解説する人がいた方がいいと思うのだが、もしかして俺がやる以外に誰もやらない？)
twitter.com/genkuroki/stat...
タグ： 数楽
posted at 21:20:39
僕がjuliaを学ぼうと思ってpythonを学ぼうと思わなかった唯一の理由は、juliaは「行儀の悪い」書き方を許容してくれるということである。とりあえず書き捨てのコード書く需要のほうが僕には圧倒的に多いから、有難い。
タグ：
posted at 21:18:12
#数楽 見付けた。
twilog.org/genkuroki/sear...
円盤の内側で世界を支配することになったX氏の話
これKP階層の佐藤理論の準周期解(テータ函数解)の話です。
タグ： 数楽
posted at 21:15:59
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
投票用紙「1994年、非自民の細川連立政権下で記号式に変える改正公職選挙法が成立したが、自社さ政権の95年、自民党の主張で自書式に戻した」「自書式は既成政党や現職に有利」 www.nikkei.com/article/DGXMZO...
タグ：
posted at 20:32:13
#数楽 もっと詳しい私のノートを見たい人は
genkuroki.github.io/documents/#sol...
で公開している「2003-10-18 ソリトン系の基本パターン」を見て下さい。「2001-06-06 パンルヴェ系とソリトン系」には所謂「ソリトン系の相似簡約で一般化されたパンルヴェ系を出すことも易しい」という話が書いてあります。
タグ： 数楽
posted at 20:24:51
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
みーくん | itmz153 @math153arclight
the worst SchemeであるところのFirst Order Upwind SchemeでKdV方程式を解いたもの．
間違ってるからね．1次精度の風上差分で解くとこうなるよ，というアニメーション．参考程度に．
u_t + u u_x + δ^2 u_xxx = 0.
δ = 0.022. pic.twitter.com/gD2HkhNeWr
タグ：
posted at 20:16:43
Julia から Matlab を呼べる。PyCall で Python も呼べるし、C は直で呼べるみたいだし、wrapの手間は他の言語よりかなり低そう。 github.com/JuliaInterop/M...
タグ：
posted at 19:58:45
ごまふあざらし(GomahuAzaras @MathSorcerer
ソリトンの数理は本の結果は鵜呑みにせず，自分の計算を信じる．これに限る．あの本は計算を丁寧に入れると量が３倍増になるね．
タグ：
posted at 19:51:52
twitter.com/kivantium/stat...
NaNはIEEE 754規格にある。
NaNがある方が普通だったりしないのかな？
ja.m.wikipedia.org/wiki/IEEE_754
もちろん #Julia言語 でもNaNは普通にある。
タグ： Julia言語
posted at 19:51:05
ごまふあざらし(GomahuAzaras @MathSorcerer
そーか・・・こういうことになるのか． twitter.com/genkuroki/stat...
タグ：
posted at 19:34:32
@yoshi_exe これはうちの大学だけでなく、結構名門大学でもある問題ではないかと考えています。現状、日本では読字障害にはほとんど注意が払われないし、頭の良い読字障害の生徒は様々な手段で成績を伸ばします。しかし、同じことを理解するのに平均的な人よりもかなり苦労します。
タグ：
posted at 19:33:20
#数楽 twitter.com/mathsorcerer/s...
予想できる嫌な予感は的中するという法則。
添付画像のような海苔おにぎりをイメージした人は「タヨータイ」を何だと思うだろうか？
海苔が多めのおにぎりが好き。おやつとして自分で作って食べるくらい好きだ。 pic.twitter.com/1IN8dh8DJ0
タグ： 数楽
posted at 19:31:51
Juliaで学ぶタイトバインディング模型とトポロジカル物質 を更新。今回はアームチェア型グラフェン。このノートの次に、グラフェンの低エネルギ有効模型が質量のないディラック方程式となることを見て、ジグザグ型とアームチェア型の違いを見る予定
nbviewer.jupyter.org/github/cometsc...
github.com/cometscome/Tig...
タグ：
posted at 19:28:13
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
おにぎりと海苔とかどうかしら twitter.com/genkuroki/stat...
タグ：
posted at 19:17:04
大勢の前で音読させず、個々に読ませるようにしてくださいね。大勢の前で読ませると読字障害の子供達はとても辛い思いをいだきますから。 twitter.com/tnochikara/sta...
タグ：
posted at 19:13:34
#Julia言語 無限遠点での座標を w=1/z ではなく、w=-1/z とした方が貼り合わせて球面ができる様子が想像し易いことに気付いたので動画を作り直した。
ときどき「多様体を理解できない」というような感想をTLでみかけるのだが、多様体は貼り合わせて作られているだけの超絶シンプルな概念。 pic.twitter.com/Rr6TR3HOE3
タグ： Julia言語
posted at 18:46:34
今さらだけど、Julia 結構イケてることに気がついた。いろいろ惜しいところはあるが、かなり良い。Pythonだとnpと書くたびに疲れが蓄積していくし、Matlabは言語としてみるとアレなのでつらいし。
タグ：
posted at 18:34:55
非公開
タグ：
posted at xx:xx:xx
Rust、NaNがあるからfloatに全順序が定義されてなくて、floatの配列に対してsortとかmaxがそのままだとできないのか。気持ちは分かるけどつらい。
タグ：
posted at 17:21:17
#Julia言語 でもStanを使えます。その証拠は次のリンク先：
nbviewer.jupyter.org/gist/genkuroki...
Mamba.jlはJulia言語界のMCMCパッケージの標準みたいになっているパッケージ。それとStan.jlを組み合わせて使う。CmdStanのインストールはそういう作業に慣れていない初心者には難しいと思う。
タグ： Julia言語
posted at 17:09:34
Juliaでベイズ統計: Mambaのトライアル(アヒル本 第4章を参考に…) - 夜間飛行 pid123.blogspot.jp/2017/12/julia-...
mamba.jlは一応中身がわかったので使えるようになってきていて、しかし、Stanみたいにユーザー数が多いパッケージのほうが洗練されている感想をもっています。 twitter.com/umikoz/status/...
タグ：
posted at 16:58:05
#Julia言語 私の現時点での結論は、
ありがちな特殊函数の数値計算に関しては、gccとJuliaは同じ程度の計算速度である
です。だから、
nbviewer.jupyter.org/github/steveng...
の結果は「Julia言語自体がgcc並に速い上にさらにアルゴリズムを改良したので爆速になった」と解釈するのが正しいと思われます。
タグ： Julia言語
posted at 16:47:41
#Julia言語 そこで、Cで書かれたEi函数のコードをJuliaにほぼ忠実に翻訳して、Cのコードをgccでコンパイルした結果とJuliaへの忠実な翻訳の計算速度を比較してみたわけです。その結果は
nbviewer.jupyter.org/gist/genkuroki...
結論：gccより微小に遅くなったり速くなったりする程度でどちらが速いとは言えない。
タグ： Julia言語
posted at 16:44:59
#Julia言語
nbviewer.jupyter.org/github/steveng...
を見ると、Fortranで書かれた指数積分函数よりも5～6倍速い指数積分函数をJulia言語で実現できている。
そこでの高速化の方法はアルゴリズム自体の最適化です。純粋に数学的なもので原理的には言語依存の方法ではない。Julia言語を使うとその手間が大幅に減る。
タグ： Julia言語
posted at 16:38:45
@NakanakaPierrot 手間を無視すれば任意のプログラミング言語で可能なことしかやっていません。しかし、その「手間」が現実には決定的なファクターになっている場合がありそうだということが、 #Julia言語 を使ったMITの講義の演習問題の答えである
nbviewer.jupyter.org/github/steveng...
を見ればわかる仕組みになっています。
タグ： Julia言語
posted at 16:30:29
@NakanakaPierrot 何か特別なことをやって高速化を実現しているのではなく、すべて手作業でやったら気が狂いそうになるくらい面倒なことを、 #Julia言語 の快適なプログラミング環境で地道に実行することによって高速化が実現されています。プロットしながらの試行錯誤とマクロによるコードの自動生成は大きい。
タグ： Julia言語
posted at 16:28:31
@NakanakaPierrot HCubatureの方は確認していませんが、指数積分函数に関する
nbviewer.jupyter.org/github/steveng...
では、アルゴリズム自体の最適化で高速化を実現しています。見てみるとわかるのですが、相当に面倒なことをやっています。 #Julia言語 と同格以上のプログラミング環境がないとやる気にはなれない程度に面倒。
タグ： Julia言語
posted at 16:26:16
@genkuroki Cは最適化の阻害要因となる言語仕様があるから分かりますが、Fortran をも凌駕しているところが凄いと思います。それは数値計算の分野も進化していて、Juliaは最新の数値計算手法を使っているから、ということになるのでしょうか？
タグ：
posted at 15:59:20
非公開
タグ：
posted at xx:xx:xx
#Julia言語 で最適化したら、Fortranライブラリより数倍速くなったw
nbviewer.jupyter.org/github/steveng...
【Pretty good! We are 6 times faster than the SciPy routine for complex arguments, and 5 times faster for real arguments, even though SciPy internally calls an optimized Fortran routine.】
タグ： Julia言語
posted at 15:42:24
#Julia言語 が少なくともどういう場合にCより遅くならないか(場合によっては少し速いか)については
twitter.com/genkuroki/stat...
twitter.com/genkuroki/stat...
あたりを参照するといいかも。あと
nbviewer.jupyter.org/github/steveng... …
の In [145] の下。続く
タグ： Julia言語
posted at 15:40:12
#数楽 #Julia言語 様々な複素函数の流れの図を描いて、「複素函数がどのような流れを表しているか」を色々知っておきたいと思うようになるだろう。
コンピューターでプロットする方法を知っているとこういうときに楽しさが増す。
nbviewer.jupyter.org/gist/genkuroki...
にプロットする方法が書いてある。
posted at 14:24:13
#数楽 #Julia言語
プロットで使ったプログラムは
nbviewer.jupyter.org/gist/genkuroki...
で完全公開されている。Julia言語を使った。無料。
juliabox.com でも使える。
nbviewer.jupyter.org/gist/genkuroki...
に私によるJulia言語のインストールの詳細な記録がある。
posted at 14:19:44
#数楽 #Julia言語 添付動画は無限遠から原点に負電荷の粒子を近付けて行ったときの流れの図の変化のアニメーション。
座標系に騙されることなく「正電荷と負電荷の粒子はどこに置いても同じことになる」という発想ができれば、1/zと1/z^2が連続的に繋がっていることも自明になる。 pic.twitter.com/iEL7LTI28j
posted at 14:17:28
#数楽 #Julia言語 添付画像は
* -1/z^2 の流れの図と
* t=0.3 の場合の (1/t)(1/z-1/(z-t)) = -1/(z(z-t))の流れの図
t→0で後者の図は前者の図に近付く。
無限遠点に置いた負電荷の粒子を原点に近付けて行く様子を想像して下さい。 pic.twitter.com/zuEF71QSh1
posted at 14:15:03
次は、以下の記事の続きの執筆に取りかかります。
できるだけ簡単にHartree-Fock法を解説してみる（C++17のコード付き） qiita.com/dc1394/items/2...
タグ：
posted at 14:12:43
#数楽 #Julia言語 添付画像は f(z)=1/z に対応する流れの図である。左半分は原点近傍で右半分は無限遠点近傍。原点から湧き出して、無限遠点で級数される理想流体の流れの図になっている。
もしくは球面の原点と無限遠点にそれぞれ+1,-1の電荷を持つ粒子を置いて電気力線を描いた様子。 pic.twitter.com/kgrnRUOueI
posted at 14:10:38
twitter.com/kyow_Q/status/...
#数楽 #Julia言語 複素1変数函数(もしくはRiemann面上の複素函数)については「平面(もしくは曲面)上の理想流体もしくは電磁気学である」という感覚があると多くの定理が自明に感じられるようになる。
f(z)からベクトル場(Re(f(z)), -Im(f(z)))の図を描くと理解し易い。続く
posted at 14:03:13
「10万個の子宮」読み始めた。「はじめに」を読んだだけで、もう怒りがわいて仕方がない。専門的な知識を持たない人たちの「不安に寄り添う」という体で広げられているフェイクニュースや、反ワクチン活動家のせいで、国賠が終わるまで接種が再開されないとしたら。これでいいのか日本(｀□´) pic.twitter.com/U13bOr7NwZ
タグ：
posted at 13:43:11
冗談でも何でもなくて、このブログ記事みたいな惨状に陥ってる経営意思決定の現場は少なくとも日本だと枚挙に遑がない tjo.hatenablog.com/entry/2016/05/...
タグ：
posted at 13:41:31
そういうスキルのある人材は嫌がって近寄らず、やりたい人間に限って力量不足で近付けず、手付かずの空白地帯となったところがそのまま例えば個々の企業の経営層の意思決定の場になっていたりする。世の中一見してジョークみたいな不合理な決定をして不合理な行動をとる組織がある理由は大抵そんな感じ
タグ：
posted at 13:25:58
一般にデータサイエンティストと称される職掌の人間が担う仕事って実証分析とそれによる意思決定支援なんだけど、スキルのある学識者からは「そんな論文にもならない下らない仕事は嫌だ」と嫌がられ、逆にそういう仕事をやりたいビジネスパーソンだとスキル不足で歯が立たず、空白地帯になりやすい領域
タグ：
posted at 13:15:23
非公開
タグ：
posted at xx:xx:xx
微量の放射線で人は死なないけれど、肉体的・精神的・社会的なストレスによって人は簡単に死んでしまうのはチェルノブイリ事故報告書で明らかになっていた。
しかし政治家もマスコミも国民も歴史に学ぶことができなかったので3000人を超える震災関連死を出し続けている。
あーあ(´・ω・`)
タグ：
posted at 12:53:13
@nakanoi_miaki #江戸しぐさ のことを知っているのに、原田さんのことを知らない人もいるんですねぇ。
ちょっとびっくりです。( ; ﾟДﾟ)
タグ： 江戸しぐさ
posted at 12:42:35
清水「ネームバリューあるんだからやっても良いと思いますけどね。江戸しぐさはインチキだったけど、ああいう形で纏めると普及する、というのは明らかにしたと思うんですよ。まぁ、そんな人が出てきたら今度は監修してあげて下さい。笑」
原田「ご指摘ありがとうございます」
終始上から目線でした。 pic.twitter.com/wORy5CM4K2
タグ：
posted at 12:34:45
”江戸しぐさの批判をする人は、責任持ってこれが本当の江戸っ子の振る舞いだ、みたいなものも書くべきだよな。面白いと思うよ。批判するだけでは何も生産性がない。”
と主張する清水高志氏、原田実さんに対して「江戸しぐさについて発信しろ」と返信するとは。 pic.twitter.com/1QmmYEbXay
タグ：
posted at 12:34:45
理系の難関大学目指す高校生も公式暗記にいそしんでいる状況だから、教師が、みはじでしか教えられないとしても不思議はない。望ましいこととは思えないし、もちろん「使わないとバツ」は論外だが、
数教協の内包量どーたらにたいな奇っ怪な論理を教えるよりはましかもしれない。 twitter.com/szsxyIZPxSPI2U...
タグ：
posted at 11:54:00
少なくとも私が知っている範囲のDLだと、鞍点が原因で学習が停滞するというのは過去の考えで、最近はそれを否定する論文が多く出ている印象です。研究室slackで1番最近話題になったものだとこちら。
arxiv.org/abs/1703.00887 twitter.com/hmkz_/status/9...
タグ：
posted at 11:53:33
Julia 1.0 のマイルストーン、まだまだ増えっててﾜﾛﾀになる。2日前に入ったやつ。 Julia 1.0 で ret = (y .= <expression>) で ret に入る値が変わるらしい。。。 github.com/JuliaLang/juli...
タグ：
posted at 11:40:43
実を言うと「江戸しぐさ」「水からの伝言」支持というのは日本会議とかTOSSとかとの関係以上に、その手の校長は小中高問わず公立校には珍しくないということの方が問題ではないかと
タグ：
posted at 11:27:54
喫煙者の多くは分かったつもりになっているだけで、本当のところは分かっていないのではないかと思っています。肺がんやCOPDになって苦しんでいる人を見たら、おそらくたばこを吸う気にはならないと思います。喫煙者は実情を知らないのか、自分は大丈夫と思っているのかのいずれかではないでしょうか twitter.com/usklog/status/...
タグ：
posted at 11:18:59
Space Explorer Mike @MichaelGalanin
Saturn has a hexagon larger than Earth caused by turbulent flow in the rotational transition from equator to pole. Credit @CassiniSaturn pic.twitter.com/aGR373iRXZ
タグ：
posted at 11:12:51
twitter.com/izmth1211/stat...
#Julia言語 の現在のパッケージマネージャーPkg2は色々問題を抱えています。次の版で解決されるはず
github.com/JuliaLang/Jule...
【Pkg2's METADATA repository format uses many small files to represent data, which leads to awful performance on many filesystems,...】
タグ： Julia言語
posted at 11:08:19
gist
gist.github.com/ceptreee/debdb...
nbviewer
nbviewer.jupyter.org/gist/ceptreee/...
タグ：
posted at 10:41:28
ちなみにラマヌジャンの論文はこちらramanujan.sirinudi.org/Volumes/publis... p43に唐突にこの近似式が現れます。 しかしある程度大きい話数の数式を考える上でラマヌジャンは本当に偉大です（爆
タグ：
posted at 10:38:16
.@MITIONさんに作成して頂いたフォントを試してみました。.@bicycle1885さんおすすめのDejaVu Sans Monoとの比較。上付き、下付きの数字は読みやすくなっていると思います。 pic.twitter.com/snA2yyx7ew
タグ：
posted at 10:35:09
#仮面ライダービルド 今週のオープニングの話数の数式は、ラマヌジャンによって発見された、円周率近似式を変形したものです。電卓で実際に計算してみると２１.99999997...と非常に22に近い値になりますので、皆さんも是非2143を円周率の4乗で割ってみてください！ pic.twitter.com/GDuTntroWC
タグ： 仮面ライダービルド
posted at 10:32:42
™ (blueskyに同アカウント名で避 @tmaehara
「gradient descent が saddle point を避ける」という現象自体は folklore で，たとえば epubs.siam.org/doi/abs/10.113... (1986) とかにもあるんだけど，あんまり真面目にやられていなかったという認識．
タグ：
posted at 10:12:07
#仮面ライダービルド 第22話の話数を表す数式はまたもやラマヌジャン！2143π^4≃22、あるいはπ≃（9^2 19^2/22)^(1/4) sci.tea-nifty.com/blog/2018/02/2... pic.twitter.com/hA7wjDCps6
タグ： 仮面ライダービルド
posted at 09:45:30
™ (blueskyに同アカウント名で避 @tmaehara
いやまあ直感的にはそうだろうという気はするんだけど、ステップサイズ条件外すと反例があるので、勾配流に関する安定多様体定理から自明、というわけにはいかないはず。
タグ：
posted at 09:40:43
@genkuroki ありがとうございます！
確かに今見ていたらギリシャ文字の判読性が意識されたフォントは少なそうですね、Dejavu Mono フォントなどは良さそうに見えます
app.programmingfonts.org/#dejavu
別途検討してみます
タグ：
posted at 09:05:46
組版言語で関数型といえばLoutを思い出すが、SATySFiの人はLoutを知っているだろうか en.wikipedia.org/wiki/Lout_(sof...
タグ：
posted at 07:50:38
知らなかった手口なのでRT。
空き巣に入る家を決める
→
住人とSNSを紐づける
(今回の受け取った人がSNSにアップ)
→
不在情報をSNSで得たら空き巣に入る twitter.com/nerima2525/sta...
タグ：
posted at 06:56:17
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 件のMITの講義資料のライセンスはMIT
github.com/stevengj/18S09...
日本語じゃないと苦しい人達にとっては翻訳(および追加の解説)があると助かるかも。Julia言語に限定する必要がない内容的に面白い部分が多い。Julia言語は面白い一般論の実証のための道具として使われているとみなされる。
タグ： Julia言語
posted at 02:16:27
#Julia言語 について知りたければMITでの去年と今年の講義資料を見るのが一番良いと思います。
去年
github.com/stevengj/18S09...
今年
github.com/stevengj/18S096
すでにJulia言語で実現したことはこれから似たような新しい試みを始める人たちにとっての「最低ライン」になる可能性があると思う。
タグ： Julia言語
posted at 02:04:27
@MIITON これは失礼しました。Cicaフォントが反映されていなかったようです。このツイートの添付画像は反映されているはずです。
そこで気付いたのはギリシャ文字の読み易さです。例えば、αはaの筆記体と明瞭に区別が付く字体であって欲しいと思いました。
上付き下付きの数字は読み易くなっています！ pic.twitter.com/HgAZrxESnM
タグ：
posted at 01:46:27
MITのJulia言語の講義資料見てるけど、Pythonとかのスクリプト言語特有の抽象的なレイヤと、Cやそれよりもさらに低いハードレベルをコントロールできるレイヤを共存させようとしてる・・・ようこんな欲張りなことやるわ(^^;
タグ：
posted at 01:15:36
#Julia言語
函数の引数の型に無用な制限をつけずに済ませられる機能が充実していることが、Julia言語の大きな特徴の一つのようです。
Common LispからJuliaに引っ越した人のブログでもそのことが強調されていました。
tpapp.github.io/post/common-li...
タグ： Julia言語
posted at 01:10:31
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
私が書いた2次元イジング模型のシミュレーション
型宣言が皆無です。
引数の型宣言が皆無なおかげで後で引数sとして8ビット整数の配列も使えることになって便利でした。
引数の型に制限を設けない効率的計算法があるならそのように書けば楽をできます。
タグ： Julia言語
posted at 01:05:19
@miyasonotoka 私は、
(1) そもそも、小学校の時点で #掛算 の順序をうるさく言うこと自体が間違い。
(2) それが急には変えられないとしても、「中学に行ったら、小学校ルールは捨てる」と自分で理解できるべき。
(3) でも、自力でそういう考えに至る事のできない子もいるから、きちんと説明すべき
という意見です。
タグ： 掛算
posted at 01:02:53
@miyasonotoka 【中学生が「従わなければいけない」と習ったルール】
と言われますが、#掛算 の順序は小学生ルールですよね。
たとえば「円周の長さを求める」という時、「答えの単位と同じ単位の物を、最初に置く」というルールで、直径×円周率 とするわけで。
そして中学では ２πｒ に変わるわけです。
タグ： 掛算
posted at 00:44:52
以上のような仕組みによって #Julia言語 では、数値計算用の連分数のアルゴリズムを使っている函数の引数に「文字」を代入することによって、整形された連分数を表示させることも可能です。
nbviewer.jupyter.org/github/steveng... pic.twitter.com/PYE0QoWBq1
タグ： Julia言語
posted at 00:37:02
#Julia言語 では数学的に同じように使われる函数はすべて同じ名前であった方がありがたいです。
例えば、実数、複素数、行列のすべてで指数函数はexpと書けて欲しい。
実際に次のバージョンからはそうなるようです。
github.com/JuliaLang/juli...
expm has been deprecated in favor of exp (#23233).
タグ： Julia言語
posted at 00:31:48
@miyasonotoka 【配慮せねばなりませんね】
こういう場合も、悪い見本を見せないようにすべきですね。
「10分間の2倍を求めよ」は 10×2
「10分間の3倍を求めよ」は 10×3
が正しいはずなのですよね。
www.pref.chiba.lg.jp/kyouiku/shidou...
#掛算 pic.twitter.com/uJ6o0U85ZL
タグ： 掛算
posted at 00:23:49
下付き文字付きの変数使えるの、すごい気が利いていますね #Julia言語 Rでももしかして出来たっけ？と思ったらダメだった pic.twitter.com/cw37Swbd5A
タグ： Julia言語
posted at 00:21:47
@miyasonotoka @hirodaza 「比例定数」を右に書いた方がやり易い、という見解の塾ブログ
「２週間を分に換算する」というとき
14×24×60 としています。→
ameblo.jp/e-cosodate/ent... …
「このやり方は、２年生時点でのルールと違う、と説明をつけるべきだ」とコメントしたら、ほぼ同意してくれました。#掛算
タグ： 掛算
posted at 00:20:30
ありがとうございます！ご意見お待ちしております ＞
#Julia言語 をお使いのみなさま
github.com/miiton/Cica/is...
#プログラミング #フォント twitter.com/genkuroki/stat...
posted at 00:15:47
@genkuroki ありがとうございます！頂いた内容を加味して進めてみます。また、サンプルコードもありがとうございます。なるほどこういう書き方をするのですね、非常に助かります。ちなみに最初の画像Cicaフォントが反映されていないようで、反映させると添付画像のような見た目になります。 pic.twitter.com/IVCJfzlt5t
タグ：
posted at 00:12:40
@miyasonotoka 続）教えるのなら、「実社会では逆にしている事もあるが、小学校の中では片側だけが正しい」と注意深く説明しなければならない筈なのです。
はたして、そういう配慮がどれだけされているでしょうか？ #掛算
（参考→ twitter.com/genkuroki/stat... ）
タグ： 掛算
posted at 00:11:06
#Julia言語
github.com/JuliaLang/juli...
【The syntax for parametric methods, function f{T}(x::T), has been changed to function f(x::T) where {T} (#11310).】
function f{T}(x::T)
と書かずに
function f(x::T) where T
のように書いておいた方が無難。
タグ： Julia言語
posted at 00:09:42
