Home
Language
English
Türkçe
Bahasa Indonesia
About
Privacy Policy
Terms of Service
Pricing
Sign In
Download All
Share
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
ごまちゃんをもふもふするアカウント.
#Julia言語
#JuliaLang
Rust(with LLM)
#GomahuArt
←Handwritten Goma images
#ImportAzarashiAsAI
← AI generated images
#AzarashiLivesEverywhere
Sendai City
Joined April 2010
6.3K
Following
3K
Followers
155K
Posts
Pinned Tweet
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
4 days ago
たのしい学園生活
#ImportAzarashiAsAI
MathSorcerer
retweeted
てるろー
@terurou
about 9 hours ago
Anthropic、消費税を取ってるのにインボイス番号のついてない請求書を発行して、何度も問い合わせしてても1カ月以上何も応じないと社員から報告があるのだが、日本法人、仕事してんの???
MathSorcerer
retweeted
あるす
@Ar_714g
about 22 hours ago
らくがき社長
#てとらレコード
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
about 2 hours ago
YouTubeショートでラムダ(から出版された任意の)ノート買おうみたいなミーム作ればいいのでは(天才)
Who to follow
Shinnosuke Furuya
@sfuruyaz
HPC DevRel at NVIDIA | Fortran, GPU computing, Materials science, Quantum computing, Sweets, Roadster | PhD from UTokyo | All tweets are my own
abap34
@abap34
CS undergrad. https://t.co/3qV5KQwDIO, https://t.co/8ti769wpjx
int
@ssint1120
数学が好きなプログラマ。保型表現と志村多様体を理解したいです。
MathSorcerer
retweeted
V
@voluntas
about 7 hours ago
ラムダノートの本を買おう。
MathSorcerer
retweeted
津軽ねぷこ@動画勢Vtuber
@tsugaru_nepuko
1 day ago
う、ウソだろ…… 台風でコロッケ食べる文化って… まさか消えつつあるのかッ…?!!
MathSorcerer
retweeted
テリーヌ
@Terrine_rider
2 days ago
良いVを見つけたかもしれん 津軽弁もそうだけど、何か声質が青森感あって良い キャラも面白いね
#津軽ねぷこ
https://t.co/6DGi4igCQD
MathSorcerer
retweeted
内閣広報官(色々投稿試し中)
@PressSec_JP
about 21 hours ago
どうやら今朝、X社から公式のグレーバッジが、無事付きました。 引き続き、このアカウントでは、内閣広報官として、高市内閣の日々の動きなどを、多くの皆さんにより身近に感じていただけるような、これまでにない投稿を試みてまいります。
#ありがとう
@elonmusk
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
about 22 hours ago
MathSorcerer
retweeted
Daisuke Okanohara / 岡野原 大輔
@hillbig
1 day ago
Lattice Deduction Transformer(LDT)は、数独や迷路などの問題を、800Kパラメータ程度の小規模モデルでほぼ100%解くことができる手法である。 これらの問題は従来のTransformerが苦手としてきたものであり、フロンティアモデルでも0%、最近の専用モデルでも5Mパラメータ規模で90%程度にとどまっていた。 本手法の大きな貢献は、状態を候補集合空間のラティスとして表し、候補集合を少しずつ削る操作をモデルに学習させる問題設定にしたことである。 このラティスでは、最上位の状態は全候補が残っている状態に対応する。その下には、一部の候補を削った状態が続く。たとえば数独では、あるマスに最初 {1, 2, ..., 9} が候補として残っており、それを {1, 3, 5} に絞り込むことは、ラティス上でより下の状態へ移動することに対応する。 LDTは現在の候補集合を入力として受け取り、削ってよい候補を予測する。さらに、必要に応じて仮説を立てて探索を進め、矛盾が起きた場合にはその探索枝を捨てる。これは概念的には深さ優先探索とバックトラックを組み合わせた探索に近い。ただし、実際には単一の探索枝を逐次的にたどるのではなく、複数の探索枝を並列に走らせる確率的なバックトラック探索として実装されている。 学習時には、探索途中の各状態に対して、現在の候補集合と整合する正解集合から教師信号を作る。つまり、単に最終的な正解・不正解だけをフィードバックするのではなく、「この状態ではどの候補を残すべきか」「どの候補を削ってよいか」を直接学習させる。 モデルは recurrent transformer であり、1回の forward pass の内部で16回ループしたうえで、候補削除と矛盾検出を予測する。 コメント === LDTは数独や迷路などに対する専用モデルであり、このまま汎用的にさまざまな問題を扱えるわけではない。しかし、この考え方自体は広く応用できる可能性がある。 一つ目は、解空間が構造化されているなら、その構造を明示的に利用し、逐次的に探索していくアプローチにすることである。たとえば、プログラムや構造化データを対象にする場合には、この考え方を適用しやすい。本論文の最後でも触れられているように、解そのものではなく、プログラム空間を状態空間として扱う方向も有望である。 二つ目は、学習の作り方である。今回は、探索途中の状態に対して直接教師信号を与えており、procedural reward の考え方に近い。多くの問題では、学習時に追加の計算コストをかけることで、このような中間状態への教師信号を作れる可能性がある。またon policyで学習しているといえる。 このような逐次的な問題を扱う場合、recurrent transformer を使うことはかなり一般的になりつつある。多くの推論タスクが、この種の反復的な状態更新の恩恵を受ける可能性がある。
See More
MathSorcerer
retweeted
山口慶明(Yoshiaki Yamaguchi)
@girlmeetsNG
1 day ago
リモートワークに賛否はあるけど、台風の日にびしょ濡れで遅延電車を乗り継いで出社しなくていい社会になったのは、確実な進歩だと思う。
MathSorcerer
retweeted
knxm
@knxm
2 days ago
Google NotebookLMに手書きのノートを読み込むとLaTeXのソースを出力してくれるんですね.ありがたい.
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
about 23 hours ago
皆んなプレプリどんどん購読しようぜ!
MathSorcerer
retweeted
村上友哉
@MurakamiMath
1 day ago
ChatGPTに毎日、新着論文の概要を「自分の興味に近い順」で通知してもらってます。 これは便利! ChatGPTのタスク機能で、こちらから指示しなくても勝手に通知してくれます。 論文以外にも、海外の研究集会の情報を月イチで探して通知してもらうようにしていて、これもいいです!
MathSorcerer
retweeted
狐井まろ🦊❤️🔥妖狐で良い子なVTuber
@kitsunei222
1 day ago
一切やらせなしで関西弁禁止配信に挑む漢(女)
kitsunei222's tweet video.
MathSorcerer
retweeted
水雪駄🍊
@mizsetta
2 days ago
IT業界長いけど ・一人称で仕事できる人 ・自走できる人 って、募集要項に書いてる会社避けてきたら、攻撃的な人がいる職場に当たったことない。 自走力より、コミュニケーション重視の会社だと →チームワーク大切にする →技術力があっても攻撃的な人は評価されにくい →いても残りにくい →結果、雰囲気が良くなる 気がする。 たまたまかもしれないけど。
MathSorcerer
retweeted
鏡水 更紗螺
@Kagami_Sarasara
2 days ago
自走できる人を欲しがる組織って要はマネジメントが崩壊してるってことだからね。 一人親方を大量に用意して自走させて都合が悪くなったら独断で仕事し過ぎるって叩いて来ますよ。
MathSorcerer
retweeted
引きこもりの肉団子
@gyouza_ju_ju_
1 day ago
ついにアメリカ、mmddyyyyを捨てる
MathSorcerer
retweeted
きしだൠ(K1S)
@kis
1 day ago
まあ、ローカルLLMでコーディングエージェントを普通に使おうと思うなら、統合メモリで128GBは必要。 メモリ高騰がなく今までのペースなら、普通にちょっと高いマシンで動いていたはず。
ごまふあざらし(GomahuAzarashi)
@MathSorcerer
about 23 hours ago
最近は文献調査と自然言語による執筆をしていますが,今までの生活に比べて QoL が高いです.
MathSorcerer
retweeted
しのゆーさん
@shinoyu___
1 day ago
正しくは「金と期限がたくさんあるならできますけど、それほんとうにやるんすか?」です。これ言われたら他に何がネックになりますか?って聞いてください
Last Seen Users on Sotwe
#DUNCANSKUVA
Seen from
United States
clodi
Seen from
Italy
찌혜
Seen from
Korea
Gangubhai
Seen from
India
Sen Ben
Shemales Indian 🇮🇳 6K
Seen from
India
gokhantest
Seen from
India
Koa kerokan
Seen from
Vietnam
Ngintip ibu kandung
Seen from
Indonesia
Ukhti Horny
Seen from
Netherlands
Trends for you
1
Knicks
Under 10K tweets
2
Wemby
Under 10K tweets
3
AMAT
Under 10K tweets
4
Josh Hart
Under 10K tweets
5
ORM VEGGIE POPUP ICONSIAM
Under 10K tweets
6
Kenzie
Under 10K tweets
7
#AEWDynamite
Under 10K tweets
8
Hop Sing
Under 10K tweets
9
#82and0
Under 10K tweets
10
Betrayed
Under 10K tweets
Most Popular Users
1
Elon Musk
@elonmusk
240.1M followers
2
Barack Obama
@barackobama
119.3M followers
3
Donald J. Trump
@realdonaldtrump
111.6M followers
4
Cristiano Ronaldo
@cristiano
108.8M followers
5
Narendra Modi
@narendramodi
106.9M followers
6
Rihanna
@rihanna
97.2M followers
7
NASA
@nasa
92.1M followers
8
Justin Bieber
@justinbieber
90.5M followers
9
KATY PERRY
@katyperry
86.7M followers
10
Taylor Swift
@taylorswift13
80.5M followers
11
Lady Gaga
@ladygaga
72.1M followers
12
Kim Kardashian
@kimkardashian
69.3M followers
13
YouTube
@youtube
68.6M followers
14
Virat Kohli
@imvkohli
68.4M followers
15
Bill Gates
@billgates
63.4M followers
16
The Ellen Show
@theellenshow
62.5M followers
17
CNN
@cnn
61.9M followers
18
Neymar Jr
@neymarjr
60.9M followers
19
X
@x
60.9M followers
20
CNN Breaking News
@cnnbrk
59.9M followers
Olivia
Online
✨
⭐
💫