ãŠãã¢ã¹ð¹ retweeted
ïŒéšã®æ¥ææ¥ãæ¿ããéãæãïŒ
ææ¥15æ¥(æ¥)ã¯äœæ°å§ãåç·ãééãã圱é¿ã§ãå
šåœã®åºãç¯å²ã§éšãšãªããŸãã
è¥¿æ¥æ¬ãæ±æ¥æ¬ã®å€ªå¹³æŽåŽãæ²çžãªã©ã¯å±å°çã«æ¿ããéšã®éãããããããããæ³šæãå¿
èŠã§ãã
weathernews.jp/news/202611/1âŠ
(äºé±éãããïŒåã®è©±é¡ã«ãè§ŠããŠãããšã) ããããç¥æžã¯ãããªã«ã飯çŸå³ããå°è±¡ããªãã(18æ³ãŸã§ã®èšæ¶ãããªãããã) ã©ãŒã¡ã³ãšããã°ãã£ããã§ä»ã¯ååšããªããè¿æã®åºã«ã¯å
¥ã浞ã£ãŠããããªããªã£ãŠããŸã£ãŠæ²ããã
ãŠãã¢ã¹ð¹ retweeted
ããããå³è§£ãã¹ã©ã€ãã«çµã¿èŸŒããã®ã§HTMLã¹ã©ã€ããããããããšæããŸã
ãŠãã¢ã¹ð¹ retweeted
å€ãäºæ¬¡ãªã¿ãããŠãè§Šè§ã®ãã髪ãã£ãŠãã£ãšå·Šã®ãã€ã ãšæã£ãŠãã®ã«ä»ã¯å³ãæãããšãå€ãããããããªãã âïžâïžâïžâïžãšãªã£ãŠã
ãªããªã¿ã¯ç¡ç¥çœªã âŠïŒ
ãŠãã¢ã¹ð¹ retweeted
LLVMã®ã€ã³ã©ã€ã³ã¢ã»ã³ããªãªããŠã¿ããªèå³ãªããqiita.com/kubo39/items/a121a⊠ã«ããããã²ãšã€ãã€ããŠããªãããšããæãã
ãŠãã¢ã¹ð¹ 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ã¯æ§é ã綺éºã«ã«ãã»ã«åã§ãããããã®åãåã®ç®¡çãšããã³ãŒãã£ã³ã°çãªåŽé¢ãåºãããã
ãŠãã¢ã¹ð¹ 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!
ãŠãã¢ã¹ð¹ retweeted
#æè¡æžå
ž 21 ã§ SAT ãœã«ããŒã®è§£èª¬æžãåºããŸãïŒ
SAT ãœã«ããŒãGlucoseãã®ãœãŒã¹ã³ãŒãã现éšãŸã§èªã¿ãªãããSAT ãœã«ããŒã®ã¢ã«ãŽãªãºã ã詳ãã解説ããæ¬ã«ãªã£ãŠããŸãã
ãŠãã¢ã¹ð¹ retweeted
ãåäœã
MS365ã®ã€ã³ã·ãã³ãã12æéãè¶
ããSLAã§å®ãã皌åç99%ãè¶
éããŸããã
ïŒ30æ¥éã®æã«12æéå©çšã§ããªãïŒçšŒåçã¯çŽ98.33ïŒ
ïŒ
ãã®å ŽåããµãŒãã¹ã¯ã¬ãžãã50%ã®è¿éãç³è«ã§ããŸãã
代çåºãŸãã¯MSã«è«æ±ã詊ã¿ãŠã¿ãŸãããã
ãªããªããªãæ©äŒã§ãã
learn.microsoft.com/ja-jp/paâŠ
ãŠãã¢ã¹ð¹ retweeted
ã¬ã³ã颿°ããããªã代æ°çåŸ®åæ¹çšåŒãæºãããªãããšãããã«ããŒã®å®çãgeminiã«æããŠããã£ããé¢çœãã
ãŠãã¢ã¹ð¹ retweeted
ãã€ã³ãã«æµè¡ç¶æ³ã
11æ13æ¥(é)ãåçåŽåçã¯ææ°ã®ã€ã³ãã«ãšã³ã¶çºçç¶æ³ãçºè¡šãå®ç¹å»çæ©é¢ããã®å ±åç·æ°ã¯3é±é£ç¶ã§å¢å åŸåãšãªã£ãŠããŸãã
ãŸãããŠã§ã¶ãŒãã¥ãŒã¹ã®èª¿æ»ã§ã¯ãå
šåœã®5å²ãããïŒé±éã§é¢šéªãåŒãã人ãåšãã«ããããšåçããŠããŸãã
weathernews.jp/news/202611/1âŠ
ããŒã¿æåã¢ããªã±ãŒã·ã§ã³ãã¶ã€ã³ 第2çã§ã¯ç¬¬1çã«ãã£ã
ã人éã«ã¯ä¿¡é Œæ§ããªãããšãç¥ãããŠããŸããã
ãšããé¢çœæèšèš³ãç¡ããªã£ãŠãã link.amazon/B0gjIIsEo #ad
ãŠãã¢ã¹ð¹ retweeted
PLaMo Translate Desktop 0.6.0 ãªãªãŒã¹ããŸããã
ã»PDF翻蚳æ©èœã远å ããŸããããã©ãŠã¶ã§PDFãéããŠãPDFã翻蚳ã§ããŸã
ã»ã¢ããªèµ·åäžã«Ctrl-C Ctrl-Cã§ã³ããŒããæç« ãã¢ããªã§ç¿»èš³ããæ©èœã远å ããŸãããã¢ããªã¯ããã©ã«ãã§ã¯éããŠãåžžé§ããããã«ãªããŸãïŒãªãã«ãã§ããŸãïŒ
ã»ç¿»èš³æžã¿ããã¹ãããã£ãã·ã¥ããæ©èœã远å ããŸãã
ã»ãã®ä»äžå
·åä¿®æ£ãªã©
github.com/tanakh/plamo-tranâŠ
ãŠãã¢ã¹ð¹ retweeted
æž
æºä¹ èãæ
å ±å¹Ÿäœããèªã¿å§ãããæ
å ±å¹Ÿäœã§ã¯ïŒæ²ãã£ããã©ã¡ãŒã¿ç©ºéãæ±ãããïŒå€æ§äœã®èãæ¹ãå¿
èŠã«ãªãããããŸã§ããŸãè§Šããªãã£ãåéãªã®ã§ïŒãã£ããèªèŸŒã¿ããã
âŒå€æ§äœã®å®çŸ© ïœãæ
å ±å¹Ÿäœã第3ç« ãèªã
stern-bow.hatenablog.com/entâŠ
ãŠãã¢ã¹ð¹ retweeted
ã»æçžå€æ°ãå
ã«å®£èšãããã®åŸã«ã¹ã³ãŒããæžãæ§æã«çµ±äžã§ãã
ãŠãã¢ã¹ð¹ retweeted
é£ç¶æ¡æ£ã»ãããŒããŒã¹ã®èšèªã¢ãã«ã®æè¿ã®é²å±ããŸãšãããµãŒãã€ãå
¬éãããŠããã
â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ã«ããé·ãçæ/æšè«éçšã®å§çž®ãå¯èœãšãªã£ãŠããã®ã§ã¯ãªãã ãããã
çãã ãããã® Rust 1.100.0 æ¥ãïŒAllocator API ãš never type ã«å ããŠãµãã©ã€ãã§ãŒã³æ»æå¯Ÿçã® min-publish-age ãè¯ã blog.rust-lang.org/2026/11/1âŠ
ãŠãã¢ã¹ð¹ retweeted
numpyã®np.array([])ã®dtypeã«ã€ããŠã®issueãèŠã€ãã github.com/numpy/numpy/issueâŠ









































