yohhey

音楽と数学が好きです。iPadに全てのものを詰め込みたい。社会人大学院生

[yohhey @yohhey]

モノイダル(余)閉圏における(コ)モノイドの淡中再構成についてのPDFを作りました。

(全く同じ内容のものがどこかにアップされていますが、リンクが機能しているのでこちらの方が読みやすいと思います。)

https://t.co/crTpritVQV

[黒猫ドラネコ @kurodoraneko15]

「カーボベルデ メッシ守備に走らす」

故事成語かよ

[ザビ太 @xavita]

「YouTubeが無かった時代のMVが存在してることが理解できない」という発想はYouTube以降の世代しか思いつかない疑問なので我々には思いつけない議題

[yohhey @yohhey]

今日はaction groupoid 考える自然さが少し分かって嬉しかった。

[yohhey @yohhey]

ようやく叩き台ができた。予想以上に時間がかかってしまった。これからも完成まで時間がかかりそうなので、並行して新しい研究もしたい。

[yohhey @yohhey]

とりあえず今日中に最低限人に見せられるところまで持っていきたい。テンション上げて作業する。

[yohhey @yohhey]

まとめるのに思ったより時間がかかっている。かなりできてきているが、ごちゃごちゃした証明の書き直し、結果が一般化されたことによる具体例の計算し直し、記号の振り直し、などがまだできていない。早く終わらせて次の課題にチャレンジしたい。

[nichi @_ichi_nichi_]

fuck it, minecraft on an xdj-az

[yohhey @yohhey]

先週前半に一通り論文の叩き台を作るはずだったが、ずいぶん予定がずれてしまった。今月中にarXivにアップロードするのを目標に頑張りたい。ひたすら何も考えずにTeXを打つ必要があるが、考えれば解決できそうな問題も一つあるので、早くこっちに取り掛かりたい。

[yohhey @yohhey]

quasi-Hopfの計算の腕力だけは自信がついてきたので、少々複雑でもどうせ計算できると思えるようになった。AIがこのあたり苦手なのは、論文には試行錯誤の過程が全て省かれて整理された証明のみ掲載されるので、発見の過程が学習されていないからなのかもしれない。

[yohhey @yohhey]

最近の成功しているパターンは　成立してほしい式を書く→そのための条件を書き下す→条件を満たす式を目指して都合の良い仮定を置いて進む→トライアンドエラーで複雑な式が見つかる→複雑な式が実はシンプルな式に簡略化されるという流れ　証明だけ見るとシンプルだが裏では大変な計算をしている。

[yuta(にしのん) @falsita]

Claude CodeのFable5との最後の対話が完全にSF小説にある、機能停止前のロボットやAIとの最後の対話になってしまった

[yohhey @yohhey]

昨日示した命題の補正項の式があまりにぐちゃぐちゃだったのでゴリゴリと式変形をしていくととても綺麗な形になった！そのままの形で放置しなくてよかった。

[yohhey @yohhey]

思ってより時間がかかったが命題ができた。こねくり回してようやくどうにかなったが、できたものだけを見るともう少し早く見つけることができたように思う。山ほど可能性がある中から具体的な式を見つけることはやはり難しい。

[ダ・ダ・恐山 そういう人もいる2巻 @d_d_osorezan]

この直後に米国政府が介入してきてこのAIモデルを使えなくなった。

[yohhey @yohhey]

すぐ終わると思っていた計算が意外に大変で苦労したが、どうにか終わりそう。
あとはきちんと清書して問題ないかチェックする。

[yohhey @yohhey]

quasi-Hopf algebraの計算は複雑なパズルゲームのようで中毒性がある。あきらかに式変形が進み始めているので今日中にもう一個命題ゲットできそう。

[yohhey @yohhey]

quasi-Hopf algebraの計算は複雑なパズルゲームのようで中毒性がある。あきらかに式変形が進み始めているので今日中にもう一個命題ゲットできそう。

[yohhey @yohhey]

https://t.co/lfHCraDIxX

[yohhey @yohhey]

Thru The Machines https://t.co/H8w4fkVEDN @ＹｏｕＴｕｂｅより

[yohhey @yohhey]

残り一個の命題もゴリ押しで式変形して綺麗な表示をゲットした。この辺りの計算は何故かAIにはできないようで、理由が気になっている。実際の変形は未知式が山ほどある状態からここがこうなってればうまく行きそうだなと目分量で式を割り当てて実行していくのだが、こういう処理が苦手なのか？

[yohhey @yohhey]

残り一個の成立して欲しい性質もうまく行きそう。眠いので明日続きのチェックをする。
追加で予想が一個できたので、これも言えればパッと思いつくのは全部示せたことになりそう。