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

【19桁】の第1種カニンガム鎖の処理は 7.9e18まで完了。現在は 9.4e18まで処理中。CC14は 18番目の 6406832057206010429 以降は見つかっていない。9.2e18〜9.3e18の区間を始める時に、Int64のoverflowが発生したので、Int128に変更。 pic.twitter.com/EKM8gofuII

タグ：

posted at 02:44:32

鎌塚　忠義 @kamayan1128

Juliaが1.6になった。
プリコンパイルがパラレルになったそうな
早くなったんだって
Rustも1.5.1になった

updateするかなー
#julialang #rustlang

タグ： julialang rustlang

posted at 07:16:25

Yosymatu @Yosymatu

Juliaで、Agnets.jiなるパッケージが出たっぽいんだよな。これ、OSMとそのまま連携できるっぽいから、がっつり使えそうなんだが。pythonで書くより早そうだし、そろそろjuliaに本格移行のタイミングがきたか。
juliadynamics.github.io/Agents.jl/stab...

タグ：

posted at 09:54:40

Masahiro Hotta @hottaqu

感染者が少なかった頃の見通しではレベル１に下げて、講義も対面がメインになる予定でしたが、宮城県が全国一位の感染増加率の状況の中で、レベル３に上がってしまいました。残念です。

www.tohoku.ac.jp/japanese/2021/...

タグ：

posted at 10:11:55

Yosymatu @Yosymatu

盛大に誤字っていた、、Agentsです

タグ：

posted at 11:26:53

Oyasai_rumbling @oyasai_aaa

業界のちょっとした自動化とかはpython/nodejs（/juliaでも？)のほうがいいと思う　コンパイルされる言語は皆一様にmainパッケージのmain関数から始まるようにできてるからファイルの取り回しは悪くなる

タグ：

posted at 13:10:46

#数楽個人的には

determinant→決定式

を推している。

discriminant→判別式

というみんなよく知っている例がある。

discriminantという用語を使い始めたのはJ.J.シルベスターさんで、少女時代のナイチンゲールさんの数学の家庭教師もやっている。「判別式」を教えるときに触れるといいかも。 twitter.com/toyo9/status/1...

タグ：数楽

posted at 13:26:15

シルベスターさんは数学研究で人類に貢献しただけではなく、ナイチンゲールさんの才能を伸ばすことで膨大な人達の命を救うことにも間接的に貢献した。

ナイチンゲールさんは、病気が発生する根本原因が分かっていない段階であっても、統計を使って適切な対策を取れば多くの人達を救えることを示した。

タグ：

posted at 13:26:15

線形空間の基底は，ベクトルの順番にも意味があるから {a, b, c} ではなく <a, b, c> にする．
内積は，(a, b) だと直積の元と区別がつかないから……<a | b> か？基底の記号と似てる………．
a, bが数ベクトルのとき，それらを列にする行列を (a b) と…………

タグ：

posted at 13:32:16

@meri_sugaku で「超算数　確かめ算」でツイッター内検索したら、

こんな気持ち悪いお馬鹿発言を見てしまった。

twitter.com/nabata_me/stat...

タグ：

posted at 13:34:29

@meri_sugaku komachi.yomiuri.co.jp/t/2011/0628/42...

#超算数　コメントにアホ発言が多数。

タグ：超算数

posted at 13:42:18

高校数学だと内積は a・bか……．
いわゆる文系（個別試験に数学がない）学部の人向けの線形代数をやるにあたって，ノート作りに呻吟中．

タグ：

posted at 13:43:31

@meri_sugaku #超算数
 komachi.yomiuri.co.jp/t/2011/0628/42...

アホ小学校教師のマッチポンプ pic.twitter.com/X9tdvV8upk

タグ：超算数

posted at 13:46:03

超越基底(佐藤陽花/エヤイヌニタㇰ/藍徽 @Distr_to_Yonder

そもそも線形空間という語も，その間の射が線形写像であることと整合するけど，その元がベクトルなのとは整合しない．
線形空間の元を線形ということにするか（ダメです）．

タグ：

posted at 13:48:39

@H3PO4__a 目的にあったプログラミング言語を選択した方が良いです。

・数値計算を始めとする科学技術計算はJulia、
・OSや基幹ソフト(ブラウザやオフィススイート)、言語処理系などのシステム系はRust、
・WebやアプリケーションはDart、
・ネットワークなどのインフラ系はGo、
・文字列や文章の処理はRuby

タグ：

posted at 13:50:44

「20年後には，新入生は線形代数としてAbel圏をやるようになる」という予言を聞いて20年ぐらい経った気もする．元を取る議論は省けそうだし，そっちでやるかな？（ダメです）．

タグ：

posted at 13:56:15

Yoshitaka Moriwaki @Ag_smith

弊ラボのこれからの風景です pic.twitter.com/FTqxtsa9fV

タグ：

posted at 14:11:19

Yoshitaka Moriwaki @Ag_smith

具体的にはPRML勉強会とJulia（BioJulia）の使い方講座をやります

タグ：

posted at 14:12:27

チーム渡辺 @abT_watanabe

2020年度の将棋大賞、名局賞は棋聖戦第１局。▲13角成以下の勝ち方は思いもしませんでした。最後は私が30手ほど王手ラッシュをするんですが、それが詰まないのをかなり早い段階で藤井二冠が見通していたという感想にも驚きました。

(続く) pic.twitter.com/faQ5vpJ95a

タグ：

posted at 15:26:43

チーム渡辺 @abT_watanabe

名局賞というよりは藤井二冠の名局ですが、私も賞状と金一封がもらえます笑
画像は『将棋の渡辺くん』別冊少年マガジン2020年10月号掲載分

(渡辺)

タグ：

posted at 15:27:20

ゆかり @moyuca_moca

@abT_watanabe マンガを読まない母が５巻まで大人買いしたのが、将棋の渡辺くんです。
家族でハマって大好きなマンガです。
６巻が待ち遠しい！
金一封は何に使われる予定なのでしょうか？
今の好きなお菓子とかつぶやいて下さると我が家が喜びます🙇‍♀️

タグ：

posted at 15:32:50

たばすこ @brv00

@Anno0770 I run it on ubuntu_in_termux (github.com/MFDGaming/ubun...).

タグ：

posted at 15:38:41

フランスのマリ空爆、市民19人死亡　国連が報告書：朝日新聞デジタル www.asahi.com/articles/ASP41...

タグ：

posted at 16:10:54

これ、要するにテロだよね？

正規軍がやるとテロじゃなくて、武装勢力がやるとテロなの？

タグ：

posted at 16:13:03

Kiichi @Ki_chi

日銀ETF購入のデータをGitHub Actionsで自動で集めるスクリプトを（趣味で）運用してるんだけど、たぶん今日からExcelファイルのフォーマットが変わってこける気がする
github.com/ki-chi/boj-etf...

タグ：

posted at 16:19:15

Erik Engheim @erikengheim

With Julia 1.6 we now got a package that can do impressive static type checking without type annotations. This could be a game changer. Static typing fans risk losing their crown argument. #julialang #TypeChecking #programming #static #types

github.com/aviatesk/JET.jl

タグ： julialang programming static TypeChecking types

posted at 16:20:00

M. Kanamaru @AstroshaperJP

Julia言語でVTKファイルが読めるライブラリ、まだないですかね...（ひとまずpyimportを試みる）

Do you know a way of loading a vtk format in Julia?

#julialang #Julia言語

タグ： julialang Julia言語

posted at 16:37:45

#Julia言語小ネタ

isless と < の違い。

それぞれの公式解説を見れば違いは明らかなのですが、違いに気付いていないユーザーは多いと思う。

< は isless にfallbackするので違いは小さいのですが、isless は sort で使用可能な全順序。

docs.julialang.org/en/v1/base/bas...
docs.julialang.org/en/v1/base/mat... pic.twitter.com/OeInINM5I6

タグ： Julia言語

posted at 16:46:02

#Julia言語自分で定義した型に Base.isless を定義するときには、sort で使える全順序となるように定義するべき。

それに対して、Base.:< は全順序である必要はない。もちろん、islessにフォールバックするので、別に定義する必要が無ければ、全順序の Base.isless だけを定義しておけば足りる。

タグ： Julia言語

posted at 16:49:50

#Julia言語全順序のislessとは別に、全順序ではない < が必要なケースは、浮動小数点数の大小関係。

浮動小数点数は NaN を含んでおり、例えば、0.0 < NaN や NaN < 0.0 は false になって欲しく、実際にそうなるように定義されている。

全順序の isless で isless(Inf, NaN) は true になる。

タグ： Julia言語

posted at 16:55:14

l_ppp @ppp3141592ppp

#Julia言語
sum( f , itr ) 系の f に

==(3)

みたいの何となくでつかってたけど、ちゃんと一旦function を返してたのね

v1.6.0から ∉ (\notin{TAB}入力) もfunction 返すようになったみたい pic.twitter.com/TW3emS6YjY

タグ： Julia言語

posted at 17:00:51

#Julia言語「islessが全順序になる」とあっさり私が書いたのを見て、「等号の指定がないと曖昧な説明になる」と見抜いた人は鋭い。islessはisequalと合わせて全順序の条件を満たさなければいけません。すでに引用した公式ドキュメントに書いてある。

docs.julialang.org/en/v1/base/bas... pic.twitter.com/DDfmzNms7S

タグ： Julia言語

posted at 17:01:39

#Julia言語 isequal の存在を知ると == との違いも知りたくなるのですが、違いについては isequal の公式ドキュメント(上で引用した)に書いてある。

== は === にフォールバックするのですが、そうでない場合の期待される振る舞いは公式ドキュメントに書いてある。

docs.julialang.org/en/v1/base/mat... pic.twitter.com/EbL9Hwjinf

タグ： Julia言語

posted at 17:07:10

#Julia言語既存の型と無関係に(サブタイプにせずに)、自前で型を定義した場合には、その型への == の作用はある === にフォールバックするので、自前で定義した型に == を自分で定義する必要が出て来ます。

タプルには == や isequal だけではなく、辞書式順序で isless や < も定義されています。

タグ： Julia言語

posted at 17:13:10

#Julia言語個人的な意見では、isequal と == の違いの理解のためには、isless と < の違いを先に知っていた方が分かりやすいと思います。

タグ： Julia言語

posted at 17:16:12

四季(雀) @sai_corone

@Ag_smith 配属前にPythonならまだしも、Julia経験者強い

タグ：

posted at 17:17:58

#Julia言語通常の数学の習慣では、例えば整数の1は実数の1と完全に同じものとみなされます。

しかし、コンピュータでの計算でInt64の1とFloat64の1.0を同一視はできない。

この違いを isequal や == はうまく吸収してくれています。例えば、isequal(1, 1.0) や 1 == 1.0 はtrueになります。

タグ： Julia言語

posted at 17:21:34

山田ゴンザレス花子 @ygonzales875

#Julia言語そういう仕様は == だけではなく、基本的な演算でもそうなっています。2 * 4.5 はネイティブコードのレベルで 2.0 * 4.5 と完全に同じ。

Juliaはこういう仕様を多重ディスパッチによって、異なる型間の == による比較や * による演算を型昇格後に行うようにすることで実現しています。

タグ： Julia言語

posted at 17:26:29

ColabでjuliaのPlotsが読み込めないんだけど何

タグ：

posted at 17:37:45

非公開

タグ：

posted at xx:xx:xx

Dean Markwick @DeanMarkwick

How to get cryptocurrency data into #julialang using Alpha Vantage dm13450.github.io/2021/03/27/Cry...

タグ： julialang

posted at 19:27:02

たばすこ @brv00

@Anno0770
After seting ubuntu-in-termux, in my home directory, execute

wget julialang-s3.julialang.org/bin/linux/aarc...
tar -xvzf julia-1.6.0-linux-aarch64.tar.gz

(I copied the file name from download page(julialang.org/downloads/))

and set the PATH.

That is all i did. pic.twitter.com/IZ4FpqSzMj

タグ：

posted at 20:04:22

たばすこ @brv00