黒木玄 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年08月23日(月)
非公開
タグ：
posted at xx:xx:xx
@_julesh_ In #JuliaLang we have the . meta-operator for these semantics, yielding the .+ and .- operations. Also gives us a way to distinguish between * (matrix multiplication) and .* (Hadamard product)
タグ： JuliaLang
posted at 22:31:39
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/TomiyaAkio/sta...
www.amazon.co.jp/1%E3%81%8B%E3%...
「1から始める Juliaプログラミング 」の著者である佐藤さんのチュートリアルの情報を更新しました。
タグ：
posted at 17:07:23
こんな凄惨な状態なのに何故都内の重症患者が増えていないのか、カラクリは単純で国は重症患者を ICU 入室を要する患者と定義しているのに対して、東京都は人工呼吸器 or ECMO 使用を重症と定義しているので、人工呼吸器と ECMO がフル稼働してる時点で「絶対にそれ以上重症患者が増えないから」です。
タグ：
posted at 12:53:23
@OokuboTact その人たちの言う「算数」が「数学」とは違うものだと言うのなら、その「算数」は学習指導要領に違反しているので、即刻やめないと未履修になりますね。
タグ：
posted at 12:10:00
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/TomiyaAkio/sta...
Julia研究会の発表、物性、素粒子、宇宙と幅広い
タグ：
posted at 11:16:49
嫁がワイのPCモニターを見て、
「それ何言語？」
ワイ「julia!!!」
嫁「出た、はいはいあれね。もうpythonやってないのか？」
一丁前にjuliaの存在を認識してて生意気。
まあpythonもまだやってるけどな。
タグ：
posted at 04:27:22
算数の学習指導要領（平成二九年告示）の冒頭、ほんと笑える。
「数学的な見方・考え方を働かせ、数学的活動を通して、数学的に考える資質・能力を次の通り育成することを目指す。」
よっぽど「算数は数学と違う」と言いたい方に五寸釘を打ち込みたいらしい。
タグ：
posted at 02:04:42
「教育における手計算の取り扱いがひどい」という問題は、ちょー算数問題(算数教育の専門家達が維持発展させて来た教え方が全般的に子供の頭を悪くするような教え方であるという問題)の一部分なのに、「電卓やコンピュータを使えばよい」という話にしてしまう人達の考え方は社会的に有害だと思われる。 twitter.com/genkuroki/stat...
タグ：
posted at 01:46:32
A pixel editor in the terminal? Why not!
github.com/knosmos/cmdpxl 🎨 pic.twitter.com/x8banqD538
タグ：
posted at 01:00:14
行列式について、その絶対値が平行四辺形の面積や平行六面体の体積などになることは非常に大事。
以下の図でc⃗をc⃗+αa⃗+βb⃗で置き換えても、平行六面体の体積=底面積×高さは変わらない。行列式についても同様の性質がある。この事実を使えば3×3の行列式と平行六面体の体積の関係を証明できる。 pic.twitter.com/Xkf0EGFnPD
タグ：
posted at 00:52:47
これは見せたくなかったが、問題中の数を変数に一般化することはいつでも非常に良い考え方。
行列式は多重線形性と交代性で定数倍を除いて特徴付けられる。それらの性質は「ある行(ある列)の定数倍を他の行(他の列)から引いても行列式は不変」の形式でよく使われる。
www.wolframalpha.com/input/?i=det%2... twitter.com/genkuroki/stat... pic.twitter.com/YMvk6iH7CH
タグ：
posted at 00:39:34
2021年08月22日(日)
MolecularGraph.jl v0.10.0
github.com/mojaie/Molecul...
Query-based substructure mining including structural alerts, and improved MCS calculation API
#julialang #chemoinformatics
タグ： chemoinformatics julialang
posted at 23:55:10
| a a+1 a+2|
| a+3 a+4 a+5|
| a+6 a+7 a+7|
をサラスの公式で計算して最後にa=12321を代入するのであれば、まだ手計算で解けそう（やりたくないけど） twitter.com/genkuroki/stat...
タグ：
posted at 23:35:53
リクルートの技術ブログで今僕が取り組んでいるプロジェクトを紹介する記事を書きました。
#Julia言語 に興味があったり、プログラミング処理系やコンパイラ技術が好きな学生さんや社会人の方に読んでいただけたら嬉しいです。
Juliaコンパイラ開発レポート atl.recruit-tech.co.jp/blog/5216/ via @rtech-atl
タグ： Julia言語
posted at 19:38:28
@kado_judo0312 discourse.julialang.org/t/how-to-defin... が多分答えになっています。
immutableな数の変数aの更新は f!(a, b) の形式ではできず、 a = f(a, b) の形式でやる必要があります。
mutableなArrayの変数aの成分の更新は f!(a, b) の形式でやると効率的。
タグ：
posted at 14:55:35
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
私が直接知っているような人達だと、コンピュータを使わなくてもものすごい計算力がある人の方が、コンピュータを使って数学的に意味のあるしんどい計算をするのが上手だという印象があります。
計算力があればそれだけ遠くが見通せるので、コンピュータも上手に役立てられるのでしょう。
タグ：
posted at 12:04:29
「行列式
| 12321 12322 12323 |
| 12324 12325 12326 |
| 12327 12328 12328 |
を求めよ」という問題は、行列式の基本性質達とそれらを使った行列式の計算法を知っていれば、3桁の数を2つかける計算よりも楽に暗算で解けます。
「3つかけたのを3つたして3つひく」だと暗算は超つらい(笑)。 twitter.com/genkuroki/stat...
タグ：
posted at 12:00:59
@84yame1000 @k_migaki twitter.com/genkuroki/stat...
あと
「１ｍの重さが3kgの鉄棒、12mの重さは？」の問題に、
正答者の三分の一は
数字が文章に出てきた順番に立式していないのが興味深いです。
（２桁）×（１桁）の方が計算しやすいからでしょうか？
タグ：
posted at 10:49:49
新山祐介 (Yusuke Shinyam @mootastic
各言語実装が、自家製の構文解析器を使っているか、あるいはYacc的なパーサジェネレータを使っているかの調査。
自家製: GCC, Clang, JS V8, TypeScript, OpenJDK, Go, C# Roslyn, Lua, Swift, Julia
Yaccもどき: Ruby, PHP, Bash, R, PostgreSQL, MySQL, SQLite
PEG: CPython
notes.eatonphil.com/parser-generat...
タグ：
posted at 10:16:16
昔々、まだshellがtrueの値を持っていなかったころ、/bin/trueというスクリプトが存在。著作権を主張するコメントだけでコードは一切存在しなかった。AT&TとSunのtrueコマンドのソースを公開。まだ訴えられていないという :-) GNUはC言語で書き直しヘルプを付けた。今はもういらない。 twitter.com/HNTweets/statu...
タグ：
posted at 09:41:15
「目的の量 = 近似 + 誤差」という発想の数学的実現の典型例がテイラー展開(もしくは剰余項付きのテイラーの定理)。
ロピタルの定理の機械的適用は「目的の量 = 近似 + 誤差」という発想になっておらず、教えている側的には「目的の量 = 近似 + 誤差」という方向に誘導したくなる。
タグ：
posted at 09:21:01
目的の量 = 近似 + 誤差
という発想で、誤差の部分を論理的にコントロールするようにがんばると自然にε-δの話になる。
ε-δの話は、単に厳密な議論にするために必要なのではなく、「目的の量 = 近似 + 誤差」という普遍的な発想から自然に出て来る「普通の話」に過ぎない。
タグ：
posted at 09:21:01
新入生向けの微積分の問題で出し易いのは、「ロピタルの低利を使って求められる極限の問題でロピタルの定理を使うと計算量が大幅に増えて絶望的な気分になりそうな問題」。
微積分では、ほぼ
目的の量 = 近似 + 誤差
の話しかしない。この発想を論理的に真面目に書くとε-δの話になる。
タグ：
posted at 09:21:00
非公開
タグ：
posted at xx:xx:xx
「答えだけ合っても意味がない，考え方が大事」「算数・数学が苦手でもこれなら考え方を教えられる」「見方・考え方がお手軽に評価できたらいいな」あたりが次々と合体して「先生が教えたとおりに考えなさい。それ以外は答えだけ合っても意味がない」というキングスライムになった感じがします twitter.com/nabekichi32/st...
タグ：
posted at 06:56:14
Googleは社内にてEpicのアプリストアが端末上に載せられれば、最終的にはAmazonやSamsungや他社が追従することで$6Bの売上損失に繋ると試算していた。 twitter.com/jowens510/stat...
タグ：
posted at 04:29:31
Googleはスマホメーカーに対し、Googleは検索市場での独占による利益の一部を提供する代わりに他社のアプリストアをpre-installしないことを確約させていた。 twitter.com/jowens510/stat...
タグ：
posted at 04:26:55
AppleとGoogleの間での別の会合では記録によれば両社の役員達は「我々のビジョンにおいて、我々はまるで1つの企業のように働く」とのことで合意していた。 twitter.com/jowens510/stat...
タグ：
posted at 04:25:05
Googleは社内文書にて、Google Play Storeが全世界で独占を達成していたとを認めていた。 twitter.com/jowens510/stat...
タグ：
posted at 04:21:46
1つ前のツイートの行列式を「3つかけたのを3つ足して3つ引く」という方法で直接計算する人は絶望的な気分になるだろう。
しかし、非常に稀に、その方法で正解する猛者が現れてめちゃくちゃびっくりする(笑)
タグ：
posted at 02:43:46
こういう場所に書くと「試験対策」されてしまうのでちょっとアレなんですが、多分これは例外。私は線形代数を教える仕事をするときには試験で、「行列式
| 12321 12322 12323 |
| 12324 12325 12326 |
| 12327 12328 12328 |
を求めよ」というような問題を出す。「サラスの公式」丸暗記対策(笑)
タグ：
posted at 02:43:45
@GenerativeFart @Wattenberger @mattdesl I liked the ability to easily place points based on curves, built-in tiling approaches, etc. Nicely functional. I ended up moving to #julialang because I realized that my preferred style is computationally expensive/numerically precise and the browser just couldn’t keep up.
タグ： julialang
posted at 02:07:27
前からこの種の擁護論には不思議なんだけど、もしその「規律」とやらが国民を不幸にしていると理解しているが立場上法律に従って泣く泣く「規律」の維持を目指さなくてはならない、と考えているのなら、その法律を改正すべく努力するのも役人の務めなんじゃないですか？
それをしないだけでも有罪。
タグ：
posted at 01:07:34
issueも建ててPRも送った、この件は一件落着ですね（まだマージもされてないうちからですが！）
github.com/TeXitoi/struct...
github.com/TeXitoi/struct...
タグ：
posted at 00:58:17
『財政規律の門番という「立場」があってやっていること』
仮にその立場を認めたとしても、その立場にいても出来るはずのことすらせずに、多くの国民を数十年に渡って不幸にしてきたのだから、そんな「立場」なんて言い訳にもならないし、国民からすれば知るかそんな事。 twitter.com/blauerseelowe/...
タグ：
posted at 00:53:43
