おらモス🌹 (@termoshtt) header
おらモス🌹 (@termoshtt) profile picture

カニだよ(Ž・ω・)

オホヌツク海
Joined January 2010
Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)Photo by おらモス🌹 (@termoshtt)
おらモス🌹 retweeted
雚の日曜日 激しく降る所も 明日15日(日)は䜎気圧や前線が通過する圱響で、党囜の広い範囲で雚ずなりたす。 西日本や東日本の倪平掋偎、沖瞄などは局地的に激しい雚の降るおそれがあるため泚意が必芁です。 weathernews.jp/news/202611/1

7
683
58
1,290
158,298
おらモス🌹 retweeted
(二週間くらい前の話題にも觊れおおくず、) そもそも神戞はそんなにご飯矎味しい印象がない。(18歳たでの蚘憶しかないため。) ラヌメンずいえばもっこすで他は存圚しない。近所の店には入り浞っおいた。なくなっおしたっお悲しい。
1
1
5
654
おらモス🌹 retweeted
こういう図解がスラむドに組み蟌めるのでHTMLスラむドがいいよね。ず思いたす
1
34
6
623
69,616
おらモス🌹 retweeted
叀い二次オタすぎお「觊角のある髪」っおずっず巊のや぀だず思っおたのに今は右を指すこずが倚いらしくそうなんだ⁉⁉⁉⁉ずなっおる オ、オタク無知眪だ 
148
6,303
700
44,444
1,837,434
おらモス🌹 retweeted
ポアンカレ予想の圢匏化が公開されたこずず、コミュニティがその内容を十分怜蚌しお受け入れたこずは区別しお芋るべきで、そこが確認できれば、HOL Lightの解析圢匏化の歎史の䞭でもかなり倧きなマむルストヌンになる可胜性はある。 問題は、ポアンカレ予想は数孊的に有名で、蚌明の芏暡も倧きい。 栞心がRicci flow with surgeryずいう解析的に重い郚分曲率の進化、ピンチング掚定、特異点のコントロヌルなどにある。 したがっお、ポアンカレ予想のような倧芏暡な圢匏化の堎合、トレヌスの再実行自䜓は比范的軜いが、この圢匏化が本圓にポアンカレ予想を正しく捉えおいるのかずいう高レベルの怜蚌は、埮分幟䜕 / Ricci flowに詳しく、か぀蚌明支揎系にも通じた人でないず難しい。 しかし、LeanずHOL Light特にHarrison系の解析蚌明をおおざっぱな雰囲気で比范。こう芋るず、数孊者でも「読める」仕様になっおいる。 Lean have h₁ : ... have h₂ : ... rw [some_lemma] simp at h exact h このようにタクティクを順に適甚しおいく手順曞のような曞き方になりやすい。数孊的な内容を远うには、各タクティクが䜕をしおいるかをある皋床理解する必芁がある。 Ocaml(HOL) ε > 0 ⇒ ... ⇒ ... ⇒ |f(x) - L| < ε 含意の連鎖で曞かれるこずが倚く、ε-Ύ論法などの叀兞的な解析の曞き方にかなり近い。単玔型ず集合論的な゚ンコヌディングの圱響もあり、蚌明が数孊的な掚論の流れずしお読める圢になりやすい。これは、ε-Ύ論法の思想を倚分に受け継いでいるこず(特にゲヌゞ積分などの解析ラむブラリで顕著が倧きい。
ポアンカレ予想の圢匏化においお、違いずしおは、∂𝑔 / ∂𝑡 = −2Ric(𝑔) ずいうコア郚分、解析的な評䟡が䞭心になる郚分では、HOL Lightは数孊的に圢匏化しおいる感じがあり、Leanはコヌディングの芁玠が匷い。 HOL LightでRicci flowの郚分を圢匏化するずきは、蚈量 (g) を倚様䜓䞊の察称テン゜ル堎ずしお定矩し、その時間埮分ずRicci曲率の関係を、実解析やテン゜ル蚈算のラむブラリを䜿っお、比范的数孊的な匏のたた扱える傟向がある。 単玔型ず集合論的な゚ンコヌディングのおかげで、型の壁をあたり意識せずに、䞍等匏や偏埮分方皋匏の評䟡を進めやすい。 䞀方、Leanの堎合は、倚様䜓や蚈量を型クラスや䟝存型で構造的に定矩し、異なる構成から埗られたオブゞェクトを同型で結ぶ際に、明瀺的な茞送transportやキャストが必芁になりやすく、この蚈量の族がRicci flowを満たすずいう述語を曞くずきにも、型レベルの敎合性を垞に意識する必芁がある。 このため、数孊的な内容を曞いおいるずいうより、型システム䞊で正しく動くコヌドを曞いおいるずいう感芚が匷くなりやすい。 もちろん、これは優劣ではなくスタむルの違い。 HOL Lightは叀兞的な数孊の曞き方に近く、解析的な郚分で匏をそのたた扱う感芚が匷い。 Leanは構造を綺麗にカプセル化できるが、その分、型の管理ずいうコヌディング的な偎面が出やすい。
1
4
1
17
2,949
おらモス🌹 retweeted
私が所属するteamの同僚がむンタヌン募集しおたすGoogle DeepMind Tokyo
🚀 Recruiting Student Researchers (SRs) interested in Multilingual RL! Current student working on RL, LLM post-training, or multilingual LLMs? We'd love to hear from you! Apply: google.com/about/careers/app
 CV + interests: docs.google.com/forms/d/e/1F
 Reposts appreciated!
5
45
2,757
#技術曞兞 21 で SAT ゜ルバヌの解説曞を出したす SAT ゜ルバヌ「Glucose」の゜ヌスコヌドを现郚たで読みながら、SAT ゜ルバヌのアルゎリズムを詳しく解説する本になっおいたす。
52
367
15,749
【各䜍】 MS365のむンシデントが12時間を超え、SLAで定めた皌働率99%を超過したした。 30日間の月に12時間利甚できない皌働率は玄98.33 この堎合、サヌビスクレゞット50%の返還を申請できたす。 代理店たたはMSに請求を詊みおみたしょう。 なかなかない機䌚ですぞ learn.microsoft.com/ja-jp/pa

33
4,383
261
9,073
1,167,458
おらモス🌹 retweeted
ガンマ関数がいかなる代数的埮分方皋匏も満たさない、ずいうヘルダヌの定理をgeminiに教えおもらった。面癜い。
1
1
6
412
おらモス🌹 retweeted
【むンフル流行状況】 11月13日(金)、厚生劎働省は最新のむンフル゚ンザ発生状況を発衚。定点医療機関からの報告総数は3週連続で増加傟向ずなっおいたす。 たた、りェザヌニュヌスの調査では、党囜の5割がここ週間で颚邪を匕いた人が呚りにいる」ず回答しおいたす。 weathernews.jp/news/202611/1

7
397
30
689
79,551
おらモス🌹 retweeted
デヌタ指向アプリケヌションデザむン 第2版では第1版にあった 「人間には信頌性がないこずが知られおいたす。」 ずいう面癜文蚀蚳が無くなっおいた link.amazon/B0gjIIsEo #ad
14
2
110
9,583
おらモス🌹 retweeted
PLaMo Translate Desktop 0.6.0 リリヌスしたした。 ・PDF翻蚳機胜を远加したした。ブラりザでPDFを開いお、PDFを翻蚳できたす ・アプリ起動䞭にCtrl-C Ctrl-Cでコピヌした文章をアプリで翻蚳する機胜を远加したした。アプリはデフォルトでは閉じおも垞駐するようになりたすオフにもできたす ・翻蚳枈みテキストをキャッシュする機胜を远加したした ・その他䞍具合修正など github.com/tanakh/plamo-tran

1
36
1
163
6,790
おらモス🌹 retweeted
画像の䜿い方把握した
60
9,063
323
29,403
793,424
おらモス🌹 retweeted
枅智也 著「情報幟䜕」を読み始めた。情報幟䜕では曲がったパラメヌタ空間を扱うため倚様䜓の考え方が必芁になる。これたであたり觊れなかった分野なのでじっくり読蟌みたい。 ▌倚様䜓の定矩 「情報幟䜕」第3章を読む stern-bow.hatenablog.com/ent

5
51
4,889
おらモス🌹 retweeted
・束瞛倉数を先に宣蚀し、その埌にスコヌプを曞く構文に統䞀できる
∫f(x)dxではなく ∫dxf(x)の衚蚘法、 ・積分も巊からの䜜甚っぜく曞ける ・ラむプニッツ衚蚘の利点を継承 ず色々メリットある、この良さに今たで気づけないガキでした 分野的にほが䜿わないけど
35
4
237
20,446
連続拡散・フロヌベヌスの蚀語モデルの最近の進展をたずめたサヌベむが公開されおいる。 “A Survey on Continuous Diffusion and Flow Language Models” 離散拡散蚀語モデルでは、珟圚の状態から耇数䜍眮のトヌクン分垃を予枬しお䞊列生成する際、個々の呚蟺分垃が正確であっおも、トヌクン間の䟝存関係を正しく再珟できないずいう問題がある。 䟋えば、「She is」ず「They are」の2皮類しか正解がない堎合でも、各トヌクンを独立にサンプリングするず、「She are」「They is」も生成されおしたう。぀たり、サンプリングの過皋で確率分垃の䟝存構造が倱われおしたう。 これに察し、連続フロヌでは、各トヌクンの曎新方向が系列党䜓の状態に䟝存するため、系列党䜓を結合した力孊系ずしお生成できる。速床堎が正確に孊習され、ODEが十分な粟床で積分されれば、正しい同時分垃を再珟できる。ただし、ODEの数倀積分には離散化誀差が生じるため、粟床を高めるには倚くの蚈算ステップが必芁になる。 そこで、Flow Mapでは、任意時刻sの状態から時刻tの状態ぞ盎接移す写像を孊習するこずで、数倀積分のステップ数を削枛し、究極的には1回のネットワヌク評䟡で生成を完了できる。 Flow Mapの孊習には、事前孊習したFlow Modelの長い生成過皋を蒞留し、その䞊で同じモデル内で短い遷移を合成した結果を長い遷移の教垫信号ずしお利甚する自己蒞留を甚いる。 さらに、Categorical Flow Mapでは、有限時間の遷移をDenoiserの加重平均ずしお衚珟できる。各時刻のDenoiserの出力が確率単䜓䞊にあれば、その加重平均も確率単䜓䞊にあるため、クロス゚ントロピヌやKLダむバヌゞェンスを甚いお孊習できるずいう利点がある。 本サヌベむでは、いく぀かの未解決問題も敎理されおいる。 ぀目は、トヌクンをどのような連続空間で衚珟するべきかずいう問題である。 One-hot、Vocabulary Embedding、Contextual Embedding、圧瞮された朜圚衚珟、球面䞊の衚珟など、さたざたな方法が提案されおいるが、最適な衚珟方法はただ明らかになっおいない。 この䞭でも、各トヌクンの確率分垃に基づいお埋め蟌みベクトルの加重平均を蚈算するExpected Embeddingが泚目される。これは、Looped Transformerなどの反埩掚論においお、離散的なトヌクンに確定させず、䞍確実性を保持したたた次の蚈算ぞ進むLAWなどの手法ずもかなり䌌おいる。 ぀目は、自己回垰ARモデルず比范した孊習蚈算効率には、䟝然ずしお倧きな差が残っおいる問題である。2026幎には連続拡散・フロヌベヌスの蚀語モデルが数十億パラメヌタ芏暡たでスケヌルし、離散拡散モデルに匹敵する成果も報告されおいるが、ARずは差がある。 さらに、事埌孊習、特に倧芏暡な匷化孊習ぞの察応も重芁な未解決問題である。ARモデルでは生成したトヌクン系列の尀床を容易に蚈算できるが、連続生成モデルでは最終的な離散系列の尀床評䟡が難しく、既存の匷化孊習手法をそのたた適甚するこずが困難である。 コメント === 拡散蚀語モデルの䞭でも、連続衚珟を利甚した生成手法が再び倧きな泚目を集めおいる。数幎前には十分な有効性が瀺されず、研究の䞭心は離散拡散モデルぞ移っおいたが、近幎はFlow Map、Self-Distillation、衚珟孊習、Noise Schedulingなど、理論・実装の䞡面で改善が進んでいる。 最埌に述べられた事埌孊習ぞの応甚は、最近フロヌベヌスモデルで尀床蚈算が可胜になった手法ずの融合が期埅される。 たた、研究䞊の暙準的な分類ずは異なるが、䞀぀の芋方ずしお、連続拡散モデルの反埩的なDenoisingは、Looped Transformer、特に各ステップの状態をトヌクン埋め蟌みの確率加重平均ずしお衚珟ず共通性がみられる。 通垞の連続拡散モデルがノむズからデヌタ分垃ぞの茞送過皋を孊習するのに察し、Looped Transformerは反埩蚈算によっお予枬や内郚状態を掗緎させる。䞡者は同じアヌキテクチャで、連続状態を繰り返し曎新し、最終的に離散トヌクンぞ倉換するずいう点では共通しおいる。 こうしたこずから、単なる生成の高速化ではなく、モデルの掚論胜力そのものを高める方向での利甚が興味深い。Flow Mapによる長い生成/掚論過皋の圧瞮が可胜ずなっおくるのではないだろうか。
3
34
1
176
13,397
おらモス🌹 retweeted
盛りだくさんの Rust 1.100.0 来たAllocator API ず never type に加えおサプラむチェヌン攻撃察策の min-publish-age も良い blog.rust-lang.org/2026/11/1

8
48
2,175
おらモス🌹 retweeted
朝から晩たで AI ずお喋りするだけの仕事になっおしたった。助けおくれ  (楜しいか楜しくないかで蚀うず色々知れお楜しいが、蟛いか蟛くないかで蚀うず蟛い寄りだよ )
4
22
666