lotz
@lotz.bsky.social
Haskellで数学を実装するのが趣味です。 機械学習の抽象的で統一された設計技法に興味があります
Bluesky now has over 10 million users, and I was #10,792!
September 18, 2024 at 9:13 AM
Bluesky now has over 10 million users, and I was #10,792!
正規言語や関係代数の不動点方程式を半環（ω連続）上に拡張したニュートン法を使って高速に解く Newtonian Programming Analysis
面白そうなんだけど解けると嬉しい例があまりピンと来てない… 誰か思い付きます？
https://www7.in.tum.de/~esparza/Talks/icalp08.pdf
面白そうなんだけど解けると嬉しい例があまりピンと来てない… 誰か思い付きます？
https://www7.in.tum.de/~esparza/Talks/icalp08.pdf
August 8, 2023 at 12:08 AM
正規言語や関係代数の不動点方程式を半環（ω連続）上に拡張したニュートン法を使って高速に解く Newtonian Programming Analysis
面白そうなんだけど解けると嬉しい例があまりピンと来てない… 誰か思い付きます？
https://www7.in.tum.de/~esparza/Talks/icalp08.pdf
面白そうなんだけど解けると嬉しい例があまりピンと来てない… 誰か思い付きます？
https://www7.in.tum.de/~esparza/Talks/icalp08.pdf
左のメニューのフォローフォロワーの下に書いてある？
July 11, 2023 at 12:59 AM
左のメニューのフォローフォロワーの下に書いてある？
あー本当だ、僕もTwitter動かなくなってしまったw
July 2, 2023 at 3:43 AM
あー本当だ、僕もTwitter動かなくなってしまったw
イチローズモルト ダブルディスティラリー
華やかさとまろやかさがあって美味しい(*´﹃｀*)
飲める内に飲んどけってやつですね…
華やかさとまろやかさがあって美味しい(*´﹃｀*)
飲める内に飲んどけってやつですね…
May 19, 2023 at 12:13 PM
イチローズモルト ダブルディスティラリー
華やかさとまろやかさがあって美味しい(*´﹃｀*)
飲める内に飲んどけってやつですね…
華やかさとまろやかさがあって美味しい(*´﹃｀*)
飲める内に飲んどけってやつですね…
アードベッグ ハイパーノヴァ
家の近くのバーで見つけて思わず注文。ピート感はそこまで強く無く、個人的にはウィービースティーやカリラに近い乳酸菌発酵の香りがあって勉強になりました🙏
家の近くのバーで見つけて思わず注文。ピート感はそこまで強く無く、個人的にはウィービースティーやカリラに近い乳酸菌発酵の香りがあって勉強になりました🙏
May 3, 2023 at 2:19 PM
アードベッグ ハイパーノヴァ
家の近くのバーで見つけて思わず注文。ピート感はそこまで強く無く、個人的にはウィービースティーやカリラに近い乳酸菌発酵の香りがあって勉強になりました🙏
家の近くのバーで見つけて思わず注文。ピート感はそこまで強く無く、個人的にはウィービースティーやカリラに近い乳酸菌発酵の香りがあって勉強になりました🙏
四谷の交差点の所でいっつも行列ができてるラーメン屋に初めて入った🍜こんな美味しい家系ラーメンがあんな立地のいいところにあったらそりゃ並ぶわー
April 30, 2023 at 4:32 AM
四谷の交差点の所でいっつも行列ができてるラーメン屋に初めて入った🍜こんな美味しい家系ラーメンがあんな立地のいいところにあったらそりゃ並ぶわー
初めて飲んだけどモレンジィの華やかさに加えて甘さがあってとても好きでした😋
April 27, 2023 at 1:18 PM
初めて飲んだけどモレンジィの華やかさに加えて甘さがあってとても好きでした😋
