[B! programming] poginã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

pogin id:pogin

programmingã«é–¢ã™ã‚‹poginã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (44)

${{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}}

ã“ã‚Œã‹ã‚‰æµè¡Œã‚‹è¨€èªž | é›‘è¨˜å¸³
æ–°è¨€èªžã«ã§ãã‚‹ã“ã¨ã¯ã¾ã ã‚ã‚‹ã‹ã„ ãªã‚“ã¨ã‹WIMPS æœ€è¿‘ï¼ˆ1ãƒ¶æœˆãã‚‰ã„å‰ï¼‰ã€ã“ã‚“ãªè¨˜äº‹ãŒå‡ºã¾ã—ãŸï¼š æ–°ã—ã„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžãŒå‡ºã¦ã“ãªã„(æ–°ã—ãå‡ºã¦ãŸè¨€èªžã‚’è¿½è¨˜) â€“ ãã—ã ã®Hatena Kotlin, TypeScript, Rust, Swiftä»¥é™ã«ã¿ã‚“ãªãŒè©±é¡Œã«ã™ã‚‹ã‚ˆã†ãªæ–°ã—ã„è¨€èªžãŒå‡ºã¦ã“ãªã„ã€ãã‚Œã¯ãªãœã‹ã€ã¿ãŸã„ãªè¶£æ—¨ã§ã™ã€‚å®¢è¦³çš„ã«è¦‹ã‚Œã°ã€Œæ–°ã—ã„è¨€èªžã¯å¸¸ã«å‡ºç¶šã‘ã¦ã„ã‚‹ã€ã‚ã‘ã§ã™ãŒã€ã€Œã¿ã‚“ãªãŒè©±é¡Œã«ã™ã‚‹ã‚ˆã†ãªã€ã¨ã„ã†ã®ãŒå¤šåˆ†æ›²è€…ãªã‚“ã§ã—ã‚‡ã†ãã€‚ ä¾‹ãˆè©±ã‚’ã™ã‚‹ã¨ã€æ–°ã—ã„è‹¥æœ¨ã¯å¸¸ã«ç”Ÿãˆã¦ãã¦ã„ã‚‹ã‚“ã ã‘ã©ã€å¤§æœ¨ã«æˆé•·ã™ã‚‹ã«ã¯æ™‚é–“ãŒã‹ã‹ã‚‹ã®ã§ã€å¤§æœ¨ã«ã—ã‹èˆˆå‘³ã®ãªã„äººã«ã¯ã€Œã“ã®8å¹´é–“ã§æ–°ã—ã„å¤§æœ¨ã¯ç™»å ´ã—ã¦ã„ãªã„ã€ã¨åˆ¤æ–ã—ã¦ã—ã¾ã†ã®ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ ã¾ã‚ç§ã¨ã—ã¦ã‚‚ã€Web (HTTP) APIã‚’æ›¸ãè¨€èªžã¨ã‹ã€JSONè‰²ä»˜ã‘ä¿‚ãŒä½¿ã†è¨€èªžã¯ã‚‚ã†å‡ºæƒã£ã¦ã—ã¾ã£ãŸã®ã‹ã‚‚ã—ã‚Œãªã„ã¨ã„ã†æ°—ã¯ã—ãªãã‚‚ãª
pogin 2023/12/28
rust

è¨€èªž

programming
ãƒªãƒ³ã‚¯
GitHub - argumentcomputer/yatima: A zero-knowledge Lean4 compiler and kernel
Yatima is a Lean 4 compiler backend targeting the the Lurk language for recursive zkSNARKs, enabling zero-knowledge proofs of Lean 4 execution. Additionally, Yatima has its own Lean 4 implementation of a kernel for the Lean 4 core language, which can be compiled to Lurk to allow zero-knowledge proofs of Lean 4 typechecking. By verifying a zero knowledge proof that a Lean 4 declaration has passed t
pogin 2021/06/14
ã‚ã¨ã§èªã‚€

github

programming

rust
ãƒªãƒ³ã‚¯
0.5.0 Release Notes Â· The Zig Programming Language
Tier System Â§ Tier 1 Support Â§ Not only can Zig generate machine code for these targets, but the standard library cross-platform abstractions have implementations for these targets. Thus it is practical to write a pure Zig application with no dependency on libc. The CI server automatically tests these targets on every commit to master branch, and updates the download page with links to pre-built b
pogin 2019/10/01
programming

language
ãƒªãƒ³ã‚¯
ã•ã‚ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿(ä¸å‹•ç‚¹æ¼”ç®—å)ã‚’ä½¿ãŠã†ï¼ - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“
å‰å›žã€ãŠã¨ã†ã•ã‚“ã«ã‚‚ã‚ã‹ã‚‹Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ï¼(çµµè§£ãè§£èª¬ç·¨) - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªã§ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿(ä¸å‹•ç‚¹æ¼”ç®—å)ã¨å†å¸°ã®çµµè§£ãè§£èª¬ã‚’ã—ã¾ã—ãŸã€‚ Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è‡ªèº«ã¯ã€çµå±€ã®ã¨ã“ã‚å†å¸°ã‚’ç”£ã¿å‡ºã—ã¦ãã‚Œã‚‹ã ã‘ã§ã™ã€‚é–¢æ•°(æ£ç¢ºã«ã¯Î»ã¨ã„ã†å˜ç´”ãªæ–‡å—åˆ—å¤‰æ›ãƒ«ãƒ¼ãƒ«)ã ã‘ã§å‡ºæ¥ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«é–¢ã™ã‚‹ã„ã‚ã‚“ãªåŽŸç†ã®ç ”ç©¶ã‚’å¯èƒ½ã«ã™ã‚‹ã®ãŒå‡„ã„è¨³ã§ã™ã€‚ãã®è¾ºã®ã•ã‚ã‚Šã‚’ã€ãã—ã ã•ã‚“ãŒè§£èª¬ã•ã‚Œã¦ã„ã¾ã™ã€‚ã—ã‹ã—ã€å˜ãªã‚‹å†å¸°ãªã‚‰ã€å®Ÿéš›ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãªã‚“ã¦ä½¿ã‚ãªãã¦ã‚‚å‡ºæ¥ã¾ã™ã€‚ ã˜ã‚ƒã‚ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ã‹ä¸å‹•ç‚¹ã¨ã‹ã¯ã€å‰ã„å¦è€…ã•ã‚“ã¨ã‹ãŒç ”ç©¶ã«ä½¿ãˆã°ã„ã„ã‚‚ã®ã§ã€æ™®é€šã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¯ä½•ã®æ„å‘³ã‚‚ãªã„ãƒ¢ãƒŽãªã®ã§ã—ã‚‡ã†ã‹ï¼Ÿ ã¨ã„ã†ã‚ã‘ã§ã€ä»Šå›žã¯ãƒã‚¸ãƒ†ã‚£ãƒ–ã«ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã‚„ä¸å‹•ç‚¹ã§å‡ºã¦ãã‚‹è€ƒãˆæ–¹ã‚’ã€ç†è«–ã ã‘ã˜ã‚ƒãªãã€å®Ÿéš›ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«å¿œç”¨ã™ã‚‹ä¾‹ã‚’è¦‹ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ ä»Šå›žã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ä¾‹ã‚’
pogin 2019/09/10
programming

javascript

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
Programming Fonts - Test Drive
Size / â†‘ â†“ Theme Language // Type some code -> console.log "oO08 iIlL1 g9qCGQ ~-+=>"; function updateGutters(cm) { var gutters = cm.display.gutters, __specs = cm.options.gutters; removeChildren(gutters); for (var i = 0; i < specs.length; ++i) { var gutterClass = __specs[i]; var gElt = gutters.appendChild( elt( "div", null, "CodeMirror-gutter " + gutterClass ) ); if (gutterClass == "CodeMirror-line
pogin 2019/01/23
programming

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

test

ãƒ•ã‚©ãƒ³ãƒˆ

font

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
Pythonã§å¦ã¶å¼·åŒ–å¦ç¿’ -å…¥é–€ã‹ã‚‰å®Ÿè·µã¾ã§-ã‚’æ›¸ãã¾ã—ãŸ
ç´„1å¹´åŠã»ã©ã‹ã‹ã‚Šã¾ã—ãŸãŒã€ã€ŒPythonã§å¦ã¶å¼·åŒ–å¦ç¿’ å…¥é–€ã‹ã‚‰å®Ÿè·µã¾ã§ã€ã‚’æ›¸ãä¸Šã’ã¾ã—ãŸã€‚æœ¬è¨˜äº‹ã§ã¯Asian Kung-Fu Generationã•ã‚“ãŒã‚¢ãƒ«ãƒãƒ ç™ºå£²ã®åº¦ã«è¡Œã£ã¦ã„ã‚‹å…¨æ›²è§£èª¬ã«ã®ã£ã¨ã‚Šã€å„ç« ã®è¦‹æ‰€ã‚„è‹¦åŠ´ã—ãŸç‚¹ã‚’ç´¹ä»‹ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚
pogin 2019/01/18
å¦ç¿’

programming

python

å…¥é–€

æ›¸ã
ãƒªãƒ³ã‚¯
Verifiable C
Verifiable C is a program logic for the C programming language: foundational higher-order impredicative concurrent separation logic, proved sound with respect to the operational semantics of CompCert C
pogin 2018/09/02
c

programming

seplog
ãƒªãƒ³ã‚¯
æœ€å°ã‚«ãƒƒãƒˆã‚’ä½¿ã£ã¦ã€Œç‡ƒã‚„ã™åŸ‹ã‚ã‚‹å•é¡Œã€ã‚’è§£ã
3. ï½2. ç‡ƒã‚„ã™åŸ‹ã‚ã‚‹å•é¡Œ å¼•ç”¨:Komakiã•ã‚“ã®ãƒšãƒ¼ã‚¸ http://topcoder.g.hatena.ne.jp/CKomaki/20121019/1350663591 ï½3. FoxAndGo3 å¼•ç”¨:TopCoder - SRM594 Div1 Medium http://community.topcoder.com/stat?c=probl em_statement&pm=12808&rd=15706 ï½4. The Year of Code Jam å¼•ç”¨:Google Code Jam World Finals 2008 E ï¼ˆãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚³ãƒ³ãƒ†ã‚¹ãƒˆãƒãƒ£ãƒ¬ãƒ³ã‚¸ãƒ–ãƒƒã‚¯ P357ï¼‰ https://code.google.com/codejam/contest/32011/dashboard#s=p4 ï½5. Surrounding Game å¼•ç”¨:TopCoder - S
pogin 2018/05/24
Programming

Algorithm

Graph

TopCoder
ãƒªãƒ³ã‚¯
Scala2.10.0ã®Dependent method typesã¨åž‹ã‚¯ãƒ©ã‚¹ã‚’çµ„ã¿åˆã‚ã›ãŸã€ŽThe Magnet Patternã€ãŒãƒ¤ãƒã„ä»¶ - ( ê’ªâŒ“ê’ª) ã‚†ã‚‹ã‚ˆã‚æ—¥è¨˜
ã“ã‚ŒãŒâ€¦â€¦åž‹ã®åŠ›ã‹ãƒƒâ€¦â€¦!! spray | Blog Â» The Magnet Patternã¨ã„ã†è¨˜äº‹ã§ã€ã€ŒThe Magnet Patternã€ã¨ã„ã†ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ãŒç´¹ä»‹ã•ã‚Œã¦ã„ã‚‹ã€‚ ã“ã‚Œã¯ã€ãƒ¡ã‚½ãƒƒãƒ‰ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã§è§£æ±ºã—ã¦ã„ãŸå•é¡Œã‚’ã€åž‹ã‚¯ãƒ©ã‚¹ã¨Dependent method typesã‚’çµ„ã¿åˆã‚ã›ã¦ç½®ãæ›ãˆã‚‹ã“ã¨ã§ã€ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã®éš›ã®æ§˜ã€…ãªåˆ¶ç´„(Type Erasureãªã©)ã‚’çªç ´ã—ã€ã‚ˆã‚ŠæŸ”è»Ÿãªæ‹¡å¼µæ€§ã‚’å¾—ã‚‹ã“ã¨ãŒã§ãã‚‹ã¨ã„ã†ã‚‚ã®ã€‚ã“ã®ãƒ‘ã‚¿ãƒ¼ãƒ³ã§ã¯ã€å¼•æ•°ã®åž‹ã«å¿œã˜ã¦ç•°ãªã‚‹çµæžœåž‹ã‚’è¿”ã™ã‚ˆã†ã«ã§ãã‚‹ã€‚ ã“ã®è¨˜äº‹ã§ã€ä»Šã¾ã§ä½•ã®ãŸã‚ã«ä½¿ã‚ã‚Œã‚‹ã®ã‹ã‚ã‹ã‚‰ã‚“ã‹ã£ãŸDependent method typesã®æœ‰åŠ¹æ€§ãŒç†è§£ã§ãã€ã‚ã‚‰ãŸã‚ã¦åž‹ã®åŠ›ã‚’æ€ã„çŸ¥ã£ãŸã€‚ ä»¥å‰ã«"Generalized type constraints"(Scalaã§<:<ã¨ã‹=:=ã‚’ä½¿ã£ãŸgeneraliz
pogin 2018/01/22
scala

programming

ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒ ãŒæ›¸ã‘ãªã„ã‚ãªãŸã¸ã€ãƒ—ãƒã‚°ãƒ©ãƒ ãŒæ›¸ã‘ãªã„åƒ•ã‹ã‚‰ã®ãƒ’ãƒ³ãƒˆ
åƒ•ãŒãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ããªã„ç†ç”± â€” ã€Œã¾ãšã¯ã€è¨€è‘‰ã«ã—ã¦ã¿ã¾ã—ã‚‡ã†ã€ã®æ„å‘³ã‚’æ›¸ã„ãŸã®ã¯ã€2014å¹´ã®3æœˆã®ã“ã¨ã ã£ãŸã€‚ã¨ã„ã†ã“ã¨ã¯ã€ä»ŠãŒ2015å¹´ã®12æœˆãªã®ã§ã€ãã®é–“ã«æµã‚ŒãŸæ™‚é–“ã¯1å¹´ã¨9ãƒ¶æœˆã»ã©ã ã¨ã„ã†ã“ã¨ã«ãªã‚‹ã€‚ã“ã‚Œã¯ã€å°‘ã—é©šãã ã€‚ã‚ã‚Œã‹ã‚‰ã€ã‚‚ã£ã¨ã‚‚ã£ã¨æ™‚é–“ãŒçµŒã£ãŸæ°—ã§ã„ãŸã®ã§ã€å°‘ã—ã©ã“ã‚ã‹ã€æ£ç›´ã«è¨€ã†ã¨ã€åƒ•ã¯ã‹ãªã‚Šé©šã„ã¦ã„ã‚‹ã€‚ ã‚ã‚Œã‹ã‚‰åƒ•ã¯ã¨ã£ãã«3å¹´ã‹5å¹´ä»¥ä¸Šã®æ™‚é–“ãŒçµŒéŽã—ãŸã‚ˆã†ãªæ°—ã§ã„ãŸã®ã ã€‚ã ã‹ã‚‰ã€ã¾ã 2å¹´ã™ã‚‰çµŒã£ã¦ãªã„äº‹å®Ÿã«å‘†ç„¶ã¨ç«‹ã¡ã™ãã‚€ã‚ˆã†ãªæ„Ÿã˜ã ã€‚ ã—ã‹ã—ã€ã“ã‚Œã¾ã§ã«æµã‚ŒãŸæ™‚é–“ã‚’ã€åƒ•ãŒçŸã„ã¨æ„Ÿã˜ã‚ˆã†ãŒã€é•·ã„ã¨æ„Ÿã˜ã‚ˆã†ãŒã€ã¾ãŽã‚Œã‚‚ãªã„ã‚‚ã†ä¸€ã¤ã®äº‹å®ŸãŒã‚ã‚‹ã€‚ ç›¸å¤‰ã‚ã‚‰ãšã€åƒ•ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒã§ããªã„ ã¨ã„ã†ã“ã¨ã ã€‚å‹¿è«–ã€ãã‚“ãªã“ã¨ã‚’è‡ªæ…¢ã—ãŸã„ã‚ã‘ã§ã¯ãªã„ã‘ã‚Œã©ã€äº‹å®Ÿãªã®ã ã‹ã‚‰ã€ä»•æ–¹ãªã„ã€‚ ã²ã¨ã¤ã€æ¥ãšã‹ã—ãªãŒã‚‰ã€æ›¸ã„ã¦ãŠããŸã„ã“ã¨ãŒã‚ã‚‹ã€‚ã“ã®è¨€ã„è¨³ãŒã©ã†ã„ã†æ„å‘³ã‚’ã‚‚ã¤ã®
pogin 2016/06/01
programming
ãƒªãƒ³ã‚¯
è¨è¨ˆï¼ˆâ‰’ãƒ‡ã‚¶ã‚¤ãƒ³ï¼‰ã®è©±ã‚’ã—ã‚ˆã† #nds35 by @masaru_b_cl
ã¯ã˜ã‚ã« æœ¬ã‚¨ãƒ³ãƒˆãƒªã¯ç¬¬35å›žå‹‰å¼·ä¼š(2013/01/18) & æ–°æ½Ÿé–‹ç™ºè€…æ–°å¹´ä¼š(NDS) â€“ é•·å²¡ ITé–‹ç™ºè€… å‹‰å¼·ä¼š(NDS)ã«ã¦ç™ºè¡¨ã—ãŸã‚»ãƒƒã‚·ãƒ§ãƒ³ã‚’å†æ§‹æˆã—ãŸã‚‚ã®ã§ã™ã€‚ã‚»ãƒƒã‚·ãƒ§ãƒ³ã®ä¸ã‚„å¾Œã§è€ƒãˆãŸå†…å®¹ã‚‚åæ˜ ã—ã¦ã‚ã‚Šã¾ã™ã€‚ ãƒ©ã‚¤ã‚»ãƒ³ã‚¹ ã“ã® ä½œå“ ã¯ ã‚¯ãƒªã‚¨ã‚¤ãƒ†ã‚£ãƒ–ãƒ»ã‚³ãƒ¢ãƒ³ã‚º è¡¨ç¤º â€“ ç¶™æ‰¿ 4.0 å›½éš› ãƒ©ã‚¤ã‚»ãƒ³ã‚¹ã®ä¸‹ã«æä¾›ã•ã‚Œã¦ã„ã¾ã™ã€‚ å¤§å‰æ ã€Œãƒ‡ã‚¶ã‚¤ãƒ³ã€ã¨ã„ã†ã¨å°å¥‡éº—ãªè¦‹ãŸç›®ã®Webãƒšãƒ¼ã‚¸ãªã©ã‚’æ€ã„æµ®ã‹ã¹ã‚‹äººã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€æœ¬ã‚¨ãƒ³ãƒˆãƒªã§ã¯æœ¬è³ªçš„ã«è¨è¨ˆã¨ãƒ‡ã‚¶ã‚¤ãƒ³ã¯åŒã˜ã‚‚ã®ã¨ã—ã¦æ‰±ã„ã¾ã™ã€‚è¨è¨ˆã‚‚ãƒ‡ã‚¶ã‚¤ãƒ³ã‚‚è‹±èªžã§è¡¨ã›ã°designã«ãªã‚‹ã“ã¨ã‹ã‚‰ã‚‚ã€ã“ã‚Œã¯æ˜Žã‚‰ã‹ã§ã™ã€‚ è¨è¨ˆï¼ˆâ‰’ãƒ‡ã‚¶ã‚¤ãƒ³ï¼‰ã¨ã¯ä½•ã‹ è¨è¨ˆã¨ã¯ä½•ã‹ï¼Ÿä¸€è¨€ã§è¡¨ã™ã®ã¯æ¡ˆå¤–é›£ã—ã„ã¨æ€ã„ã¾ã™ã€‚ç§ã‚‚ã„ã£ãŸã„ä½•ãªã‚“ã ã‚ã†ã¨è€ƒãˆãŸçµæžœã€æ¬¡ã®çµæžœã«ãŸã©ã‚Šç€ãã¾ã—ãŸã€‚ è¨è¨ˆï¼ˆâ‰’ãƒ‡ã‚¶ã‚¤ãƒ³ï¼‰ã¨ã¯ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã§ã‚ã‚‹ ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã§ã‚ã‚‹ã¨
pogin 2015/11/11
ãƒ‡ã‚¶ã‚¤ãƒ³

GUI

programming
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒžå‘ã‘ã«æ›¸ã‹ã‚ŒãŸã€ŒSoft Skillsã€ã¨ã„ã†æœ¬ãŒã™ã”ã„ã¨ã„ã†è©± - ã‚µãƒ³ãƒ•ãƒ©ãƒ³ã‚·ã‚¹ã‚³ã§ã¯ãŸã‚‰ãã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ - higepon blog
æ—¥æœ¬èªžç‰ˆãŒã§ã¾ã—ãŸã€‚ã™ãè²·ã†ã¹ã—ã€‚ SOFT SKILLS ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºè€…ã®äººç”Ÿãƒžãƒ‹ãƒ¥ã‚¢ãƒ«posted with amazlet at 16.05.18ã‚¸ãƒ§ãƒ³ãƒ»ã‚½ãƒ³ãƒ¡ã‚º æ—¥çµŒBPç¤¾ å£²ã‚Šä¸Šã’ãƒ©ãƒ³ã‚ãƒ³ã‚°: 1,272 Amazon.co.jpã§è©³ç´°ã‚’è¦‹ã‚‹ Soft Skills: The Software Developer's Life Manualã¯æ®‹å¿µãªãŒã‚‰æ—¥æœ¬èªžè¨³ãŒå‡ºã¦ã„ãªã„ã€‚ã§ã‚‚è‹±èªžã§ã‚‚èªã‚€ä¾¡å€¤ã¯ã‚ã‚‹ã€‚ã¨ã¦ã‚‚å¹³æ˜“ãªè‹±èªžã§æ›¸ã‹ã‚Œã¦ã‚‹ã€‚ã©ã“ã‹ã®å‡ºç‰ˆç¤¾ã•ã‚“ç¿»è¨³ã ã—ã¦æ¬²ã—ã„ã€‚ç©ºå‰ã®ãƒ–ãƒ¼ãƒ ã«ãªã‚‹ã«é•ã„ãªã„ã€‚ Soft Skills ã€‚alc.co.jp ã«ã‚ˆã‚Œã°ã‚½ãƒ•ãƒˆã‚¹ã‚ãƒ«ã¯ã€Œå¯¾äººçš„ãªäº¤æ¸‰ãƒ»æŒ‡å°Žãƒ»æ„æ€ç–Žé€šãªã©ã‚’ã†ã¾ãè¡Œãˆã‚‹èƒ½åŠ›ï¼ˆã¾ãŸã¯çŸ¥æµï¼‰ã€ã®ã“ã¨ã‚‰ã—ã„ã€‚ãã®ã‚¿ã‚¤ãƒˆãƒ«ã‹ã‚‰ã‚‚åˆ†ã‹ã‚‹é€šã‚Šã€ãƒ—ãƒã‚°ãƒ©ãƒžå‘ã‘ã«æ›¸ã‹ã‚ŒãŸæœ¬ã ãŒã»ã¨ã‚“ã©æŠ€è¡“ã®è©±ã¯æ›¸ã‹ã‚Œã¦ã„ãªã„ã€‚ãƒ—ãƒã‚°ãƒ©ãƒžã¨ã—ã¦ç”Ÿãã¦ã„ããŸã‚ã®æŠ€è¡“ä»¥å¤–
pogin 2015/09/25
ãƒ—ãƒã‚°ãƒ©ãƒž

æŠ•è³‡

ä»•äº‹

programming

æŠ€è¡“

æ›¸ç±
ãƒªãƒ³ã‚¯
https://xavierleroy.org/publi/unboxed-polymorphism.pdf
pogin 2015/07/19
programming

compiler

study
ãƒªãƒ³ã‚¯
sorry
Sorry. This site has been closed. Please use the Search for commit messages on GitHub instead. The original source code is available at minamijoyo/commit-m.
pogin 2015/06/05
ã‚³ãƒŸãƒƒãƒˆãƒ¡ãƒƒã‚»ãƒ¼ã‚¸

commit

github

git

webã‚µãƒ¼ãƒ“ã‚¹

programming
ãƒªãƒ³ã‚¯
ã€Œæ•´ã£ãŸé–‹ç™ºç’°å¢ƒã€ã€Œå„ªç§€ãªä»²é–“ã€ã€Œ5æ™‚ã‹ã‚‰ãƒ“ãƒ¼ãƒ«ã€ ä¼šç¤¾ã«æ¥ã‚‹ã®ãŒæ¥½ã—ããªã‚‹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢å¤©å›½ãƒ»Indeedã¨ã¯ï¼Ÿ - ã¯ã¦ãªãƒ‹ãƒ¥ãƒ¼ã‚¹
æ±‚äººæƒ…å ±ã«ç‰¹åŒ–ã—ãŸæ¤œç´¢ã‚µãƒ¼ãƒ“ã‚¹ã‚’ä¸–ç•Œ55ãƒ¶å›½ä»¥ä¸Šã§é‹å–¶ã™ã‚‹Indeedã¯ã€ãƒªã‚¯ãƒ«ãƒ¼ãƒˆã«ã‚ˆã‚‹2012å¹´ã®è²·åŽå¾Œã‚‚ã€é–‹ç™ºè€…ã«ã¨ã£ã¦ä»•äº‹ãŒã—ã‚„ã™ã„ç’°å¢ƒã‚’ã¨ã“ã¨ã‚“è¿½æ±‚ã™ã‚‹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢æ–‡åŒ–ã‚’å®ˆã£ã¦ã„ã¾ã™ã€‚æµæ¯”å¯¿ã‚¬ãƒ¼ãƒ‡ãƒ³ãƒ—ãƒ¬ã‚¤ã‚¹ã«ç§»è»¢ã—ãŸã°ã‹ã‚Šã®æ±äº¬ã‚ªãƒ•ã‚£ã‚¹ã§åƒãåŒç¤¾ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢5äººã«é›†ã¾ã£ã¦ã‚‚ã‚‰ã„ã€ã¯ã¦ãªãƒãƒ¼ãƒ•ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã®å¤§è¥¿åº·è£•ãŒé–‹ç™ºã‚¹ã‚¿ã‚¤ãƒ«ã‚„ç¤¾é¢¨ãªã©ã«ã¤ã„ã¦èžãã¾ã—ãŸã€‚Indeedç‹¬è‡ªã®ãƒ¯ãƒ¼ã‚¯ã‚¹ã‚¿ã‚¤ãƒ«ã«ã€ã¯ã¦ãªå´ã‚‚èˆˆå‘³æ´¥ã€…ã€‚çŸ¥ã‚‰ã‚Œã–ã‚‹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢å¤©å›½ã®å®Ÿæ…‹ã¨ã¯ï¼Ÿ è¨˜äº‹ã®æœ€å¾Œã«ã¯ã€ãƒ‡ãƒ«ã®27åž‹4Kãƒ‡ã‚£ã‚¹ãƒ—ãƒ¬ã‚¤ã€ŒP2715Qã€ãŒå½“ãŸã‚‹ãƒ—ãƒ¬ã‚¼ãƒ³ãƒˆã®ãŠçŸ¥ã‚‰ã›ã‚‚ã‚ã‚Šã¾ã™ã€‚ åº§è«‡ä¼šå‡ºå¸è€…ï¼ˆä¸Šå†™çœŸã€å·¦ã‚ˆã‚Šï¼‰ï¼šã¯ã¦ãª å¤§è¥¿åº·è£•ã€Indeedã®æ‘ä¸‹ç‘›ã•ã‚“ã€æ¿±ç”°å“ã•ã‚“ã€å±±å£æœ‰ç†ã•ã‚“ã€æ‰åŽŸå•“å¤ªã•ã‚“ã€è½åˆå¾¹ã•ã‚“ ï¼ˆâ€»ã“ã®è¨˜äº‹ã¯ã€æ ªå¼ä¼šç¤¾ãƒªã‚¯ãƒ«ãƒ¼ãƒˆãƒ›ãƒ¼ãƒ«ãƒ‡ã‚£ãƒ³ã‚°ã‚¹æä¾›ã«ã‚ˆã‚‹PRè¨˜äº‹ã§ã™ï¼‰ â– é–‹ç™ºã‚¹ãƒ”ãƒ¼ãƒ‰ã‚’ç”Ÿã‹ã™
pogin 2015/03/31
é–‹ç™º

ã¯ã¦ãª

programming

ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢
ãƒªãƒ³ã‚¯
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ - ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ ä»¥ä¸‹ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’ç›®å‡¦ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã‚’çµ‚äº†äºˆå®šã§ã‚ã‚‹æ—¨ã‚’ãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019å¹´æœ«ã‚’ç›®å‡¦ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æä¾›ã‚’çµ‚äº†ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã“ã®ãŸã³ã€æ£å¼ã«çµ‚äº†æ—¥ã‚’æ±ºå®šã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”ç¢ºèªãã ã•ã„ã€‚ çµ‚äº†æ—¥: 2020å¹´1æœˆ31æ—¥(é‡‘) ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1æœˆ31æ—¥(é‡‘) çµ‚äº†æ—¥ä»¥é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“ã€‚æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„ã€‚ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„ã¦ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã”åˆ©ç”¨ã®ã¿ãªã•ã¾ã«ã¯ã”è¿·æƒ‘ã‚’ãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 è¿½è¨˜ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2æœˆ28
pogin 2014/09/18
åŸºæœ¬

ã‚°ãƒ©ãƒ•

topcoder

Programming

Algorithm

Graph
ãƒªãƒ³ã‚¯
GitHub - Dobiasd/programming-language-subreddits-and-their-choice-of-words: How do the different communities talk?
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
pogin 2014/08/28
language

programming

github

è¨€èªž

analysis

ranking
ãƒªãƒ³ã‚¯
ç¶šã‘ã‚‰ã‚ŒãŸç†ç”±ã¯ã€Œä»•äº‹ãŒæ¥½ã—ããªã‹ã£ãŸã‹ã‚‰ã€â”€â”€ã‚«ãƒ¼ãƒãƒ«ãƒãƒƒã‚«ãƒ¼ãƒ»å°å´Žè³‡åºƒï¼ˆ3ï¼‰ | ã‚µã‚¤ãƒœã‚¦ã‚ºå¼
ãƒžãƒã‚¸ãƒ¡ãƒ³ãƒˆ æ–°ã—ã„ãƒãƒ¼ãƒ ã®ã‚ã‚Šæ–¹ã‚’æŽ¢æ±‚ å°±æ´» å°±æ´»ç”Ÿå¿…è¦‹ï¼ã‚µã‚¤ãƒœã‚¦ã‚ºã®ç–‘å• ãƒ†ã‚£ãƒ¼ãƒ«çµ„ç¹” ä¼šç¤¾ã®ã€Œã‚ãŸã‚Šã¾ãˆã€ãŒå¤‰ã‚ã‚‹ å¤šæ§˜æ€§ 100äºº100é€šã‚Šã®å€‹æ€§ ãƒ¯ãƒ¼ã‚¯ã‚¹ã‚¿ã‚¤ãƒ« åƒãæ–¹ã€ç”Ÿãæ–¹ã€ã‚‚ã£ã¨è‡ªç”±ã« é’é‡Žæ…¶ä¹… ã‚µã‚¤ãƒœã‚¦ã‚ºç¤¾é•·ã®æƒ³ã„ã¨è¦šæ‚Ÿ ã‚ãƒ£ãƒªã‚¢ äººç”Ÿã®ã€Œç©ã¿ä¸Šã’æ–¹ã€ã‚’è¦‹ç›´ã™ è¤‡æ¥ è¤‡æ•°ã®ã€Œæœ¬æ¥ã€ã‚’ã‚‚ã¤åƒãæ–¹ äººäº‹åˆ¶åº¦ å¤šæ§˜ãªåƒãæ–¹ã‚’æ”¯ãˆã‚‹ä»•çµ„ã¿ ãƒžãƒ³ã‚¬ ã‚µã‚¯ãƒƒã¨æ‰‹è»½ã«èªã‚ã‚‹ï¼
pogin 2014/08/27
Linux

kosaki

ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢

programming

è€ƒãˆæ–¹
ãƒªãƒ³ã‚¯
N-gramã£ã¦ãªã‚“ã
ã´ã„ã“ã¯ç ”ç©¶ã§ã€é¡žä¼¼åº¦ã‚’æ±‚ã‚ã‚‹æ©Ÿèƒ½ã‚’ã‚·ã‚¹ãƒ†ãƒ ã«çµ„ã¿è¾¼ã‚“ã§ã„ã¾ã™ã€‚ãã“ã§ã€ã©ã†ã—ãŸã‚‰äººé–“ã®æ€ã†ã€Œä¼¼ã¦ã„ã‚‹ã€ã«æ©Ÿæ¢°ãŒè¿‘ã¥ã‘ã‚‹ã‹ãªï¼Ÿã¨æ€ã£ã¦è©¦è¡ŒéŒ¯èª¤ã—ã¦ã„ã‚‹ã®ã§ã™ãŒã€ä¼¼ã¦ã„ã‚‹ã¨ã„ãˆã°ã‚³ã‚µã‚¤ãƒ³é¡žä¼¼åº¦ä»¥å¤–ã«ã‚‚N-gramï¼ˆãˆã¬ãã‚‰ã‚€ï¼‰ã¨ã„ã†ã‚„ã‚Šæ–¹ãŒã‚ã‚‹ã¨ã„ã†ã“ã¨ã«ãŸã©ã‚Šç€ãã¾ã—ãŸã€‚ ä»Šå›žã¯ã€ã“ã¡ã‚‰ã®ãƒšãƒ¼ã‚¸ã‚’å¤§ã„ã«å‚è€ƒã«ã—ã¦ã„ã¾ã™ï¼ç ”ç©¶ã®ã‚½ãƒ¼ã‚¹ã§ã‚‚ã€ãƒ™ãƒ¼ã‚¹ã«ã“ã¡ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’åˆ©ç”¨ã•ã›ã¦ã‚‚ã‚‰ã£ã¦ã€ã‚«ã‚¹ã‚¿ãƒžã‚¤ã‚ºã—ã¦çµ„ã¿è¾¼ã‚“ã§ã„ã¾ã™ã€‚ã‚„ã‚ŠãŸã„ã“ã¨ã‹ã‚‰æŠ€è¡“ã‚’å¾—ã‚‹ã®ã«ã‚ã‹ã‚Šã‚„ã™ã„ãƒšãƒ¼ã‚¸ã§ã—ãŸ NEO INSPIRATION â€“ Ngramã‚’åˆ©ç”¨ã—ãŸãƒšãƒ¼ã‚¸é¡žä¼¼åº¦ãƒã‚§ãƒƒã‚«ãƒ¼ï¼‹Ngramè¨ˆç®—ã®phpã‚¯ãƒ©ã‚¹ N-gramã®Nã«ã¯ã€1ï¼ˆãƒ¦ãƒ‹ã‚°ãƒ©ãƒ ï¼‰ã¨ã‹2ï¼ˆãƒã‚¤ã‚°ãƒ©ãƒ ï¼‰ã¨ã‹3ï¼ˆãƒˆãƒªã‚°ãƒ©ãƒ ï¼‰ã¨ã‹ã€Nã¯å¥½ããªæ•°å—ã«ã§ãã¾ã™ãŒã€ä¸€èˆ¬çš„ã«ã¯1ï½ž3ãŒæœ‰åŠ¹ã§ã™ã€‚ç§ã®ã‚·ã‚¹ãƒ†ãƒ ã«ã¯2-gramã‚’å–ã‚Šå…¥ã‚Œã¦ã„ã¾ã™ã€‚ä»Šå›žã¯ãã®N-gramã«
pogin 2014/08/14
ngram

programming

æ–‡ç«

text
ãƒªãƒ³ã‚¯
ã¯ã¦ãªãƒ–ãƒã‚° | ç„¡æ–™ãƒ–ãƒã‚°ã‚’ä½œæˆã—ã‚ˆã†
è–è¹Ÿæ¡œãƒ¶ä¸˜ã¸ ä»Šå¹´åº¦ã®æŽˆæ¥ãŒå…¨ã¦çµ‚äº†ã—ãŸã€‚æœ€å¾Œã®æŽˆæ¥ã¯ãƒ†ã‚¹ãƒˆè¿”å´ã¨ãã®ç¢ºèªä½œæ¥ã®å¾Œã¯ç‰¹ã«ä½•ã‚’ã—ã‚ã¨ã‚‚è¨€ã‚ã‚Œã¦ã„ãªã‹ã£ãŸã®ã§ã€ã€Žè€³ã‚’ã™ã¾ã›ã°ã€ã®å¾ŒåŠã€ãŠå§‰ã•ã‚“ã¨é›«ãŒè¨€ã„äº‰ã„ã‚’ã™ã‚‹å ´é¢ã‚’ç”Ÿå¾’ã¨çš†ã§è¦‹ãŸã€‚ ã“ã®å ´é¢ã€‚ã‚ã®å ´é¢ã€ãŠå§‰ã•ã‚“ã¯é›«ã«ã€Œä»Šã—ãªãã‚ƒã„ã‘ãªã„ã“ã¨ã‹ã‚‰é€ƒâ€¦
pogin 2014/06/27
haskell

programming

Agda
ãƒªãƒ³ã‚¯
1 2 3 æ¬¡ã®ãƒšãƒ¼ã‚¸