黒木玄 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年06月09日(水)
@NeuroKiruse @gusthema Yup, you can do all operations you want: in indexing expressions, `begin`/`end` are syntactic sugars for `firstindex(a)`/`lastindex(a)`, so they work with arrays with arbitrary indices, including github.com/giordano/StarW...
タグ：
posted at 00:38:29
@MoseGiordano @gusthema I thought the syntactic sugar was much more restrictive. I can certainly use this to simplify some more things!
Also, this repo seems hilarious. 😏
タグ：
posted at 00:40:56
Check out "Using Julia and group theory to describe Molecular Vibrations"
Presented by León Alday at #JuliaCon 2021
www.youtube.com/watch?v=Bkkqdr...
#JuliaLang #Opensource #Coding
タグ： Coding JuliaCon JuliaLang Opensource
posted at 01:04:00
@TaliaRinger @Thoasm Also I'll disagree that #JuliaLang is truly untyped. @j_v_66 has some nice papers about subtyping relations in Julia. I'm also mulling the idea that our type system is actually expressible in modal lambda calculus in the spirit of Pfenning and Davis (2000)
タグ： JuliaLang
posted at 02:03:45
@TaliaRinger @Thoasm @j_v_66 Yes I realize that many PL people treat "untyped" and "dynamically typed" as synonymous, but that terminology taps into a deep and long-standing prejudice in the field that dynamic languages have no interesting semantic structure. I hope I can persuade you to reconsider
タグ：
posted at 02:09:57
@TaliaRinger @Thoasm @j_v_66 especially in this day and age when language semantics can be expressed at multiple stages. Julia has a whole intermediate macro expansion stage which allows for nontrivial staged functions to be defined and "eval"ed
タグ：
posted at 02:14:32
@TaliaRinger @Thoasm I always felt that #JuliaLang would have easily won over Python for all of scientific computing and ML, but it was just a bit too late to the game. For a vast majority of ppl (myself included), Python's untyped nature was the perfect gateway drug to programming.
タグ： JuliaLang
posted at 03:08:00
#Julia言語 これも良記事
eli.thegreenplace.net/2018/more-thou...
More thoughts on the Expression Problem in Haskell
Expression problem in Haskell のシンプルで使える解決策を見つけることに失敗しています。
既存のコードを変えないという「ゲームのルール」自体に疑問を出している(笑)
タグ： Julia言語
posted at 04:52:00
「定数と足し算の式の型」と「式の評価函数と式を文字列に変換する函数」しかない所に、「かけ算」や「sinなどの函数の呼び出し」や「式を型のツリーに変換する函数」(例えば Mul(Plus(1, 2), 3)↦Mul(Plus(Const, Const), Const))を追加したり、変数の取り扱いを追加したりするゲームを見せて欲しい。
タグ：
posted at 05:09:12
ゲームのルールは、
「定数と足し算の式の型」と「式の評価函数と式を文字列に変換する函数」のコードを一切変更せずに、「かけ算」や「sinなどの函数の呼び出し」や「式を型のツリーに変換する函数」や「変数の取り扱い」を追加しなければいけない
というもの。
多分、みんな勉強になる。
タグ：
posted at 05:09:13
Julia超初心者なのでメモ書き。
こちらのコードでusingしてる内の Fmt というのは
pkg> add Fmt
ではnot foundになる。(Generalレジストリに無いという話？)
bicycle1885/Fmt.jl のことのようで
pkg> add github.com/bicycle1885/Fm...
で動いた。
ただ自分はv=1.6.1なので1.7だと普通にあるのかも。 twitter.com/genkuroki/stat...
タグ：
posted at 12:30:28
流体計算を少しかじっているのでこちらを手元で動かしてみようとしたらFmtだけadd出来なくて、bicycle1885/Fmt.jlを見つけて、bicycle1885さんてどういう身元の方なんだろうと思い(失礼)調べたらJulia学習書の著者で修士2年時点で理研に講演に行かれてることなどまで出て来た。すごい。
タグ：
posted at 12:40:52
非公開
タグ：
posted at xx:xx:xx
Francesco Martinuzzi @MartinuzziFra
Really nice animation! I've tried to do something similar with #JuliaLang with the following results:
youtu.be/eNtzcltVCBA twitter.com/tyler_russell5...
タグ： JuliaLang
posted at 16:30:18
Julia1.6.1、行列表記が整数表記じゃなくて点表記になったの良い（もともと？）
#julialang pic.twitter.com/CYfHKxPFOd
タグ： julialang
posted at 17:10:20
非公開
タグ：
posted at xx:xx:xx
#Julia言語
repr(x)は多くの場合にxをロスレスで文字列に変換してくれます。
添付画像①を見ればわかるように、現在の安定板v1.6.1と違って、nightly buildのv1.7.1-DEVでは、Aが高次元配列であっても、str=repr(A) によって、eval(Meta.parse(str)) で元の高次元配列に戻せる文字列が得られます。 pic.twitter.com/SPXCzNrodS
タグ： Julia言語
posted at 20:17:10
家に着いたら3歳の息子を起こしてしまんだけど、寝ぼけながら、「パパ会社でお弁当いっぱい食べた？」「コーヒーも飲んだ？」「会社でパソコンかちゃかちゃした？」と聞いてきて可愛すぎた。
タグ：
posted at 22:08:21
Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs (Re-post) www.juliabloggers.com/progress-on-au...
タグ：
posted at 22:37:39
Check out "What's new in Pkg: artifacts, binaries & the Pkg protocol"
Presented by Stefan Karpinski & Elliot Saba at #JuliaCon 2020
www.youtube.com/watch?v=xPhnJC...
#Julialang #Coding #Opensource
タグ： Coding JuliaCon Julialang Opensource
posted at 23:02:00
ごまふあざらし(GomahuAzaras @MathSorcerer
ラズパイ４の上で動いた！！
59 時間ほどでした (笑)
時代は進化している！！
#Julia言語 twitter.com/genkuroki/stat... pic.twitter.com/4z9MQEM2Ss
タグ： Julia言語
posted at 23:18:48
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
バージョンが1.8-DEV になるのね。 pic.twitter.com/EtT4iVQEJT
タグ：
posted at 23:42:19
非公開
タグ：
posted at xx:xx:xx
Ligun (りぐん) ☠️ Nenio @choonggeun
Juliaで画像処理
まずは基本的なメディアンフィルタから
うーん、最近はAPIが整備されているから楽だねー
（Lenaの画像は今推奨されてないからmandrillの方使った） pic.twitter.com/3E5wXUCij8
タグ：
posted at 23:51:15
非公開
タグ：
posted at xx:xx:xx
