黒木玄 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月25日(金)
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
Auto-diff in ForwardDiff.jl is composable:
julia> Dp = (V,p,x) -> p == 0 ? V(x) : derivative(x -> Dp(V, p-1, x),x);
julia> Dp(x -> cos(x^2), 5, 0.1)
0.27998680012999955
julia> x=0.1; 160x^3*cos(x^2) + 120x*sin(x^2) - 32x^5*sin(x^2)
0.27998680012999955
タグ:
posted at 21:24:08
#Julia言語
discourse.julialang.org/t/allowing-the...
意訳要約【リアルタイムシステムの開発で、最終製品Rust・プロトタイピングJuliaの組み合わせでJuliaを使いたければ使っていいけど、全部Rustでやった方がよくね?】
うけた!
私も無理してJuliaを使わなくてもいいと思った(笑)
Juliaコミュニティおもろい。
タグ: Julia言語
posted at 21:13:12
#Julia言語
Plutoを使っている人は多いと思うのですが、デフォルトのセルの幅が狭いと思っている人は結構いると思う。
Plutoでセルの幅を広げる方法が
discourse.julialang.org/t/cell-width-i...
に書いてあった。
実際に試してみた。Live Docとセルが重なってくれるようになる。 pic.twitter.com/59VlnVF7ar
タグ: Julia言語
posted at 20:59:32
#Julia情報
== は全然同値関係ではないし、浮動小数点数に関する < も全順序ではない。
ソートなどの全順序が欲しい場合には、islessとisequalの組み合わせを使う。
docs.julialang.org/en/v1/base/bas...
タグ: Julia情報
posted at 20:40:59
#Julia言語 添付画像のような感じで使えます。
Julia情報については公式ドキュメントを見るのが正確で速い。
docs.julialang.org/en/v1/manual/r... twitter.com/omega_2delta/s... pic.twitter.com/Xk9QhJfHL2
タグ: Julia言語
posted at 20:37:51
小学生たち、Chromeがオフライン状態だと恐竜のゲームが遊べる事を発見して学校のタブレットで休み時間にWi-Fi繋がずに遊んでるらしいww pic.twitter.com/4XYiWk5TSP
タグ:
posted at 20:30:38
reading: 1/7がつくる楕円をJulia言語でプロットする - non vorrei lavorare abrakatabura.hatenablog.com/entry/2016/10/...
タグ:
posted at 20:20:46
「PC 正常性チェック」ツールを使ってみて、あなたのPCはWindows 11にアップグレード可能でしたか?
また、Windows 11への感想やご意見があればこのツイートに返信してお聞かせください。
タグ:
posted at 20:07:03
さらに、提案スケジューリング手法の #julialang での実装が公開されています github.com/labauto/SLab.jl
筆頭著者でもあるNAISTの伊藤さんには、私の書いたプロトタイプのコードをとても美しいソフトウェアに昇華していただきました。ここに感謝申し上げます🙇♂️
タグ: julialang
posted at 20:05:18
さらに、提案手法をロボット実験のシミュレーターとして用いると、実行時間を短縮する実験プロトコルや、設置する機器の配置や台数といった実験室の構成を設計できるkともわかりました。例えば、ある実験を処理する際に特定の台数を増やした際のスループットへの効果を見積もることができました(続)
タグ:
posted at 20:05:17
実際の生命科学実験を模したシミュレーションの結果、提案手法は、時間制約を満足させつつ全体の実行時間を最小化するスケジュールを決定できることが分かりました。(続)
タグ:
posted at 20:05:17
そこで、本研究では、時間制約のある実験手順を多数・多種類の機器で自動化する際の機器の割り当てをスケジューリング問題として定義し、混合整数計画問題として定式化しました。そして、これを分子限定法を用いてスケジューリングする手法を開発しました(続) pic.twitter.com/5ib6u8V239
タグ:
posted at 20:05:16
一方で、生きた細胞やRNAなどの生体分子を扱う生命科学実験では、ある一定時間内に一連の作業を完結させなければならないといった時間制約があり、この様な特性を考慮したスケジューリング手法が求められていました。(続)
タグ:
posted at 20:05:15
1つの実験を完了するのに複数のロボット・機器が必要となる場合、賢い連携が研究生産性の鍵となります。そのため、一連の実験手順を異種・多数の機器に適切に割り当てるスケジューリング手法が研究されてきました。
(続)
タグ:
posted at 20:05:15
研究自動化(Lab/Research Automation)の初論文がでました🤖 理研BDR高橋さん @ktakahashi74 チームとのコラボです🙇♂️
論文: doi.org/10.1177/247263...
PR: www.tsukuba.ac.jp/journal/techno...
多種類のロボット・機器を連携させて生命科学実験を自動化する際の最適スケジューリング手法を開発しました!(続)
タグ:
posted at 19:46:15
#Julia言語
github.com/JuliaMath/Comb...
discourse.julialang.org/t/is-there-a-f...
の2つを参考にして書いた1次元配列のすべての置換を生成するための函数を書いた。ゼロアロケーションで、OffsetArrayでも使用可。
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/1L9cfzYjKj
タグ: Julia言語
posted at 18:35:11
正確な給付を優先するあまり、申請方法や審査が厳密化され、各地でいつまでも給付されないよりも、ずっとずっと良いことだと思うな。もっとやれ。
予算的にも、返納させたならそれで解決じゃん。(刑事責任とかは別の話) twitter.com/asahi_shakai/s...
タグ:
posted at 18:33:15
かと(コミュゲ研)TRPG・発達・余暇支 @comgame2014
「あの子があんなに楽しそうに外での事を話すのは初めてだと思う」と母親が涙ながらに語っていた…という報告を受けた。
コミュニケーションは話すことだけではない。そして、楽しい物語の時間を過ごすだけでも、子どもの中には多くのことばが生まれ、それがその子の心の財産になっていく。(了)
タグ:
posted at 18:01:15
かと(コミュゲ研)TRPG・発達・余暇支 @comgame2014
モンスターを見事に撃破すると、「ニヤリ」と満面の笑みを浮かべた。TRPGセッションの間、少年がハキハキ喋ることはなかったが、セッションには積極的に参加していた。
その後日談だが、その少年はその日、帰宅するなり母親に対してTRPGの冒険での出来事をひたすらに喋りまくったらしい。(⇒続)
タグ:
posted at 18:01:14
かと(コミュゲ研)TRPG・発達・余暇支 @comgame2014
ある選択制緘黙の少年が参加したときは、キャラクターの行動は、ルールブックの中の行動の例が書かれた「サマリーシート」を指さして貰い、判定は普通にサイコロを振って貰った。最初は無表情だった少年も、たまに口元を動かし目を見開き、体を乗り出したりしだした。そして自分のキャラクターが(⇒続)
タグ:
posted at 18:01:13
ノーベル賞受賞者の闇落ちと言えばポーリング博士という大先達がいて、信者は「先生はノーベル賞を受賞されたんですか?」の決め台詞を吐いては、最前線の医師たちを悩ませた。
ポーリングからの流れは現在ホメオパシーに代わる代替療法のオーソモレキュラーとなっていて、本当に迷惑であります。 twitter.com/MIKITO_777/sta...
タグ:
posted at 17:49:37
@AlexZevelev That is correct. An interesting point is that the default tolerance is not eps() of x or y, but it is the square root of eps of the large number in the comparison
タグ:
posted at 16:22:46
緒方恵美@洋楽ライブM’sBAR @Megumi_Ogata
カフェで仕事中。
真後ろの女性2人組が、突然、セーラームーンの話を始めた。
久川綾さんのファンだという女の子が、カードキャプターさくらの話まで持ち出して彼女の良さを熱弁している。もう1人の女の子が、ウラヌスの話を、、、
ふ、振り向けねえ。
(((((気づかれずにレジに向かう方法を模索中
タグ:
posted at 15:45:01
@andresilvatw You can also customize the tolerance:
discourse.julialang.org/t/how-can-i-re...
タグ:
posted at 14:04:59
ごまふあざらし(GomahuAzaras @MathSorcerer
discourse.julialang.org/t/capture-cmd-...
毎回やり方忘れてググってる.
#Julia言語
run(`goma goma kyukkyu`, String)
タグ: Julia言語
posted at 13:55:37
正直、これを見て
『医師の中でワクチン接種の是非について意見が別れている』
と言うのは、
『地球平面論者が存在するから、地球が球体なのかどうか意見が別れている』
と言うようなものだと思います。 twitter.com/Japangard/stat...
タグ:
posted at 12:37:18
L.モンタニエ氏はホメオパシーなどを推奨する反医学にはまってしまい、世界中から批判を受けている、まさに存在自体が『意味不明の出鱈目』の人物です。
大多数ノーベル賞受賞者でワクチンを推奨しています。 twitter.com/K_Tachibana002...
タグ:
posted at 12:06:31
handle for store submissions and very much don't have the impression that that route is going anywhere... I really love the vision you all have for the store, but the reality on the ground as someone trying to get something into the store is VERY different...
タグ:
posted at 07:53:40
in research and teaching at universities. Is there a way that you could put me in touch with someone who can actively help us bring this Windows Store version through the store bureaucracy? I've sent too many completely unproductive emails back and forth with the official email
タグ:
posted at 07:53:40
everything works. We updated the app 15 times, all smooth sailing. Until we tried to publish the 16th version. MS then took three weeks or so to "certify" that version, in the end denying it and saying that a bug in their system led to the intial approval of the app. Oh, and they
タグ:
posted at 07:53:39
Trying to publish @JuliaLanguage in the Windows Store has been one of the more frustrating experiences. All seemed great a few weeks ago: app got approved in the store, we started a small test phase with about 100 users that love the experience, technically this is fantastic and
タグ:
posted at 07:53:39
I mean, this is super impressive. "Switching provider and downloading the right binary for ya, sit back and relax" pic.twitter.com/skhAYrsiOY
タグ:
posted at 04:04:48
MacOS Arm is still mostly unsupported, but so much progress has been made in such a short period of time. Thankfully #JuliaLang is so fast that I don't at all mind running it in Apple's x86_64 emulation layer as Apple Silicon gains support :)
タグ: JuliaLang
posted at 04:03:12
Woohoo!! #JuliaLang's `master` branch, as of today, builds and successfully installs DifferentialEquations.jl, Plots.jl, and lots of other heavy packages on MacOS Arm. Super thankful to the community for all of the quick progress on this
タグ: JuliaLang
posted at 04:03:12
While Blade Runner is trending, thought I would share this clip of Harrison Ford's response to Rutger Hauer's incredible performance (which makes the film IMO). I love the way there's no sign of jealousy or resentment from Ford, just total genuine enthusiastic support pic.twitter.com/uMwVnWr2Zf
タグ:
posted at 03:59:06
The #julialang tooling for installing whatever other software you need, no matter how terrible their installation story is one of its best features. We've also been playing with managing PDK/model dependencies using the Pkg manager, which is another headache removed. twitter.com/pepijndevos/st...
タグ: julialang
posted at 02:39:49
そういう素晴らしいアイデアでパッケージを書いた人がいて、多くの人が使うようになり、その機能の一部がプログラミング言語の新仕様として取り込まれるようになった流れは素晴らしいです。
「いいものを見せてもらった」という感じ。
タグ:
posted at 01:50:50
#Julia言語 以下のリンク先で言及されているParameters.jlは本当に素晴らしいパッケージだと思う。
Base.@ kwdef と v1.7 以上で使える (; a, b, c) = p 構文は Parameters.jl の機能の一部のJulia本体側での再実現とみなせる。
Parameters.jl のアイデアは素晴らしい。
discourse.julialang.org/t/suggestion-u...
タグ: Julia言語
posted at 01:43:52
Nice function in Julia to check if two numbers are close. Instead of an equal sign, you can write directly with the approximate symbol. Look how it works for the number e (which can also be written as a symbol) #JuliaLang pic.twitter.com/WA5Jqud8wY
タグ: JuliaLang
posted at 00:18:25