Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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年08月11日(水)

yudai.jl @physics303

21年8月11日

おおー!なるほど、こうやるのか!勉強になりました!!
twitter.com/genkuroki/stat...

タグ:

posted at 00:40:45

umedam @umedam

21年8月11日

日本の大学生で人文科学専攻が多いのは,民主主義で放っておいたからではなく,大学教育の拡大を民間にやらせた「資本主義」のせいではなかろうか。理系だと教育コストが高く(補助金の少ない私学では)学費が4-5割ほど割高,卒業後の収入や就職率に大きな差がなければ需要側も供給側も文系を選好。

タグ:

posted at 01:25:53

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 多重ディスパッチのカジュアルな使い方を覚えるには、自分が定義した型のオブジェクトのデフォルトでの表示の仕方を Base. show の定義で設定することを試すとよいです。

Hello型オブジェクトHello(a)が Hello, a! と表示されるようにするには、Base. show(io::IO, x::Hello) を定義。 twitter.com/genkuroki/stat... pic.twitter.com/LXAKAS0Qw8

タグ: Julia言語

posted at 05:33:57

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 上のままだと、Hello(π) が

Hello, π = 3.1415926535897...!

と表示されない。そのように表示されるようにするには、Base. show(io::IO, ::MIME"text/plain", x::Hello) を定義してやります。 pic.twitter.com/wLqbFQkAQB

タグ: Julia言語

posted at 05:36:54

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語

structの定義で試行錯誤する場合には module でstructの定義を囲んで、定義の変更はモジュール全体の上書きで行うと楽です。

以上のソースコード

github.com/genkuroki/publ...

Base. show の公式ドキュメント

docs.julialang.org/en/v1/base/io-...

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

タグ: Julia言語

posted at 05:43:43

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 Base. show 函数は Base. show(io::IO, x::T) や Base. show(x::T) (Tは様々な既存の型)や Base. show(io::IO, mime::M, x::T) (MはMIME型の)の形のメソッド達で構成されています。(Juliaの函数はメソッド(計算法)の集まりで、素朴に理解できる。)

タグ: Julia言語

posted at 05:51:09

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 上でやったことは、Base. show函数に、引数がユーザー側が独自に定義した型のオブジェクトを含む場合のメソッドを追加することです。

その追加の結果、ユーザー定義の型のオブジェクトのREPLなどでの表示のされ方が変化します。

タグ: Julia言語

posted at 05:51:09

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 他人が定義した函数に自分が定義した型を扱うためのメソッドを追加することはよく行われます。

他人が定義した型を扱う函数を作ったり、自分が定義した函数に他人が定義した型を扱うメソッドを追加することもよく行われます。

Juliaでのプログラミングはこれらの繰り返しになる。

タグ: Julia言語

posted at 05:56:18

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 たとえば

f(x) = 2x

で函数fを定義した人は「任意のxについて2xを計算するメソッド」を持つ函数を定義したことになります。さらに

f(x::AbstractString) = x^2

と定義すると、「文字列xを二重に連結するメソッド」を函数fに追加したことになる。AbstractStringは既存の型です。

タグ: Julia言語

posted at 06:01:46

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 例えば、Base. show(io::IO, x::T)というメソッドがIO型のオブジェクトioの所有物でもないし、表示されるT型のオブジェクトxの所有物でもないことが、実用的に非常に重要なポイントで、クラスベースのオブジェクト指向スタイルよりも圧倒的に気楽にコードを書ける理由になっています。

タグ: Julia言語

posted at 06:05:30

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 表示を司るメソッドはIO型の所有物でもないし、表示される型Tの所有物でもない。表示に限らず、あらゆる場合にそうなっている。

せっかくこういう気楽な世界になっているのに、そこに、「メソッドはクラスやインスタンスの所有物になる」という発想を持ち込むと苦しくなります。

タグ: Julia言語

posted at 06:10:22

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 「メソッドはクラスやインスタンスの所有物になる」というスタイルを捨てた御利益は、

 他人が書いたコードに一切の変更を要求することなく、
 そこに自分独自の型や機能を気楽に追加できるようになること

です。(「追加」については上で述べた。)

タグ: Julia言語

posted at 06:14:35

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語

* 他人が定義した函数に自分が定義した型を扱うメソッドを自由に追加できる。

* 他人が定義した型を扱う函数を書いたり、他人が定義した型を扱うメソッドを自分が定義した函数に自由に追加できる。

本当に何も考えずに自然に自由にできてしまいます。

タグ: Julia言語

posted at 06:17:57

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 最近印象的だったのは、「Landau分布をJuliaで扱うには?」という質問に、確率分布を扱う基本パッケージのDistributions.jlにLandau分布を追加する別の独自パッケージLandauDistribution.jlが紹介されていたシーンです。

discourse.julialang.org/t/landau-distr...

github.com/Moelf/LandauDi...

タグ: Julia言語

posted at 06:23:13

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#数楽 以下のスレッドを書いていて、

 数学の解説は個性が出易い分野である

という持論がさらに強化された感じがしました。

自分の名前(一貫したペンネームでよい)のもとで個性的な数学の解説を書く人が増えるとよいと思います。

そして実際に読者を得るのは魂のこもった個性的な解説だと思う。 twitter.com/genkuroki/stat...

タグ: 数楽

posted at 06:48:55

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 表示函数を定義するとき、後で表示結果を文字列で取得したくなる可能性があるなら、

function show_Hello(io::IO, x)

end
show_Hello(x) = show_Hello(stdout, x)

とIO型オブジェクトへの表示函数経由で、stdoutへの表示函数を定義しておくとよい。sprintでつかえるようになる。 pic.twitter.com/BGaYws9tjb

タグ: Julia言語

posted at 07:13:37

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 続き。一般に f(io::IO, x) 型の表示函数について、文字列をえるために sprint(f, x) が使えます。

すでに用意されている函数で使い易い部品となる函数を書けるようになると色々手間が省けるようになることもあるかも。

ソースコード
github.com/genkuroki/publ... pic.twitter.com/wV2bxN02mi

タグ: Julia言語

posted at 07:16:57

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 このスレッドの内容は、プログラミングのスタイルやパッケージ群のエコシステムに関する話になっており、Juliaについて過剰に話題になり易い「計算速度」と無関係の内容です。

Juliaの多重ディスパッチによる機能の整理の仕方やエコシステムの形成についてもっと話題になってよいと思う。

タグ: Julia言語

posted at 07:20:50

黒木玄 Gen Kuroki @genkuroki

21年8月11日

あと、数学書好きの多くは「高度で難しいことについて書かれているように見える本を好む」という傾向を持っていると思います。

だから、紹介した梶原健さんの本はそういう人達に表紙を見ただけで敬遠される可能性がある。

しかし、その内容は独自のアイデアに満ちた本格的なものになっています。

タグ:

posted at 07:27:19

黒木玄 Gen Kuroki @genkuroki

21年8月11日

数学書は見た目で判断しちゃダメ。

あと、有名でない本の中にも良いものが沢山ある。

タグ:

posted at 07:27:20

中村哲治 @NakamuraTetsuji

21年8月11日

背景には「緊縮財政」があります。
入管施設で働こうとする医師は少ない。待遇も悪い。
矯正施設も同様。

法務行政を経験した者は理解しています。
でも退官するまでは政府方針に逆らって財源不足を口にすることはできない。

収容のスリランカ人女性死亡 “体制不十分” www3.nhk.or.jp/news/html/2021...

タグ:

posted at 07:37:52

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 My.Hello型オブジェクトのshowによる表示のされ方はrepr函数で文字列にできます。

github.com/genkuroki/publ... pic.twitter.com/QNd6IRZcv2

タグ: Julia言語

posted at 07:40:49

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 表示のされ方を容易に文字列にできることは、テストを書くときに必要になったりします。

タグ: Julia言語

posted at 07:41:45

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 の多重ディスパッチは mixed-type arithmetic の問題も解決しています。

すなわち、Juliaは、異なる型を持つxとyに対して、x + y や x * y を適切に定義してかつ、(これが重要→)ユーザー側にも異なる型のオブジェクト間の演算を適切に定義する方法を提供することに成功しています。

タグ: Julia言語

posted at 07:59:54

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 例えば、有理数の型を持つ a, b から複素数の型を持つ a*1im + b*1im が添付画像のように適切に得られます。有理数からガウス体ℚ(√-1)の要素のようなものが得られている(添付画像①)。

Pythonはこのような mixed-type arithmetic が適切に実装されていません(添付画像②)。 pic.twitter.com/4jOJ9fiTBN

タグ: Julia言語

posted at 07:59:56

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 mixed-type arithmetic は Swift でさえうまく実現することができないでいるようです。添付画像は github.com/apple/swift-ev... より。Juliaで実現されたことがNon-goalsになってしまっています。

この点はJuliaのパラメトリック型による多重ディスパッチの優れた点だと思います。 pic.twitter.com/Urof7FuAFq

タグ: Julia言語

posted at 08:05:37

黒木玄 Gen Kuroki @genkuroki

21年8月11日

個人的な意見では #Julia言語 の優れた点を他言語も適切な方法で取り込んでくれるとみんな幸せになれると思います。

Juliaにも苦手なことがあるので、Juliaのよい点を部分的に他言語が取り込んでくれると色々助かる。

タグ: Julia言語

posted at 08:05:38

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 が mixed-type arithmetic の実現のための promotion problem をどのように解いているかについては公式ドキュメントの

docs.julialang.org/en/v1/manual/c...

を参照。

タグ: Julia言語

posted at 08:11:10

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 promotion problemの一般的な解決には本質的に、Juliaのパラメトリック型が使われており、Case Study: Rational Promotionsの例が本質的に重要。

分子分母の整数型が混ざった演算を適切に行う方法をパラメトリック型を使って実現。

github.com/JuliaLang/juli...

docs.julialang.org/en/v1/manual/c... pic.twitter.com/cF8ZW3DHQy

タグ: Julia言語

posted at 08:21:53

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 例えば分子分母がInt64型の有理数と分子分母がBigInt型の有理数の和の計算では、前者を分子分母がBigInt型の有理数に変換(昇格 promote)させてから、たし算を計算して欲しいのですが、Juliaでは実際にそうなっています。続く pic.twitter.com/mb7O49W5b1

タグ: Julia言語

posted at 08:26:47

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 このような仕組みの実現には「分子分母がT型の有理数の型」がないと苦しいです。Juliaでは型パラメータT付きの型Rational{T}を定義して、それを多重ディスパッチで利用することによって、有理数型の適切な昇格を実現しています。

言われてみればほとんど当たり前に聞こえる解決策。 pic.twitter.com/iGxC1mrhin

タグ: Julia言語

posted at 08:29:59

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 のパラメータ付きの型による多重ディスパッチを当然の前提にすると、他の方法では苦労しなければいけない多くの問題がほとんど自明に解けてしまいます。

「うん、それは当たり前の方法だ」という感じで解ける。

「計算速度云々」とは無関係にJuliaは相当に面白い対象だと思います。

タグ: Julia言語

posted at 08:34:36

黒木玄 Gen Kuroki @genkuroki

21年8月11日

私がリアルワールドで聞いた話によれば、中学生あたりもひろゆきのYouTube動画を結構面白がって見ているようです。

そういう能力に秀でている人物なので我々は相当に注意を払うべきなのかもしれないと思いました。

たぶんあのスタイルに中高生の段階で影響を受ける子も出て来る。 twitter.com/takeokato719/s...

タグ:

posted at 08:42:10

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月11日

数値計算のコードを書くときに、浮動小数点数型(もしくは限界精度)によらない一般的なアルゴリズムウィ記述したいと要求すると、ほぼ必然的に浮動小数点数を含む場合の mixed-type arithmetic を実現する必要が生じます。

タグ:

posted at 08:54:12

黒木玄 Gen Kuroki @genkuroki

21年8月11日

例えば

f(x) = 2x

というコードで、Int64, Float64, Float32, BugFloat型の数を2倍する函数を一挙に作れないと不便です。型ごとに

f(x::Int64) = 2x
f(x::Float64) = 2.0x
f(x::Float32) = 2f0x
f(x::BigFloat) = big"2.0"*x

と書くのはつらすぎる。

タグ:

posted at 08:54:13

黒木玄 Gen Kuroki @genkuroki

21年8月11日

型の昇格について理解していれば、浮動小数点数の計算のコード中に整数を意味する2を気楽に書くことができるようになります。多くの場合にわざわざ2.0のように書く必要はない。

タグ:

posted at 08:56:22

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 最初の例である「Base. show(io::IO, x::Hello)の定義」を見るとわかるように、Juliaは

 オブジェクトobjにメソッドfがobj.fの形式でぶらさがるスタイル



 相性が悪い

です。

show(io::IO, x::Hello)メソッドはIO型オブジェクトioにもHello型オブジェクトxにもぶらさがらない。

タグ: Julia言語

posted at 09:05:06

黒木玄 Gen Kuroki @genkuroki

21年8月11日

「オブジェクトにメソッドがぶらさがる」というスタイルを捨てたお陰で、パラメトリック型による多重ディスパッチ(より正確には動的多重ディスパッチ)によって、非常に気楽に色々なことをできるようになったのが #Julia言語 です。

タグ: Julia言語

posted at 09:07:22

あんちもん2 @antimon2

21年8月11日

@cometscome_phys それよりあの発言は、Juliaは最近急速に発展した言語で枯れた情報が少ないことも踏まえて「検索する側がその情報を自分に取り込む際に『どれだけ古い情報か』ということと『それが今も通じるか』ということを見極める能力が必要だよね」ということを言っているのだと思ってました。

タグ:

posted at 09:07:51

志位++和夫 @hyper0dietter

21年8月11日

Juliaはゴリゴリ変更がされるしそれでいい。日本語で探してキーワードを知って、最新の公式ドキュメントや実装を見に行って読むことで深い理解と英語が学べる。良いことばかりじゃないか!!

タグ:

posted at 09:11:47

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月11日

単独で動く小さなバイナリの生成は現時点ではまだ苦手です。(数年後にはこの発言が時代遅れになっているかもしれませんが)

個人的な意見では、多くの使用目的においてこれは無視できる欠点です。

しかし、解決すると嬉しい人達がいることもわかる。(でも、動的ディスパッチはどうするんだろうか?) twitter.com/__dalong/statu...

タグ:

posted at 09:18:25

黒木玄 Gen Kuroki @genkuroki

21年8月11日

Juliaで、メタプログラミング使いまくりの基本特殊函数の爆速実装を書いて(コードの自動生成は強力)、それをコンパイルした結果をバイナリのライブラリとしてJulia無しの環境でも利用できれば非常に便利だと思うのですが、そういうことを現時点ではまだ気軽にはできない。(おそらくできるようになる)

タグ:

posted at 09:18:26

黒木玄 Gen Kuroki @genkuroki

21年8月11日

MITでの講義の宿題の答えでは、実際に使用されているFortranライブラリの5~6倍の速さで動く指数積分函数のコードをJuliaのマクロを使ったアルゴリズムの最適化で実現しています。

これ、Julia外でも使いたいですよね。

nbviewer.jupyter.org/github/steveng...

nbviewer.jupyter.org/gist/genkuroki...

タグ:

posted at 09:24:59

こーた丼 @rental_math

21年8月11日

大学の授業も、別に先生が提示した本を買う必要ってないですよね。図書館とかで漁って、自分が読みやすいのを買ったりすれば良い。有名な本なら中古でも流通してます。 twitter.com/genkuroki/stat...

タグ:

posted at 09:26:29

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 すでにこういう試みはある。ただし、experimentalでかつ2年ほど更新されていない。原理的には基本特殊函数のコンパイル済みライブラリをJuliaでも作れそう。

github.com/tshort/StaticC...

タグ: Julia言語

posted at 09:30:14

あんちもん2 @antimon2

21年8月11日

@NatsureNatsure 型セレクタと言います。引数に「型」そのものを受け渡す時の定石的な書き方です、つまりその例の場合
`cutoff_points(NoCutoff)`
という呼び出しができて `0` が返ってきます。
↓参考
docs.julialang.org/en/v1/manual/t...

タグ:

posted at 09:36:35

黒木玄 Gen Kuroki @genkuroki

21年8月11日

個人的な意見では、基本特殊函数のコードの整理と最適化は今後あり得る分野の1つだと思う。

ぶっちゃけ、既存のライブラリはアルゴリズム自体が十分に最適化されていないっぽい。

コード中で使われる定数の類は何らかの最適化によって自動生成されることが望ましい。

メタプログラミング必須。 twitter.com/genkuroki/stat...

タグ:

posted at 09:39:50

黒木玄 Gen Kuroki @genkuroki

21年8月11日

大昔から使われている基本特殊函数のコードに手が出し難くなっている理由は実際にコードを見ると分かります。RやJuliaで使われている不完全ベータ函数のコード(Cで書かれている)は

github.com/JuliaStats/Rma...

で読めます。2000行もあって、コードもきれいとはとても言えない。

これは手が出せません。

タグ:

posted at 09:43:37

黒木玄 Gen Kuroki @genkuroki

21年8月11日

大昔のこの手のコードのせいで、基本特殊函数のコードの最適化は相当に困難になっています。

タグ:

posted at 09:44:51

斉藤ひでみ・現職教師(西村祐二) @kimamanigo0815

21年8月11日

【岐阜新聞 2021.8.11】

岐阜新聞が、とってもとっても大事な県教委の見解を記事にして下さいました!!!

>県教委の担当者は「制服の着用は義務的ではあるが、100%の義務とはいえない」との見解を示した

▼校則「制服」記載→着用義務ない「標準服」に 県教委に要望
news.yahoo.co.jp/articles/9bdd5...

タグ:

posted at 09:52:45

斉藤ひでみ・現職教師(西村祐二) @kimamanigo0815

21年8月11日

僕が見解を変えさせたいとかではなく、もう昔(1947日本国憲法施行)っから、「呼び方が制服だろうが標準服だろうが、公立学校に服装を強制させる権限はない」というのが【揺るぎない事実】なのだ。

(添付は8/23の校則見直しガイドライン検討会議youthconference.jp/archives/3701/でのプレゼン資料) twitter.com/kimamanigo0815... pic.twitter.com/SE6GXt0Kp0

タグ:

posted at 10:00:24

斉藤ひでみ・現職教師(西村祐二) @kimamanigo0815

21年8月11日

結局、校則に合致した服装をしていないから懲戒を加えるというのは間違い。
服装に関する指導(声かけ)はできても、それが故に教育を受けさせないなんてことがあってはならないのだ。

タグ:

posted at 10:04:18

黒木玄 Gen Kuroki @genkuroki

21年8月11日

基本特殊函数のコード中で使われる定数達の自動生成には、使用する言語の機能をフルに使いたい。

定数達の自動生成から函数のコードの自動生成まで一挙にやってしまうには、Lispのような完全なマクロ(メタプログラミング)が可能なプログラミング言語の使用が望ましい。

Juliaは有力候補。 twitter.com/genkuroki/stat...

タグ:

posted at 10:04:18

Dr. Chris Rackauckas @ChrisRackauckas

21年8月11日

@UT_MAPLE @CoryMSimon Here for example is a pure #julialang LU-factorization which was shown to outperform MKL in almost all scenarios (all except full threads on larger matrices) on a Ryzen 5950X.

github.com/YingboMa/Recur...

Because of this, it is now the default in DifferentialEquations.jl.

タグ: julialang

posted at 10:23:09

Dr. Chris Rackauckas @ChrisRackauckas

21年8月11日

@UT_MAPLE @CoryMSimon It will use all cores of MKL by default if you do `using MKL`. See github.com/JuliaLinearAlg... for details.

タグ:

posted at 10:30:41

Dr. Chris Rackauckas @ChrisRackauckas

21年8月11日

@UT_MAPLE @CoryMSimon But making sure the single threaded version is well-optimized is very important though for parallelizing simulations. At say 20 ODEs (20x20 LUs) you get more performance if you run the simulations in parallel since you then fill the threads to essentially full occupancy.

タグ:

posted at 10:31:24

Dr. Chris Rackauckas @ChrisRackauckas

21年8月11日

@UT_MAPLE @CoryMSimon So for smaller ODE solves you want fast single threaded kernels which you then multithread the solve over, which RecursiveFactorization.jl does well. Then for larger ODEs you want to multithread just within the limiting LU factorization, which MKL does well.

タグ:

posted at 10:32:29

(あんちべ! 俺がS式だ) @AntiBayesian

21年8月11日

AIとチェスの歴史、よくAI側は「エキスパートシステムはチェス世界チャンピオンに勝ったけど、その後の発展性がないからAIブーム終わったんだよね」的な感じで片付けるけど、チェス側の戦い方がまさにハックって感じで良い…
ja.wikipedia.org/wiki/%E3%82%B3... pic.twitter.com/8Gm5q2zzXM

タグ:

posted at 10:49:19

Takuo Kihira @tkihira

21年8月11日

@AntiBayesian これ、Hikaru 側が舐めプしまくっていて、最後の方の 100 手くらいはただいたぶるだけの手ですw www.chessgames.com/perl/chessgame...

タグ:

posted at 10:56:54

Hiroshi Nishiura @nishiurah

21年8月11日

本日22:00からNHKスペシャルに少しだけ出ます www.nhk.jp/p/special/ts/2...

タグ:

posted at 10:57:08

yudai.jl @physics303

21年8月11日

Juliaで分からないことあってもいろいろな人が親切に教えてくれるから,なんとかなってるけど,マイナーな言語とか技術だったら,僕はそもそも「調べ方」がよくわかってないので,詰む自信がある.

タグ:

posted at 11:23:45

Hiroshi Nishiura @nishiurah

21年8月11日

9月号の「数学セミナー」に1年振りに寄稿しました。「予防接種完了時の新型コロナウイルス感染症流行を
どのように見通しているか」(西浦博).単純な数理の話ではあるのですが、ぜひご覧下さい。 twitter.com/nippyo/status/...

タグ:

posted at 11:42:38

非公開

タグ:

posted at xx:xx:xx

ジャイアン @hongoutwo

21年8月11日

【土居丈朗さんのコメント】「国の借金」は地方自治体全体の債務「地方の借金」と区別するための高級用語法で、キミたちのような無教養な連中は知らないだろうからわかりやすく使ってるんです。

だそうです。おいこら( *`ω´) #wbs

news.yahoo.co.jp/profile/author... pic.twitter.com/HRLv46KEaY

タグ: wbs

posted at 12:03:03

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月11日

他人と密に接触する、換気が不十分な部屋に数十人を詰め込む、マスクや手洗いを徹底しない、などのどれかが、私がずっと苦しみ続けて来た風邪をひくことの原因だったらしい。

タグ:

posted at 12:20:08

SpinNeuron @physics_math_me

21年8月11日

Need to submit quite a few jobs to the production cluster. Encountered an issue with the #JuliaLang JLD package.
Could not fix it for a few days. Left it be for a while, came back today, fixed within 5 minutes.
It turns out, the registry was broken.
Thank you StackOverflow! pic.twitter.com/smUXKjGSbB

タグ: JuliaLang

posted at 12:28:14

じゅえき太郎 @juekitaro

21年8月11日

威嚇中のクワガタの前にゼリー出してみた。 pic.twitter.com/cAmOeoyoAn

タグ:

posted at 13:55:46

山下宏 @yss_aya

21年8月11日

Aoba駒落ちで、香落ちの上手が角道を止める三間飛車を指してます。香落ちでは上手は振飛車がよい、が定跡ですが、初めて再発見できたことになります。最近のAIは振飛車全否定ですが、振飛車もまだ可能性があるように思います。www.yss-aya.com/komaochi/no_no...

タグ:

posted at 15:38:46

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月11日

コンパイラが「賢い」ということを忘れてBenchmarkTools.jlによる計測に失敗することがよくある。

タグ:

posted at 16:34:14

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#数楽 一般に

(1) xᵃ∂ᵃ⁺ᵇxᵇ = ∂ᵇxᵃ⁺ᵇ∂ᵃ

ゆえに

(2) xᵃ∂ᵃ⁺¹x = ∂xᵃ⁺¹∂ᵃ

が成立しているので、

(∂x∂)ᵏ = ∂x∂²x∂²x∂²…∂²x∂

に(2)を左側から順番に適用すれば

(∂x∂)ᵏ = ∂ᵏxᵏ∂ᵏ

が得られます。続く twitter.com/juvenile_crime...

タグ: 数楽

posted at 16:59:06

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#数楽

(1) xᵃ∂ᵃ⁺ᵇxᵇ = ∂ᵇxᵃ⁺ᵇ∂ᵃ

は [∂, x] = 1 よりも、もっと一般的なA₂型Serrw関係式

[∂, [∂, x]] = [x, [x, ∂]] = 0

から証明されます。さらにA₂型q-Serre関係式の仮定まで弱めても(1)が成立している。(1)はVerma加群と関係があるので、Verma関係式と呼んだりする。

タグ: 数楽

posted at 16:59:07

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#数楽 Verma関係式から、パンルヴェ系に作用する双有理変換(ベックルント変換)の量子版を作れる。q-Serre関係式版からはq差分版パンルヴェ系のベックルント変換の量子版を作れる。

さらに、τ変数の量子版もある程度作れて、非可換多項式性という非常に良い性質をもつことも示せる。

タグ: 数楽

posted at 17:03:51

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#数楽 q-Serre版のVerma関係式の証明はLusztigさんの量子群の教科書に一般的な場合の証明が書いてあります。

A₂型程度の易しい場合には直接的な計算でも容易に証明できます。その容易な場合の直接的な証明はq-Serre関係式の使い方の良い練習問題になっています。

タグ: 数楽

posted at 17:07:19

Katsushi Kagaya @katzkagaya

21年8月11日

Linuxを最初から使うのがしかし一番おすすめ…メモリは多い方がいい(あたりまえ

タグ:

posted at 17:24:03

Massimo @Rainmaker1973

21年8月11日

Fluidic Oscillators are devices with no moving parts that generate an oscillating jet of fluid at high frequencies bit.ly/2uf3aHw [source of the gif: buff.ly/2FhCni3] pic.twitter.com/bvT1AghrdF

タグ:

posted at 17:30:00

黒木玄 Gen Kuroki @genkuroki

21年8月11日

最近のCPUは6コア12スレッドとかが普通になっているので、メモリは多めの方がよい。メモリの容量を12で割ると急に心細くなる。4コア8スレッドでも似たようなもの。

タグ:

posted at 17:31:51

Uryu Shinya @u_ribo

21年8月11日

Julia言語のコードを題材にした統計学の教科書📙
Juliaの時代来るか!?(いつも言ってる) twitter.com/ynazarathy/sta...

タグ:

posted at 18:58:45

sekkai @sekkai

21年8月11日

さすが、新型コロナウイルスは捏造、コロナ様症状は 5G 電波が引き起こしている健康被害、非接触式体温計からの赤外線で松果体に障害がなどの妄言を繰り返しノーマスクデモを繰り返して自民党を除籍になった池田としえ日野市市議の応援演説に行ってただけあるなと思った。 twitter.com/katayama_s/sta...

タグ:

posted at 19:32:32

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ナゾロジー@科学ニュースメディア @NazologyInfo

21年8月11日

筋トレが「無酸素運動なのに脂肪を燃やす」仕組みが明らかに
nazology.net/archives/94430

なぜ短時間の無酸素運動で痩せるのか?その詳細を初めてケンタッキー大が解明。筋トレを行ったとき、筋肉は脂肪細胞に向け「燃焼の命令を持ったタンパク質」を放出すると明らかにしました。 pic.twitter.com/a1IMZN95bO

タグ:

posted at 20:02:00

Gィ @AcceptedArai

21年8月11日

Juliaあんまり触れてないけど、俺の考えた最強のプログラミング言語感あって好きなのだ

タグ:

posted at 20:16:43

非公開

タグ:

posted at xx:xx:xx

Qiita_Python @qiita_python

21年8月11日

PythonのPDF作成用ライブラリを試してみた。 - qiita.com/shiro01/items/...

タグ:

posted at 21:26:04

広江 克彦 @eman1972

21年8月11日

これいつも不思議だったよ。空腹で筋トレすると筋肉を分解して利用してしまうから何か食べてからやれとか言われるんで、じゃあ、いつ脂肪使うんだよって思ってた。 twitter.com/nazologyinfo/s...

タグ:

posted at 21:32:08

Massimo @Rainmaker1973

21年8月11日

Rubbing the stick over the notches creates both vertical and horizontal vibrations, and leads to an elliptical motion of the nail in the center of a propeller, which begins to rotate. This is a Gee-Haw Wimmy Diddle buff.ly/2JdjdhQ [explanation: buff.ly/2RmCuO0] pic.twitter.com/rjgE1hUUMn

タグ:

posted at 22:30:00

ceptree @ceptree

21年8月11日

たのしいやつだ

Understanding Maximum Likelihood
An Interactive Visualization
rpsychologist.com/likelihood/ pic.twitter.com/kyOcbmFHLn

タグ:

posted at 22:46:22

@Mihoko_Nojiri

21年8月11日

いや日本は尾身先生でよかった。

タグ:

posted at 23:00:59

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年8月11日

#Julia言語 あるパッケージが古いパッケージに依存していると、すべてのパッケージを最新にできなくなったりします。

その問題を回避するには、適当な空のディレクトリに移動して、

pkg> activate .
pkg> add PkgYouWantNewest
julia> using PkgYouWantNewest

のようにして使うとよいです。 twitter.com/natsurenatsure...

タグ: Julia言語

posted at 23:53:11

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました