はあ
あすたーいずむ
npub15glt...k87e
超解像度
この前の解散の通称、ローランド解散で落ち着いたの？
ローランド解散 - Wikipedia
ローランド解散 - Wikipedia
ニコニコの実績非表示にする方法ないの……
踊るしかない
うーむ
autoformalization 界隈を見ているともうちょっとでいい感じのものが出てきそうな気はする（いい感じって言いすぎ）
数学論文をインプットすると AI が自動で証明支援系のコードを生成してコンパイルを通す、みたいな世界観って、結構近い未来に来てもおかしくないと思うのだけど、どうなのかな
数学に関しては AI × 証明支援系界隈が大成功を収めてくれると色々いい感じに
むずかしい
分散型科学 (DeSci) | ethereum.org
ethereum.org
分散型サイエンス(DeSci) | ethereum.org
イーサリアム上の分散型科学の概要
確かに、学術研究の成果は公共知であるべきというのにのっとれば、web3 とかでいい感じに……
ピアレビューは必要だろうけれど、もう雑誌という形態である必要もないわけだし、なんかこういい感じの仕組みはできないものだろうか
論文誌多すぎるし傍から見ていてもよくわからない、その分野の中にいる研究者しかわからない世界になってしまっている気がする（どうすればいいのかもよくわからない）
数学では論文掲載料は無料のことがほとんどと聞いているけれども大手出版社だとオープンアクセスにしたければそこそこの料金を払うパターンが多いのかしら
無すぎる
顔が鈍器になっちゃうよ (Drop it)
人生 3
糸を得た
芳文社！
地力をつけたい
糸を探しに行くか悩む