[B! program] efclã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

efcl id:efcl

programã«é–¢ã™ã‚‹efclã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (690)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

C# ã§ Discriminated Union ã‚’å†ç¾ã—ã€åž‹å®‰å…¨æ€§ã‚’é«˜ã‚ã‚‹
ã¯ã˜ã‚ã« Discriminated Union ã¯ã€è¤‡æ•°ã®åž‹ã‚’åˆä½µã™ã‚‹ãƒ¦ãƒ‹ã‚ªãƒ³ã®ä¸€ç¨®ã§ã™ã€‚ ã—ã‹ã—å˜ãªã‚‹ãƒ¦ãƒ‹ã‚ªãƒ³ã§ã¯ãªãã€ã€Œè¤‡æ•°ã®åž‹ã®ã†ã¡ç¾åœ¨ã©ã®åž‹ã§ã‚ã‚‹ã‹ãŒåˆ¤åˆ¥å¯èƒ½ãªãƒ¦ãƒ‹ã‚ªãƒ³ã€ ã‚’æŒ‡ã—ã¾ã™ã€‚ å‚è€ƒ: åˆ¤åˆ¥å…±ç”¨ä½“ - F# | Microsoft Learn, åˆ¤åˆ¥å¯èƒ½ãªãƒ¦ãƒ‹ã‚ªãƒ³åž‹ (discriminated union) | ã‚µãƒã‚¤ãƒãƒ« TypeScript ä¾‹ãˆã° User = ãƒ¡ãƒ³ãƒãƒ¼ or ã‚²ã‚¹ãƒˆ ã ã¨ã—ã¦ã€ User ãŒ ãƒ¡ãƒ³ãƒãƒ¼ ã®ã¨ã: ãƒ¡ãƒ³ãƒãƒ¼ã®åå‰ ã‚’è¡¨ç¤ºã—ãŸã„ User ãŒ ã‚²ã‚¹ãƒˆ ã®ã¨ã: "ã‚²ã‚¹ãƒˆ" ã¨è¡¨ç¤ºã—ãŸã„ ã®ã‚ˆã†ã«ã€Œä»Šã©ã®åž‹ã‹ã€ã«å¿œã˜ã¦å‡¦ç†ã‚’åˆ†ã‘ãŸã„å ´åˆãŒã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ ã“ã†ã—ãŸã‚±ãƒ¼ã‚¹ã«ãŠã„ã¦ã€å…¥å£ã§ã¯ User ã¨ã„ã†ä¸€ã¤ã®åž‹ã¨ã—ã¦æ‰±ã„ãªãŒã‚‰ã€å®Ÿå‡¦ç†ã¨ã—ã¦ã¯ ãƒ¡ãƒ³ãƒãƒ¼ åž‹ã€ ã‚²ã‚¹ãƒˆ åž‹ã®ã©ã¡ã‚‰ã‹ã§ã‚ã‚‹ã‹ã‚’åˆ¤åˆ¥ã—ã€ãã‚Œãžã‚Œã®åž‹ã¨ã—ã¦æ‰±ã†ã“ã¨ãŒã§ãã‚‹ã®ãŒ
efcl 2025/12/31
discriminated unionãƒ‘ã‚¿ãƒ¼ãƒ³ stateã‚’1ã¤ã®å¤‰æ•°ã§çŠ¶æ…‹é·ç§»ã‚’è¡¨ç¾ã™ã‚‹æ™‚ã«ä½¿ã†

C#

program

.net
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚ˆã†ã«æ³•å¾‹ç”æ¡ˆãŒæ›¸ã‘ã‚‹ã‚¨ãƒ‡ã‚£ã‚¿ã€Œã‚¨ãƒ«ã‚³ãƒ¼ãƒ‰ã€ã‚’ç„¡æ–™å…¬é–‹
ã€ã‚¨ãƒ‡ã‚£ã‚¿ã®ä½¿ã„æ–¹ã€‘ ï¼œè¦ç´ ã‚’æŠ½å‡ºï¼ž å•é¡Œæ–‡ã®ã†ã¡ã€ç”æ¡ˆæ§‹æˆã‚’ã™ã‚‹ã«ã‚ãŸã£ã¦é‡è¦ãªéƒ¨åˆ†ã«ã¤ã„ã¦ã€ãƒã‚¤ãƒ©ã‚¤ãƒˆã™ã‚‹ã“ã¨ã§è¦ç´ ã‚’æŠ½å‡ºã—ã¾ã™ã€‚ã“ã®ä½œæ¥ã¯ã€å¾“æ¥ã®æ³•å¾‹ç”æ¡ˆã®ä½œæˆã«ã‚ãŸã£ã¦ã‚‚ã€ä¸€èˆ¬çš„ã«è¡Œã‚ã‚Œã¾ã™ã€‚ ï¼œç”æ¡ˆæ§‹æˆï¼ž ãƒã‚¤ãƒ©ã‚¤ãƒˆã—ã¦æŠ½å‡ºã—ãŸè¦ç´ ã‚’å‚è€ƒã«ã—ãªãŒã‚‰ã€æ³•çš„æŽ¨è«–ã®ãŸã‚ã®å½¢å¼è¨€èªžMatchaã‚’ç”¨ã„ã¦ã€æ³•çš„æŽ¨è«–ã‚’è¨˜è¿°ã—ã¾ã™ã€‚ ç”æ¡ˆæ§‹æˆã¯ã€æ³•çš„æŽ¨è«–ã®è¨“ç·´ã¨ã—ã¦ã¯ã‚‚ã£ã¨ã‚‚é‡è¦ãªéŽç¨‹ã§ã‚ã‚‹ã«ã‚‚ã‹ã‹ã‚ã‚‰ãšã€å¾“æ¥ã®æ³•å¾‹ç”æ¡ˆã®ä½œæˆã®éŽç¨‹ã§ã¯ã€å¦ç”Ÿã¯å•é¡Œæ–‡ã®ä½™ç™½ã«ãƒ¡ãƒ¢ã¨ã—ã¦æ›¸ãã¤ã‘ã‚‹ãªã©ã€æ£ç¢ºã«è¡¨ç¾ã™ã‚‹ã“ã¨ãŒè»½è¦–ã•ã‚Œã¦ã„ãŸé ˜åŸŸã§ã™ã€‚
efcl 2025/11/18
> æ³•å¾‹ç”æ¡ˆã‚’ä½œæˆã™ã‚‹éš›ã«ã€Œç”æ¡ˆæ§‹æˆã€ã¨ã„ã†åå‰ã§çŸ¥ã‚‰ã‚Œã¦ã„ã‚‹ç”æ¡ˆã‚’æ›¸ãå‰ã®æº–å‚™ä½œæ¥ã«ã¤ã„ã¦ã€å½¢å¼è¨€èªžã§è¨˜è¿°ã§ãã‚‹ã‚¨ãƒ‡ã‚£ã‚¿ãƒ¼ã‚’åˆ¶ä½œã—ã€å…¬é–‹ã—ã¾ã™ã€‚ã¾ãŸã€ãã‚Œã«ã‚ãŸã£ã¦ã€æ³•çš„æŽ¨è«–ã®ãŸã‚ã®å½¢å¼è¨€èªžã€ŒMatchaã€ã‚’

program

legal

editor
ãƒªãƒ³ã‚¯
Template Interpreters
11/8/2025 Template Interpreters A look at an under-discussed style of interpreter used by V8 and Hotspot. Itâ€™s well-known that the fastest programming language runtimes get their speed by having an optimizing JIT compiler, famous examples being V8 and HotSpot. Thereâ€™s something less known about their baseline bytecode interpreters (the interpreter that runs code by default before JIT kicks in): Th
efcl 2025/11/12
ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ—ãƒªã‚¿ãƒ¼ãŒã‚³ãƒ³ãƒ‘ã‚¤ãƒ©ãƒ¼ã‚ˆã‚Šé€Ÿããªã‚‹ã‚±ãƒ¼ã‚¹ã¨ã—ã¦diamond shapeã€‚ã‚¤ãƒ³ã‚¿ãƒ¼ãƒ—ãƒªãƒ³ã‚¿ãƒ¼ã‚’ã‚¢ã‚»ãƒ³ãƒ–ãƒªã§æ›¸ãã®ã¯ã€ABIã‚’JITã¨å…±æœ‰ã™ã‚‹ãŸã‚ã€‚Lua JITã®è©±ã€‚

program

article
ãƒªãƒ³ã‚¯
Scar Programming Language
Scar Modern systems programming language that abstracts complex concurrency whilst maintaining power and performance.
efcl 2025/09/21
parallelismã¨concurrencyã‚’æ‰±ã†è¡¨ç¾ã‚’æŒã¤ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž

program
ãƒªãƒ³ã‚¯
GitHub - steveklabnik/rue: A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2025/09/09
Rustã‚µãƒ–ã‚»ãƒƒãƒˆè¨€èªž

Rust

program
ãƒªãƒ³ã‚¯
A Lean Syntax Primer â€” overreacted
This is my opinionated syntax primer for the Lean programming language. It is far from complete and may contain inaccuracies (Iâ€™m still learning Lean myself) but this is how I wish I was introduced to it, and what I wish was clarified. #Why Lean? This post assumes youâ€™re already eager to learn a bit of Lean. For motivation, I humbly submit to you two takes: one from me and one from its creator. #D
efcl 2025/09/05
æ•°å¦çš„è¨¼æ˜ŽãŒã§ãã‚‹Haskellã¿ãŸã„ãªè¨€èªžã§ã‚ã‚‹Leanã«ã¤ã„ã¦

JavaScript

program
ãƒªãƒ³ã‚¯
1 Billion nested loop iterations
Methodology Timings taken via hyperfine on an M3 Macbook pro with 16 gb RAM. Input value of 40 given to each. Swift version: swift-driver version: 1.115 Apple Swift version 6.0.2 (swiftlang-6.0.2.1.2 clang-1600.0.26.4) Clang version: Apple clang version 16.0.0 (clang-1600.0.26.4) Fortran version: GNU Fortran (Homebrew GCC 14.2.0_1) 14.2.0 R version: Rscript (R) version 4.4.2 (2024-10-31) Kotlin ve
efcl 2025/08/16
è¨€èªžã”ã¨ã®1 Billion nested loop iterationsã®æ¯”è¼ƒã‚’è¦–è¦šåŒ–ã—ãŸã‚‚ã®

program
ãƒªãƒ³ã‚¯
GitHub - microsoft/poml: Prompt Orchestration Markup Language
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2025/08/13
ãƒ—ãƒãƒ³ãƒ—ãƒˆãƒžãƒ¼ã‚¯ã‚¢ãƒƒãƒ—è¨€èªž

LanguageModel

program
ãƒªãƒ³ã‚¯
Robust-first computing: Demon Horde Sort (full version)
efcl 2025/08/03
Robust-first computingã«ã¤ã„ã¦ã€‚ åŠ¹çŽ‡æ€§ã¨å …ç‰¢æ€§ã¯å¯¾ç«‹é–¢ä¿‚ã§ã€æ±ºå®šè«–çš„ãªã‚‚ã®ã‚’å‰æã«åŠ¹çŽ‡æ€§ãŒä½œã‚‰ã‚Œã¦ã„ã‚‹ã®ã§éš ã‚Œã¦ã„ã‚‹ã‚³ã‚¹ãƒˆãŒã‚ã‚‹ã€‚å …ç‰¢æ€§é‡è¦–ã¸ã®è»¢æ›ã«ã¤ã„ã¦ https://movablefeastmachine.org/

algorithm

program

paper
ãƒªãƒ³ã‚¯
GitHub - upstash/context7: Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2025/07/03
è‰²ã€…ãªãƒ‰ã‚ãƒ¥ãƒ¡ãƒ³ãƒˆã‚’å‚ç…§ã§ãã‚‹MCPã‚µãƒ¼ãƒ

MCP

program

document
ãƒªãƒ³ã‚¯
MPS: The Domain-Specific Language Creator by JetBrains
Not sure which tool is best for you?Whichever techno logies you use, there's a JetBrains tool to match
efcl 2025/06/28
JetBrainsã®è¨€èªžã‚’ä½œã‚‹ãŸã‚ã®IDE

JetBrains

program

IDE
ãƒªãƒ³ã‚¯
Reactive programming - Wikipedia
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (October 2016) (Learn how and when to remove this message) In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm, it is
efcl 2025/06/21
Reactiveã«ãŠã‘ã‚‹Push Pullãƒ¢ãƒ‡ãƒ«ã€‚ Pullã¯ãƒãƒ¼ãƒªãƒ³ã‚°ã€Pushã¯ä¸èº«ã‚‚å…¥ã£ãŸã‚¤ãƒ™ãƒ³ãƒˆã€Push Pullã¯é€šçŸ¥ã ã‘ã‚¤ãƒ™ãƒ³ãƒˆã§å—ã‘å–ã£ã¦ã€ä¸èº«ã¯Pullã™ã‚‹ãƒ¢ãƒ‡ãƒ«

program
ãƒªãƒ³ã‚¯
rust-magic-patterns/rust-stream-visualized/Readme.md at master Â· alexpusch/rust-magic-patterns
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
efcl 2025/05/02
Iteratorã®unorderã«ã—ãŸå ´åˆã®ãƒãƒƒãƒ•ã‚¡ã®æ¶ˆè²»ã®ä»•æ–¹ãŒåŠ¹çŽ‡çš„ã«ãªã‚‹ã“ã¨ã‚’å¯è¦–åŒ–ã—ãŸãƒ‰ã‚ãƒ¥ãƒ¡ãƒ³ãƒˆ

Rust

program
ãƒªãƒ³ã‚¯
ã€Œåž‹ã‚·ã‚¹ãƒ†ãƒ ã®ã—ãã¿ã€ç™ºå£²ã®ãŠçŸ¥ã‚‰ã› - ã¾ã‚ã‚ã‚‚
ã€Œåž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä»•çµ„ã¿ - TypeScriptã§å®Ÿè£…ã—ãªãŒã‚‰å¦ã¶åž‹ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ã¨ã„ã†æœ¬ã‚’æ›¸ãã¾ã—ãŸã€‚ ã€Œåž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä»•çµ„ã¿ - TypeScriptã§å®Ÿè£…ã—ãªãŒã‚‰å¦ã¶åž‹ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ ã©ã‚“ãªæœ¬ï¼Ÿ ç°¡å˜ãªåž‹ãƒã‚§ãƒƒã‚«ã‚’è‡ªä½œã—ã¦ã¿ã‚‹ã“ã¨ã§ã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä»•çµ„ã¿ã‚’æ¦‚è¦³ã™ã‚‹æœ¬ã§ã™ã€‚ åž‹ãƒã‚§ãƒƒã‚¯ã™ã‚‹å¯¾è±¡ã®è¨€èªžã¯TypeScriptï¼ˆã®ã‚µãƒ–ã‚»ãƒƒãƒˆè¨€èªžï¼‰ã€åž‹ãƒã‚§ãƒƒã‚«ã‚’å®Ÿè£…ã™ã‚‹ãŸã‚ã®è¨€èªžã‚‚TypeScriptã§ã™ã€‚ ãŸã¨ãˆã°ã€æ¬¡ã®ã‚ˆã†ãªãƒ—ãƒã‚°ãƒ©ãƒ ãŒåž‹ãƒã‚§ãƒƒã‚¯ã§ãã‚‹ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ const add = (x: number, y: number) => { return x + y; } const a = add(1, 2); const b = a + true; åž‹ãƒã‚§ãƒƒã‚«ã¯ã€ãã‚Œãžã‚Œã®å¤‰æ•°ãŒã©ã†ã„ã†åž‹ã‚’æŒã¤ã‹ç®¡ç†ã—ã¤ã¤ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å„ãƒ‘ãƒ¼ãƒˆãŒã©ã†ã„ã†åž‹ã«ãªã‚‹ã‹ã‚’åˆ¤å®šã—ã¦ã„ãã¾ã™ã€‚
efcl 2025/04/16
TypeScriptã®ã‚µãƒ–ã‚»ãƒƒãƒˆã®åž‹ãƒã‚§ãƒƒã‚«ã‚’å®Ÿè£…ã—ã¦ã„ãåž‹ã‚·ã‚¹ãƒ†ãƒ ã«ã¤ã„ã¦ã®æ›¸ç±

TypeScript

book

program
ãƒªãƒ³ã‚¯
ã€Œèªã¿ã‚„ã™ã„ã‚³ãƒ¼ãƒ‰ã€ã‚’ä¾å˜ã‚°ãƒ©ãƒ•ã§è€ƒãˆã‚‹
ã¯ã˜ã‚ã« ã“ã‚“ã«ã¡ã¯ã€ãƒ€ã‚¤ãƒ‹ãƒ¼ã® ogino ã§ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€ã‚³ãƒ¼ãƒ‰ã®èªã¿ã‚„ã™ã•ã‚’æ¯”è¼ƒåˆ¤æ–ã™ã‚‹ãŸã‚ã«å½¹ç«‹ã¤ãƒ¡ãƒ³ã‚¿ãƒ«ãƒ¢ãƒ‡ãƒ«ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚ æœ¬è¨˜äº‹ã‚’èªã‚€ã¨ã€ã€Œã“ã®ã‚³ãƒ¼ãƒ‰ã¯è‰¯ã„ / æ‚ªã„ã€ã¨ã„ã†æ„Ÿè¦šãŒèº«ã«ã¤ãã€ãã®ç†ç”±ã‚’è‡ªä¿¡ã‚’æŒã£ã¦èª¬æ˜Žã§ãã‚‹ã‚ˆã†ã«ãªã‚‹ã¯ãšã§ã™ã€‚ ã‚³ãƒ¼ãƒ‰ã®èªã¿ã‚„ã™ã•ã¨ã¯ä½•ã‹ ã‚³ãƒ¼ãƒ‰ã‚’èªã‚€æ™‚ã«ã¯å¤§æŠµã€ä½•ã‹ç‰¹å®šã®ç›®çš„ãŒã‚ã‚Šã¾ã™ã€‚ä¾‹ãˆã°ã€ API /foo ã«ãƒªã‚¯ã‚¨ã‚¹ãƒˆã—ãŸæ™‚ã®å‹•ä½œã‚’çŸ¥ã‚ŠãŸã„ã€ã‚ã‚‹ç”»é¢ã§ç™ºç”Ÿã—ã¦ã„ã‚‹ãƒã‚°ã®åŽŸå› ã‚’çŸ¥ã‚ŠãŸã„ã€ãªã©ã§ã™ã€‚ ã“ã®æ™‚ã€ã‚³ãƒ¼ãƒ‰ãƒ™ãƒ¼ã‚¹ã®éš…ã‹ã‚‰éš…ã¾ã§èªã¿å°½ãã™ã®ã§ã¯ãªãã€ç‰¹å®šã®ãƒã‚¤ãƒ³ãƒˆã‹ã‚‰å‡ºç™ºã—ã¦é–¢é€£ã™ã‚‹ç®‡æ‰€ã‚’èŠ‹è”“å¼ã«è¾¿ã‚ŠãªãŒã‚‰èªã‚€ã¯ãšã§ã™ã€‚ äººãŒä¸€åº¦ã«ç†è§£ã—ã¦è¦šãˆã¦ãŠã‘ã‚‹æƒ…å ±é‡ã«ã¯é™ç•ŒãŒã‚ã‚‹ã®ã§ã€è¾¿ã‚‰ãªã‘ã‚Œã°ã„ã‘ãªã„ã‚³ãƒ¼ãƒ‰é‡ãŒå°‘ãªã„ã»ã©å½“ç„¶èªã¿ã‚„ã™ããªã‚Šã¾ã™ã€‚ ã¤ã¾ã‚Šã€ã‚ã‚‹ç›®çš„ã«é–¢é€£ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã®ç®‡æ‰€ãŒå±€æ‰€çš„ã‹ã¤æ˜Žç¤ºçš„ã§ã‚ã‚‹ã»ã©ã‚³ãƒ¼ãƒ‰ã¯èªã¿ã‚„ã™ã„ã¨
efcl 2025/04/06
ã‚³ãƒ¼ãƒ‰ãƒ•ãƒãƒ¼ã«ã¤ã„ã¦

program
ãƒªãƒ³ã‚¯
Logic for Programmers
Logic is the most important branch of math to software engineering. Knowing logic opens up a vast world of development techniques, from everyday tricks of the trade to exotic tools for cracking impossible tasks. This book teaches the basics of logic and nine special logic-powered techniques: property testing, decision tables, constraint solving, and more. Over 40 exercises are provided to help rea
efcl 2025/03/30
æ•°å¦ã€ãƒã‚¸ãƒƒã‚¯ã€ãƒ—ãƒãƒ‘ãƒ†ã‚£ãƒ†ã‚¹ãƒˆã€æ¤œè¨¼ã«ã¤ã„ã¦ã®æ›¸ç±

program

book
ãƒªãƒ³ã‚¯
How Unix Spell Ran in 64kB RAM
How do you fit a 250kB dictionary in 64kB of RAM and still perform fast lookups? For reference, even with modern compression techniques like gzip -9, you can't compress this file below 85kB. In the 1970s, Douglas McIlroy faced this exact challenge while implementing the spell checker for Unix at AT&T. The constraints of the PDP-11 computer meant the entire dictionary needed to fit in just 64kB of
efcl 2025/01/19
ãƒ¡ãƒ¢ãƒªã«è¼‰ã‚Šãã‚‰ãªã„è¾žæ›¸ã‚’ã©ã†ã‚„ã£ã¦æŒã£ã¦ã„ãŸã‹ã«ã¤ã„ã¦ã€‚ ãƒ–ãƒ«ãƒ¼ãƒ ãƒ•ã‚£ãƒ«ã‚¿ãƒ¼ã€ç†è«–ä¸Šã®æœ€å°ãƒ“ãƒƒãƒˆã‚’è¨ˆç®—ã—ã¦ã‹ã‚‰ã®ã‚´ãƒãƒ ç¬¦å·ã§ã®åœ§ç¸®

program

algorithm
ãƒªãƒ³ã‚¯
60å¹´å‰ã‹ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å’Œæ–‡è«–æ–‡ã‚’æŽ˜ã‚Šèµ·ã“ã—ãŸè©±
æœ¬è¨˜äº‹ã®åˆç‰ˆã‚’å…¬é–‹ã—ãŸã®ã¯ 2024 å¹´ 9 æœˆ 21 æ—¥ã ã£ãŸã®ã§ã™ãŒã€ãã®å¾Œ 9 æœˆ 26 æ—¥ã«ã€ãƒ”ãƒƒã‚¯ã‚¢ãƒƒãƒ—ã—ãŸè«–æ–‡ã‚’å¤§å¹…ã«å¢—ã‚„ã—ã¦æ›´æ–°ã—ã¾ã—ãŸã€‚ ã¾ãŸã€æœ€åˆã¯ã‚¿ã‚¤ãƒˆãƒ«ã‚’ã€Œå’Œæ–‡ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è«–æ–‡ã‚’ã€œã€ã¨ã—ã¦ã„ãŸã®ã§ã™ãŒã€ã„ã‚ã‚†ã‚‹ã€Œæ—¥æœ¬èªžãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ã®è©±ã«ã‚‚è¦‹ãˆã¦ã—ã¾ã†ã“ã¨ã‹ã‚‰ã€ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å’Œæ–‡è«–æ–‡ã‚’ã€œã€ã«ç½®ãæ›ãˆã¾ã—ãŸã€‚ æ—¥æœ¬ã®äººã€…ãŒã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã«ã‹ã‹ã‚ã‚‹ã‚ˆã†ã«ãªã£ãŸã®ã¯ã€ã„ã¤ã”ã‚ã§ã—ã‚‡ã†ã‹? ãã®å‰ã«ã€ã¾ãšã¯ä¸–ç•Œã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ´å²ã‚’ç°¡å˜ã«æŒ¯ã‚Šè¿”ã£ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ã¾ãšã¯ OS ã‹ã‚‰æœ‰åã©ã“ã‚ã‚’ãŸã©ã‚‹ã¨ã€ ã‚ã‹ã‚Šã‚„ã™ã Windows 95 ãŒ 1995 å¹´ [1] ãã®å‰ã«åºƒãä½¿ã‚ã‚ŒãŸ Windows 3.1 ã¯ 1992 å¹´ [2] ãã®ä¸‹ã§å‹•ã MS-DOS ã¯ã€ãƒãƒ¼ã‚¸ãƒ§ãƒ³ 6 ãŒ 1993 å¹´ã€ãƒãƒ¼ã‚¸ãƒ§ãƒ³ 1 ãŒ 1981 å¹´ [3] Linu
efcl 2024/09/22
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ»ã‚·ãƒ³ãƒã‚¸ã‚¦ãƒ ã®ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–

program

history

paper
ãƒªãƒ³ã‚¯
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code -- 'Grind' efficiently manages complex pattern matching and -- case analysis beyond standard tactics. example (x : Nat) : 0 < match x with | 0 => 1 | n+1 => x + n := by grind -- Automatically solves systems of linear inequalities. example (x y : Int) : 27 â‰¤ 11*x + 13*y â†’ 1
efcl 2024/08/19
å®šç†è¨¼æ˜Žè¨€èªžã€‚Microsoft Researchã¨ã‹Open AIã®äººãŒã‚„ã£ã¦ã„ã‚‹

program
ãƒªãƒ³ã‚¯
åŠå·å“ä¹Ÿã€Œä»®èª¬ã¯ã“ã¨ã”ã¨ãå¤–ã‚ŒãŸã€ãã‚Œã§ã‚‚ãƒ–ãƒ¬ãšã«é–‹ç™ºã§ãã‚‹ç†ç”±ã¯ï¼Ÿã€å¾Œç·¨ã€‘ - ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢type | è»¢è·type
2024.04.08 åƒãæ–¹ åŠå·å“ä¹ŸPdMãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ—ãƒãƒ€ã‚¯ãƒˆ å‰ç·¨ã«ç¶šã„ã¦åŠå·å“ä¹Ÿã•ã‚“ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°åˆå¦è€…å‘ã‘ã®å¦ç¿’ã‚µãƒ¼ãƒ“ã‚¹ã€ŽJasmine Teaã€ã®ã“ã®1å¹´ã‚’èžãã€‚ãƒªãƒªãƒ¼ã‚¹ã‹ã‚‰ã¡ã‚‡ã†ã©1å¹´ãŒçµŒã£ãŸã€ŽJasmine Teaã€ã ãŒã€Œå®Ÿã¯æ€ã£ã¦ã„ãŸã‚ˆã‚Šã†ã¾ãã„ã£ã¦ã„ãªã„ã€ã®ã ã¨ã„ã†ã€‚æœªçŸ¥ã®æŒ‘æˆ¦ã«èª²é¡Œã¯ã¤ãã‚‚ã®ã§ã¯ã‚ã‚‹ã€‚åŠå·ã•ã‚“ã‚‰ã¯ã©ã‚“ãªèª²é¡Œã«ã¶ã¤ã‹ã‚Šã€ãã‚Œã¨ã©ã†å‘ãåˆã£ã¦ã„ã‚‹ã®ã ã‚ã†ã‹ã€‚ äº‹å‰ã«ç«‹ã¦ãŸä»®èª¬ã®ã“ã¨ã”ã¨ããŒå¤–ã‚ŒãŸã“ã¨ã€ãã‚Œã§ã‚‚ãƒ–ãƒ¬ãšã«é–‹ç™ºã‚’ç¶šã‘ã‚‰ã‚Œã¦ã„ã‚‹ç†ç”±ã€å°‘ã—è„‡é“ã«é€¸ã‚Œã¦ã€ç”ŸæˆAIæ™‚ä»£ã®ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã«å¿…è¦ãªã“ã¨ã‚‚ä¼ºã£ãŸã€‚ Tablyæ ªå¼ä¼šç¤¾ ä»£è¡¨å–ç· å½¹ Techno logy Enabler åŠå· å“ä¹Ÿã•ã‚“ï¼ˆ@takorattaï¼‰ æ—©ç¨²ç”°å¤§å¦ç†å·¥å¦éƒ¨å’æ¥ã€æ—¥æœ¬DECã‚’çµŒã¦Microsoftã«è»¢è·ã€‚Windowsã®é–‹ç™ºã«æºã‚ã‚Šã€ãã®å¾ŒGoogleã§ã¯ãƒ—ãƒãƒ€ã‚¯ãƒˆãƒžãƒã‚¸ãƒ¡ãƒ³ãƒˆ
efcl 2024/04/13
å†™çµŒã«ã¤ã„ã¦ "ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚’æ‰“ã¤ã“ã¨ã«èˆˆå‘³ã®ã‚ã‚‹åã©ã‚‚ã¯å¤šã„ã§ã™ã€‚ã‘ã‚Œã©ã‚‚ã€ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚’æ‰“ã¤ã®ã«ã€Œè‹¦åŠ´ã™ã‚‹ã€ã“ã¨ã§ã€ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ãŒå‰ŠãŒã‚Œã¦ã—ã¾ã†ã“ã¨ã®æ–¹ãŒå¤§ãã„ã“ã¨ãŒåˆ†ã‹ã£ã¦ãã¾ã—ãŸã€‚"

program

opinion
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 7 8 9 10 æ¬¡ã®ãƒšãƒ¼ã‚¸