黒木玄 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月19日(土)
Primes.jlを使ってJuliaでもやってみました。f(2)~f(23)まで素数であるものが2つ見つかりました。(数分です!)f(x)= 437286240x+1が1つ目です。#julialang twitter.com/dannchu/status... pic.twitter.com/NL0TBfrfs0
タグ: julialang
posted at 01:02:24
新しい記事がZennにアップされました!#Julia言語 #Julia日本語記事
zenn.dev/hyrodium/artic...👈
タグ: Julia日本語記事 Julia言語
posted at 01:02:39
Julia日本語記事botがフォロワー200人を突破しました!ありがとうございます〜!🙌🙌
何か追加して欲しい機能などあればお気軽にリプ等ください! twitter.com/julia_kizi/sta... pic.twitter.com/dak2mU2pgk
タグ:
posted at 01:13:37
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
#Julia言語
スタイルガイドが
docs.julialang.org/en/v1/manual/s...
にあります。これと合わせて、パフォーマンスのためのヒント
docs.julialang.org/en/v1/manual/p...
とワークフローの例
docs.julialang.org/en/v1/manual/w...
の3つの文書に最初に目を通しておくと楽です。
特にPythonスタイルの多くが通用しない点に注意。 twitter.com/keysnow404/sta...
タグ: Julia言語
posted at 02:24:40
個人的な意見では #Julia言語 は特にPythonとは大きく違うと思う。
全然似ていない。
Pythonでの「普通」をJuliaに持ち込もうとすると大抵の場合に有害。
docs.julialang.org/en/v1/manual/n...
タグ: Julia言語
posted at 02:31:52
#Julia言語 どうしても public と private の区別が必要だと思うなら、propertynames函数について理解すればよいと思う。
公式ドキュメントによればpropertynamesで返される名前達がpublic propertiesの名前達になります。
docs.julialang.org/en/v1/base/bas... pic.twitter.com/tfPx65SVnf
タグ: Julia言語
posted at 02:51:12
#Julia言語 実際に、public properties の名前達を propertynames で得られるようにした例。
平面ベクトルと標準基底(1, 0), (0, 1)の型と演算を定義しています。標準基底の型は
struct CanonBasis{T, i} <: AbsteactPlanarVector{T} end
でフィールドを持ちません。
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/Yrl5ta2cNJ
タグ: Julia言語
posted at 03:00:16
I've been using @NotionHQ for a few years now and enjoy the app. I was glad to see one of my requests to add inline LaTex support was fulfilled, and it is now possible. Thank you!
Today's request: the syntax highlighting for #JuliaLang within the code blocks, please. Thanks!:) pic.twitter.com/4VLqEOuKf8
タグ: JuliaLang
posted at 03:06:23
#Julia言語 標準基底との内積は多重ディスパッチによって効率的に実装されています。コンパイル結果に無駄がないことを確認できる。 pic.twitter.com/VTitb33gNO
タグ: Julia言語
posted at 03:09:34
#Julia言語
qiita.com/tenfu2tea/item... にあるhasmethodによる動的なHoly traitでの最適化について
hasmethodではうまく行かず、 github.com/oxinabox/Trick... の static_hasmethod を使わないといけないということになっているようです。
github.com/genkuroki/publ... pic.twitter.com/BS5M9KokiX
タグ: Julia言語
posted at 03:39:30
#Julia言語 意味的には同じことをやっているはずのf_dynamic (hasmethodを使用)とf_static (static_hasmethodを使用)では、@ code_typed の結果が劇的に違い、後者では無駄なコードが全て消え去っている! pic.twitter.com/DOlthhAu3J
タグ: Julia言語
posted at 03:45:26
Juliaのエコシステムを使い始めると、「メソッドは特定のクラスやオブジェクトの保有物になる」というスタイルの強制は相当に不便であり、「他人が書いたコードに変更を一切要求せずに、別の型や函数を追加して気軽に利用すること」にとって邪魔になることがよく分かります。
タグ:
posted at 05:00:26
#超算数
「晒すな」警察の皆さん、これはどうですか?
このツイートは、問題も採点も批判していませんよ。
単に、「漢数字じゃないと×」と採点基準を述べて、
「間違えで90点」と客観的事実を述べているだけです。
これならいいですよね? twitter.com/nyannyantaroo/...
タグ: 超算数
posted at 05:34:12
新しい記事がZennにアップされました!#Julia言語 #Julia日本語記事
zenn.dev/dannchu/articl...👈
タグ: Julia日本語記事 Julia言語
posted at 07:51:07
短足マンチカン ひな子 (ねこ) @hinako_munchkin
ひな、おきた
もぐもぐ
#ねこ pic.twitter.com/4nkkNz9FRN
タグ: ねこ
posted at 08:23:46
恒星間植民で拡散する宇宙文明のシミュレーション
iopscience.iop.org/article/10.384...
亜光速船で近隣恒星系を植民して次の星へ(何万年といった時間間隔)。前線がバルジに到達すると星密度と銀河の回転が有利に働いて一気に拡大
(SETIするなら銀河中心部狙うべき) pic.twitter.com/ZIrYUQ6F49
タグ:
posted at 11:21:14
Thank you @Amazon for removing a book on anti-vaccine conspiracy theories from Amazon.co.jp top-selling list and no longer carrying it! We Japanese have been feeling hopeless about the lack of any action compared to English-speaking countries, but now we see hope! twitter.com/sekkai/status/...
タグ:
posted at 11:26:15
内海聡の反医療・反ワクチン陰謀論の新著が日本の Amazon で書籍部門のベストセラー1位になっているのをどうにかしてほしいとアメリカの Amazon に訴えたところ、即日リストから削除され日本版 Amazon でも取り扱いが消えました!!日本もまだ見捨てられてなかったんだ😭🙏🏻✨ twitter.com/sekkai/status/...
タグ:
posted at 11:29:45
まっくろくろすけとポンポコリンのぽんた @kurosuke_neko
今日も元気なハチの髭。( ・̀灬・́ )#猫 pic.twitter.com/KxDsBLVK9f
タグ:
posted at 11:30:10
@sekkai 信者が嘆いてましたね😂
私は明日一回目打ってきます!
まだ打てない子供達を守る為にも打てる人はどんどん打って欲しいです🙏🏻 pic.twitter.com/Mxbso1eBrf
タグ:
posted at 12:07:19
@syutoken_sanka @amazon わ〜!!こんないちユーザーからの声を聞いてくれるなんて、本当に感激です。単なる傍観者でいなくて良かったです😭✨
タグ:
posted at 12:11:25
オーストラリア南東部のビクトリア州で、河畔の少し高い土地を面的に覆うクモの巣が風にそよいでいる不思議な風景の動画。最近の洪水で川の水位が上がった際に、地表付近にいた多数のクモが溺れるのを免れるために糸を植生にひっかけて上に登ったことの痕跡。 via @Reuters pic.twitter.com/Q03q5cr3mB
タグ:
posted at 12:31:02
@sekibunnteisuu @r3teacher 学習指導要領は告示ですが、学習指導要領解説は単なるいち著作物に過ぎません。れいさん、それらの区別が曖昧ではないですか?
「解説」という名前になった理由は拘束力を持つと誤解されていたからです。
学習指導要領解説算数編は不明瞭な記述の多い杜撰な文献なので従うべきではありません。 twitter.com/genkuroki/stat... pic.twitter.com/nauVxO9rRf
タグ:
posted at 12:51:16
@sekibunnteisuu @r3teacher 現行の学習指導要領における算数の目標は
【数学的な見方・考え方を働かせ,数学的活動を通して,数学的に考える資質・ 能力を次のとおり育成することを目指す】
になっており、数学的常識に反する教え方を算数の授業ですると指導要領に反することになり、公に問題にされる可能性もあると思います。 twitter.com/genkuroki/stat...
タグ:
posted at 12:56:37
まず米国で感染が再拡大している事実はなく、英国での拡大は δ VOC に AstraZeneca vector ワクチンの効果が薄いからで、チリ採用の中国 Sinovac 不活化ワクチンはそもそも既存株に54%しか予防効果がありません。それを毎日新聞顧問の名前で mRNA ワクチン採用の日本と比較するのは極めて不誠実です。 twitter.com/pinpinkiri/sta... pic.twitter.com/bE2zw1b2Y2
タグ:
posted at 13:02:24
@sekibunnteisuu @r3teacher ①学習指導要領解説算数編に書いてある【一つの数を表すために()を用いる】は非常識なデタラメです。
②常識的には0はあらゆる数の倍数なので、算数の授業でもそのように教える必要があります。現在の学習指導要領解説算数編の説明は教師を混乱させるでしょう。
twilog.org/genkuroki/sear... pic.twitter.com/Avd2TnyNgB
タグ:
posted at 13:06:32
@sekibunnteisuu @r3teacher 学習指導要領解説算数編の現場教師への影響力は強いので、誰が学習指導要領解説算数編のどの部分を書いたかを文科省は公開して、執筆者個人に社会的な責任が生じるようにするべき。
しかし、現実には誰がどの部分を書いたのか分からないようになっています。この無責任体制には問題あり過ぎ。
タグ:
posted at 13:13:00
@sekibunnteisuu @r3teacher 学習指導要領解説算数編のような著作物は、GitHubのような仕組みを用いて、誰がどの部分を書いたのか、そして、その部分のレビューを誰がどのように行なったかが事後的にわかるようなやり方で編集・執筆し、杜撰で有害な説明を書いたり、レビューで通した人物が分かるようにしておくべきだと思います。
タグ:
posted at 13:15:47
@sekibunnteisuu @r3teacher 現行の学習指導要領における算数の目標が「数学」を強調するように改定されてことには、算数の授業で数学を蔑ろにするなというメッセージが込められているともみなせます。
一方、学習指導要領解説算数編には伝統的でデタラメな教え方に親和的な記述が増えました。
学習指導要領の側に従うべき。
タグ:
posted at 13:23:40
ほりたみゅ (mastodonも見てね) @Hyrodium
JuliaのdiscourceにImageClipboard.jlのPackage announcementした(初投稿)
discourse.julialang.org/t/ann-announci...
タグ:
posted at 13:33:43
@sekibunnteisuu @r3teacher 学習指導要領における算数の目標は「数学」を強調するように改定されているのに、学習指導要領解説算数編の側では、算数教育界における伝統的でデタラメな考え方に親和的な記述を具体的に誰が増やして誰がレビューしたのかは分かっていません。
分かるようにすることは算数教育の改善に必要だと思う。
タグ:
posted at 13:44:52
@sekibunnteisuu @r3teacher 引用【気持ち悪いおじさんのリプを禁止します。】
現行の学習指導要領に従って数学的考え方を算数の授業で教えるべきで、非常識でデタラメな考え方を含む算数教育界特有の有害な教え方をせよと指導して来る人達を「気持ち悪い」と思うべき。
非常識な考え方で子供を害する側にまわるかどうかの問題。 pic.twitter.com/enR6cWdbD8
タグ:
posted at 15:07:27
非公開
タグ:
posted at xx:xx:xx
@abap34 struct Foo <: AbstractFoo
a
b
end
のように書くと型不安定になって、実用的な速さで計算できないと思う。
Juliaでは「具象型の伝搬を記述し切る」という考え方がコードを書くときの出発点になります。
docs.julialang.org/en/v1/manual/p...
Performance Tips
では型の伝搬の確保の仕方も学べます。
タグ:
posted at 15:17:54
I used R for about 3 years 10 years ago and then saw an announcement about #JuliaLang and haven’t used R since. Julia is pretty good. twitter.com/derekwillis/st...
タグ: JuliaLang
posted at 15:58:14
#julialang
直感的かつ数値計算との相性が良い形でグラフが描ける.
そう,Julia言語ならね. pic.twitter.com/Pz6hJ2TbrK
タグ: julialang
posted at 16:49:25
#Julia言語 無駄に複雑になっていたので書き直した。
特に抽象平面ベクトルの演算の定義の部分。添付画像②
whereは減らせるなら減らしたい。
自分で + - * \ / が定義された型を作るのは楽しいので、みんなやってみるとよいと思う。添付画像②を真似すればよい。
github.com/genkuroki/publ... pic.twitter.com/9iZcx6VIop
タグ: Julia言語
posted at 17:07:40
#Julia言語 では x と y の型が異なるとき(例えば x が 整数+整数×虚数単位 で y がFloat64型のとき)、x + y などの演算結果をどの型の値にするか、という問題が多重ディスパッチで解決されている。
型の伝搬は型のプロモーションによっても起こる。
Juliaのコードは型の伝搬を意識して書く。 pic.twitter.com/tZIDMMouUZ
タグ: Julia言語
posted at 17:13:21
#Julia言語 x と y の型が異なるときの x + y, x - y, x * y, x / y などのmixed-type arithmeticの自然な定義を可能にする問題の解決に、多重ディスパッチを採用していないプログラミング言語は苦労(もしくはぶっちゃけ失敗)している。
例えばSwiftはこんな感じで苦労
↓
github.com/apple/swift-ev... pic.twitter.com/XaMNEJzSAF
タグ: Julia言語
posted at 17:21:09
Ukrainian girls do play shogi!
#shogi #Kyiv #Ukraine #etno #chess #japanesechess #nationalcostume pic.twitter.com/JHqmd3OI7a
タグ: chess etno japanesechess Kyiv nationalcostume shogi Ukraine
posted at 17:27:58
#Julia言語 mixed-type arithmeticには多くの言語が苦労している。
Pythonだと
from fractions import Fraction
Fraction(1, 10) * 1j + Fraction(2, 10) * 1j
→0.30000000000000004j ❓❓❓
Juliaなら
1//10 * 1im + 2//10 * 1im
→0//1 + 3//10*im
discourse.julialang.org/t/is-julias-wa... pic.twitter.com/FiAyRx7Ewz
タグ: Julia言語
posted at 17:43:37
非公開
タグ:
posted at xx:xx:xx
Jupyter notebookが【入力 [33]】のように日本語化されて欲しくない人は、ディレクトリ
~/.julia/conda/3/Lib/site-packages/notebook/18n/ja_JP
~/Anaconda3/Lib/site-packages/notebook/18n/ja_JP
の名前を変えちゃうという手が使えます。 twitter.com/iitenki_morute...
タグ:
posted at 18:05:26
ソラシド@C102 2日目 東V02a @yunyeungcha
ブラジルは治安の悪さの割には驚異のストビュー網羅率を誇っているが全体図を見ると明らかに取材班が避けてるエリアがあっていわゆるヤバいファベーラが一目瞭然で分かってしまうという知見を得た pic.twitter.com/ftGbcV5TJM
タグ:
posted at 18:12:43
ストリートピアノで撮影の準備してるだけで男子高校生に絡まれるYouTuberがこちら byよみぃ 【白日,夜に駆ける,鬼滅の刃メドレー】
youtu.be/R1k4j6x5LyY
動画上げました
タグ:
posted at 18:57:47
jupyter上で対話的にDataFrameをソート・フィルタ・編集することができるライブラリ
github.com/quantopian/qgrid pic.twitter.com/QvpQOGQO70
タグ:
posted at 19:07:00
#julialang ライブラリにある関数のパラメータの意味を調べる方法について教えてください。ドキュメントには細かく書かれていない(私が見つけられていないだけかも)ような気がします
タグ: julialang
posted at 20:04:17
This riderless bike took about four months to be made and it's almost totally open source [source, credit, full video: buff.ly/3iTxr7G] [hardware and structure on github: buff.ly/3gJ0nfU] pic.twitter.com/e2cvcikGgP
タグ:
posted at 20:09:43
「子どもは人質」とは正直な小学校教員だ。 twitter.com/shimajiro_kita... pic.twitter.com/3CFuNrF2HV
タグ:
posted at 20:16:45
非公開
タグ:
posted at xx:xx:xx
@nithin_eco @quinn_jacobd @EliasCarv1 I think so. If there's some functionality you need that's not yet in a package, you can always call R from Julia. Most people don't do this though, because it's so easy to build packages with good performance directly in Julia.
タグ:
posted at 20:31:36
@aeba_chan #Julia言語
#Julia言語 グローバル変数を引数を経由せずに函数の中でナマで使うのはダメですが、グローバル変数を引数として渡していれば問題ないです
あと、配列にの確保は重いです。場合によっては既存の配列を使った計算より遅い。続く
手直し版↓
github.com/genkuroki/publ... pic.twitter.com/G2rqoJUoIi
タグ: Julia言語
posted at 21:40:30
@aeba_chan #Julia言語
g!(x_global, y_global)とf3!()は同じで、グローバル変数を引数として渡しているので速い。
h!()とf4!()はグローバル変数を引数を経由せずに使っているので非常に遅い。@ code_warntype重要
f1(), f2!()の実行時間の大部分はf0()にあたる擬似乱数の配列を作ることです。擬似乱数が重い。 pic.twitter.com/xyDstzoPrN
タグ: Julia言語
posted at 21:49:39
Emsisoftがリリースしたデクリプタ使ってみました。#ランサムウェア 「Avaddon」感染により暗号化されたファイルがきちんと元に戻りました。 pic.twitter.com/SeyEClFmn7
タグ: ランサムウェア
posted at 21:54:33
@keysnow404 ?函数名 しても、ドキュメントを見ても分からない場合には(実際にはドキュメントに書いてあったとしても)、ソースコードを直接見るのが昔からある定番の方法。
julia> @ which maximum(sin, 1:10)
やREPLでの
julia> maximum(f,[TAB]
などの結果を見て、ソースコードのありかを調べる。続く
タグ:
posted at 22:02:29
@keysnow404 ただし、Plots.jlではその方法だけではつらい。
docs.juliaplots.org/latest/generat...
および、他の「属性」の説明に目を通します。 #Julia言語
私は上のページをブラウザのブックマークに入れています。
タグ: Julia言語
posted at 22:04:55
pythonについて教えてくれる人が「オブジェクト指向が素晴らしい」と誤解している人だったりすると、matplotlibを使ったちょっとしたプロットにもオブジェクト指向なコードを書くことを要求されて死んでしまっていたかも。
Juliaは「シンプルかつ便利に使えればよい」という雰囲気な点もよい。 twitter.com/iitenki_morute...
タグ:
posted at 22:10:14
@nithin_eco @quinn_jacobd @EliasCarv1 `PkgTemplates.generate_interactive` is the easiest way I know of, great stuff from @InveniaLabs
github.com/invenia/PkgTem...
タグ:
posted at 22:19:34
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
16日と9日の読売新聞夕刊、竜王戦見聞録です。切り抜きでまとめて読みました。両方とも読み応えがあります。桐山先生の73歳でこの内容の将棋は凄くないですか?の一言しかでません。 pic.twitter.com/t2GaXWPQ7p
タグ:
posted at 22:26:17
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
これ短いバージョンらしいけど60分で見たいな…。高須に心酔しまくってたこの人をめちゃくちゃ残酷に切り捨てる高須のセリフがすごいよ…こんな人に絶対ついてっちゃダメ twitter.com/uraq_/status/1...
タグ:
posted at 22:59:52
おかしな算数の採点って、本当に毎日何かしら見つかるのね。
採点した先生に、縦の対角線と横の対角線の順序の根拠を説明してもらいたいわ。 twitter.com/cocococococo77...
タグ:
posted at 23:05:29
非公開
タグ:
posted at xx:xx:xx
Hey #julialang, do you have a nice way to build tables comparing model coefficients and metrics? Something like
www.rdocumentation.org/packages/model... twitter.com/nithin_eco/sta...
タグ: julialang
posted at 23:20:52
なんの問題もなかったのでマルを付けたら生徒が「この解き方でいいんですか?見たことない解き方だけど『こうすればできる』と思いついて解いたんですけど」と言い出したから「いいに決まっておる‼️ていうかむしろ解法なんてものはその都度自分で発明するものじゃい‼️‼️」と言っておいた。
タグ:
posted at 23:23:28
@cocococococo777 @sekibunnteisuu 過去にうちの塾の生徒も、そういう指導を受けてる子がいました。
結論から言うと、県の教育委員会に連絡して、その指導はおかしいと判断してもらったので、校長の方からその教員に注意してもらうということで解決しました。
タグ:
posted at 23:47:36