Grassmannでのモデル推定自体は多分うまくいってるはずやねんけど、それによるMPC(と言うよりDeePC?)がうまくいかない
November 24, 2025 at 12:30 AM
Grassmannでのモデル推定自体は多分うまくいってるはずやねんけど、それによるMPC(と言うよりDeePC?)がうまくいかない
ついったはええねんけどちゃっぴー使えへんのちょっと困ったわねぇ…
November 18, 2025 at 1:42 PM
ついったはええねんけどちゃっぴー使えへんのちょっと困ったわねぇ…
ちゃっぴー曰く「実装はアレだが間違いはない」とのこと…
November 15, 2025 at 12:06 PM
ちゃっぴー曰く「実装はアレだが間違いはない」とのこと…
M系列で作成した入出力データ食わせたらビッタビタに当ててきた……こわ……
November 15, 2025 at 11:56 AM
M系列で作成した入出力データ食わせたらビッタビタに当ててきた……こわ……
Grassmann多様体上の勾配法ベースの部分空間同定法、適当実装の割に案外悪くなさそう
November 15, 2025 at 10:43 AM
Grassmann多様体上の勾配法ベースの部分空間同定法、適当実装の割に案外悪くなさそう
バネダンパ系みたいな線形モデルはバッチ学習後にオンライン学習すると性能が劣化することが分かった(今更)
November 8, 2025 at 4:38 PM
バネダンパ系みたいな線形モデルはバッチ学習後にオンライン学習すると性能が劣化することが分かった(今更)
ヘッシアンの計算を整備して計算効率が良くなるよう改良した
あとは関数渡したらgradと一緒に自動微分で計算できるようにしたい
あとは関数渡したらgradと一緒に自動微分で計算できるようにしたい
November 1, 2025 at 3:45 PM
ヘッシアンの計算を整備して計算効率が良くなるよう改良した
あとは関数渡したらgradと一緒に自動微分で計算できるようにしたい
あとは関数渡したらgradと一緒に自動微分で計算できるようにしたい
レトラクションで移した後に適当な直交変換を施す処理を入れるとええでとGPT先生に言われるまま実装したら精度が劇的に改善した
October 28, 2025 at 12:52 PM
レトラクションで移した後に適当な直交変換を施す処理を入れるとええでとGPT先生に言われるまま実装したら精度が劇的に改善した
Grassmann多様体上の信頼領域法で最初のk個の固有値求めてみた
pythonでも全部求めるnp.linalgよりも速く固有値固有ベクトル求められるけど、精度がさほど良くなさそうなのが気になる
pythonでも全部求めるnp.linalgよりも速く固有値固有ベクトル求められるけど、精度がさほど良くなさそうなのが気になる
October 26, 2025 at 3:45 PM
Grassmann多様体上の信頼領域法で最初のk個の固有値求めてみた
pythonでも全部求めるnp.linalgよりも速く固有値固有ベクトル求められるけど、精度がさほど良くなさそうなのが気になる
pythonでも全部求めるnp.linalgよりも速く固有値固有ベクトル求められるけど、精度がさほど良くなさそうなのが気になる
試しに対称行列の固有値計算させてみたけど、分かってはいたけどそんなに速くはない
October 25, 2025 at 4:30 PM
試しに対称行列の固有値計算させてみたけど、分かってはいたけどそんなに速くはない
リバースエンジ対策のコード書いてるけど、これって本来発動してはならないコードなんで、なんか裏方仕事って感じでゾクゾクする
October 12, 2025 at 3:41 PM
リバースエンジ対策のコード書いてるけど、これって本来発動してはならないコードなんで、なんか裏方仕事って感じでゾクゾクする
Reposted by Torte
なんとなく共形計量に関する曲率の変換則を計算してる
October 8, 2025 at 2:13 PM
なんとなく共形計量に関する曲率の変換則を計算してる
曲面論のRuh-Vilmsの定理の証明を久々に追ってたら日付が変わってた
October 5, 2025 at 3:36 PM
曲面論のRuh-Vilmsの定理の証明を久々に追ってたら日付が変わってた
原論文ではSacks-Uhlenbeckの定理使って議論を正当化してる箇所があるけど、2次元の話しかしてへんので普通に複素解析で完結できそう
October 4, 2025 at 11:18 AM
原論文ではSacks-Uhlenbeckの定理使って議論を正当化してる箇所があるけど、2次元の話しかしてへんので普通に複素解析で完結できそう
平面からR^3へのエネルギー有限な平均曲率一定はめ込みが有理関数で書けるやつ、球面間の正則写像が有理関数に限ることから自然に従う感じか
October 4, 2025 at 10:07 AM
平面からR^3へのエネルギー有限な平均曲率一定はめ込みが有理関数で書けるやつ、球面間の正則写像が有理関数に限ることから自然に従う感じか
ミーハーなのでガロアの伝記読んでるとガロア理論勉強して〜ってなる(代数はどうしても途中で投げてしまう…)
September 30, 2025 at 12:40 AM
ミーハーなのでガロアの伝記読んでるとガロア理論勉強して〜ってなる(代数はどうしても途中で投げてしまう…)
セルフトレース(悪意あるデバッガを後付けできないようにするやつ)のやり方なんとなくわかってきた
September 29, 2025 at 11:09 AM
セルフトレース(悪意あるデバッガを後付けできないようにするやつ)のやり方なんとなくわかってきた
よく考えたらアインシュタイン計量もまた変分問題の解なんよなぁ…(Hilbert-Einstein汎函数の極小解)
September 27, 2025 at 10:47 AM
よく考えたらアインシュタイン計量もまた変分問題の解なんよなぁ…(Hilbert-Einstein汎函数の極小解)
4次元のアインシュタイン多様体の理論ちょっと気になってる
September 27, 2025 at 10:46 AM
4次元のアインシュタイン多様体の理論ちょっと気になってる
この夏トマトがあんま安くなくて、結局あんま食べへんまま夏が終わってしもた
September 25, 2025 at 11:02 AM
この夏トマトがあんま安くなくて、結局あんま食べへんまま夏が終わってしもた