黒木玄 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年02月15日(月)
私がC++のtemplateに期待を寄せる理由
earth2001y.hatenablog.com/entry/20060929...
スタックやメモリの制限に気をつければ、決定可能なことはコンパイル時に解決できる。
無論コンパイル時間はえらくかかるし、メンテナンスなんてしたくなくなる。
もっとスマートに記述してかつ高速ならJuliaでよい。
タグ：
posted at 23:59:14
@musorami @takusansu いえ、大学の先生も大部分が常識人で、自分ちの子がこんな教育を受けたら困ると普通は考えています。
算数教育の周辺が非常におかしなことになっています。
算数教育に関わっている心理学者達には問題がある場合が容易に見付けやすいです。
タグ：
posted at 23:55:40
@GenkiYonezawa 私なら、行列Aを数値的に求めて対角化した方が効率的だろう、と予想して実装して試してみます。 twitter.com/genkiyonezawa/...
タグ：
posted at 23:52:40
非公開
タグ：
posted at xx:xx:xx
これは私見ですが、『鬼滅の刃』という作品は、主人公たちと敵対する「鬼」の側に人間存在の執着やひずみを投影しているケースが多く、大正時代の日本を舞台にしていてそのテーマを取り扱うのであれば、遊郭が登場するのも自然な流れだろうなと思います。
タグ：
posted at 23:52:16
#超算数 #はじき #みはじ
おそらく、教員。
クモワを全員に強制すると宣言している。
edupedia.jp/article/53233f... pic.twitter.com/RHz7NpGTgD
posted at 23:48:31
遊郭や遊女（娼婦）を扱った作品に『たけくらべ』や『椿姫』、『この世界の片隅に』があり、『鬼滅の刃』遊郭編（原作版では9〜11巻）は、そうした先行作品と比べてもまったく見劣りしないくらいしっかりと、真正面から当時の風俗における問題点やそれゆえ生まれるドラマを描いていると感じました。
タグ：
posted at 23:44:01
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia FPGA でググったら出てきた
github.com/SciML/AutoOffl...
SciMLグループが主導なのね。ロマンある。
#Julia言語
タグ： Julia言語
posted at 23:37:26
@musorami @takusansu Soraさんが変な人に絡まれているのを見て、以前のやり取りを思い出したら、まあやっぱりそうだったのか、と思いました。
スクショの記録に残しておきます。
私は大学の先生の中に算数教育の破壊を後押ししている人達がいることが非常に気になっています。 pic.twitter.com/RD6t4xAis2
タグ：
posted at 23:33:48
ハジキとか使っている段階で理解できなくなっているんだよ。理解していないことが露呈するのが先延ばしになるだけ。 twitter.com/yobikonatukash...
タグ：
posted at 23:31:20
非公開
タグ：
posted at xx:xx:xx
数値計算において、可能ならば逆行列の計算を避けることは、常識に属することで、PythonとかJuliaとかとは無関係の話題。
『数値計算の常識』という有名かつ面白い本があって、そこにも逆行列の計算は避けろと書いてある。
現代的にはこの本の「サンプルコードがJulia版」があってもよいと思う。
タグ：
posted at 23:24:35
超算数系案件、教科書の記述はギリギリのラインで踏みとどまっているが現場の運用で台無し、という印象のものが多い。その現場の運用というのはすなわち指導書なのだが、これも教科書会社が出してるんだよね。どこで差が出るんだ？執筆者？
タグ：
posted at 23:10:25
#超算数 #はじき #みはじ
中学数学教員！twitter.com/JOYPOWERJOY/st... pic.twitter.com/Smnhz3k6Bh
posted at 23:08:48
夕方娘と黒猫が家の中で追いかけっこして遊んでて大騒ぎしてたのに突然静かになったので様子を見に行った結果 pic.twitter.com/80pxJs6Y44
タグ：
posted at 23:00:01
@genkuroki @nikata920 #超算数 心理学者の妄想爆発
twitter.com/nikata920/stat...
＞これは先生や教育界隈だけでなく、親も同じ。過去にテストで満点取れたような人が、それで児童・生徒に教えられるかと言ったら大間違いだ。その発想がない上に、「学校教員なんて俺より学歴が低いから教えられない」と思っている。
タグ： 超算数
posted at 22:58:28
（小学校で区からiPadが配られたのだが、授業で「まだローマ字は習っていないから、全員かな入力」と言われたのだという。うちではパソコンでローマ字入力しているというのに。習っていない漢字は使ってはダメ的に、ローマ字入力は禁止って、そんな「GIGAスクール構想」っていったい何なの。）
タグ：
posted at 22:12:33
「濃縮還元」は、昭和のスーパー店頭に並ぶ熟語の中で、最高クラスの魅惑の熟語？文字列？だった。
私も書いた（半紙があまってたので）
おこられなかった‥というか、真逆だった。
とーちゃんに褒められて調子に乗って書道教室通い始めた。 twitter.com/lingkoniki/sta...
タグ：
posted at 21:51:15
今もどこかの市町村で開かれているファミリーコンサートの客席で、アニメ主題歌を演奏するミュージシャンを見て「あのおじさん、バイエルを怠けて遊びの歌を弾いてる」と怒ってる子供がいるのかもしれないね。
翌日、学校で得々と先生に密告してもポカンとされると思うけど、おばさんは君の味方だよ。
タグ：
posted at 21:26:09
ちがうんだ……そのおじさんはお稽古をさぼってテレビの歌を弾いてたんじゃないんだよ！
あのおじさんは、「子供がよく知ってる曲をやってください」って役場の人に頼まれて、きっと子供に相談したりして選曲して、お稽古してくれたんだよ！
タグ：
posted at 21:14:33
市のイベントでファミリーコンサートってのがあってプロのピアニストが来たんだけど、その人、歌謡曲やアニメ（当時は「テレビ漫画」と言っていた）の主題歌を弾きだしたので、「いーけないんだ、悪い人」って思ったっけ。
バイエルでもハノンでもなく遊びの歌を弾くから、さぼっていると思ったの。
タグ：
posted at 21:10:35
@nakasansakura いくら歴史を記憶してなくても、捏造はしませんからね笑
悲しいかな、算数の話をしているときに
相手「苦手なことはないんですか？」
僕「歴史は殆ど記憶してません」
相手「じゃあ人の算数の教え方にケチつけないでください」
これで通ってると本気で思ってて、会話にならない人がいますね
タグ：
posted at 21:08:48
そのむかし、教頭先生だったか誰だったかが地元の書道展に入選したことがあってね、
書道は子供専用の課題だと思ってた私は驚愕したものさー。大人が（子供に教える以外で）お習字やるなんて規則違反だと思ってたのね
タグ：
posted at 21:03:04
#Julia言語 NamedTupleを
(; var1, var2, var3)
とかで簡単に作れることを知らなかった。
試行錯誤中に変数の中身をまとめて見易く表示するにも使えそう。
これイイ！↓ 本当にイイ↓ 解説の中身も分かりやすい！↓
www.oxinabox.net/2021/02/13/Jul... pic.twitter.com/q7MKCHlx02
タグ： Julia言語
posted at 20:58:03
というか、この世に趣味としての書道が存在するってことをまだ知る前だったので。
数年後だったか、母が転勤したら本社には部活動があったらしく、母が書道部に入ったんですよ！ 濃縮果汁還元事件はそれより前だったからな～。
タグ：
posted at 20:57:35
もしかして「面白い字を、遊びで書いてみる」っていう道が存在するって知ってたら、提出用でやろうと思わなかったかもしれないんだよな。自慢したかった相手は家族や私自身だったかもしれず。
お習字って、授業か、宿題か、習いごと（私は行ってなかった）でしかやっちゃいけないものだと思っててさ。
タグ：
posted at 20:52:25
@GenkiYonezawa #Julia言語 LinearAlgebra.eigenの応用例
①2×2行列の対角化
②2000次の実ランダム行列の対角化
③2000次の複素ランダム行列の対角化
④2000次のエルミート行列の対角化
固有値をプロットした。
ランダム行列の固有値の分布には普遍性がある。
gist.github.com/genkuroki/285c... pic.twitter.com/sAsGhJWyLp
タグ： Julia言語
posted at 20:48:48
The number of stars of JET.jl has been doubled within a day. What happened ?
#JuliaLang
github.com/aviatesk/JET.jl
タグ： JuliaLang
posted at 20:19:32
非公開
タグ：
posted at xx:xx:xx
理解力の育ちが遅れている子供でも、ぜんぶがまんべんなく遅れているとはかぎらなくて、記憶力だけ健常児よりもすぐれている子がいたりするから油断ならないんですよー
そういう子供って、理解の育ちが追いついたとき時限爆弾のように首をひねることになるのです
タグ：
posted at 18:04:13
まあ相手が大人で、対等な立場なら、そこまで子供向けに配慮する義理はありませんが、子供を怒るときは「それは人間にはよくある心理だけど、でも表に出してはいけないんだよ」っていう教え方の方が、あとで理解力が追いついてきたときにまだ記憶が残っていても「？？？」ってならないと思うのね
タグ：
posted at 17:49:06
具体的には、「漢字で書け」「教科書通り書け」の類の穴埋め問題を数学の試験で出す行為は社会的に厳しい批判にさらされるべきだと思います。やってはいけないことだと思います。
漢字で書けることは数学の理解と完全に無関係です。 twitter.com/genkuroki/stat...
タグ：
posted at 17:47:43
そもそも試験の点数など、本当に理解しているかどうかと比較すれば無視されて当然の優先順位しかない。
本当の理解を目指す勉強をする側が不利になる様なおバカな問題を試験で出されたら、社会的にその様な問題を出す行為が批判されるべきだと思う。
タグ：
posted at 17:42:48
複数の話が入っちゃったけど、まとめると
「人間らしい残酷さや悪徳などを叱るときに『人間じゃない』と言うとあとで混乱する子が出ます」
「楽しみのために遊びで試作という枠組みの存在を知らないと、興味を持ったものを全部提出用にせざるを得ず、こじつけて宿題に持ち込もうとする子が出ます」
タグ：
posted at 17:42:12
【辿り着いたらそれでOKだし、辿り着かなかったら別ルートを探すだけ】←まさにこれに尽きる
10通りやって辿り着かなかったら11通りめを試す。
おバカな人達は「試験では時間がなくなる」と言う。
経験値を積めば、一発目で成功する場合が増えてかつ失敗しても試行錯誤を高速にできるので困らない。 twitter.com/miyuki_MathT/s...
タグ：
posted at 17:40:05
今は百均とかあるし、書道グッズも工作材料も安くなっているけど、当時はそうでもなかったので。
「面白いと思った字を、遊びで書いてみる」なんてことがあるとは思ってみなかったんですよ。課題の字だってぶっつけで2枚くらい書いてそのうち一枚を提出してましたもん。
タグ：
posted at 17:29:49
それくらい理解の粒子が粗い子供を、なんとか周囲に失礼を働かないようにしつけるのは大変だったよね
だから世の中の皆さんはですね、小さい子が失礼だったり自慢したりしても、あんまり親御さんを責めないであげてくださいね。
せっかく教えてもまだ難しい子っているんですよー
タグ：
posted at 17:23:51
「いやらしい、さもしい」って怒られるのと「心がない」って怒られるのと、ちっちゃい子としてはどっちが悲しいだろうと考えてみると、どっちも難しくてきっとわからなかったな。
「怒られたー」くらいしか理解できない子供だったから。
タグ：
posted at 17:21:48
同じ怒るなら「そういうことを自慢しようとする心はさもしい」って怒ってくれてもよかったのにとも思ったけど、当時の家族は今の私から見たらぎりぎり産めないこともない年齢なので、「そりゃあまあしょうがないよなあ、子供だもんなあ、そんな余裕ないよね」という気持ちになるのよね。
タグ：
posted at 17:17:50
子供のころ「こんな難しい字が書ける俺えらい！」って勘違いから冬休みの書道の自由課題に「濃縮果汁還元」って書こうとして（まあ書いちゃったんだけど）家族から「人の心がない」「人間じゃない」って叱られたんだけど、今になって、画数の多い字が書けるのを自慢したくなるのは人間らしい心だと思う
タグ：
posted at 17:14:39
#Julia言語
multiple dispatch + Holy traits は確かに便利！
設計の自由度が大幅に上がる。
Holy traits + Julia を検索↓
www.google.com/search?q=Holy+...
2014年におけるHolyさんの提案↓
github.com/JuliaLang/juli... twitter.com/oka_iu_tcan/st...
タグ： Julia言語
posted at 17:06:29
問題を見たときに、【解答という文字列が頭の中に全て浮かぶ】のではなく、【与えられた情報からAが分かる→Bも分かる→Cも分かる…と考えながら書いている】ことがある(自分はコレ)
答えに辿り着くかは知らん笑
辿り着いたらそれでOKだし、辿り着かなかったら別ルートを探すだけ
タグ：
posted at 17:00:56
数学が苦手な人や、数学が得意だと思い込んでる人にありがちですね
数学が得意な人がスラスラと止まることなく解いているのを見ると、暗記していることを止まることなくアウトプットしているように見えるかもしれない
が、実はそうでないことがあって
タグ：
posted at 16:57:04
@physics303 #Julia言語 Plots.jl での xtick の設定詰め合わせセット
①設定無し
②目盛を整数にする方法
③目盛の表示を -3π/2 の様にする方法
gist.github.com/genkuroki/4189... pic.twitter.com/qNNZLToXWn
タグ： Julia言語
posted at 16:51:02
#Julia言語 私も Chain.jl 派。
Base Julia で済ますのが面倒になったら、
using Chain
の呪文を唱える。|> と書く必要がない点がよいと私も思います。 twitter.com/vin_tea01/stat...
タグ： Julia言語
posted at 16:30:57
非公開
タグ：
posted at xx:xx:xx
科目数に応じた学費／1年平均18万円／ネットで好きな時間に／もちろん通学制と同じ学位／こんな大学もあります👉 tobe.ouj.ac.jp pic.twitter.com/ozFSl4GLjj
タグ：
posted at 16:19:11
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
では、文字列に格納されたCのコードをgccでコンパイルしてライブラリを作り、そのライブラリ内の函数をJuliaから使っています。
JuliaからCを使う方法の具体例になっています。
文字列のCのコードに色を付けて表示していたりもしています。 pic.twitter.com/uJz5iB8ZlC
タグ： Julia言語
posted at 16:13:34
上の方に書いた「部品単体のベンチマークを見ても、複数の部品を組み合わせて使う実践的な状況における実効的な速さは分からない」という事実は非常に重要です。
「部品」の中で最も脆弱なのが「コードを書いている人間自身」になることもある(笑) ←現実には非常に重要。
タグ：
posted at 16:05:35
#Julia言語 total = i/j の行で変数totalの型が不安定になっているので、リンク先のコードはJulia側にとって不利なコードになっているのですが、Juliaがうまく処理して速度的劣化を防いでくれています。整数の割り算は ÷ (\div TAB)。
Juliaさん、賢い。
総和バージョンでの型不安定性→添付画像 twitter.com/tomiyaakio/sta... pic.twitter.com/1ejpoLdoc9
タグ： Julia言語
posted at 15:59:13
#Julia言語 一応、念のために言っておくと、リンク先の結果は、私の実力ではシンプルな1億回のforループを回す計算において、gccを使うとJuliaに計算速度的に勝てないという話。
gccの方が遅かった。
私と同レベルでしかgccを使いこなせない人は計算速度的にはJuliaを使った方が得です。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 15:47:27
#Julia言語 注意・警告：この手のシンプルなマイクロベンチマークは実践的な状況での実効的な速さとは違う。
部品単体のベンチマークを見ても、複数の部品を組み合わせて使う実践的な状況における実効的な速さは分からない。
詳しくは↓
www.stochasticlifestyle.com/why-numba-and-...
タグ： Julia言語
posted at 15:40:59
#Julia言語 多分、私よりよく分かっている人であれば、gccの方をもっと速くできるのでしょうが、型名を一切書かなくても楽ちんに速く計算してくれるJuliaを捨ててgccを使う気にはもはやなれません。 pic.twitter.com/l9ufWUtlE4
タグ： Julia言語
posted at 15:40:58
#Julia言語 printを入れずに総和の計算で比較してみました。
Julia: 194 ms
gcc: 321 ms
Juliaはv1.6でもv1.5でも同じ。
gccのバージョンと環境は添付画像を参照。
ソースコードは添付画像および↓
gist.github.com/genkuroki/b89a...
シンプルに1億回forループを回しているだけ。 twitter.com/tomiyaakio/sta... pic.twitter.com/RKU0pf2jN0
タグ： Julia言語
posted at 15:40:56
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
@TomiyaAkio Julia 1.6.0-rc1 できてたので共有します．
2306.961317 seconds (18.43 M allocations: 8.918 GiB, 0.06% gc time, 0.71% compilation time)
タグ：
posted at 14:49:59
Juliaのplotsでx軸が小数になっちゃって困ってる．Intにしたいんだけど，どうしたらいいんですかね．
[10,20,30,40,50] というメモリにしたいのに
[10.0,20.0,30.0,40.0,50.0] みたいになってしまう．
タグ：
posted at 14:48:32
それに対して、「C++の方が遅い」などと言うと、「言語とライブラリの区別ができていない」的な反応が返って来たりして、具体的にどう修正すれば良いかについて具体的なコードで教えてくれる人は出て来にくい。これはどうしてか？
私が見逃した所で出て来ていたら素晴らしいので教えて下さい。
タグ：
posted at 14:25:54
個人的な印象では、Juliaで失敗して遅くなっている場合には、具体的なコードで失敗の修正法を教えてもらえることが多く、しかも教えてくれる人もまた私のようなプログラミングのど素人だったりします。
修正法に関するコンパクトな解説が公式ドキュメントにもある。
docs.julialang.org/en/v1/manual/p...
タグ：
posted at 14:25:53
「単にどこかで失敗しているから」が結論だったとしても、その訂正にかかる手間の量を見れば、自分が使うべきなのはどれなのかが分かる場合が多いと思う。
プログラミングの素人が高速に計算したいなら、Juliaが適していることが多いと思います。 twitter.com/genkuroki/stat...
タグ：
posted at 14:25:52
隙あらば手を洗うなかさん(R.I.P.) @kanakasansakura
@miyuki_MathT @musorami 大丈夫です。
私たちは、間違った歴史を歴史専門の方々に講釈したり
それを教育したりしないので…(笑)
タグ：
posted at 13:26:52
#超算数 これ↓
scholar.google.co.jp/scholar?cluste...
多鹿 秀継
算数問題解決過程の分析
愛知教育大学研究報告, 教育科学. 1995, 44, p.157-167. twitter.com/musorami/statu...
タグ： 超算数
posted at 13:18:31
"Julia 1.0 came out well over 2 years ago."
変な声出た twitter.com/bicycle1885/st...
タグ：
posted at 12:57:14
Stefan Karpinski @StefanKarpinski
@johnmyleswhite @F_Vaggi The Swift side is harder to judge, but building an entire productive data science ecosystem sure seems like it would take at least a hundred people working full time for a year
タグ：
posted at 12:44:27
Stefan Karpinski @StefanKarpinski
@johnmyleswhite @F_Vaggi Jet.jl already exists, solves a lot of static checking, and was made by one admittedly very talented person in half a year as a side project, so it’s hard to see how I’m being soft on the Julia side
タグ：
posted at 12:43:39
#数楽 最初の方で「線形代数は基本！」の線形代数は大雑把に言って「行列、ベクトル、内積、二次形式、ベクトル空間、線形写像などに関係する有用な道具を雑多に集めたもの」です。
線形代数は決してベクトル空間と線形写像の理論ではありません。
有用な道具を雑多に集めたものである点が重要。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 12:36:40
#数楽 続き
a₁=c, a_{n+1}=3a_n-2の場合
a₁=c
a₂=c×3-2
a₃=c×3²-2(3+1)
a₄=c×3³-2(3²+3+1)
…
a_n=c×3ⁿ⁻¹-2(3ⁿ⁻²+…+3+1)
=c×3ⁿ⁻¹-2(3ⁿ⁻¹-1)/(3-1)
=(c-1)3ⁿ⁻¹+1
試しにしてみると計算では、計算し切らない方がパターンを読み易くなることがあります。 twitter.com/nabekichi32/st...
タグ： 数楽
posted at 12:17:44
#数楽 たとえば
a₁=4, a_{n+1}=5a_n-4
を解くには
a₁=4
a₂=4・5 - 4
a₃=4・5² - 4(5 + 1)
a₄=4・5³ - 4(5² + 5 + 1)
…
a_n = 4・5ⁿ⁻¹ - 4(5ⁿ⁻² + … + 5 + 1)
= 4・5ⁿ⁻¹ - 4(5ⁿ⁻¹ - 1)/(5 - 1)
= 3・5ⁿ⁻¹ + 1.
引き出しは多い方が良いです。以上は最も素朴な方法。 pic.twitter.com/cbREv0XdNN
タグ： 数楽
posted at 12:06:11
これは良いまとめ。: Julia 1.6: what has changed since Julia 1.0? www.oxinabox.net/2021/02/13/Jul...
タグ：
posted at 12:01:51
Juliaで機械学習：Flux.jlで自由自在にオリジナルレイヤーを組んでみよう qiita.com/cometscome_phy... #Qiita @cometscome_physより
タグ： Qiita
posted at 10:28:42
非公開
タグ：
posted at xx:xx:xx
Stefan Karpinski @StefanKarpinski
@FinkbeinerBernd Yeah, the slides in *front* of the speaker part is key. We’re doing @JuliaConOrg virtually again this year and would love for this style to be standard
タグ：
posted at 07:28:05
Bernd Finkbeiner @FinkbeinerBernd
@StefanKarpinski Zoom recently added the "slides as virtual background" feature, which goes into this direction, but has more of a weatherman feel to it.
タグ：
posted at 07:16:59
Stefan Karpinski @StefanKarpinski
This is a really cool setup but a little hard to do. Would be great for video chat software to make this as easy as it is to look like you’re conferencing from the beach twitter.com/FinkbeinerBern...
タグ：
posted at 07:10:54
Stefan Karpinski @StefanKarpinski
@FinkbeinerBernd @famontesi I think zoom has an option to mirror your own video which would help but that would also make the text hard for you to read since it’s backwards
タグ：
posted at 07:09:47
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
time コマンドで、コンパイル時間込でjulia の速度を計測してもこのケースだとcやfortran と同程度っぽい。
julia calc.jl 0.33s
(ただしCやfortran はコンパイル時間入ってないけど)
タグ：
posted at 07:09:06
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
これで0.015510 seconds (51.65 k allocations: 1.975 MiB)
動画内のC言語は1.8 秒。ワイのコード間違ってる？ pic.twitter.com/6LeKWMxieD
タグ：
posted at 06:16:54
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
パソコンが「1億個の計算問題」を解くと、どのぐらいで終わるのか？｜プログラミング言語ごとのスピード対決もやります！ youtu.be/TiqKRCySnlQ
結構プログラミング系チャンネル見てるんだけど、Juliaで試したら圧倒的に速くてミスったかと思った…。
(関係ないけど松本氏の名前間違えてますね…)
タグ：
posted at 06:09:10
Hacker News記事題日本語翻訳 @hackernewsj
Jet.jl：JuliaのWIPコンパイル時型チェッカー github.com/aviatesk/JET.jl
タグ：
posted at 06:04:45
Hacker News Bot @newsycombinator
Jet.jl: A WIP compile time type checker for Julia github.com/aviatesk/JET.jl
タグ：
posted at 06:01:48
Bernd Finkbeiner @FinkbeinerBernd
@famontesi If you “pin” your own video in the zoom call, then it’s easy to see what you are pointing at. Initially you tend to move in the wrong direction (because you think it’s a mirror), but after a few minutes you get used to it.
タグ：
posted at 05:18:16
Fabrizio Montesi ⬣ A @famontesi
@FinkbeinerBernd Neat! Do you find pointing at things in the slides easy with this setup?
タグ：
posted at 04:18:47
Julia v1.6を見越して、2018年にv1.0がリリースされてから#JuliaLangに変更された注目すべきすべての変更点のリストを書き上げました。
一言で言えば、Julia v1.6 はより洗練された言語になっています。
oxinabox.net/2021/02/13/Jul。 twitter.com/oxinabox_frame...
タグ：
posted at 04:13:01
Mark Kittisopikul ht @markkitti
@tobydriscoll @JuliaLanguage Work on invalidations in #JuliaLang by #TimHoly, @JeffBezanson, and #JamesonNash is reducing compiler latency:
julialang.org/blog/2020/08/i... pic.twitter.com/Mlu2y1AvxC
タグ： JamesonNash JuliaLang TimHoly
posted at 02:31:11
In Julia 1.6, I can do "using DifferentialEquations" and it loads in 5 seconds?! What sorcery is this, @JuliaLanguage?
タグ：
posted at 02:12:52
Bernd Finkbeiner @FinkbeinerBernd
This works with any camera and microphone, such as the built-in webcam of your laptop. Here’s how our setup looks like (we use a Sony α6600, an Audio-Technica AT 4053B, and two Aputure Light Storm LS C300X), but use whatever you have. Go dazzle! pic.twitter.com/AZg1KJwEPT
タグ：
posted at 01:47:57
Bernd Finkbeiner @FinkbeinerBernd
Step 3: Place the camera so that it shows you in front of a monochromatic background (such as a white wall). Activate the virtual camera in OBS, and select the OBS virtual camera in your videoconferencing software as the camera input. That’s it!
タグ：
posted at 01:47:56
Bernd Finkbeiner @FinkbeinerBernd
Step 2: Install the free OBS Studio (obsproject.com), prepare a scene that puts the camera image behind the screen showing your slides. Use the Chroma Key effects filter. Voila, you appear “behind” the text and images on the slides.
タグ：
posted at 01:47:55
Bernd Finkbeiner @FinkbeinerBernd
Step 1: Prepare slides in 16:9 format, but leave enough space on the slide for yourself (at least 1/3 on the right). Use your usual presentation software to show the slides on some (physical or virtual) screen, just as you would if you were to share your screen (don’t!).
タグ：
posted at 01:47:55
Bernd Finkbeiner @FinkbeinerBernd
After my Simons Institute talk last Monday (on reactive synthesis, full video on youtube, simons.berkeley.edu/talks/tbd-266), I got lots of questions about my zoom setup, which puts me “inside” my slides rather than next to it. Here’s how to do it in 3 easy steps:
タグ：
posted at 01:47:55
Bernd Finkbeiner @FinkbeinerBernd
Pro-tip for teachers, lecturers, or anyone giving a presentation online: don't “share your screen", use a virtual camera! Your presentations will be much, much more engaging. pic.twitter.com/g5NYv2iztI
タグ：
posted at 01:47:54
#Julia言語 行列計算が必要な人にとって 5-term in-place mul! の導入は非常にありがたいはず。
最適化の基本の1つは無駄なメモリアロケーションを防ぐことなので、これは非常に有用。
言語内から単にBLASが使えればよいわけではないこともこのニュースからわかる。
www.oxinabox.net/2021/02/13/Jul... pic.twitter.com/USMccM1KHT
タグ： Julia言語
posted at 01:24:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【小学校の先生は教科の専門性なんてたかがしれている】
高が算数(小学生が十分理解できるとされる範囲)で、何もガチガチの数論をやれとは言ってない
いつだったか
「キハジなんてパターンマッチングはやめてください」
的なこと言ったら
「それは理解の押し付けです」
って言う教師もいたなあ…
タグ：
posted at 00:31:22
#Julia言語 これ、いい！↓
Julia 1.6: what has changed since Julia 1.0? www.oxinabox.net/2021/02/13/Jul...
タグ： Julia言語
posted at 00:27:12
#数楽 上(リンク先)では、母函数を使って計算しましたが、そうしたかったのは三項間以上の漸化式でも通用する方法だから。
a_{n+1} = 2a_n + f_n, a_0=c
程度なら
a₀=c
a₁=2c+f₀
a₂=4c+2f₀+f₁
a₃=8c+4f₀+2f₁+f₂
a₄=16c+8f₀+4f₁+2f₂+f₃
と順番に計算すれば、一般項の形も明らか。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 00:12:46
Julia 1.6: what has changed since Julia 1.0? www.oxinabox.net/2021/02/13/Jul... #hackernews
タグ： hackernews
posted at 00:10:50
The Arctic hare can run up to 60 kilometres per hour, but it's when it's sitting that we like it more bit.ly/1ODbJPQ pic.twitter.com/wWmbS5AiF4
タグ：
posted at 00:10:10
