黒木玄 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月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
