lotz
LightNews LightNews
banner
lotz.bsky.social
lotz
@lotz.bsky.social
150 followers 49 following 110 posts
Haskellで数学を実装するのが趣味です。 機械学習の抽象的で統一された設計技法に興味があります
Posts Replies Media Videos
lotz.bsky.social
mixi2 始めました
mixi.social/@lotz
lotz (@lotz) | mixi2
mixi.social
December 16, 2024 at 3:23 PM
lotz.bsky.social
原論文を読んだけど面白かった。細胞レベルの話で生きている状態と制御による時間発展の方程式が定まってる場合において、どのように制御しても生きている状態に戻れない状態を死と定義する話。生死は補集合になりその境界線がSANZ（三途）と命名されている。系全体の生死を判定するのでグリッド状のセルの生死を個別に判定する話では無かった😌
www.s.u-tokyo.ac.jp/ja/press/105...
Press Releases - 東京大学 大学院理学系研究科・理学部
東京大学 大学院理学系研究科・理学部のプレスリリース情報です。
www.s.u-tokyo.ac.jp
December 1, 2024 at 10:33 AM
lotz.bsky.social
一つの確率モデルをシミュレーションと推論で使い回すためにProbFXは monad-bayes と違って Conditioning をハンドラでの実行時に制御する方法を取っている✍
名前の合成の問題（同じ名前のパラメータを含む二つの確率モデルを合成する際に生じる問題）は Tag を文字列でなくパンくずリストのようにすれば解決しそう
www.docswell.com/s/lotz/KEX89...
代数的エフェクトで確率的プログラミングを実装する | ドクセル
代数的エフェクトで確率的プログラミングを実装する by lotz
www.docswell.com
November 17, 2024 at 12:41 AM
lotz.bsky.social
会場が自宅だったのでクローズドだったけど久しぶりに技術的な話の勉強会ができて良かった😌
November 13, 2024 at 7:22 AM
lotz.bsky.social
最初にテンソル積を習った時はバランス写像の定義で、当時は定義から自然さや嬉しさが分からなくて珍紛漢紛だった記憶😇
November 13, 2024 at 6:49 AM
lotz.bsky.social
Bluesky now has over 10 million users, and I was #10,792!
September 18, 2024 at 9:13 AM
lotz.bsky.social
エンジニアって当たり前のように複雑なことやってるよなぁ
July 5, 2024 at 10:04 AM
lotz.bsky.social
15年ぶりにハードに手を出し始めたけど楽しい
May 27, 2024 at 9:34 AM
lotz.bsky.social
やっぱりエンジニアの話するの楽しいな
April 19, 2024 at 11:09 AM
lotz.bsky.social
なぜ人は自然数が好きで自然数に癒されるのか
March 3, 2024 at 12:09 PM
lotz.bsky.social
#拡散しないでください

花粉を🤧
February 13, 2024 at 5:50 AM
lotz.bsky.social
実数ではなく複素数や四元数を使ったニューラルネットワークを考えると学習時に通常の微分が使えないので、ウィルティンガー微分やGHR微積分を考える必要があるという話。特に四元数におけるGHR微積分は四元数の非可換性から積の微分法や合成関数の微分法が通常の形では成り立たず自動微分の実装に工夫を行う必要がある（のが面白い）／
四元数ニューラルネットワークとGHR微積分
zenn.dev/lotz/article...
四元数ニューラルネットワークとGHR微積分
zenn.dev
February 10, 2024 at 7:46 AM
lotz.bsky.social
【再掲だけど】
Lensは値を取り出す順方向の流れと、値をセットする逆方向の流れの双方向のデータの流れを表現することができる。これを使えば、ニューラルネットワークにおける順方向の流れである推論と逆方向の流れである学習を Lens を基本的なブロックとして組み合わせることで実現できるという話／
Lensだけで作るニューラルネットワーク
zenn.dev/lotz/article...
Lensだけで作るニューラルネットワーク
zenn.dev
February 10, 2024 at 7:44 AM
lotz.bsky.social
【再掲だけど】
最適輸送理論を使ってグラフ上に定義されるリッチフローに沿ってグラフの時間発展を考えると、グラフの中でクラスタになっている部分が分離されてコミュニティ構造が抽出できるという話／
グラフからコミュニティ構造を抽出する 〜リッチフローによるグラフの時間発展〜
zenn.dev/lotz/article...
グラフからコミュニティ構造を抽出する 〜リッチフローによるグラフの時間発展〜
zenn.dev
February 10, 2024 at 7:41 AM
lotz.bsky.social
ゆれたねー
February 9, 2024 at 8:44 AM
lotz.bsky.social
これよくわかる。一つの例だけど、今まで個別に学んでた色んな概念がモナドで統一して理解できるってわかった時、地に足がついた感じがして良かった😌
yukikurage.net ゆきくらげ ❄ଳ @yukikurage.net · Feb 7
Haskell は純粋関数型言語だが、僕が好きなのは純粋でも関数型でもなくその simplicity と抽象化能力なんですよね　
というお気持ちブログをいつか書くか
February 8, 2024 at 4:14 AM
lotz.bsky.social
この概念を使ってこういうことができたら面白そうだなーと思ってたこと、論文読んでたら既に研究されてた😇けど方向性は間違ってなかったしなにより気になってたので読んでて楽しい
January 14, 2024 at 12:35 PM
lotz.bsky.social
しりとりで勝てるヤツ見つけた！
January 10, 2024 at 2:58 PM
lotz.bsky.social
今年の目標: 体重を10kg台減らす！
January 4, 2024 at 12:58 PM
lotz.bsky.social
贅沢な話だけどこの先何をしようか何がしたいのか悩むなぁ
October 29, 2023 at 8:00 AM
lotz.bsky.social
数式もLaTeXで書いた方が分かりやすいしもうある程度早く書けるから最近紙と鉛筆を使わなくなってきたなぁ
October 29, 2023 at 6:56 AM
lotz.bsky.social
ブログを書く時、頭の中を吐き出そうとするから毎回プログラムの部分もフルスクラッチで書く癖があってよくない
October 7, 2023 at 1:24 AM
lotz.bsky.social
このまま眠りつづけて死ぬ #nemuritsuzuketeshinu
October 4, 2023 at 3:06 PM
lotz.bsky.social
読めなかった論文が半年経って読めるようになってた！嬉しい☺️
August 22, 2023 at 12:52 PM
lotz.bsky.social
クライスリ圏がデカルト微分圏（リバースモード自動微分ができる圏）になるようなモナドの話。 Readerモナドも含まれるらしい。プログラムで実装できる非自明な例を見つけれたら面白そうだけどパッとは思いつかないな👀
https://arxiv.org/abs/2308.06859
Cartesian Differential Kleisli Categories
Cartesian differential categories come equipped with a differential combinator which axiomatizes the fundamental properties of the total derivative from differential calculus. The objective of...
arxiv.org
August 19, 2023 at 4:46 AM