黒木玄 Gen Kuroki(@genkuroki)/2019年03月/Page 31

compile_package だと途中エラーで止まるので build_executable もエラー出ると思っていたのですが通るんですね。
PackageCompiler 難しいなぁ。

タグ：

posted at 00:23:05

時事通信の世論調査では、次の首相にふさわしい人のトップが進次郎で次が石破だそうなのですが、いや、進次郎はヤバいよ、絶対に。しかし、どうしてみんなこうまでデフレ指向の政治家が好きかねえ

タグ：

posted at 00:32:35

あと、上位に野党の政治家の名は挙がらないらしい。野党は不甲斐ない。もっと大胆な経済政策を提案して逆転を狙うべきでしょう。野党が財務省の下僕では話にならないよ。あ、進次郎も財務省の下僕であることに変わりはありません

タグ：

posted at 00:34:35

using PyCall
pyimport("sys").executable
でなんでJuliaの実行パスがでてくるんだ？
そういう仕様なんだっけ・・・？

タグ：

posted at 00:40:44

@MathSorcerer 私のところでは普通にPythonが出てきますね。
julia> pyimport("sys").executable
"/usr/local/bin/python"

タグ：

posted at 00:44:17

@bicycle1885 本当はおっしゃるとおり，Pythonのパスが出てきてほしいんですけれど． pic.twitter.com/OwB7HJGWJ6

タグ：

posted at 00:45:46

Plotの結果をsavefig関数で保存するプログラムをPackageCompilerでhoge.exeで固めるときは
```
using PyPlot
xs=-pi:0.01:pi
plot(xs,sin.(xs))
savefig("figure.png")
```

または

```
using ORCA
using Plotly
p = plot(xs,sin.(xs))
savefig(p, "savefig.png")
```

でやるとスムーズに行けた．

タグ：

posted at 00:55:47

Plots.jlだとlibgr.dllが解決できなくてだめでした．
描画パッケージによってplot や savefig のインターフェースが微妙に異なるので注意

タグ：

posted at 00:55:47

@MathSorcerer 私はmacOSなので、OSによって変わるんですかね。ただPyCall.jlはPythonのexecutable自体は使ってない気がするので、これが意味のある結果かは分からないです。libpythonのパスはPyCall.libpythonで取得できます。

タグ：

posted at 00:56:15

Hiromitsu Takagi @HiromitsuTakagi

大野補佐が言いふらしている愚痴そのものですなあ。
ていうか、岸博幸は小委員会の委員であり当事者そのもの。それを伏せて書く卑劣ぶりよ。
diamond.jp/articles/-/198...
「複数の異なる筋から、ダウンロード違法化に反対する協会の声明はすべての漫画家の総意ではない、という情報提供があったのです」

タグ：

posted at 01:05:53

@bicycle1885 MacだとPythonのほうが出てきます．このWindows端末は久しぶりに触ったので現行の振る舞いが正常か異常かは判断できないですが
PyCall.jl の READMEを見る限りは下記の結果が期待されそうです．

julia> pyimport("sys").executable
"PATH/TO/bin/python3"

タグ：

posted at 01:07:38

Hiromitsu Takagi @HiromitsuTakagi

「前回、この連載でダウンロード違法化について述べたところ」というその前回記事は真っ当な結論を言っていたのに、それも否定されたのかね？
diamond.jp/articles/-/196...
「…多少は劣化することと考えれば、スクリーンショットはカセットへのダビングと同列に扱える部分もあるのではないでしょうか。」

タグ：

posted at 01:08:24

#Julia言語これは面白い！

PyPlotで画像を保存するコードがコンパイルできました。
WIndows 8.1, Julia v1.1.0

スクショに続く。

twitter.com/MathSorcerer/s...

タグ： Julia言語

posted at 01:17:28

#Julia言語

 gist.github.com/terasakisatosh...

私の環境ではコンパイルに142秒かかりました。 pic.twitter.com/RZVRRcpPE0

タグ： Julia言語

posted at 01:17:28

Julia本体のコンパイルがとんでもなく速くなった。昔は半日くらいはかかったのに、いまは数十分で終わる。

タグ：

posted at 01:32:40

Nat Sakimura/崎村夏彦 @_nat

@HiromitsuTakagi こういう、利害関係者でありながらそれを隠してやるというのは、倫理基準的にアウトだと思うんだよなぁ。

タグ：

posted at 02:04:30

Ubuntuだと GR.jl の追加をしたあと

```
$~/.julia
$ find . | grep libgr
```
によって得られる libGR.so が住んでいるディレクトリのパスを

LD_LIBRARY_PATHに追加してからPackageCompilerでビルドすると
using Plots でもOKでした。わーーい。

なるほど。言われてみればそうか。

タグ：

posted at 02:08:05

須藤玲司 @LazyWorkz

@obenkyounuma ちなみに、どうやら私がファースト #統計坊やの称号をいただいてるようなのですが、そもそも統計を持ちだしたのは猛禽類氏のほうです。
twitter.com/LazyWorkz/stat...

タグ：統計坊や

posted at 02:35:03

真倉敏 @makrabin7

呉座先生が井沢某みたいなペテン師の本じゃなくて、ちゃんとした研究者が書いた本を読めと言って勧めていたちくま新書の『古代史講義』、まじで面白いからお勧め。夜な夜な読んでる。学問の最先端の見識をこんなに安く簡単に学べるのにペテン師にお金を払う時点で歴史を学んできてない証拠だよ。

タグ：

posted at 03:23:26

非公開

タグ：

posted at xx:xx:xx

@_Within_A_Dream

え？「適切な配慮」じゃないの？

3月23日、札幌市の校長先生が、自分の学校の先生方に、１学期の時間外労働の振り替え分を夏休み中に取るよう指導したことに対し、札幌市教育委員会は減給6ヶ月の処分を行ないました。 twitter.com/chaki10choki02...

タグ：

posted at 08:24:53

@_Within_A_Dream

「適切な配慮」

www.mext.go.jp/b_menu/shingi/... pic.twitter.com/nV8mBLE31Q

タグ：

posted at 08:24:55

おしどりマコさんはこれまでに自分が流した放射能デマを総括も謝罪もしてませんからね。こういう人を議員にしてはいけません。放射能デマで議員になろうなんてのは、有権者を馬鹿にしすぎです
#おしどりマコ擁立問題
 @CDP2017 twitter.com/makomelo/statu...

タグ：おしどりマコ擁立問題

posted at 09:53:00

the motorious ph.d. @motorresx

OR JUST PAY US twitter.com/sciencemagazin...

タグ：

posted at 10:03:06

#Julia言語 Windowsでのやり方が分からん。

twitter.com/mathsorcerer/s...

GR.jl のあるディレクトリは dirname(pathof(GR)) で取得できる。

タグ： Julia言語

posted at 10:17:26

岸政彦 @sociologbook

新元号大喜利がもひとつ笑えないのは、元号というものに関してそもそも面倒臭さしか感じないからかな

タグ：

posted at 10:33:24

なお、阪大のある研究室がおしどりマコを呼んだ時の顛末はこうです。僕はこの研究室のメンバーの「放射線リテラシー」があまりにも低かったのを残念に思っています。今でも
togetter.com/li/939146

タグ：

posted at 10:34:21

KGN @KGN_works

物理＝学校の科目としての「物理」、と読み替える人が非常に多いですが。

教科書を前にお勉強することに重点を置き過ぎです。
教科書見なくても、物体は存在するし、電磁波は飛んでます。こういった『存在』の道理をきちんと考える習慣を身に着けよということ。 twitter.com/ichiko0413ichi...

タグ：

posted at 10:42:09

KGN @KGN_works

「教科書を開いて誰かに教えて貰う」という態度そのものがまずいんですよ。
「おそわってないもん！モモンガのせいで光ケーブルやられるなんて！！」という醜態を晒す羽目になります。

タグ：

posted at 10:42:57

KGN @KGN_works

最初は教わらないと判らんから、そういう点で一番大切なのは初等教育の理科だね。観察と論理的思考。
ケーブル、ハードウェア、電磁波などの「物体の存在」や「実体の存在」を認識できてないのは、観察対象の発見ができてないということ。

タグ：

posted at 10:44:47

Hiroo Yamagata @hiyori13

@kikumaco @genkuroki 与党もまともな財政出動金融緩和派はまったくいない～

タグ：

posted at 10:49:51

寺沢拓敬 @tera_sawa

大学生の創造性を奪う「自分らしさ地獄」と大人への忖度(藤代裕之) - Y!ニュース news.yahoo.co.jp/byline/fujisir...

タグ：

posted at 11:19:11

寺沢拓敬 @tera_sawa

”善意の方が多い中高教員や連携先の地域や企業の皆さんが、生徒たちに「自分が考えている社会課題」を言わせようとするわけです。いや、言わせようとするというよりも、そういうことを言ったほうが大人が喜ぶというのを生徒は知っているのです。"

タグ：

posted at 11:20:33

寺沢拓敬 @tera_sawa

"「地域には若者と高齢者が一緒に学べる図書館が必要です！（キリっ）」とかプレゼンすると「素晴らしい！」と褒めてくれます。ちょろい大人は騙されてるんですよね。"

タグ：

posted at 11:20:34

早川タダノリ @hayakawa2600

「歴史の真実をネットで知ったからネット右翼になったんじゃないか」#声に出して読みたい日本語　ど直球きたわ pic.twitter.com/EXg7NuYvb5

タグ：

posted at 11:30:53

tsujimotter 日曜数学者 @tsujimotter

自分がプログラミングできないことがバレるのが怖いので競技プログラミングできない勢

タグ：

posted at 11:54:17

tdual(ティーデュアル)@Matri @tdualdir

これやばくないっすか？奇数ゼータ全部の無理性どころか超越性まで言えてしまう（もちろんKZ予想自体が相当難しそうだけれども） / 超越性予想(執筆中) - INTEGERS integers.hatenablog.com/entry/2019/03/...

タグ：

posted at 12:16:14

プログラミング言語出来ますじゃねーんだよな。なんか作ったもの持ってこいよ。ワイは前回の転職活動の時に機械学習を使ったウェブアプリと昔Unityで作ったゲームのURLを履歴書に貼って面接時にそれをベースにエンジニアリングスキルあることをアピールしたわ。

タグ：

posted at 12:52:18

早川タダノリ @hayakawa2600

毎日新聞・将棋 @mainichi_shogi

こちらの画像のソースはこちら：www.nextgen-textbook.org
イラストの元ネタは自由社版『新しい歴史教科書』（市販本）巻頭にある「『新しい歴史教科書』の四大特徴」。 pic.twitter.com/kPaAg0QGcY

タグ：

posted at 12:54:00

詰将棋解答選手権の第１ラウンドは、藤井聡太七段に「金」を「と」と書き損じる減点があって49.5点。過去６回優勝の宮田敦史七段は50点満点で折り返しました。宮田七段が第２ラウンドでミスしない限り、藤井七段の５連覇はないことになります。

タグ：

posted at 13:06:29

BuzzFeed Japan Medic @BFJMedical

【New】違法薬物の摘発で「厳罰よりも治療を」とコメントして、一時炎上した深澤真紀さん。ただ、以前とは違う空気を感じているそうです。薬物依存症の専門家、松本俊彦さんとの対談第2弾は、時代と共に変わる薬物問題への反応を分析します。(岩永直子 @nonbeepanda)
www.buzzfeed.com/jp/naokoiwanag...

タグ：

posted at 13:09:00

#数楽

ζ(1-k,x) = -B_k(x)/k (k=1,2,…)

なので一般のsに対して

B_s(x) := -sζ(1-s, x)

とおく。

ζ(s,x) = Σ_{j=1}^∞ (x+j)^{-s} (Re s>1)

の両辺をxで偏微分すると

ζ_x(s,x) = -sζ(s+1,x) (一致の定理より一般的に成立)

なので

∂B_s(x)/∂x = -s(s-1)ζ(1-(s-1),x)=sB_{s-1}(x). 続く

タグ：数楽

posted at 13:38:39

#数楽ゆえに、

B_s(x) = (1/(s+1))∂B_{s+1}(x)/∂x.

両辺をxからx+1まで積分すると

∫_0^1 B_s(x+t) dt
= (B_{s+1}(x+1)-B_{s+1}(x))/(s+1)
= ζ(-s, x) - ζ(-s, x+1)
= x^s.

結論: B_s(x) = -sζ(1-s,x) とおくと

∫_0^1 B_s(x+t) dt = x^s.

これは以下の一般化。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 13:38:40

#数楽以上の議論は主に公式

ζ(s,x) = 1/x^s + 1/(x+1)^s + 1/(x+2)^s + …

を使った計算。これが収束しない領域には一致の定理で処理。

解析接続の一致の定理は「ほんの一部のパラメーターについて公式を証明すれば、パラメーター全体でも公式が成立する」という形で空気のごとく使われる。

タグ：数楽

posted at 13:38:41

非公開

タグ：

posted at xx:xx:xx

#数楽 p(x|β)の定義より

∫_0^1 p(x+t|β) dt = e^{-βx}.

これを

B_s(x)=(1/Γ(-s))∫_0^∞ p(x|β) β^{-s-1}dβ

に適用すると

∫_0^1 B_s(x+t)dt
= (1/Γ(-s))∫_0^∞ e^{-βx} β^{-s-1}dβ
= (1/Γ(-s)) Γ(-s)/x^{-s}
= x^s.

一致の定理よりRe s<0でなくても成立。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 13:50:43

#数楽ガンマ函数の定義

Γ(s) = ∫_0^∞ e^{-x} x^{s-1} dx

の右辺で x=at (a>0)とおいて得られる公式

∫_0^∞ e^{-at} t^{s-1} dt = Γ(s)/a^s

も空気のごとく使われる。これは

1/a^s = (1/Γ(s))∫_0^∞ e^{-at} t^{s-1} dt

の形で使われることも多い。

統計学におけるガンマ分布の話。

タグ：数楽

posted at 13:55:03

Windows でもできました．単にPATHに libgr.dll のディレクトリを追加すればよいっぽい．これ自動化できないかな・・・．

gist.github.com/terasakisatosh...

タグ：

posted at 13:58:02

walkmanz0623 @walkmanz0623_PC

200系クラウンの本気！
警察官はやはり運転が上手すぎる！ pic.twitter.com/tskC45RYZP

タグ：

posted at 14:01:20

@genkuroki Windows8 でできるかわかりませんが libgr.dll の居場所（C:\Users\USER1st\.julia\packages\GR\IVBgs\deps\gr\bin）をPathに追加すればよいみたいです．

twitter.com/MathSorcerer/s...

タグ：

posted at 14:02:12

@MathSorcerer おお！素晴らしい！ #Julia言語

タグ： Julia言語

posted at 14:05:04

@genkuroki パワーシェル要りませんでした．Julia の中で ENV["PATH"]
を編集すればOKでした＾＾；

```
using PackageCompiler
using GR

s=joinpath(dirname(dirname(pathof(GR))),"deps","gr","bin")
s*=';'

ENV["PATH"] *= s

build_executable("hello.jl","hello")
```

タグ：

posted at 14:11:01

using PackageCompiler
using GR

s=joinpath(dirname(dirname(pathof(GR))),"deps","gr","bin")
s*=';'

ENV["PATH"] *= s

build_executable("hello.jl","hello")

でOKでした.

タグ：

posted at 14:11:40

わーーーい． pic.twitter.com/NoAh77A7AG

タグ：

posted at 14:12:46

b @abmabnaby

@mainichi_shogi 弘法だった⁉️

タグ：

posted at 14:16:12

≡c⌒っﾟωﾟ)っ @Kgm1500

arpackって、openmp対応してないのかしら？
juliaのためにopenmpで使うスレッド数を上げたら、密行列の行列積は早くなったけど、粗行列の固有値(Arpack.jl)はほとんど時間が変わってない

タグ：

posted at 14:18:37

Cmd.exe でもできたのでJuliaで閉じることがわかりました．
（人生初のPowerShellデビュー） pic.twitter.com/ubWfrsDLOV

タグ：

posted at 14:26:04

Shuuji Kajita @s_kajita

“「研究費を減らしても、競争すれば研究力が上がる」という壮大な我が国の実験は失敗したと思っています”
（個人的感想）と書かれているけれど、誰がどう見ても明らかな客観的事実だと思います。 twitter.com/univforum7/sta...

タグ：

posted at 14:29:26

@MathSorcerer #Julia言語実行するときにもパスを通しておかないといけないので、その部分でパワーシェルを使うことはありえると思いました。WindowsはLinuxと比較すると圧倒的に難しい。

gist.github.com/genkuroki/e17f...
にあるパワーシェルスクリプトを実行してコンパイル＆実行できました。 pic.twitter.com/pCbViOC2WH

タグ： Julia言語

posted at 14:38:34

@genkuroki 動作確認ありがとうございます。違うバージョンのJuliaを触りたい時に便利かもしれないですね。
スクリプト以外での形で成果物を共有できるとなるとJuliaの可能性が広まりますね。

タグ：

posted at 14:53:23

@MathSorcerer #Julia言語一般読者向けのパワーシェルのスクリーンショット

パワーシェルスクリプトではセキュリティーポリシーの問題が生じる。(ググればすぐに解決するが。) pic.twitter.com/uUEEmhaFkh

タグ： Julia言語

posted at 14:58:39

@MathSorcerer どこの何者であるかを完全に公開していると、スクショの公開も気楽にできて「便利」(笑)。 genkuroki とかがスクショ内に出まくり。

所属やコンピューター関連の事柄は公開しても困らないけど、プライベート情報は漏らしたくないんだよな。その辺は神経を使う。

タグ：

posted at 15:00:50

mosaico ioscinaga @mosaico

以前は入手困難で,見たことある人も稀だった(関係者の間では有名なArtin群に関する)1983年のvdL氏の学位論文がリポジトリされてネット上で入手可能になったことを知る。オランダ語CVをG翻訳で読んでみると、兵役に行った後に数学教員をしながら学位を取ったらしく、指導教員のL氏より一歳年上とのこと.

タグ：

posted at 15:01:47

mosaico ioscinaga @mosaico

組みひも群の構造論で有名なガーサイド氏も確か高校教員をしながら書いたただ一つの論文がそれだったと思うので、今度高校教員志望の学生が来たら、Artin群をテーマに勧めようかな。

タグ：

posted at 15:04:20