lotz (@lotz) | mixi2

mixi2 始めました
mixi.social/@lotz

Press Releases - 東京大学 大学院理学系研究科・理学部 東京大学 大学院理学系研究科・理学部のプレスリリース情報です。

原論文を読んだけど面白かった。細胞レベルの話で生きている状態と制御による時間発展の方程式が定まってる場合において、どのように制御しても生きている状態に戻れない状態を死と定義する話。生死は補集合になりその境界線がSANZ（三途）と命名されている。系全体の生死を判定するのでグリッド状のセルの生死を個別に判定する話では無かった😌
www.s.u-tokyo.ac.jp/ja/press/105...

おめでとうございます！！

代数的エフェクトで確率的プログラミングを実装する | ドクセル 代数的エフェクトで確率的プログラミングを実装する by lotz

一つの確率モデルをシミュレーションと推論で使い回すためにProbFXは monad-bayes と違って Conditioning をハンドラでの実行時に制御する方法を取っている✍
名前の合成の問題（同じ名前のパラメータを含む二つの確率モデルを合成する際に生じる問題）は Tag を文字列でなくパンくずリストのようにすれば解決しそう
www.docswell.com/s/lotz/KEX89...

会場が自宅だったのでクローズドだったけど久しぶりに技術的な話の勉強会ができて良かった😌

最初にテンソル積を習った時はバランス写像の定義で、当時は定義から自然さや嬉しさが分からなくて珍紛漢紛だった記憶😇

Bluesky now has over 10 million users, and I was #10,792!

エンジニアって当たり前のように複雑なことやってるよなぁ

15年ぶりにハードに手を出し始めたけど楽しい

やっぱりエンジニアの話するの楽しいな

次会うのが楽しみ🤭

このアイコンぐらいの長さになった？

なぜ人は自然数が好きで自然数に癒されるのか

#拡散しないでください

花粉を🤧

四元数ニューラルネットワークとGHR微積分

実数ではなく複素数や四元数を使ったニューラルネットワークを考えると学習時に通常の微分が使えないので、ウィルティンガー微分やGHR微積分を考える必要があるという話。特に四元数におけるGHR微積分は四元数の非可換性から積の微分法や合成関数の微分法が通常の形では成り立たず自動微分の実装に工夫を行う必要がある（のが面白い）／
四元数ニューラルネットワークとGHR微積分
zenn.dev/lotz/article...

Lensだけで作るニューラルネットワーク

【再掲だけど】
Lensは値を取り出す順方向の流れと、値をセットする逆方向の流れの双方向のデータの流れを表現することができる。これを使えば、ニューラルネットワークにおける順方向の流れである推論と逆方向の流れである学習を Lens を基本的なブロックとして組み合わせることで実現できるという話／
Lensだけで作るニューラルネットワーク
zenn.dev/lotz/article...

グラフからコミュニティ構造を抽出する 〜リッチフローによるグラフの時間発展〜

【再掲だけど】
最適輸送理論を使ってグラフ上に定義されるリッチフローに沿ってグラフの時間発展を考えると、グラフの中でクラスタになっている部分が分離されてコミュニティ構造が抽出できるという話／
グラフからコミュニティ構造を抽出する 〜リッチフローによるグラフの時間発展〜
zenn.dev/lotz/article...

YoYo

ゆれたねー

これよくわかる。一つの例だけど、今まで個別に学んでた色んな概念がモナドで統一して理解できるってわかった時、地に足がついた感じがして良かった😌

575ですね！お大事にしてください😭

お元気ですかー！

この概念を使ってこういうことができたら面白そうだなーと思ってたこと、論文読んでたら既に研究されてた😇けど方向性は間違ってなかったしなにより気になってたので読んでて楽しい

しりとりで勝てるヤツ見つけた！