黒木玄 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 を見て下さい。
2020年09月12日(土)
#Julia言語 では行列AのMoore-Penroseの一般逆行列をベクトルvに左からかける操作を A\v と書ける。
ゆえに、2つのVectorのサンプルx,yに対して、最小二乗法は
β̂ = hcat(x.^0, x)\y
と恐ろしくシンプルに書ける。
最小二乗法は1行!
gist.github.com/genkuroki/d34e... twitter.com/genkuroki/stat... pic.twitter.com/7ceY5kP04P
タグ: Julia言語
posted at 00:59:47
multithread aware で numpy/scipy 的機能がだいたいあって数値計算や convolution が高速/省メモリでできて Windows/Linux 対応な言語環境ほしい. Julia?
タグ:
posted at 01:00:07
Juliaのコードのために、import Pkg; Pkg.add("SimplePCHIP")が
ERROR: The following package names could not be resolved:
* SimplePCHIP (not found in project, manifest or registry)
とコケるので、回避策を考えないといけない。Julia自体もそうなんだけど、パッケージも開発中が多いので…
タグ:
posted at 01:08:55
JuliaからPyCallでOpenAI GymつかってFlux.jlで実装したDQNを学習して実行してみた
github.com/Soyukke/GymRei...
JuliaとFlux.jlはやれはやれ
タグ:
posted at 01:10:08
JuliaPro v1.5 www.juliabloggers.com/juliapro-v1-5/ #juliabloggers
タグ: juliabloggers
posted at 02:17:21
New post: New package: ChemEquations.jl - www.juliabloggers.com/new-package-ch... #julialang
タグ: julialang
posted at 03:43:07
New post: Make your Julia package in 10 minutes - www.juliabloggers.com/make-your-juli... #julialang
タグ: julialang
posted at 03:43:12
Julia for Energy! Watch this video youtu.be/E7O9E-QWJd8 to see-
- how others in the #energy sector are using #Julialang to improve their processing speed with fewer lines of code
- Watch JuliaRun bit.ly/3hjPG1r scale up to handle huge #datasets with ease. #ML #AI
タグ: AI datasets energy Julialang ML
posted at 06:06:00
ごまふあざらし(GomahuAzaras @MathSorcerer
discourse.julialang.org/t/implicit-plo...
Julia言語
タグ:
posted at 07:41:37
レシートと見積書を画像検索した上位各2件
で、どこの常識が何だって? twitter.com/shirasagi_tire... pic.twitter.com/Ucl2AzjGNW
タグ:
posted at 08:50:22
#数楽 #統計 #医療統計 多変量解析に投入すべき因子は単変量解析でp値が低いものだけにすべきと言われたことがある。@genkuroki さんの解説のあるFisher正確検定も医療統計でよく使用されているが、このあたりのもやもやを誰かすっきり周知させてくれないだろうか
posted at 09:20:21
@UFOprofessor @yamazaksv2 多くの学生が…ということは多くの人が、電圧は知りませんね。東大理学部でもそうらしいので、学校教育と生活がいかに乖離してしまっているか深刻な状況と思います。教育学の研究者が、こういう足元の状況に気付いてくれるといいのですが…
タグ:
posted at 10:05:45
ネットにアクセス出来るはずなのに、何年も前に決着の付いているヨタ話を武器にしたつもりで乗り込んで来る人ってなんなんだろうね。 twitter.com/kuri_kurita/st...
タグ:
posted at 10:06:13
@yamazaksv2 @UFOprofessor 大学の一般教養だと、もう受験に関係ないけど単位を揃えないといけない、空きコマには物理学しかなかった、やだなあ仕方ない、という学生も結構いますが、演示実験とか日常との関連の話をすると、物理って面白いんだなあとわかりました、という感想はちらほらありますね
タグ:
posted at 10:08:13
@0322dbooks @yamazaksv2 物理とかそういう枠なしで考えてよいのであれば、僕の場合はたいていスプーン曲げから始まって、血液型と性格、マイナスイオン、水伝、EM菌、あとは聴衆の興味でニセ医療(ホメオパシーとか)、脳科学、親学系のやばい教育、歴史修正主義、江戸しぐさ等…という感じですね
タグ:
posted at 10:11:26
プログラミング言語、RをメインにしてPythonを補助に使ってるところに、Juliaも覚える必要が出てきた。どんどんデータサイエンス屋さん化されていく。逆に自然言語は、テクノロジーのおかげで英語を勉強しないといけない時間が減ってきた。自然言語よりプログラミング言語のほうが投資対効果が良いかも
タグ:
posted at 10:57:54
#Julia言語 SimplePCHIPをaddしようとすると
ERROR: The following package names could not be resolved:
と怒られる問題の回避方法
①Juliaのバージョンをv.1.3以前に下げる。
②(v1.3) pkg> add https: //github.com/slabanja/SimplePCHIP
https:の後の空白は削除
twitter.com/uncorrelated/s... pic.twitter.com/vry3lms3Gu
タグ: Julia言語
posted at 11:41:49
#Julia言語 事情を理解していれば数分で解決する問題
どうも動かしたいのは、Julia v1.2.0のJupyter notebookの
github.com/keizai-seminar...
らしいのですが、「具体的に何をしたいか」についてもコメントしてくれていれば、もっと早くコメントしてもらえた可能性が高かったと思う。
タグ: Julia言語
posted at 11:52:33
#Julia言語 新しいバージョンのJuliaでは、直接リポジトリからパッケージをインストールする方法が
ERROR: could not find project file
と言われてできない場合があります。パッケージ作成者が
Project.toml
を作ってくれれば解決します。
github.com/JuliaLang/Pkg.... pic.twitter.com/66k1hUhnwQ
タグ: Julia言語
posted at 11:58:57
#Julia言語 なるほど。現在のJuliaのバージョンで動かすにはそれが一番手軽な方法かもしれませんね。
include("ダウンロードして展開したパッケージFooのjlファイルのフルパス")
using .Foo
twitter.com/uncorrelated/s... pic.twitter.com/W4VKxlyxk1
タグ: Julia言語
posted at 12:04:43
#Julia言語 ユーザー側がProject.tomlを追加して、addするという手も使えます。
① github.com/slabanja/Simpl... をCODE→Download ZIP してどこかに展開
②そこにProject.toml
name = "SimplePCHIP"
uuid = "添付画像の方法で生成したuuidをコピペ"
を追加
③ pkg> dev 展開した場所のフルパス pic.twitter.com/b0jd9QLD6o
タグ: Julia言語
posted at 12:17:44
他のプログラミング言語の経験者が #Julia言語 を使い始めるときに必ず最初に見ておくべきなのは
docs.julialang.org/en/v1/manual/p...
Performance Tips
だと思う。このページを見ればJulia独特の注意がすぐにわかります。
1つ前のツイートで指摘した問題は
docs.julialang.org/en/v1/manual/p...
に書いてあります。
タグ: Julia言語
posted at 12:29:34
#Julia言語 2番目に読んでおくとお得なのは
docs.julialang.org/en/v1/manual/s...
Style Guide
最初の2つの中は
* Write functions, not just scripts
* Avoid writing overly-specific types
函数にせずにべた書きしたり、
function f(x::Float64)::Float64 ~ end
のように書くのは損です。よく見る。
タグ: Julia言語
posted at 12:34:44
どうもJulia言語の中でR言語やPythonを呼び出して使えるらしいな?そういう連携ができるなら過去のコード資産を活用しつつ、計算が重いところだけJuliaに投げるってこともできるんだな。
タグ:
posted at 12:41:16
*電卓を片手に/Go To Mathematics植野義明
*パズル・グラフ・群・多面体/
ケイリーグラフを描いてみよう中裕明
*図形ソフトを用いて発見する幾何の楽しみ……伊藤仁一
*部屋とパソコンと私/Juliaでめぐる計算機数学の世界…横山俊一 twitter.com/rikoushonotana...
タグ:
posted at 12:52:03
#Julia言語 『経済セミナー』誌の読者向けの情報
github.com/keizai-seminar...
で使用されているSimplePCHIPパッケージが現在のバージョンのJuliaで簡単に使えないという問題は
pkg> add https: //github.com/genkuroki/SimplePCHIP
(https:の後の空白は削除)
すれば解決!
twitter.com/genkuroki/stat... pic.twitter.com/F7pfq3CpH9
タグ: Julia言語
posted at 14:02:14
#Julia言語
github.com/slabanja/Simpl...
を
github.com/genkuroki/Simp...
にforkして
①ダミーのProject.tomlを追加
②struct _pchipにおける曖昧な型付けを解決
しておきました。
このリポジトリでの開発継続を行うつもりは私には全くなく、一時的な措置だと思っておいて下さい。
タグ: Julia言語
posted at 14:04:48
#Julia言語
②struct _pchipにおける曖昧な型付けを解決
によって、私がフォークしたリポジトリからSimplePCHIPパッケージをインストールした人は
github.com/keizai-seminar...
の実行時間が速くなります。私の環境では
25.5 秒 → 11.2 秒
と倍以上速くなりました! pic.twitter.com/eAyPX3iQye
タグ: Julia言語
posted at 14:10:50
#Julia言語
github.com/keizai-seminar...
の著者のパソコンでは
13.9秒 Julia版
218.5秒 MATLAB版
なので、Julia版の方が15倍以上速いです。
さらに、私によるSimplePCHIP.jlの改良によってさらに倍以上速くなって、Julia版の方が30倍以上速くなると予想されます!
Juliaは非常に便利な道具です。
タグ: Julia言語
posted at 14:16:30
#Julia言語 のnightly build版
julialang.org/downloads/nigh...
では「最初の一回目のプロットにおける遅延」の時間が大幅に短縮されています。私はそれを理由に「数日前のnightly build」のJuliaを使用しています。
nightly buildの使用を普通は初心者に勧めないのですが、現時点では例外的な感じ。
タグ: Julia言語
posted at 14:26:37
#Julia言語 このスレッドの情報は『経済セミナー』誌の読者にとって有益だと思われます。
github.com/keizai-seminar...
『経済セミナー』「定量的マクロ経済学と数値計算」
連載第8回(2・3月号)
のJulia版Jupyter notebookを動かす方法がこのスレッドに書いてあります。続く
twitter.com/keisemi/status...
タグ: Julia言語
posted at 14:30:41
#Julia言語 続き
ポイントは現在普通の方法では使えないSimplePCHIPパッケージを
pkg> add https: //github.com/genkuroki/SimplePCHIP
(https: の後の空白は除く)
でインストールすることです。続く
twitter.com/keisemi/status...
タグ: Julia言語
posted at 14:32:38
#Julia言語 続き
しかし、私がforkしたリポジトリからみんながインストールするようになると、問題が生じたときに私宛に連絡が来てしまうリスクがあります。
私には件のforkしたパッケージの開発を続ける気はないので、一時的な措置だと思って頂けると助かります。
twitter.com/keisemi/status...
タグ: Julia言語
posted at 14:34:35
#Julia言語 私がforkしたSimplePCHIPパッケージの方では、ほんのちょっとした改良が施されており、それを使うと、
github.com/keizai-seminar...
の実行時間が倍以上速くなるという御利益もあります。
twitter.com/keisemi/status...
タグ: Julia言語
posted at 14:36:46
[1901.10887] COSMO: A conic operator splitting method for convex conic problems arxiv.org/abs/1901.10887
chordal decompositionとやらで半正定値錐への射影を効率化しているらしい。
ギット羽生にJuliaの実装があるな github.com/oxfordcontrol/...
タグ:
posted at 14:43:43
#Julia言語 このスレッドにJuliaでRを使う方法とちょっとした工夫の解説とその結果のスクショがあります。
Jupyter notebook 上のJuliaでRのggplot2を使う方法の突っ込んだ解説は珍しいので貴重かも。
twitter.com/shinji_blogger...
タグ: Julia言語
posted at 14:55:45
@hanatmetal #Julia言語 の中でPythonを使うのは容易。
* matplotlib→PyPlot.jl
* seaborn→Seaborn.jl
* sympy→SymPy.jl
このスレッドではPyCall.jl経由でbeautifulsoup4を使ってウェブスクレイピングできることを紹介しています(Juliaのパッケージでもできるのですが)。
twitter.com/shinji_blogger...
タグ: Julia言語
posted at 15:01:06
#Julia言語
それはひどい誤解。(他にも沢山変なことを言っている)
変更されたのは、人間が手で入力するREPLでの挙動だけ。
対人間入力仕様が変わっただけ。
include("foo.jl") や julia foo.jl の形式で使用されていたコードは変更無しに以前と同様に動きます。
qiita.com/mametank/items... twitter.com/uncorrelated/s...
タグ: Julia言語
posted at 15:25:16
#Julia言語
github.com/keizai-seminar...
などで使用されているJupyter notebookでの仕様は、以前から、現在のJuliaのREPLと同じソフトグローバルスコープになっています。
github.com/JuliaLang/IJul...
だからJupyterユーザーには無関係の話題。
タグ: Julia言語
posted at 15:36:23
#Julia言語 REPLでの仕様も
[ハード] ローカルスコープ内において、「右辺」でグローバル変数名を使うとグローバル変数が参照されるが、「左辺」ではそうならない。左辺で値の変更先として使う場合には global を付ける。
という「安全仕様」で統一することに関する議論↓
github.com/JuliaLang/juli...
タグ: Julia言語
posted at 15:45:17
コレは直して欲しかった部分なので嬉しい。「関数の中と外でスコープ変わるのはわかるがなんですか同一スクリプトの中でスコープ変わるねん」ってなってた twitter.com/genkuroki/stat...
タグ:
posted at 16:09:50
#超算数 ディースターヴェークは1844年にかけ算の順序を意識していた。
Diesterweg, F. A. W., P. Heuser. _Methodisches Handbuch für den Gesammt-Unterricht im Rechnen. Als Leitfaden beim Rechenunterrichte und zur Selbstbelehrung_. Elberfeld: Büschlersche. 1844. archive.org/details/bub_gb... pic.twitter.com/TRC4EcvfHF
タグ: 超算数
posted at 16:22:00
#超算数 これは、シュプリンゲルのオープンアクセスで
Educational Research on Mathematics—A Short Survey of Its Development in German Speaking Countriesというものを見ていて発見したlink.springer.com/chapter/10.100...。同書のイントロでディ氏は算数教育の理念を述べてい、結構いいことを言ってそう。
タグ: 超算数
posted at 16:23:57
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
Juliaすげー
x = 2
2x+1 がちゃんと計算されてる・・・
Pythonだと
2*x+1であって、2x+1だとエラーだし・・ pic.twitter.com/5DoPDrTDWw
タグ:
posted at 16:26:50
非公開
タグ:
posted at xx:xx:xx
村)奨励会三段リーグ戦で伊藤匠三段が14勝2敗となり、最終日の2局を残して10月1日付での四段昇段を決めました。伊藤三段は藤井聡太二冠と同学年ですが、生まれた月の違いで現役最年少棋士となります。
タグ:
posted at 16:39:29
豊島竜王、藤井二冠を下す。
藤井二冠はデビュー以来、豊島竜王にこれで5連敗。未だ1度も勝てていません。
藤井時代の到来を予言する言葉が世間に溢れていますが…竜王が大きな壁として立ちはだかる!
2人は10月にも王将戦リーグで再戦します。今からもう待ちきれませんね! pic.twitter.com/wugJNR7QVE
タグ:
posted at 16:43:28
【#週刊碁 9月21日号(9月14日発売)】
今週からQRコードによる棋譜再生サービスを開始します。
スマホやタブレットで読み取るだけで、簡単に再生ページが開きます。アプリのインストールなども不要ですので、気軽にお試しいただければ! pic.twitter.com/tkak8KLYha
タグ:
posted at 16:54:18
#R言語 から #Julia言語 を使うためには
github.com/Non-Contradict...
が使えます。
非常に面白いのは、このライブラリの使用時に自動的にJuliaがインストールされるようにしてしまおう、という案が出ています。
github.com/Non-Contradict...
twitter.com/shinji_blogger...
posted at 16:57:52
そのおかげで、例えば #R言語 で #Julia言語 の微分方程式のパッケージを使用できます。それを経由するとGPU付きのパソコンを使っているとGPUによるスピードアップも可能になるようです。
github.com/SciML/diffeqr twitter.com/shinji_blogger... pic.twitter.com/FFadmyTJPN
posted at 17:02:24
@minami_suiha 個人的なイメージでは逆で、Python が Julia に押されてきてるイメージですね💦
数式通りに書ける分かりやすさと処理速度の速さで Julia に軍配が上がるみたいです(ライブラリもそこそこ揃ってるみたいですし)
タグ:
posted at 17:04:16
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
@enu23456 処理の速さと数値計算が便利(?)ってことで、Elixir意外にも最近Juliaも初めてみたけど便利かもしれない
Pythonが押され始めたらちょっとねー・・・
とはいえ、汎用性あるから押されてもまあ気にせずやりたいことできるように頑張るのみ(´・ω・`)b
タグ:
posted at 17:05:44
I'm grateful for all your responses -a testament to the openness of the @JuliaLanguage community!
Additional input still very much appreciated though :-) twitter.com/DieterCastel/s... #JuliaLang #statistics
タグ: JuliaLang statistics
posted at 17:15:18
村)2018年の朝日杯将棋オープン戦準決勝で羽生善治竜王と藤井聡太五段(肩書はいずれも当時)が対戦しましたが、この時の記録係が伊藤匠三段でした。
スター棋士激突、600人のファンが見守る 朝日杯将棋:朝日新聞デジタル www.asahi.com/articles/ASL2J...
タグ:
posted at 18:02:28
非公開
タグ:
posted at xx:xx:xx
2年遅れでDIYキーボードを履修したところ、異様に丁寧なMatzの記事に行きあたったのであった。FYI: 記事単体で買えます
bizboard.nikkeibp.co.jp/kijiken/summar...
bizboard.nikkeibp.co.jp/kijiken/summar...
speakerdeck.com/kakutani/diyke... twitter.com/yukihiro_matz/...
タグ:
posted at 18:33:36
#Julia言語 あわわ!リンク先の発言は撤回!
ついさっき、nightly build を入れたら、Grisuが削除されているせいで、Showoff.jlが使えなくなり、その影響で Plots.jl も使えなくなっていました!
一時しのぎの対策:
github.com/genkuroki/Show...
を入れる。
twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 18:54:28
#Julia言語 関連情報
github.com/JuliaLang/juli...
「Grisuを公式に削除しました」
github.com/JuliaGraphics/...
一時しのぎとして、nightly buildで削除されたGrisuをShowoff.jlで使えるようにすれば、nightly buildでPlots.jlを使えるようになります。
github.com/genkuroki/Show...
タグ: Julia言語
posted at 19:00:55
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
慣れないうちはコーディングでJulia👧がPython🐍化してエラーバンバン吐き出してきそう・・・
つい、いつものPythonのクセで pic.twitter.com/MhE1oNA75O
タグ:
posted at 19:15:06
#Julia言語
a = ["A", 1, "B", 2.2]
println.(a);
↓
A
1
B
2.2 twitter.com/minami_suiha/s... pic.twitter.com/KDWPtxJy0U
タグ: Julia言語
posted at 19:20:54
#Julia言語
x = 1:4
y = 1:5
f(i, j) = 10i + j
A = [f(i, j) for i in x, j in y]
のようにしている場合を結構見かけるが
B = f.(x, y')
A == B
↓
true
ドットを使ったブロードキャストで書くと圧倒的にシンプルに書けることが多い。 pic.twitter.com/n5elOzBg3j
タグ: Julia言語
posted at 19:30:55
@genkuroki 参考になります :)
TypeProfiler.jlもまさにこんな感じの「lint的な」ツールにしたくて(...というよりもともとこの松本さんの思想に基づいて開発されているruby-type-profilerに刺激されて作っているのですが)、やはりRubyはまだまだ色々な側面で新しい考え方をもたらしてくれる面白い言語ですね。
タグ:
posted at 19:31:43
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia公式SlackのMakieチャンネルでこんなの作ったよスクリーンショット多いんだけれど
こーどもあると う れ し い な ぁ (叫び)
#Julia言語
タグ: Julia言語
posted at 19:32:40
このQRコードの棋譜、AndroidでもPCでも問題なく見られた。QRで飛ばされるURL見れば分かるようにsgfも簡単に取れる。 twitter.com/Nihonkiin_book...
タグ:
posted at 19:33:14
@genkuroki @kdwkshh RubyをJulia的なアプローチ(抽象実行)でC言語にトランスレートするプログラムを作っています。よかったら見てやってください。 www.youtube.com/watch?v=kr2RXL... docs.google.com/presentation/d...
タグ:
posted at 19:36:04
最近はJuliaっていう言語を勉強してます🌟
#プログラミング初心者
#駆け出しエンジニアと繋がりたい
#Julia
#Julia言語
タグ: Julia Julia言語 プログラミング初心者 駆け出しエンジニアと繋がりたい
posted at 19:36:25
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
Why I think curly braces {} is not a good choice for a programming language, despite massive popularity:
#programming #cpp #Java #JuliaLang #javascript
medium.com/@Jernfrost/the...
タグ: cpp Java javascript JuliaLang programming
posted at 20:01:39
高速化で〜けへん
最初から関数にしとる〜
@ simd つけても〜
@ inbounds つけても〜
何も変わらん〜 @ time 結果〜
#Julia言語 #JuliaLang
posted at 20:02:57
ごまふあざらし(GomahuAzaras @MathSorcerer
TypeProfiler.jl 自分の環境でも動かせた.
#Julia言語
タグ: Julia言語
posted at 20:16:21
これの引用ツイート、見事にMatzさんの回答をせせら笑うものばかりだが、現状どういう意見か聞いてみたい (もはやRubyには興味が無いという意見だろうけど >RT
タグ:
posted at 20:19:47
非公開
タグ:
posted at xx:xx:xx
Julia quiz:
fn(x::Int, y) = x + y
fn(x, y::Int) = x + y
fn(1,1) # Error ... ambiguous
Which of these can disambiguate?
A) fn(x::T, y::S) where {T<:Integer, S<:T} = x + y
B) fn(x, @nospecialize(y::Int)) = x + y
C) fn(x::Int, y::Int) = x + y
D) All the above
#julialang
タグ: julialang
posted at 20:29:09
#超算数 同じシュブリンゲル/シュプリンガーのオープンアクセスの論文で、ハルニシュが「考えることで計算し、計算することで考える」となかなかよいことをいったと紹介される。しかしこれは出典の誤り。論文著者の引用するジーモン (1908)が見つからないので、誤りの源がどこであるかは不明だった。 pic.twitter.com/7TkCG8CdaK
タグ: 超算数
posted at 20:32:25
#超算数 思考と計算は一体であると解せる言葉を残したのはハルニシュではなく、ティリヒ。ペスタロッツィに直接教えを受けた人らしい。
Tillich, Ernst. _Allgemeines Lehrbuch der Arithmetik, oder Anleitung zur Rechenkunft für Jedermann_. Leipzig: Gräff. 1806. books.google.co.uk/books?id=UXcoA...
タグ: 超算数
posted at 20:32:28
#超算数 序文が、以下のように始まる。
Dieses Handbuch, welches anspruchslos in die Reihe verschwisterter Werke tritt, hat sich zum ziele gesetzt, denkend rechnen, und rechnend denken zu lehren.
translate.google.com/#view=home&op=....
現代の用語では、計算と計算の意味は不可分する立場ともいえるか。 pic.twitter.com/acDA5dTMfP
タグ: 超算数
posted at 20:32:29
The paper of Dilara Abdel (@WeierstrassInst) on Scharfetter-Gummel schemes for #device #simulation using a #JuliaLang based solver has selected as one of the top-ten contributions of this years @NUSODnews conference. Read preview on the NUSOD blog. nusod.wordpress.com/2020/05/22/com...
タグ: device JuliaLang simulation
posted at 20:45:27
#超算数 序文の最後に「記号の説明」がある。加乗記号があって減除記号がないとか色々おかしなことになっているbooks.google.co.uk/books?id=UXcoA...。まず、かけ算記号はmalと読み、n timesと同様に使用される。20頁に片九九表に相当するものがありbooks.google.co.uk/books?id=UXcoA...、1×3, 2×3=6, 3×3=9.のような数式も。 pic.twitter.com/NmZbm129xT
タグ: 超算数
posted at 21:01:34
#超算数 ティリヒの掛順こだわり度は不明。しかし、記号と自然言語を同一視する傾向は強くもっていたとはいえる。それは、22頁のような記号の誤用に至るほど強かったbooks.google.co.uk/books?id=UXcoA...。
【Denn 8×9=72 ; 72 ist 9 < 81.】
<をweniger alsと読めば、意味が通ってしまうtranslate.google.com/#view=home&op=...。 pic.twitter.com/G6XmkiD90k
タグ: 超算数
posted at 21:09:50
#超算数 ティリヒの<と>についての用法は一貫している。定義が独自なだけであって間違いとはいえないかもしれないが、すくなくとも現代にも通じる数学記号の用法とは異なるといえるだろう。82頁にはbooks.google.co.uk/books?id=UXcoA...、
2 < 9 = 7
とか
5 > 7 = 12
という用例があった。 pic.twitter.com/GoA6Yk6tmG
タグ: 超算数
posted at 21:35:20
着物でパフォーマンスする時、「動きにくく無いですか?」と聞かれるのですがこの着物、実はジャージ素材なのです!!!! pic.twitter.com/sUax2wMevq
タグ:
posted at 21:39:32
@yukihiro_matz @miura1729 そういえばこの論文読まないと、と思いながら読めてない
Static Type Analysis by Abstract Interpretation of Python Programs
2020.ecoop.org/details/ecoop-...
タグ:
posted at 22:15:44
本当にこれ。これがある限り仕事でPythonとかJulia使うのすごく躊躇する。自由の代償としてコミニュケーションコストが高すぎる。
これが解決されたらみんな幸せになれる(^o^) twitter.com/genkuroki/stat...
タグ:
posted at 22:20:03
@yukihiro_matz @miura1729 2016年くらいのブログで Julia の型推論もなんか似てるらしい(というか彼らのほうがだいぶ先)みたいなことを読んだ記憶がありますが、ぼくはよく知らないんですよね……圧倒的にサーベイが足りてない
タグ:
posted at 22:24:51
「割り算の時に順序どうでも良いと思っては困るから、#掛算 の順序を制限する」
と考えるなら
「分数の掛算では 分子同士・分母同士 で掛算するのだから、分数の足し算でも 分子同士・分母同士 で足し算すればいいよね! 通分なんてしなくも良いんだ」と思い込むのをどうやって防ぐのでしょう? twitter.com/kakitwuvat/sta...
タグ: 掛算
posted at 22:28:28
@mametter @yukihiro_matz @miura1729 多分僕が以前に紹介した以下のブログかもしれません:
juliacomputing.com/blog/2016/04/0...
(最新はこちら: juliacomputing.com/blog/2017/05/1...)
Juliaの型推論は元々パフォーマンスのために行われるので、健全性などよりも推論自体の実行速度がとても大切で、ブログもアルゴリズムの実装にフォーカスを当てています。
タグ:
posted at 22:32:20
@kdwkshh @yukihiro_matz @miura1729 あーこれですねー。これがありながら TypeProfiler.jl を試されてるってことは、そこそこ違うんですかね。
ブログの内容もかなりうろ覚えなんですが、一回どこかでお話聞かせてもらえると嬉しいかもです
タグ:
posted at 22:37:17
@mametter @yukihiro_matz @miura1729 あ、TypeProfiler.jlはJulia本体の型推論を転用して、Juliaコードの型チェックに使おうというアイディアで作り始めました:
(型推論プロセスに割と簡単にユーザコードをinjectできる)
なのでもちろん拾えないエラーがありますが、Julia nativeの推論と同程度の速度でプロファイルできるのを目指してます
タグ:
posted at 22:50:11
@mametter @yukihiro_matz @miura1729 > 一回どこかでお話聞かせてもらえると嬉しいかもです
ぜひぜひ。ただ僕がJuliaの型推論ルーチンを書いたわけでは全くないので、どこまで遠藤さんにとって有益な情報をお伝えできるか自信がありませんが、もしよけばこちらこそお願いします :)
タグ:
posted at 22:52:17
これってJuliaのことかな? /「ミ○クボーイ「Fortran」」 ncode.syosetu.com/n1075fy/ #narou #narouN1075FY #Julia言語
タグ: Julia言語 narou narouN1075FY
posted at 23:16:53
#Julia言語 函数の最小化のパッケージ
gist.github.com/genkuroki/9068...
Optim.jl and BlackBoxOptim.jl (の使用例)
github.com/JuliaNLSolvers...
github.com/robertfeldt/Bl...
しかし、__自力__で「坂を下って行く」函数を書くと色々勉強になります。特に局所的にしか最小でない点にたどり着く場合。 twitter.com/hina_airy/stat...
タグ: Julia言語
posted at 23:44:11
#Julia言語 数値計算ではマクロなどによるコードの自動生成が必須で、実装のコア部分をマクロで生成することによって、Fortranで書かれたライブラリよりも5~6倍の速さの指数積分函数のJuliaによる実装を実現した
nbviewer.jupyter.org/github/steveng...
があります。これMITの授業での宿題の答え。凄すぎ。 twitter.com/muuumin20/stat...
タグ: Julia言語
posted at 23:49:43
#Julia言語 関連
youtu.be/mSgXWpvQEHE
JuliaCon 2019 | Keynote: Professor Steven G. Johnson
Adventures in Code Generation
これもめちゃくちゃ面白いです。
タグ: Julia言語
posted at 23:53:48