黒木玄 Gen Kuroki(@genkuroki)/2021年04月14日

テスト用リポジトリで、、とか、ハンパ無く辛いよなー。Rパッケージも作るファイルがたくさんあるイメージ（なお、作ったことは無い）なので、パッケージ作り上の安息はJuliaにしか無い、、

タグ：

posted at 23:54:59

hctaw_srp @hctaw_srp

Pythonのパッケージ作り、正直リポジトリアップロードやテストリポジトリを用いたチェックだったりのフローがありえん面倒なので、パッケージは全てJuliaで書きたいんだが、アドホックな分析は（半ば惰性で）Pythonでサクッと書いちゃうので、自分の中での折り合いがとても悪くて、つまり辛い

タグ：

posted at 23:49:54

大' @satodainu

またしてもセリを頂いたので、今回はせり鍋に。名取のセリなので、根っこが短い。香りは三関の方が強かったけど、これはこれで美味しい。明日の朝の雑炊が楽しみ〜！ instagr.am/p/CNphgmGjbu7/ pic.twitter.com/K7SvwitWob

タグ：

posted at 23:03:17

最多情報局 @tyomateee

兄を真似て練習しピンクのドレスでスケボーに挑戦する女の子がカッコいい… pic.twitter.com/4nBNzatNjo

タグ：

posted at 23:00:24

あんちもん2 @antimon2

| ω・)｡oO （ #Julia言語の abstract type って実はセマンティックな型階層を作るためだけのものだと言っても過言ではないということにそろそろみんな気付いてほしい…） twitter.com/abap34/status/...

タグ： Julia言語

posted at 22:59:53

tune3orz @tune3orz

reading: Plots/GR: グラフ package のおすすめ · julia について
www.cas.cmc.osaka-u.ac.jp/~paoon/misc/ju...

タグ：

posted at 22:50:58

Katsushi Kagaya @katzkagaya

これのことです。is.gd/Ue4pZe

タグ：

posted at 22:45:45

おにく提督 @sendai_lovelove

juliaって名前のプログラミング言語が有るのか

タグ：

posted at 22:42:23

Katsushi Kagaya @katzkagaya

ひどい剽窃。ここ使ってGCPつかってたことあったけどもうやめます。

タグ：

posted at 22:34:13

狸の中年 @salmoncrawler

Julia 言語ってこの書き方できるんだな。

A, B, C, D = Ob(FreeSymmetricMonoidalCategory, :A, :B, :C, :D)
処理1, 処理2, 処理3 = Hom(:処理1, A, B), Hom(:処理2, B, C), Hom(:処理3, C, D);

タグ：

posted at 21:40:14

狸の中年 @salmoncrawler

ようやく Julia 言語のワイヤリングダイアグラムを描くツール使えるようになったが、ボックスが入れ子では描けないみたい。

タグ：

posted at 21:04:45

Matt Henderson @matthen2

this gas, modelled with boucing balls, spreads out equally between the two containers. This would normally be irreversible, but I have chosen the initial velocities carefully... pic.twitter.com/urJuQcUgZ6

タグ：

posted at 20:47:00

#Julia言語

 gist.github.com/genkuroki/e674...

のURLを添付画像①のOpen from fileに貼り付ければ、添付画像②の結果が得られるはず。

このようにしてJuliaユーザー間で実行可能なコードと数式入りの解説をまとめて共有できる。

こういうことが流行ればJuliaを超えた社会的に正の影響が生じるはず。 pic.twitter.com/QBfVifGtTK

タグ： Julia言語

posted at 20:41:34

#Julia言語 Pluto fileは以下の手順で公開できる。

⓪ GitHubのアカウントを取得してGistを使えるようにしておく。

github.com

①②③ jlファイルを表示

④ Gistに貼り付けて、Create publuc gist

⑤ その結果↓

gist.github.com/genkuroki/4155...

これのURLをPlutoに貼り付ければ使える。 pic.twitter.com/GFH0xNQWQO

タグ： Julia言語

posted at 20:31:45

Milan Klöwer @milankloewer

Okay, this is one of the coolest #JuliaLang packages I've come across in a while. 💯 super nerd points go to UnicodePlots.jl for neat plotting directly in the terminal pic.twitter.com/aokc4CZpGb

タグ： JuliaLang

posted at 20:27:06

Arsh Sharma @Sov_trotter

🤣🤣🤣🤣
(Cross posting from the FB #julialang group) pic.twitter.com/CE5YyV87z9

タグ： julialang

posted at 20:07:19

#JuliaLang Plots.jl layout macro twitter.com/matplotlib/sta... pic.twitter.com/a4xl9uvtb0

タグ： JuliaLang

posted at 20:00:50

#超算数でもまあ、和田義信と川口廷が読売新聞を使って、数教協はだめだよキャンペーンをしているのを見つけたときは、なるほどねえと思ったもの。

タグ：超算数

posted at 19:42:56

@genkuroki 時代の偏見でしょうかね。#超算数|を調べ始める前の私のとっては『無限と連続』の著者としての印象しかなかったもので、遠山氏のもっていた影響力が実感できないところがあります。教師用指導書を見るにまだ数教協の影響はあるのでしょうが、良い面悪い面含め、決算すべき時なんでしょうね。

タグ：超算数

posted at 19:36:43

高梨陣平 @jingbay

アイヴァーンさんが調べてくださいましたが、DuckDuckGoのChrome向け機能拡張で無事にFLoC IDが取得されなくなった模様です。 twitter.com/Ivarn/status/1...

タグ：

posted at 19:35:46

微妙に揺れた

タグ：

posted at 19:03:35

大' @satodainu

地震。嫌な揺れ方だな。

タグ：

posted at 19:03:32

Iwao KIMURA @iwaokimura

今田/ヘイズル狂い @Iaia_Onimaru

ふと疑問におもったのですが、このアプリはしかるべく動くようになったんでしたっけ? play.google.com/store/apps/det...

タグ：

posted at 19:02:21

@Qooix 秋田の居酒屋で食べました
非常に美味しくて美味しいです(小並感) pic.twitter.com/ywRUCJthwq

タグ：

posted at 18:45:14

#Julia言語 Pluto.jlはJulia以外のモノへの依存が少ないので、

Juliaの公式バイナリを入れて起動
julia> ]
pkg> add Pluto Plots
julia> using Pluto; Pluto.run()
Create a new notebook を選択

で即使える。MITでの教育やNASAでの解析などで使われている。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 18:40:18

Miura Hideki @miura1729

その分野の第一人者が言うべきことを言って「大それたことを言って申し訳ありません」と言わなければならない国。The 日本って感じ。 twitter.com/nishiurah/stat...

タグ：

posted at 18:38:37

#Julia言語 1つの決まり切った正解はなくて、目的によると思う。

* VSCode
* Jupyter
* Pluto

はどれも便利。

Pluto.jlならstructの定義の変更が自由にできるので、試行錯誤でJuliaの仕様を確認したい人には、Plutoがかなり良さそうなことに最近気付いた。 twitter.com/h_ushihara/sta...

タグ： Julia言語

posted at 18:33:56

#Julia言語 #Plutojl

Plutoで文字列 s を表示するには Text(s) を使う。

discourse.julialang.org/t/how-can-i-di...

例えば、Cat("ミケ")のdumpをPlutoで表示したければ

Text(sprint(dump, Cat("ミケ")))

を実行すればよい。

sprint(f, x...) の f として色々使える。

docs.julialang.org/en/v1/base/io-... pic.twitter.com/o2urPFLZ3N

タグ： Julia言語 Plutojl

posted at 18:26:44

Springer Nature @SpringerNature

Emmy Noether, German mathematician, died #OnThisDay in 1935. Her innovations in higher algebra gained her recognition as the most creative abstract algebraist of modern times. Many fellow mathematicians considered her to be the most important woman in the history of mathematics. pic.twitter.com/ZtjfBbdMGT

タグ： OnThisDay

posted at 18:00:08

Massimo @Rainmaker1973

Despite fire retardant or water are or should be dropped from much higher altitude, this is why you avoid dropping water or fire retardant directly on buildings, when possible [source and full video: buff.ly/329gzO3] [watch an example of altitude: buff.ly/3g7n8s9] pic.twitter.com/cgn6eJHUfh

タグ：

posted at 18:00:00

@temmusu_n #超算数ある種の文化圏では遠山啓さんのステータスが非常に高くて、思考が全部そちらに引き寄せられているパターンをよく見かけます。

特に50～60歳以上の広い意味での数学関係者達に遠山啓氏及びその一派は大きな影響を与えています。

そろそろその影響を払拭するべき。自然消滅すればよいと思う。

タグ：超算数

posted at 17:53:58

#Julia言語参考資料(史料)

github.com/JuliaLang/juli...

github.com/JuliaLang/juli...
【People mentioned the usefulness to allow properties to be inherited. I agree with this.

However, properties are more like __methods__ than __fields__.】

タグ： Julia言語

posted at 17:40:48

#Julia言語こういう戦略なので、実装の詳細に関わる型のフィールドの継承を許すと、後で計算効率を改善しようとするときに不都合が生じまくる可能性がある。

例えば、繰り返しになるが、第j成分だけが1で他の成分が0のベクトルについては、全成分の情報が保持されている必要はない。

タグ： Julia言語

posted at 17:36:39

#Julia言語 Juliaでの計算の効率化の基本戦略は「多重ディスパッチによって特殊な場合ごとに最適化されたコンパイル結果をえること」です。

例えば、第j成分だけが1で他の成分が0のベクトルを行列に右側からかける操作は行列の第j行のviewを返す函数にすれば効率的です。

タグ： Julia言語

posted at 17:36:39

#Julia言語線形代数においても、第i成分だけが1で他の成分が0の長さnのベクトルを実装するときには、フィールドでnとiの情報が保持されていれば十分で、長さnのベクトルの全成分の情報が保持されている必要はない。

どうもこういう理由で、型のフィールド達の「継承」がJuliaにはないらしい。

タグ： Julia言語

posted at 17:28:57

#Julia言語名前が不定(数種類の名前のうちのどれかに動物の気分でランダムに決まる)の動物を実装する場合には、nameフィールドがない型をAnimalのsubtypeにする可能性がある。

その場合にはランダムに名前を生成する函数name(x)を名前が不定の動物の型に定義することになる。

タグ： Julia言語

posted at 17:23:26

積分定数 @sekibunnteisuu

私、「学び合い」の提唱者である西川純氏にブロックされているんだけどｗ

西川氏、多様な人と折り合いをつけることができないようだねｗ twitter.com/manabiai/statu...

タグ：

posted at 17:20:16

#Julia言語

型のフィールドは「実装の詳細」であり、外部に公開するのはメソッドの側という立場では、

* Cat型やDog型のオブジェクト内部に保持する名前には < > を付けない。

* その名前には name(x) でアクセスできるようにしておく。

* name(x)を使用するときに < > を追加。 twitter.com/abap34/status/... pic.twitter.com/pxhdtlpd6u

タグ： Julia言語

posted at 17:17:44

長期目線で技術選定を行い組織に展開、リードしていけるのがCTOの大事な役割だけど、Brendanは本当に素晴らしい仕事をしていて尊敬する。

私は既に形になってて数年後に広がるものを選ぶ程度だが、彼は10年先のための技術選定をした上でそれを自ら育て展開するところまでやってて控え目に言って最高

タグ：

posted at 15:08:05

Firefoxの中で育てられたことで、大規模かつパフォーマンス要求が高くかつ既存のC言語実装との連携が重要という要件を満たせるものになり、その結果Android OSやLinuxにも採用される地位を得られるように育ち、C言語リプレイス筆頭の地位を確立しつつあるという感じ。

タグ：

posted at 15:00:53

当時は英語リスニング力と技術力(専門領域の違い)が共に不足していて何言ってるのかイマイチ付いていけないけど、凄いRust推してる、しかも毎回Rustの話しててマジだって事だけはよく分かった。

その後Servoが生まれ成果がFirefoxに移植され、その厳しい要件を通じて言語が鍛え上げられたのがRust

タグ：

posted at 14:58:13

MozillaはRustを見いだし育てて素晴らしいって話、あれは当時のCTOであったBrendanが強く推進し続けのが始まりなのよね。

Mozillaの全社集会などで皆がFirefoxの実装の話とかしている中でBrendanだけ毎回Rust言語の話をしていたのが忘れられぬ。

JavaScriptの生みの親＝Rustの養父みたいな印象

タグ：

posted at 14:52:41

Lirimy @LirimyDh

Dog と Cat で異なるフィールドにしたい場合の実装例。
gist.github.com/Lirimy/bc348c5...

タグ：

posted at 14:43:20

USHIHARA @H_USHIHARA

windowsでjulia使おうと思ったら, どうするのが正解なんだ?
vscodeで良いのか?

タグ：

posted at 13:55:23

Lirimy @LirimyDh

コピペ用

```julia
mutable struct Animal{s}
name
Animal{s}(name) where s = new{s}("<" * name * ">")
end

const Dog = Animal{:dog}
Dog <: Animal

Dog("Pochi")
```

タグ：

posted at 13:41:21

Lirimy @LirimyDh

異なるサブタイプのフィールドが同一で構わないなら、これでいけると思います。 twitter.com/abap34/status/... pic.twitter.com/VN7alpmI5P

タグ：

posted at 13:41:21

@OokuboTact @sekibunnteisuu ありがとうございます。微妙に諸手を挙げて同意とはいかない論調ですね。⑤⑥あたりでだんだん首と。ただし「かんたん・やさしい・はやい・1こ」については、公式丸暗記指導を指しているとみることができそうです。

タグ：

posted at 13:37:30

#超算数【もともとこのようなことがはじまったのは、「1あたりの量」をしっかりと教えよう、という動機かららしい。「1あたりの量」を内包量と命名し、子供たちにきちんと教えようとしたのだ。】
と。掛け算の順序強制には100年を超える歴史がある。当時の用語は「1あたりの量」や内包量ではない。

タグ：超算数

posted at 13:22:19

OokuboTact　大久保中二病中年 @OokuboTact

#超算数前にも見た論者だが
金重明「『掛け算の順序』『×、÷ の書き順』、小学校算数のあきれた規則: いったいなんのためにこんなルールが…」2021年1月6日gendai.ismedia.jp/articles/-/77978
掛け算の順序の起源について数教協的な「1あたりの量」という用語で説明。

タグ：超算数

posted at 13:22:18

@sekibunnteisuu @temmusu_n 有田八州穂氏について　　　　＃超算数

参考　

twitter.com/genkuroki/stat...

タグ：超算数

posted at 13:18:56

kimoton @_kimoton

久しぶりにブログ更新。最近Juliaに触れる機会が多いので、PackageCompiler.jlを使ったパッケージのプリコンパイル方法をまとめました！
#はてなブログ
PackageCompiler.jl を使った初回実行高速化 - ばいばいバイオ
www.kimoton.com/entry/20210414...

タグ：はてなブログ

posted at 13:00:04

こいなぎ @naginyan135

【級位者向け実戦型詰将棋part504(清野静男先生作)】
これを詰ますことができた者だけが楽しい木曜日を迎えることができる。 pic.twitter.com/Ixgr4HzgvB

タグ：

posted at 12:02:30

非公開

タグ：

posted at xx:xx:xx

Aki.* @Aki_Sui_

授業内
C
Julia
Python
Java
JavaScript

授業外
C#
C++

どれか一つに専念したい

タグ：

posted at 10:40:00

Bodega Cats @Bodegacats_

pic.twitter.com/ciYakddh8Q

タグ：

posted at 08:22:21

まるまる @EZX2FOFxVpvStIK

小山裕己 | Yuki Koyama @bravery_

@genkuroki Jupyterだと最初から走らせないといけないですもんね。v1.6以前の時はusingのスピードも遅かったのでストレスマッハでした。

タグ：

posted at 08:21:48

四面体メッシュ対応した pic.twitter.com/syh8VP0mdF

タグ：

posted at 08:08:34

ICM Intelligencer @SPIntelligencer

Remembering Emmy Noether who died in Bryn Mawr, Pennsylvania 🇺🇸 #OnThisDay 14 April 1935.

She made an invited talk at #ICM1928 Bologna and became the 1st female ICM plenary speaker in history at #ICM1932 Zürich.
#HistoryOfICM

📙✨New and noteworthy: bit.ly/3g1CVvA pic.twitter.com/EAIeRM0OLI

タグ： HistoryOfICM ICM1928 ICM1932 OnThisDay

posted at 08:02:00

#Julia言語 ChromeのPDFへの印刷機能を使えば Pluto を使って添付画像①のようなPDFファイルを作れます。添付画像②③④はPlutoの画面。

コンピュータをいじるのが好きな人は数学をこんな感じで勉強することもできそう。 pic.twitter.com/VMncY9Tdro

タグ： Julia言語

posted at 07:38:21

積分定数 @sekibunnteisuu

@musorami @temmusu_n 「証明と言えば図形」となってしまっているのも問題だとは思います。

図形に関する理解と、論証の理解は別なのに、これが一緒くたに出てくる。

対頂角が等しいとかって、証明が必要なんですかね？
「みりゃわかるじゃん」と思えてしまう。

タグ：

posted at 07:17:18

積分定数 @sekibunnteisuu

@musorami @temmusu_n twitter.com/temmusu_n/stat...

これ二等辺三角形になっているから余計にわかりにくいね。

普通に作図して、等しい角や辺に印付けて、証明として書き起こせばいいだけなのに。

タグ：

posted at 07:14:23

Stefan Karpinski @StefanKarpinski

@acidflask It’s beautiful! Reminds me of the Monument Valley games:

www.youtube.com/watch?v=tW2KUx...

タグ：

posted at 07:03:11

ナイチンゲールさんが強調していた換気の重要性が現代においてここまで強調されることになることを誰が予想できたであろうか。(ナイチンゲールさんは換気と保温の重要性を強調していた。) twitter.com/sekkai/status/...

タグ：

posted at 06:57:40

#Julia言語

Pluto上では struct の定義の変更が自由に可能なので、ちょっとした試行錯誤にはJupyterよりも便利かもしれません。

Juliaのstructについて学び始めたい人にはPlutoの使用をお勧めします。structの定義変更時のストレスが非常に小さいです。

タグ： Julia言語

posted at 06:53:48

#Julia言語

Pluto上では struct の定義の変更が自由に可能です！
この点は非常に便利だと思います。

① Foo型の中身の型は整数

② Foo型の中身を浮動小数点数にしようとするとエラー

③ Foo型の中身の型として任意の数値を許した

②から③でstruct Fooの定義を変更しています。 pic.twitter.com/9QPxIzXnbO

タグ： Julia言語

posted at 06:50:25

sekkai @sekkai

関西を中心に割合が増えつつある B.1.1.7 の感染力は恐らく既存より高く、これまでの対策では対抗できないと思います。飛沫感染が主な経路であることは変わりませんが、恐らく空気感染の割合も増えており、飲食店だけでなくあらゆる施設での換気の重要性がこれまで以上に増すと考えています。

タグ：

posted at 06:50:04

#Julia言語 + Pluto.jl の組み合わせであれば、

1. Juliaの公式バイナリのインストール

2. Juliaで

julia> ]
pkg> add Plots Pluto
julua> using Pluto; Pluto.run()

で即使える。気軽に無料で使える超高級電卓として最強力かも。

数学の勉強の友としても最適。

タグ： Julia言語

posted at 06:32:28

#Julia言語 Pluto.jlの使用例 (iPadのブラウザから使用)

① N=10項

② N=100と書き換えてそのセルを再実行するとグラフも自動的に書き変わる

③ノコギリ波 M=10項

④ M=100項

多分、このスレッドと関連スレッドを読めば、多くの人は30分～1時間程度で同じことをできると思います。 pic.twitter.com/coBm8kRPPr

タグ： Julia言語

posted at 06:28:57

Steven Strogatz @stevenstrogatz

Here's my lecture from earlier today on the WKB method of singular perturbation theory. The discussion of the aging spring starts at around 47:40. (Please forgive my scratchy voice -- I hope it's not too distracting!) www.youtube.com/watch?v=Z5_wUK...

タグ：

posted at 06:26:06

#Julia言語関連スレッド↓ twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 06:14:21

#Julia言語

julia> ]
pkg> add Pluto
pkg> バックスペースキー
julia> using Pluto; Pluto.run()
ブラウザでPlutoのタブが開く
Create a new notebook をクリック
楽しめるはず！

各セルに1コマンド。1セルに複数コマンドは

begin
x = 12
y = 34
end

のように書けば可能。

タグ： Julia言語

posted at 06:12:42

#Julia言語任意の函数のグラフの描き方は早めにマスターしておく価値がある。以上の添付画像中のコードは

julialang.org/downloads/

からjuliaの公式バイナリをダウンロードしてインストールして起動して、

julia> ]
pkg> add Plots
pkg> バックスペース
julia>

の後に入力すれば動くはず。

タグ： Julia言語

posted at 06:04:37

#Julia言語

Gibbs現象(不連続点でのオーバーシュート)がよく見えている。

gist.github.com/genkuroki/698b... twitter.com/penhakennyori/... pic.twitter.com/SHi2RkGTrq

タグ： Julia言語

posted at 05:59:55

#Julia言語

 gist.github.com/genkuroki/698b... twitter.com/penhakennyori/... pic.twitter.com/GnNWn297Pc

タグ： Julia言語

posted at 05:58:36

変な時間に目をさましてしまった。

タグ：

posted at 05:14:42

#Julia言語私のようにWindows 8.1を使っている人はいないと思いますが、precompileにpermission deniedで失敗する場合には、管理者権限でjuliaを起動するとうまく行く場合があります。Windows 10のことは知らない。

タグ： Julia言語

posted at 05:14:00

峰　宗太郎 @minesoh

【さりげなく宣伝】先々週アップされていました👶次の原稿をいま書いています💦
note.com/note_jmedj/m/m...

タグ：

posted at 05:09:37

Steven Strogatz @stevenstrogatz

Today in my class on asymptotics and perturbation methods, we used the WKB method to analyze the motion of a mass on a spring whose stiffness decays to zero very slowly, governed by
x'' + exp(-epsilon t) x = 0. Here's a simulation of such a system: twitter.com/Arnaldo_AGITF/...

タグ：

posted at 04:48:04

よくと @yocto_i

ほりたみゅ (mastodonも見てね) @Hyrodium

ラズパイ4でjulia言語使えるように使用かなと思ったけど調べたらめちゃくちゃ面倒臭そうで笑っちゃった今の俺にはできる気がしない

タグ：

posted at 03:02:45

Meshes.jlにPR送ってmergeされました
github.com/JuliaGeometry/...

タグ：

posted at 00:15:31

ゆうちょ @yucho147

networkxは確かに全部乗せのグラフツールであり、juliaではJuliaGraphsが管理している個々のパッケージがパーツを成しているイメージなんすな。
あとはfluxを理解すれば大体pythonでやりたいことはJuliaに置き換えられるかな。

タグ：

posted at 00:12:18

尻P(野尻抱介) @nojiri_h

レトロコンピューティング・シリーズ。タイガー計算機で65536を開平してみたよ。上の桁から1,3,5,7…と奇数列を引けるだけ引くと左ダイヤルに256が現れる。操作は筆算そのもの。 pic.twitter.com/OtqaalXmEx

タグ：

posted at 00:09:15