黒木玄 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 を見て下さい。
2021年05月03日(月)
Juliaが好きな理由は色々あるけれど、一番は公式ブログの以下の部分だなぁ。
julialang.org/blog/2012/02/w...
端的に言って「ぼくのかんがえた最強のプログラミング言語」が目的。 pic.twitter.com/V9PpEi78Xe
タグ：
posted at 00:17:43
アドホックな分析だとリファレンスもあってPythonが上に行っちゃうイメージはあるので、Juliaにはコミュニティを支えるポリシー（パッケージメンテナンスなんてそれが滲んでいると思う）へのシンパシードリブンでひきこむのが良いのかも、とのイメージ。ポリシーで技術を決めるも1種の道とは思うので
タグ：
posted at 01:23:54
@okemos_PES #Julia言語 REPLでの括弧や " の自動補完が必要ならば、
julia> ]
pkg> add OhMyREPL
julia> using OhMyREPL
julia> enable_autocomplete_brackets(true)
で可能です。
kristofferc.github.io/OhMyREPL.jl/la... pic.twitter.com/ikvrVCbfzE
タグ： Julia言語
posted at 05:38:56
@okemos_PES #Julia言語 あと、Jupyter上のJuliaでも括弧や " は自動的に補完されます。
github.com/JuliaLang/IJul...
タグ： Julia言語
posted at 05:40:30
最初に "We want the speed of C with the dynamism of Ruby." とありますが、#Julia言語 は実際に、Rubyのように函数の型注釈を一切書かずに、C並の計算速度を実現することに成功しています。
Juliaは内部では型が本質的な役目を果たしていますが、ユーザー側には型名を書くことを強制しない。 twitter.com/miyaran99/stat...
タグ： Julia言語
posted at 07:50:08
ググってみると、型注釈に有無が決定的に重要であると信じている人達によるRuby批判・matzさん批判は恒例行事のようになっているようですが、Juliaの登場とそのパフォーマンス面での成功によって、批判している側の視界が狭過ぎたことは現在では明瞭だと思います。
タグ：
posted at 07:50:09
#Julia言語 でに函数の型注釈は実行時ディスパッチの指示という意味を持つので、「ドキュメントとしての型注釈」を書くと制限し過ぎで害になる場合があります。素直にdoc stringに書くべき。
その辺については最近開発版の公式ドキュメントに太字の警告が追加されました。
github.com/JuliaLang/juli... pic.twitter.com/7tk3JyZDPA
タグ： Julia言語
posted at 07:56:35
型推論って言葉を最初に聞いたときには、タイピングの節約のための機能かと思って、まあ楽ではあるけどそこまでのもんでもないな、と思ってたけど、Juliaをやって認識を改めた。正しい型指定はパフォーマンスに直結する。
そして正しい型指定は人間には難しいので賢い機械に任せましょうね、という話。 twitter.com/genkuroki/stat...
タグ：
posted at 08:09:09
#Julia言語 実際には、自動微分可能でかつ区間解析可能でかつ値の摂動のモンテカルロ解析可能なコードなのに、函数を
function f(x::Vector{Float64})::Float64 ～ end
のように定義すると、Juliaでは大損する可能性があります。
NASAでの宇宙機の分離の解析と同様の使い方は不可能になる。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 09:58:47
#Julia言語 例えば、自動微分、区間解析、モンテカルロ解析云々についてよく理解していないせいで、函数の引数の型を制限し過ぎている疑いがあるなら、函数の引数の型を書かずに、
function f(x) ～ end
と書けばよい。開発版の公式ドキュメントの見解はそうなっている。
github.com/JuliaLang/juli... pic.twitter.com/E7c1t440ba
タグ： Julia言語
posted at 10:03:31
クルーグマン：バイデン「家族計画」法成立後の米共和党員に幸運を祈る 1/
Good Luck to Republicans if Biden’s Family Plan Becomes Law
www.nytimes.com/2021/04/29/opi...
タグ：
posted at 10:08:25
保守派の皆さんへ。バイデン大統領が提案する「米国家族計画」の主要な内容が実際に法律化された場合、これを撤廃するのは極めて難しくなるだろうから、覚悟した方がよい。なぜ難しくなるかって？同計画が数百万人に対し、これまで社会が供与しえなかった、大きな恩恵をもたらすだろうからだ。2/
タグ：
posted at 10:09:34
つまり、子育て支援や保育の提供、新たに子を持った両親への有給休暇といった仕組みがひとたび社会に組み込まれた後、これらを奪い去ろうとする過程がどうなるのかを想像してみればよい。3/
タグ：
posted at 10:10:43
#Julia言語 Juliaではよく理解せずに(抽象)型名を書くと、計算速度が劣化する場合があります。
Juliaでは、Function型以外も含めて任意の型のオブジェクトを函数として使えるようにでき、しかもFunctionは抽象型なので、
struct Foo
f::Function
end
と書くのは複数の意味でアウト。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 10:10:55
共和党が2017年に既往症を持つ人々も医療保険制度「
オバマケア」の対象に含めるとの保護規定を撤廃しようとした時と比べても、反発は一段と大きくなるに違いない。ちなみに当時の反発こそが、民主党による下院多数派奪還と、上院・大統領職掌握の下地をつくったのである。4/
タグ：
posted at 10:12:51
では、共和党員の反対意見はどんなものか？同党の大部分は政策に興味がないようだ。民主党が「赤肉の摂取を禁止する」だとか、「カマラ・ハリス副大統領を描く絵本を移民の子に無償供与する」といった想像上の「計画」に飛びつき、これをやり込めようとする行動をより熱心な様子だ。5/
タグ：
posted at 10:14:08
バイデン演説に対する共和党の公式の反応は、ティム・スコット上院議員による発言があったものの、低調と映った。スコットはいまだに「大きな政府」について不満を述べ、バイデンの財政支出計画が道路や橋以外にも費やされることを非難している。6/
タグ：
posted at 10:14:54
真の意味での議論に近いものがあるとすれば、バイデンが提案する「増税が、雇用情勢に30年来で最大の悪影響を及ぼす」とした点だ。彼が暗に言及したのは恐らく1993年のクリントン政権期の増税だろう。7/
タグ：
posted at 10:15:58
実際、バイデンは自身の提案を企業や高所得の個人に対する増税で賄おうとしている。その施策には税率引き上げだけでなく、富裕層の課税逃れを取り締まる内国歳入庁に対する、政策資源の供給強化が含まれる。8/
タグ：
posted at 10:17:14
ここで重要なのは、家族計画が法制化され、実行されれば、雇用創出の大きな推進力となるだろうこと認識することだ。つまり、米国人の、特に女性の就業者数はおそらく数百万人単位で増える。9/
タグ：
posted at 10:18:40
この理由を理解するため、まず知らねばならぬことは、共和党員が「富裕層への税率引き上げが雇用を潰す」と常に主張してきた一方で、その見解が正しかったことは一度もないということだ。バイデンに対するスコットの反駁も、クリントン政権期の1993年増税が雇用を壊滅させたかのような主張である。10/
タグ：
posted at 10:19:32
しかし現実には、米国経済はクリントン政権下（1993年1月-2001年1月）で2300万の雇用を上乗せした。忘れられがちだが、オバマも政権2期目（2013年1月-2017年1月）の初頭に、最高所得層の税率をかなり引き上げた。しかし、米国の雇用は年250万といったペースで増え続けた。11/
タグ：
posted at 10:20:24
ああ、それに、カリフォルニア州でジェリー・ブラウンが2012年、富裕層への税率を引き下げた後も、保守派は「経済的自殺を図る行為だ」と吹聴したが、実際は就業者数が急増した。
他の先進国との比較も役に立つ。12/
タグ：
posted at 10:21:37
ほとんどの諸国は米国より税率が高く、恩恵がより寛大な社会保障制度を持つ。では、彼らはその代償を、雇用減という形で払う羽目になっているだろうか？
多くの米国人は、高税率・高福祉の諸国の多くが、雇用創出にもおいてかなり成功していることを知れば、驚きを覚えるのではないだろうか。13/
タグ：
posted at 10:22:36
フランスの例を見てみよう。25~54歳の働き盛り世代に当たる大人の就業率は米国よりも高い。主な理由は、女性の就業率が米国より高いからだ。北欧諸国では、女性の就業率はさらに高い。
「雇用を壊滅させる」（米保守派）税率を持つ諸国で就業率が高いということが、どうしてありえるのだろう？14/
タグ：
posted at 10:23:10
その答えは、雇用の壊滅をもたらすのは、税率自体ではなく、子育て支援の欠如だから、というものだ。多くの先進諸国で子を持つ親が職に就くことができる理由の一部は、安全で、負担の手ごろな保育施設が提供されているからだ。15/
タグ：
posted at 10:24:17
米国においてそうした施設はあまりに高価で、多くの人にとって実質的に利用できない。政府が子育て支援や5歳未満の保育施設にほとんど支出をしていないせいだ。米政府による子育て支援や就学前児童の教育への支出額をGDP（国内総生産）比で見ると、キプロスやルーマニアを下回る値にとどまる。16/
タグ：
posted at 10:28:19
米国家族計画は、この構図を完全に変えようとするものだ。就学前の3〜4歳児童全てに対して無償教育を施し、子を持つ中低所得層の家計が子育てに要する額を所得の7％を超えないよう抑える。これで働き盛りの米国人女性の雇用をフランス並みに増やすことができれば、就業者数は約180万人増加する。17/
タグ：
posted at 10:29:42
デンマークの水準にまでもっていくことができれば、増加幅は300万人となる。
ただし、女性の雇用増をもたらすことは、この計画の最も重要なポイントではない。そしてかつ、両親が子供の世話のために自宅滞在を選択することにもなんら問題はない。ポイントは、子供が育つ環境を改善させることだ。18/
タグ：
posted at 10:30:50
そうすることが社会正義に資するからであり、さらには子供がいずれはより健康で生産性の高い大人になるから、でもある。就業率の上昇は、同計画の有意義かつ、早期に現れる副産物となるだろう。そして子育て支援や就学前教育のコストを一部和らげる効果も持つ。19/
タグ：
posted at 10:32:20
新たに労働市場に参入した米国人が税を納めるようになるからであり、さらに、彼らが食料支援といった社会セーフティネットの支援を必要とする度合いが弱まるからだ。
もちろん、バイデンの財政支出計画は、それ自体の波及効果のみによって財源を賄うことはない。20/
タグ：
posted at 10:33:21
それでも納税者の負担は、報道における見出しが示唆するよりも軽いものにとどまるだろう。
そして、この計画が数百万もの米国人の生活を改善させたなら、プロのイデオローグ以外の誰が「大きな政府」を問題視しよう？ 21/■
タグ：
posted at 10:34:14
@genkuroki あ、すいません、RもIDEのRStudioでの話でした。juliaでもPlutoというのを使おうとしたんですが、どうも最新版のjuliaでは動かないようで、あきらめてコンソール画面（？）で使ってました。そのJupyterというのを試してみます。
タグ：
posted at 11:22:06
#Julia言語 における函数の具体型については以下のリンク先以降のスレッドを参照。
現時点でのJuliaでは、函数fの具体型を「具体型A,Bに関するA→B」にするための標準的な機能は実装されていない。それが可能であることを示すコードは公開されている。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 12:10:28
@yamaneko_mofmof @genkuroki @yugokitajima 出番のない金融電卓でやると、分数出ないのが悔しい。 pic.twitter.com/EhaqfcyM3E
タグ：
posted at 12:55:07
Oldies but goldies: R. Brockett, Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problems, 1991. Brockett’s flow progressively diagonalizes a symmetric matrix. hrl.harvard.edu/publications/b... pic.twitter.com/nfb4QBFH20
タグ：
posted at 14:00:00
#JuliaLang You can install Butterfly.jl (the Julia version of butterpy github.com/zclaytor/butte...) by
pkg> add https ://github.com/zclaytor/butterpy
(delete the space after https) twitter.com/AstroClayt/sta... pic.twitter.com/0DQfJwciAI
タグ： JuliaLang
posted at 14:18:51
非公開
タグ：
posted at xx:xx:xx
小学校時代なんてそんなこと意識しなかったけど、おそらく静岡大学教育学部出身者ばかりだったんだろうな。
教育委員会も多分そう。 twitter.com/Yamashita238/s...
タグ：
posted at 14:38:06
#Julia言語
問題:
x = [Float64, Int64, BigFloat, String, Char, Bool]
として、
y = getindex.(x)
とすると何が得られるか？
答え↓
github.com/JuliaLang/juli... pic.twitter.com/Z9bmnUjqC4
タグ： Julia言語
posted at 15:18:45
この社会には、数学を（あるいは、一般的に学問を）恣意的に与えられたルールに沿ってお手本を再現するゲームを誤解している人々がいます。ときどき見かける「公式」を妙に絶対視する人は、それが根底にあると見るとわかりやすいです。
タグ：
posted at 15:53:28
@golgo_sardine @sekai_tankyu @E_Fessenden 「解除」を明記している文献を見た事がないですよね。
良くて何時の間にやらバツにされないだけ。
掛け算の順序指導は誤りだというのは、中学向けでも見かけない気がします。
タグ：
posted at 16:02:47
おそらく彼の言う現実とは彼の見たもの観じたものなのだろうが、それは｢主観」。論文以上に現実を見ているものはない。 twitter.com/noi_springfiel...
タグ：
posted at 16:49:22
@golgo_sardine @sekai_tankyu @E_Fessenden 中学数学の指導書がこんなのですから、順序指導に「配慮」して「解除」とは程遠い事をやっている可能性は高そうです。
8254.teacup.com/kakezannojunjo...
タグ：
posted at 16:52:45
pyplot.plotにdrawstyleなんていう引数あったんだ。点列をステップ状にプロットしてくれるらしい。Step Demo — Matplotlib 3.4.1 documentation matplotlib.org/stable/gallery...
タグ：
posted at 16:53:42
ピアジェの用語を振りかざす行為を全否定できた方がよいと思いました。
ヒトの子どもはピアジェの説が完璧に間違っていると言える程度には賢いです。赤ん坊でさえかなり賢い。
教員採用試験には勉強すると有害な事柄の丸暗記を強いている部分があってひどい。ピアジェの扱いは典型的。 twitter.com/musorami/statu...
タグ：
posted at 17:31:45
ピアジェの発達段階説の意味での「発達段階」は特殊な極端な意味を持っており、きちんとクズ扱いできないと危ないです。
赤ん坊でもできることをかなり大きくなった子どもができないことにしていたりと、お話になりません。
私のツイログでピアジェを検索すれば参考文献について知ることができます。 twitter.com/musorami/statu...
タグ：
posted at 17:35:19
私は、算数教育がらみの話題で一般保護者相手にピアジェっぽい意味で「発達段階」という用語を平気で使える教育関係者は、大学でまともに勉強できていなかった有害な無教養人扱いが妥当で、我々の社会の中で実際にそのように扱われるべきだと思っています。
タグ：
posted at 17:37:41
ピアジェを持ち出すだけで無教養丸出しなのですが、高名な人物の名前に弱い人達は結構多く、結果的に無教養な教育関係者が権威的な態度で一般保護者を黙らせる暴力が日本中で普通に行われている疑いがあります。
普通に読書して事情を知っている人達はそういう暴力に対抗する発言をするべき。
タグ：
posted at 17:42:34
live optimizer tracking with vegalite graph in browser. #julialang
github.com/robertfeldt/Bl... pic.twitter.com/BXfySNr2Be
タグ： julialang
posted at 17:47:42
非公開
タグ：
posted at xx:xx:xx
@genkuroki ありがとうございます。ただ、最初バージョン1.6でやってみたらパッケージネームが解決できませんとか出てきましたので、1.5をインストールしてみたらちゃんと出来ました。Plutoも1.5ならちゃんとインストールできたので、新しい1.6だと問題があるんですね。
タグ：
posted at 20:37:39
データサイエンスで使われているプログラミング言語
・python
www.python.org
・R
www.r-project.org
・MATLAB
jp.mathworks.com/products/matla...
・Julia
julialang.org
・Scala
www.scala-lang.org
・GO
golang.org
#Live人工知能
タグ： Live人工知能
posted at 21:37:47
プログラミング初心者、やっとPythonとJuliaを行き来できるようになりましたわーいわーい🙌MATLABにもちょっと似てるからとっつきやすかったのかも？
タグ：
posted at 21:40:17
