檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)2026-01-22 型コスモãƒã‚¸ãƒ¼ï¼š 型宇宙ã€åž‹éŠ€æ²³ã€ãƒ¦ã‚°ãƒ‰ãƒ©ã‚·ãƒ« 雑記ï¼å‚™å¿˜ 最近ã®è¨¼æ˜Žæ”¯æ´ç³»ï¼ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€é€šå¸¸ã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä¸Šä½ã«å®‡å®™ã‚·ã‚¹ãƒ†ãƒ （ソートシステムã¨ã‚‚ã„ã†ï¼‰ã‚’å‚™ãˆãŸã‚‚ã®ãŒã‚ã‚Šã¾ã™ã€‚2023å¹´ã®è¨˜äº‹ã€Œæœ€è¿‘ã®åž‹ç†è«–： 宇宙ã¨ä¸–ç•Œã€ãã—ã¦éŠ€æ²³ã€ã®å†’é を引用ã™ã‚‹ã¨ï¼š Lean（最新版ã¯Lean 4）ã¯å¼·åŠ›ãªåž‹ã‚·ã‚¹â€¦ 2026-01-08 「言ã‚ãªã„ã¨ã‚„らãªã„ã€ã®å¯¾å¶ã«ã¤ã„㦠雑記ï¼å‚™å¿˜ å¤å…¸è«–ç†ã§ã¯ã€å‘½é¡Œã€ŒPã§ãªã„ ãªã‚‰ã° Qã§ãªã„ã€ã®å¯¾å¶ã§ã‚る「Q ãªã‚‰ã° Pã€ã¯ã€ã‚‚ã¨ã®å‘½é¡Œã¨åŒå€¤ã§ã‚ã‚Šæ„味ã¯å¤‰ã‚らãªã„ã¨ã•ã‚Œã¾ã™ã€‚ã—ã‹ã—ã€å¯¾å¶å‘½é¡ŒãŒã‚‚ã¨ã®å‘½é¡Œã¨åŒå€¤ãªã“ã¨ã¯æ—¥å¸¸ç›´æ„Ÿã¨åˆã‚ãªã„ã€ã¨ã‚‚言ã‚ã‚Œã¾ã™ã€‚ãã®ã¨ã出ã•ã‚Œã‚‹å®Ÿä¾‹ã®ã²ã¨ã¤ã«ã€Œè¨€ã‚… 2026-01-03 AI支æ´å½¢å¼è¨¼æ˜Žã¸ã®é“ å ±å‘Š-4 éžå°‚門家ã¨ä¸€ç·’ã«å››è‹¦å…«è‹¦ 雑記ï¼å‚™å¿˜ Lean ã®ã‚³ãƒ¼ãƒ‰ç”Ÿæˆã«é–¢ã—ã¦ã¯ã€GitHu
{{#tags}}- {{label}}
{{/tags}}