黒木玄 Gen Kuroki(@genkuroki)/2021年02月13日

Next #JuliaLang must-have developer tool: github.com/JuliaDebug/Cth.... Apart from the awesome name, this pkg provides the macro `@descend expr`, which allows stepping thru code, debugger-style, and inspecting the different levels of compiled code at each step. Native, LLVM, or typed!

タグ： JuliaLang

posted at 00:00:02

Math Lady Hazel @mathladyhazel

富谷(助教);監修シン仮面ライダー @TomiyaAkio

Every geometry teacher should do this project in winter! 😍[bit.ly/3d7S0dx] pic.twitter.com/Sg9ZcpZGiY

タグ：

posted at 00:51:22

Ligun (りぐん) ☠️ Nenio @choonggeun

L=4^4 SU(3) Wilson-HMC 100 trajectory (+pion mass measurements)
MBP 1902.895140 seconds
M1air 1233.171178 seconds
1.5 倍速い

タグ：

posted at 00:55:12

Ligun (りぐん) ☠️ Nenio @choonggeun

Julia、円周率をπ表記してくれるし複素数や行列も簡単に表現できる
PythonはおろかMATLABやScilabすら代替できるのでは pic.twitter.com/Ty433CBdFa

タグ：

posted at 01:10:17

Julia日本語記事まとめ @julia_kizi

配列の添字が1始まりってのも数学とかソッチ用途向けって感じが伝わるなぁ
汎用言語としてはPythonの方が強いだろうけど、数値計算・統計ではJuliaの方がフットワーク軽そうだなぁ

タグ：

posted at 01:12:58

Ligun (りぐん) ☠️ Nenio @choonggeun

新しい記事がQiitaにアップされました！qiita.com/sage-git/items...👈

タグ：

posted at 01:13:00

あと言語名がいいよね！
Julia！

タグ：

posted at 01:13:19

非公開

タグ：

posted at xx:xx:xx

Catriona Agg @Cshearer41

@Ayliean @drmelodyobeng I don’t have a printer 😢 BUT I do have an incredible little red notebook full of different grid paper 😁 pic.twitter.com/h8zEPulXNe

タグ：

posted at 03:17:35

Catriona Agg @Cshearer41

富谷(助教);監修シン仮面ライダー @TomiyaAkio

@Ayliean @drmelodyobeng And for some reason it also includes information about types of knot and logic notation pic.twitter.com/hgPmtLXSzK

タグ：

posted at 03:20:42

Julia 1.6 on M1
1152.442426 seconds
2倍弱はやい

タグ：

posted at 08:15:08

John Myles White @johnmyleswhite

Now that it's archived, it really seems a shame that the great work that went into Swift for Tensorflow didn't go into Julia instead: github.com/tensorflow/swi...

タグ：

posted at 08:58:36

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Ariel Meilij @ameilij

No sabía que habían cerrado Tensorflow para Swift. Pienso que es una buena opción en el futuro para aquellos que prefieren un lenguaje nativo de Mac OS X versus Python. Sin embargo es una pena que no se apoye a Julia, es un lenguaje espectacular en cualquier OS #JuliaLang twitter.com/johnmyleswhite...

タグ： JuliaLang

posted at 09:13:55

Tak itoshi @takitoshi

「Juliaで精度保証付き数値計算」更新しました。

標準固有値問題の精度保証付き数値解法
taklab-blog.blogspot.com/2021/01/rigoro...

密行列の全ての固有値の厳密な区間包含を求める方法。今回から学生さんが手伝ってくれました。私が修士の頃、論文が出て勉強したアルゴリズムの一つです。

タグ：

posted at 09:28:20

非公開

タグ：

posted at xx:xx:xx

Tak itoshi @takitoshi

ちなみに固有値の幾何的重複度と代数的重複度がずれる場合、この方法は使えません。例えば、縮退した固有値やジョルダン標準形が出てきたらアウト。このような問題を扱う良い方法はまだオープン問題です。

タグ：

posted at 09:37:59

伝統的な主観主義ベイズ主義の極端な考え方については以下のリンク先を参照。

穏健で合理的な考え方を学ぶには、渡辺澄夫さんが書いた本や講義のスライドが優れています↓

watanabe-www.math.dis.titech.ac.jp/users/swatanab...
↓
watanabe-www.math.dis.titech.ac.jp/users/swatanab... twitter.com/genkuroki/stat... pic.twitter.com/3WaR1M4pIX

タグ：

posted at 10:03:42

Stefan Karpinski @StefanKarpinski

@F_Vaggi @johnmyleswhite Would be 100x times easier to add static verification to Julia than to do what S4TF was attempting. Not exaggerating:

- adding static verification to Julia is a ~1-engineer-year project
- building a usable ecosystem for S4TF would take at least 100 FTEs

タグ：

posted at 10:05:17

@eco_tetsu @TaniyamaNoko え！そういう計算の仕方をしたんですか！

ネタバレになるので私の戦略の詳細はここでは語りませんが、私の戦略と谷山のこさんの戦略の数値的な違いは1e-6未満になっています。誤差は100万分の1未満。違いの数値は添付画像を参照。

いやあ、面白いですね！ twitter.com/taniyamanoko/s... pic.twitter.com/T3jKoxKTCr

タグ：

posted at 10:16:33

#数楽びっくりした。楽しい！ twitter.com/genkuroki/stat...

タグ：数楽

posted at 10:22:59

Yoshiaki Kawazu @kawaz

@Bakeneko_JABLaw @tailwind04 「直接会って話したい」て言葉が出たら、対面なら恫喝なり懐柔なり相手の根負けまで話せば分かってもらえる=言質をとって丸め込める、と考えている危険人物なので絶対に会っちゃいけないタイプだって爺っちゃんが言ってた。

タグ：

posted at 10:25:39

Keno Fischer @KenoFischer

The S4TF team had some awesome people and I always thought very highly for their technical understanding of AD. But yeah, Google probably spent >10x-20x the $$ on this that we've had to work on AD in #julialang - sad to imagine the possibilities. twitter.com/johnmyleswhite...

タグ： julialang

posted at 10:32:05

非公開

タグ：

posted at xx:xx:xx

さすがにこの馬鹿採点を擁護する馬鹿はいないだろうと思ったら、いた。 twitter.com/naocchin1/stat... pic.twitter.com/pe2WFqIEK3

タグ：

posted at 10:37:34

Keno Fischer @KenoFischer

@mason_protter Yeah, true enough, but I think there could have been a middle path where Google would have funded 1 or 2 compiler people in the core community and really doubled down on TPU support & use of Julia within Google. Anyway, not their DNA and that's ok.

タグ：

posted at 10:40:33

@eco_tetsu @TaniyamaNoko もしもベータ分布がらみのある計算を、何も知らずに、自分で近似式を作って100万分の1未満の誤差で計算したならすごいです。

楽をしたい人には #Julia言語 Distributions.jl などがお勧め。例えば、

using Distributions
d=Beta(3, 8)

の後で

mean(d)
std(d)
mode(d)
median(d)

などが可能です。

タグ： Julia言語

posted at 10:47:02

eval parse @evalparse

@johnmyleswhite Exactly #julialang

タグ： julialang

posted at 11:16:45

John Myles White @johnmyleswhite

@StefanKarpinski @F_Vaggi I agree with this broadly, although I'm not sold on those orders of magnitude -- seems too soft on Julia and too hard on Swift.

タグ：

posted at 11:21:07

#数楽確率分布関連の計算やプロットには #Julia言語のDistributions.jl と StatsPlots.jl も便利。

julialang.org/downloads/

を入れて

julia> ]
pkg> add Distributions StatsPlots
pkg> バックスペース
julia> using Distributions, StatsPlots

gist.github.com/genkuroki/78c0... pic.twitter.com/u3T2achJsA

タグ： Julia言語数楽

posted at 11:21:10

@OokuboTact @musorami @temmusu_n 問題解決型授業とされているものの多くは、誘導尋問で公式に当てはめさせるものですね。しかも、「クラスのみんなで約束した公式」みたいなかなり歪んだ形になるので、ある意味、頭ごなしに公式を覚えろというよりもたちが悪い。どっちもダメなんだけど。

タグ：

posted at 11:21:51

OokuboTact　大久保中二病中年 @OokuboTact

@OokuboTact @musorami @temmusu_n 誘導尋問の典型 pic.twitter.com/16emLOIu9U

タグ：

posted at 11:24:00

@sekibunnteisuu @musorami @temmusu_n 短い授業中に対立した意見を出して論争させて、なおかつ教師がうまく収束させるには、誘導になるのは見え見え。

タグ：

posted at 11:26:04

@OokuboTact @musorami @temmusu_n 上手な先生は、それをあたかも子供たちが自主的に気付いたような体裁に作り上げる。

それで間違ったことを教えるのだから最悪。

タグ：

posted at 11:27:47

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ゆっくりマシー@ゆっくり茶番 @Mashy_Mashy_

Re: RTs はははは。 #Julia言語の合理性を捨てたTensorflowは代わりに選んだSwiftでの試みを中止することにしたんですね。

自動微分に関する新しい試みやGPUの利用やスーパーコンピュータでの経験など多くの実績を積み重ねて来たJuliaを選んでいればこうはならなかったと思う。

タグ： Julia言語

posted at 11:40:02

現在YMM3使ってるけどYMM4に乗り換えようかめちゃくちゃ迷ってるの

C言語とPython使ってるけど、Juliaに乗り換えようか迷ってるのと全く同じだなぁ

タグ：

posted at 11:42:48

@kankichi57301 @kankichi57301

OokuboTact　大久保中二病中年 @OokuboTact

@OokuboTact @sekibunnteisuu @musorami @temmusu_n 格上の児童がクラスに存在しないと出来レースがうまく組めないでしょうねぇ。

タグ：

posted at 11:57:32

@kankichi57301 @sekibunnteisuu @musorami @temmusu_n 教師に演出家センスを要求する授業方法は、馬鹿にされるべきだと思う。

タグ：

posted at 12:01:47

この人、有機肥料を食べれるのかな？ twitter.com/KagiyaIzumi/st...

タグ：

posted at 12:04:17

@kankichi57301 @kankichi57301

@OokuboTact @sekibunnteisuu @musorami @temmusu_n できるほう（格上のほう）の児童は出来レース（演出）に乗ってあげるだけのサービス精神が必要。（これはこれでしんどいということは知られて良い）

タグ：

posted at 12:06:34

谷山のこ @TaniyamaNoko

狸穴猫／松村りか @mamiananeko

@genkuroki @eco_tetsu ﾋｴｯありがとうございます

愚直に「多項式だから解析的に積分できるなぁ」「積分結果の多項式の根は (0, 1) にあることが分かっているし数値的に求まるなぁ」という感じで出しました…誤差は小さいかもしれませんが計算はエグいので、楽ができるような知識は付けたいなと思いました

タグ：

posted at 12:07:31

@connectomancer 「スピ系や自己啓発系の講演チラシを児童生徒経由で配っている学校」というのもぜひ。

タグ：

posted at 12:24:56

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

@genkuroki 今や理系の大学受験でも「これをなんというか漢字で書きなさい」という問題が出るようになりました。

タグ：

posted at 12:45:46

Swift for TensorFlow死んだのか…

タグ：

posted at 12:54:37

#数楽

(*) a_{n+1} = p a_n + q

で

α = pα + q

を満たすαを求めることについては、「a_{n+1}とa_nは別物なのに、コレを同じ文字で置く理由がわからない」のように「この問題の解き方がどこから出て来たか」と考えるのではなく、素直に

漸化式(*)の定数解を求めている

のように考えるべき。続く

タグ：数楽

posted at 12:58:06

#数楽当該の問題に限っての「その解き方がどこから出て来たか」と考える癖がつくと、視界が狭くなって解ける問題の範囲が狭くなってしまいます。続く

タグ：数楽

posted at 13:00:51

#数楽

　相対的に容易な問題が解けることを使って、
　相対的に難しい問題も解けるようになる

という

　基礎からの積み重ねによって
　解ける問題の範囲が自然に広がって行く

という王道を知らないと、解き方のパターンの暗記に容易に陥ると思う。続く

タグ：数楽

posted at 13:04:01

@yoshiyu02784200 どこの大学の何年のどの入試問題なのかわかるのなら、適当なスクショとリンクを示して頂ければ責任を持って拡散します。

おかしな入試問題への風当たりが強くなることは社会的に大事なことだと思います。

タグ：

posted at 13:06:31

#数楽

(*) a_{n+1} = p a_n + q

を満たす数列 {a_n} 全体の様子を理解することが目標のときに、全体の様子は分からなくても、a_nがすべて等しい定数解 a_n=α なら、方程式

α=pα+q

を解けば得られると気付けば一歩前進になります。

一歩前進になり得る良質な選択肢を色々持っていることが大事。

タグ：数楽

posted at 13:11:09

#数楽他の方向の一歩前進として、q=0の場合の

a_{n+1} = p a_n

を満たす数列 {a_n} 全体の様子はすでに「等比数列」として知っていることに気付くのも一歩前進です。

a_n = b_n pⁿ

とおけば

(*) a_{n+1} = p a_n + q

は

b_{n+1} = b_n + q p⁻ⁿ⁻¹

に変換されて、簡単になる。

タグ：数楽

posted at 13:14:50

#数楽

(*) a_{n+1} = p a_n + q

の定数解を

α = p α + q

を解いて求められることに気付けば一歩前進。

b_n = a_n - α

は

b_{n+1} = p b_n

をみたしているので簡単になる。

求めたい a_n を別の数列 b_n にうまく変換すると、漸化式が易しくなる場合がある。これは非常に基本的かつ普遍的。

タグ：数楽

posted at 13:19:18

#数楽微分方程式でもまったく同じことをできます。

理解してしまえば、このレベルの漸化式と微分方程式の話題は本質的に同じ話になっていることが分かる。

ax+b=c型の一次方程式をノータイムで解けないと多くの分野で苦労するのと同じように、基本的な漸化式や微分方程式を解けないと苦労します。

タグ：数楽

posted at 13:26:13

#数楽過去の大学入試問題で出題された漸化式の問題の中には、誘導に従ってその問題が解ければよいという有害な考え方を廃して、素直な数学的理解を目指せば、役に立つ普遍的な考え方を含むものが非常に多いです。

タグ：数楽

posted at 13:26:14

HomeMadeGarbage @H0meMadeGarbage

【ブログ更新】
Raspberry Pi Pico でバーサライタ製作

回転速度 960rpmで1周1000分割でも余裕でアニメ表示ができました。
ヤバいんですけど。

#RaspberryPiPico #バーサライタ #バーサライター

🔽ブログリンク
homemadegarbage.com/pipico06 pic.twitter.com/yeFrbqHCn5

タグ： RaspberryPiPico バーサライタバーサライター

posted at 13:30:19

神　岳 @takejin009

@sekibunnteisuu @genkuroki こういう人が、水道水飲めるのが不思議です。

タグ：

posted at 13:30:28

@genkuroki 2020年実施　中央大学理工学部の物理になります pic.twitter.com/9HkJ94VHQ8

タグ：

posted at 13:36:12

@genkuroki すみません、漢字ではありませんでした。どこかの学校であったと思うのですが、失念してしまいました。すみません。
研修で、「理系の入試問題で単語を書かせる問題が増えている。由々しき問題」と元文科省の方が怒ってました。
同時に、「選択問題害悪論」も語られてましたが。

タグ：

posted at 13:38:29

@yoshiyu02784200 【「理系の入試問題で単語を書かせる問題が増えている。由々しき問題」と元文科省の方が怒ってました。】

これは貴重な情報。

タグ：

posted at 13:42:42

@genkuroki 「『択一問題ダメ。書かせなさい。』と言ったら単語テスト増えた。」とのことです。

タグ：

posted at 13:50:08

TensorflowがSwiftを選んだのは愚かであったことが証明された。

Juliaでやっていれば、プロジェクトがシャットダウンすることを防げてかつ、有益なツールの提供とその核心部分を握るアドバンテージが得られたと思う。

数学がらみの高速計算用途ではJuliaが優れている。

タグ：

posted at 14:16:53

二匹大介 @Yta8Ntion1FKvR0

@musorami @sekibunnteisuu @OokuboTact @temmusu_n 学校教育は
・自分で解法を導く
・他人の解法(考え)を読む
だと前者奨励の傾向があるのかな...と思ってましたが
「解き方が何通りもある問題に自由に取り組ませて、お互いの解決方法を鑑賞し合う」
の"お互いの〜"は方はちょっと後者っぽいですね。

タグ：

posted at 14:16:58

@Yta8Ntion1FKvR0 @musorami @OokuboTact @temmusu_n お互いの解決方法を鑑賞し合う、というのはある程度のレベル以上でなりたつ授業でしょうね。

私が塾で教えるときは、塾生同士が影響し合わないように配慮します。数学の理解というのは、孤独な作業だと思っているし、他人の意見を聞いて分かった気になるというのは色々厄介だと思うからです。

タグ：

posted at 14:27:18

非公開

タグ：

posted at xx:xx:xx

Warisul Imam @leadersheir_

Day 13/ #100DaysOfCode Finally conquered the spiral matrices in #julialang! Three days of searching for patterns, searching for patterns within the patterns, expressing them through math, putting it all together in code.
Article coming up soon (hopefully😰). pic.twitter.com/kjxq2kpBLL

タグ： 100DaysOfCode julialang

posted at 15:01:29

#数楽

a_{n+1}=pa_b+q が、α=pα+qのとき b_n=a_n-α とおくと b_{n+1}=pb_n に変換されたり、

a_{n+1}=pa_b+q が、a_n = c_n pⁿ とおくと c_{n+1}=c_n+qp⁻ⁿ⁻¹ に変換されたりすることは、

x²+2bx+c=0 が X = x + b とおくと X²-b²+c=0 に変換されることにも似ている。

タグ：数楽

posted at 15:02:13

Mark Kittisopikul ht @markkitti

In other hardware interface news, using #JuliaLang to call C APIs is amazingly easy, carries little to no overhead, and required no glue code other than describing data structures.

The latter was easily handled with some regular expressions on the C header file. pic.twitter.com/KWja3xNmjX

タグ： JuliaLang

posted at 15:08:39

@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n 議論させたり、児童同士の相互作用が無条件にいいとされてそれが目的になってしまっているように思いますね。

　一方で、「だから問題解決型授業は駄目なんだ」と言って号令で子供を操るTOSSが流行ったり

　なんだかな~

タグ：

posted at 15:16:12

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

#数楽

以上の考え方の応用問題

次の漸化式を解け：

　a_{n+1} = 2 a_n + n² + n + 1, a_0 = 1.

このスレッドを全部読んだ人なら楽勝のはず。

少なくとも2つの道があって、楽でない道もたどれるようになった方が力がつく。

類似の問題：

　u'(x) = 2u(x) + x² + x + 1, u(0) = 1.

タグ：数楽

posted at 16:01:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ごまふあざらし(GomahuAzaras @MathSorcerer

#数楽さらに、

類似の問題：

　u'(x) = 2u(x) + x² + x + 1, u(0) = c

が解けたなら、

別の類似の問題：

　u'(x_ = 2u(x) + 5sin(x), u(0) = c

もすぐに解けるはず。

高校で漸化式について勉強していれば、微分方程式について習わなくても、微分方程式も解けるようになってしまうはず。

タグ：数楽

posted at 16:28:08

JuliaTokai　オモチロカッッタ

#Julia言語

タグ： Julia言語

posted at 16:30:31

KatoK @__KatoK__

個人的にCLIがアツかった
#Julia言語

タグ： Julia言語

posted at 16:31:14

#数楽このスレッドのテーマは、与えられた問題の答えをいきなり得ようとするのではなく、より易しい別の問題を解き続けることによって、結果的に与えられた問題も解けてしまうことの理解。

要するに、以下のリンク先の「算数むちゃくちゃ苦手」な子の考え方が数学では王道だということです。 twitter.com/09waku09/statu...

タグ：数楽

posted at 16:33:52

#数楽以下のリンク先の「算数むちゃくちゃ苦手」な子の路線が王道だと気付いて実践し続ければ、近道の方法を採用することも徐々にできるようになるし、

* 問題を解くときの計算量が増えて計算練習にもなる

というボーナス経験値も得られます。ランダムな計算問題の練習よりこちらが勝ると思う。 twitter.com/09waku09/statu...

タグ：数楽

posted at 16:38:56

少し上の方の誤植：❌u(x_ → ⭕️u(x)

#Julia言語 SymPyの使用例

① a_{n+1} = 2a_n + n² + n + 1, a_0 = c の答えの検算

② u'(x) = 2u(x) + x² + x + 1, u(0) = c の答えの検算

③ u'(x) = 2u(x) + 5sin(x), u(0) = c の答えの検算

gist.github.com/genkuroki/fc55... pic.twitter.com/bxVOxh481w

タグ： Julia言語

posted at 16:45:07

@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n そうなっちゃいますよね。

子供同士が教え合うことが素晴らしいみたいなことを思っている人がいるかもしれないけど、算数・数学には当てはまらないですね。

タグ：

posted at 16:47:13

@musorami @Yta8Ntion1FKvR0 @OokuboTact @temmusu_n やり方の説明だけじゃなく、なぜそうなるのかまで説明すれば、教える側の勉強にはなるけど、

　どっちにしても教わる側にあまり益はないでしょうね。

タグ：

posted at 16:48:19

むううみん @muuumin20

よく言われる「一文字変数名はダメ、意味のある名前に」というのは、問題領域の言葉(金融なら「利率」とか、販売管理なら「入庫数」とか)を変数名にしなさい、という事なので、数式という問題領域の言葉でεという一文字で表現されているなら、コードもεと一文字で表現するのが自然なんですよね。 twitter.com/genkuroki/stat...

タグ：

posted at 17:17:27

Guen'ichiYamaguchi @GuenichiYGC

@solid__blue ご報告ありがとうございます。
著作権法的にアレですが･･･ワシントンポストのコラムをこっそり翻訳してしまいました
www.dropbox.com/s/xw53vz4brpve...

タグ：

posted at 17:29:44

#数楽一般に個々の問題を解くよりも、関連の問題を「無数に解く」方が楽。

タグ：数楽

posted at 17:36:29

Guen'ichiYamaguchi @GuenichiYGC

@solid__blue ちなみにこれも私の無断翻訳でした
anond.hatelabo.jp/20190824134241

タグ：

posted at 17:39:45

#数楽

　u'(x) = 2u(x) + 5sin(x)

に類似の漸化式の問題は

　a_{n+1} = 2a_n + 3ⁿ + 4ⁿ

に類です。

こうやって、他人から解ける問題を出してもらうのではなく、自分で解ける問題を生成して行くと、たくさんのことに気付きます。

タグ：数楽

posted at 17:48:31

#数楽自分で問題を作ろうとすることは以下の問題を考えることと本質的に同じことになります。

問題：

　a_{n+1} = 2a_n + f_n

や

　u'(x) = 2u(x) + f(x)

が楽に解ける f_n や f(x) はどのようなものか？

例えば、n²+n+1, x²+x+1, 5sin(x), 3ⁿ+4ⁿ はそのようなf_n, f(x)の例になっている。

タグ：数楽

posted at 17:52:48

#数楽その問題の答えは無数にあるのですが、私が愛用している答えの1つは、

　定数係数の線形漸化式または
　定数係数の線形常微分方程式
　(どちらも斉次)の解であれば楽に解ける

です。例えばx²+x+1は

　u'''=0

を満たしており、3ⁿ+5ⁿは

　a_{n+2}-8a_{n+1}+15a_n=0

を満たす。

タグ：数楽

posted at 17:59:00

#数楽楽に解けるf_n, f(x)を見つける問題について考えると、定数係数の線形漸化式と線形常微分方程式を1階から高階まで一般化しておくべきであることがわかります。

こういう感じで、高校での漸化式の問題について考えると世界が広がって行く。

タグ：数楽

posted at 18:01:46

#数楽例：強制振動させた調和振動子

u''(t) = -u(t) + sin(αt).

sin(αt)が強制振動力。これは、∂=d/dtとおくと

(∂² + 1)u(t) = sin(αt)

と書き直され、両辺に∂²+α²を作用させると、必要条件

(∂²+α²)(∂² + 1)u(t) = 0

が得られ、非斉次の場合が相対的に易しい斉次の場合に帰着されます。

タグ：数楽

posted at 18:07:54

#数楽 (∂²+α²)(∂²+1)u(t)=0の解空間の基底は、

* α≠±1のときは cos(t), sin(t), cos(αt), sin(αt)
* α=±1のときは cos(t), sin(t), t cos(t), t sin(t)

になります。α=±1のときに t cos(t), t sin(t) が出て来るので、ブランコのように振幅が大きくなって行くような現象が起こる。

タグ：数楽

posted at 18:15:35

#数楽解析学的には、αが±1にぴったりなってなくても、αが±1に近ければ「振幅が大きくなる」と見える現象が起こることを確認するべきです。(ぴったり±1でなければ大きくなった振幅は後で小さくなる。)

物理的に意味のある場合について考えても、数学の理解が深まり易いです。

タグ：数楽

posted at 18:19:41

#数楽私は数学が好きなので、自分の意思で実行するという前提さえあれば、延々と計算し続けることが苦にならないのですが、普通の感覚で生きている人には難しいと思います。

しかし、どういうことを延々と繰り返せば理解が深まるかについての実例としては参考になって欲しいと思っています。

タグ：数楽

posted at 18:25:13

易しいことから、地道に順番にやって行くことが基本。

一歩先の難しい問題を既知の易しい問題の組み合わせに分解しながら一歩ずつ進む。

「算数むちゃくちゃ苦手」な子と同じように作業を進める。

数学は難しいので、みんな「算数むちゃくちゃ苦手」な子と同じ状態に陥るのが当然のはずなのです。

タグ：

posted at 18:30:21

#数楽 sin(t) - sin(0.99t) のプロット

三角函数の加法定理は強制振動の分析そのものだとも思える。

www.wolframalpha.com/input/?i=plot+...

www.wolframalpha.com/input/?i=plot+... pic.twitter.com/6vo4m7HsA1

タグ：数楽

posted at 18:51:00

「a_{n+1}とa_nは別物なのに、コレを同じ文字で置く理由がわからない」のような疑問は、その問題のみの話にしなければ、強制振動の話にも繋がっていると思える。

タグ：

posted at 18:54:11

Chad Scherrer @ChadScherrer

@mason_protter Think we'll see former S4TF people popping up in the Julia community?

タグ：

posted at 19:18:46

これも馬鹿すぎる。

教師のやることはすべて正しい
教師のやることに文句を言ってはいけない

という人なのかな？

twitter.com/kurikaniko/sta... pic.twitter.com/gCti5Mn2sN

タグ：

posted at 19:23:14

残り7件のツイートを見る

あ〜る菊池誠(反緊縮)公式 @kikumaco

このように考えてしまうのは当然だが、実際は、レベルの低い教員がおかしなことを教えているのではなく、算数教育の専門家がおかしなことを言っていて、多くの教員はそれを無批判に受け入れている。

　算数教育を熱心に学んだ教員こそが一番たちが悪い。 twitter.com/Hattenazo/stat...

タグ：

posted at 19:32:22

日本版AAASは春日が手を引いたら話を聞いてもいい。それまでは聞く耳持たん。
御用学者wikiみたいな言論の暴力を肯定するやつに科学技術と社会だの語ってもらいたくない

タグ：

posted at 20:39:05

このツイートこそ教育の敗北、いや、トンデモ算数の勝利かな。この人自身も、超算数の犠牲者なんだよね。犠牲者が加害者になる。カルトやマルチ商法と同じだね。 twitter.com/Eylice966/stat... pic.twitter.com/CNJv6EEdu0

タグ：

posted at 21:40:22

Erik Engheim @erikengheim

あ〜る菊池誠(反緊縮)公式 @kikumaco

@ChadScherrer @mason_protter It is interesting to see this discussion online. I am surprised how often people who are really into Swift for this, seem to be totally unaware of Julia. Or they seem to not take it serious because it is not statically typed.

タグ：

posted at 22:10:58

JuliaでもM1のほうが速いのか。ちょっとショック。今のコードを倍速くするにはM1に買い替えるのが早い？でも、Intel版を買ったばかりだから無理だな。悔しい twitter.com/tomiyaakio/sta...

タグ：

posted at 22:12:29

とりさん @biochem_fan

Julia の非同期プログラミングを学ばねば。Channel とか Task とか。電顕画像のサムネイルを提供する Web API backend が目的で、リクエストが来たらそれを優先的に処理するけど、暇なときは他の画像のサムネイルを前もって作るようなもの。PriorityChannels.jl あたりを使ったらいいのかな。

タグ：

posted at 23:22:00

とりさん @biochem_fan