▽檜山正幸のｷﾏｲﾗ飼育記
●04/20 09:18
2025-04-19方向とｵﾘｴﾝﾃｰｼｮﾝ､圏論の絵図雑記／備忘｢方向と向きは区別しなさい｣と教わって､それを守ってきたつもりですが､ﾃｸﾆｶﾙﾀｰﾑだとしても｢方向｣と｢向き｣を区別して運用するのはどうも無理がある気がしてきました｡方向は direction で､向きは orientation のことなのですが､思い切って…2025-04-19随伴系のﾍﾟｰｽﾃｨﾝｸﾞ図もXyJax (Xy-pic extension for MathJax)で描いてみる雑記／備忘｢ﾊﾞﾀﾆﾝのﾍﾟｰｽﾃｨﾝｸﾞ図をXyJax (Xy-pic extension for MathJax)で描いてみる｣の続き｡2-圏のなかの構造といえば､なんつっても随伴系〈adjunction | adjoint system〉ですよね｡ﾆｮﾛﾆｮﾛ関係式〈snake {law | relation | equat

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●04/19 03:46
旅立ちの序曲RubyKaigi 2025 始まったようで｡ Q 日本語版のうぃきぺ CONFIG.SYS - Wikipedia には LASTDRIVE=(A-Z) - 最後に使用するﾄﾞﾗｲﾌﾞ識別文字｡省略すると “P” が仮定される｡ というのがあるのだけど 英語版

▽Official Google Research Blog
●04/18 10:54
April 17, 2025Teaching machines the language of biology: Scaling large language models for next-generation single-cell analysisHealth & Bioscience ·Natural Language ProcessingApril 17, 2025Teaching machines the language of biology: Scaling large language models for next-generation single-cell analysisHealth & Bioscience ·Natural Language Processing

▽Planet Haskell
●04/17 21:58
April 17, 2025Tweag I/OFrontend live-coding via ghciA few months ago, I announced that the GHC wasmbackend added support for Template Haskell and ghci. Initially, theghci feature only supported running code in nodejs and accessing thenodejs context, and I’ve been asked a few times when ghci was going to work inbrowsers in order to allow live-coding the frontend. Sure, why not? I promisedit

▽池田信夫 blog
●04/17 18:31
2025年04月16日23:02ITﾆｭｰﾗﾙﾈｯﾄとﾌﾚｰﾑ問題（ｱｰｶｲﾌﾞ記事）人工知能をめぐる議論は､近代の認識論の歴史を繰り返しているようにみえる｡1980年代までの初期のAIでは､人間の知能は論理だからｺﾝﾋﾟｭｰﾀの論理回路で実現できると考えたが挫折した｡その本質的な原因がﾌﾚｰﾑ問題だった｡たとえば｢猫に餌を与える｣という動作をﾛﾎﾞｯﾄにやらせるには､猫とは何か､餌をどうやって口に入れるのか…といったﾌﾚｰﾑを無限に設定しなければならない｡これはｶﾝﾄの認識論に似ている｡｢物自体｣は認識できず､まずｶﾃｺﾞﾘｰ（ﾌﾚｰﾑ）に分類する必要があるのだ｡1990年代にﾆｭｰﾗﾙﾈｯﾄで人工知能という曖昧な技術は機械学習に進化したが､ﾌﾚｰﾑ問題は解決できなかった｡機械学習は学習で画像や音声を処理する技術だが､その答は人間が与える教師あり学習だから､顔認証や指紋認証はできるよう