MermaidDiagramming and charting toolJavaScript based diagramming and charting tool that renders Markdown-inspired text definitions to create and modify diagrams dynamically.
æè¡è¨äºã¯ ã¯ã¦ãªããã° ã¸ãå¼è¶ããã¾ããã èå³ãæã£ã¦ãã ãã£ãæ¹ã¯Zennã§ã¯ãªããã¡ãããè³¼èªããã ããã°ã¨æãã¾ãð Mermaid Graphical Editor VSCodeã®æ¡å¼µæ©è½ã§ãã Mermaidè¨æ³ãå©ç¨ãã¦ãã¼ã¯ãã¦ã³å é¨ã§ä½å³ããªãããMermaidããèªä½ã®ã¨ãã£ã¿ãç«ã¡ä¸ãããã¨ãã§ãã¾ãã éã«Mermaid Editorå´ã§ç·¨éããå 容ããã¼ã¯ãã¦ã³ã«ãã£ã¼ãããã¯ããã¾ãã vs Draw.io Integration é¡ä¼¼ãã¼ã«ã¨ãã¦Draw.io Integrationãããã¾ãã ãã¡ãã¯.drawioæ¡å¼µåã®ãã¡ã¤ã«ãVSCodeã§ä½æããã¨ãdraw.ioã®ã¨ãã£ã¿ãéãã¦ä½å³ãã§ãããã¼ã«ã§ãã ããããdraw.ioã¯ããã¾ã§å³ãæ¸ããã¨ãããçæ¥ã¨ãã¦ãã¦ãä½æããdraw.ioãã¡ã¤ã«ããã¼ã¯ãã¦ã³ãã¡ã¤ã«ã«åãè¾¼ãã«ã¯ç»åã¨
æ¦è¦ ãããã¯ã¼ã¯å¨ãã§ãã¾ã«è§¦ãiptablesã§ããããã¾ã«ãªããã§åº¦ã å¿ãã¦ã°ã°ãç´ããã¨ãå¤ãã®ã§ç解ããããããå³ãä½ã£ã¦ã¿ã¾ããã iptablesã®ä»çµã¿ãå³è§£ iptablesã®æ§æå³ iptablesã¯ä»¥ä¸ã®ããã« iptables -> Tables -> Chains -> Rules ã¨ããæ§æãã¨ã£ã¦ãã¾ãã ãªã®ã§CLIã®æ¸ãæ¹ã # iptables -t {ãã¼ãã«å} -ã³ãã³ã {ãã§ã¼ã³å} {ã«ã¼ã«} ã¨ãã£ãå½¢ã§é ã«æå®ãããã©ã¼ãããã§æ¸ãã¾ãã ãã¼ãã« ãã¼ãã«ã«ã¯ä»¥ä¸ã®ï¼ã¤ç¨®é¡ãããã¾ãã filterãã¼ãã« natãã¼ãã« mangleãã¼ãã« rawãã¼ãã« åãã¼ãã«ã§ã¯å³ã®ããã«ããããããã§ã¤ã³ãæã£ã¦ãã¾ãããã§ã¤ã³ã¯ã¦ã¼ã¶ãç¬èªã«å®ç¾©ãããã¨ãå¯è½ã§ãã ããããã®ãã§ã¤ã³ã¯åæç¶æ ã§ã¯ç¹ã«ã«ã¼ã«ãæã£ã¦ããããåºæ¬ããªã·ã¼
Linux ããã°ã©ãã³ã°è¨èª malloc(3)ã®ã¡ã¢ãªç®¡çæ§é 2007/11/30 æè¡æ¬é¨ ã¯ã©ã¦ãåºç¤ã¨ãã¹ãã¼ã ãè§é¦¬ æ彦 malloc()ã¨ããã°ï¼£è¨èªã§ã¯ã馴æã¿ã®ã©ã¤ãã©ãªã§ãæãè¯ã使ç¨ãããã©ã¤ãã©ãªã®ä¸ã¤ã§ããããããã®åã ãä½ããã®ä¸å ·åãçµé¨ãã人ãå¤ãã®ã§ã¯ãªãã§ãããããæ¬æ¸ã§ã¯malloc()ãfree()ã§ç¢ºä¿ã解æ¾ãããã¡ã¢ãªãªã½ã¼ã¹ãå é¨çã«ã©ã®ããã«ç®¡çããã¦ãããã説æãã¦ããã¾ããmallocã©ã¤ãã©ãªã®ä»æ§ãç解ããäºã§ãã©ã¤ãã©ãªä½¿ç¨æã«ä½ããã®ä¸å ·åãçºçããéã®æå©ãã«ãªãã°ã¨æãã¾ãã ããã§ã¯Linuxãã£ã¹ããªãã¥ã¼ã·ã§ã³ã§æ¨æºçã«ä½¿ç¨ããã¦ããglibcã®mallocã©ã¤ãã©ãªãæ±ãã¾ããä»åã®èª¿æ»ã§ã¯æ¬¡ã®ç°å¢ã使ç¨ãã¦ãã¾ãã ãã£ã¹ããªãã¥ã¼ã·ã§ã³ :Debian sarge ããã±ã¼ã¸ãã¼ã¸ã§ã³ :glibc-2.3.
Bridge vs. Switch: What I Learned From a Data Center TourNetworking Lab: Ethernet Broadcast DomainsNetworking Lab: L3 to L2 Segments MappingNetworking Lab: Simple VLANDon't miss new posts in the series! Subscribe to the blog updates and get deep technical write-ups on Cloud Native topics direct into your inbox. TL;DR SSH Port Forwarding as a printable cheat sheet. SSH is yet another example of an
ãã¾ã«ä½¿ãããã©ããå¿ãã¦ãã¾ã SSH ãã¼ã«ã«ãã¼ããã©ã¯ã¼ãã«ã¤ãã¦ã¡ã¢ã ç®æ¬¡ SSH ãã¼ã«ã«ãã¼ããã©ã¯ã¼ãã¨ã¯ SSH ã§æ¥ç¶ãããµã¼ãã®ãã¼ãã«è»¢éãããã¨ã SSH ã§æ¥ç¶ãããµã¼ãã¨ã¯å¥ã®ãã¹ãã®ãã¼ãã«è»¢éãããã¨ã å¥ã®ä½æ¥ç«¯æ«ãããæ¥ç¶ãããå ´å SSH ãã¼ã«ã«ãã¼ããã©ã¯ã¼ãã¨ã¯ SSH ãã¼ã«ã«ãã¼ããã©ã¯ã¼ãã¨ã¯ãSSH ã®æ¥ç¶ãéãã¦ããã¼ã«ã«ãã¹ãã® TCP ãã¼ãã¸ã®æ¥ç¶ããªã¢ã¼ããã¹ãã® TCP ãã¼ãã«è»¢éããæ©è½ã§ãããã¼ããã©ã¯ã¼ãã£ã³ã°ããã³ããªã³ã°ã¨å¼ã°ããããã¾ãã SSH ãã¼ã«ã«ãã¼ããã©ã¯ã¼ãã£ã³ã°ãå©ç¨ããã¨ãä½æ¥ç«¯æ«ããç´æ¥æ¥ç¶ãã§ããªããã¼ãã«ãSSH ã«ãã確ç«ãããæ¥ç¶ã使ã£ã¦ã¢ã¯ã»ã¹ãããã¨ãã§ããããã«ãªãã¾ããä¾ãã°ãå é¨ã®ãããã¯ã¼ã¯ã®ã¿ã«å ¬éãã¦ãã Web ãµã¤ãããã¼ã¿ãã¼ã¹ããªã¢ã¼ããã¹ã¯ãããã«å¤é¨ãã
ã¸ã§ã¤ã»ã¢ã©ãã¼ã«ã®ããã°ããã AIã«ããç»åçæã¯ã(ç§ãå«ãã¦)人ã ã®åº¦èãã¬ãææ°ã®AIã®è½åã§ããããã¹ãã®èª¬æããå°è±¡çãªãã¸ã¥ã¢ã«ãä½ãåºãè½åã¯ãéæ³ã®ãããªå質ãæã¡ã人éãã¢ã¼ããåµé ããæ¹æ³ã®å¤åãæ確ã«æã示ãã¦ãã¾ããStable Diffusionã®ãªãªã¼ã¹ã¯ãé«æ§è½(ç»è³ªã ãã§ãªããé度ãæ¯è¼çä½ããªã½ã¼ã¹/ã¡ã¢ãªè¦ä»¶ã¨ããæå³ã§ã®æ§è½)ãªã¢ãã«ãä¸è¬ã®äººã ã«æä¾ãããã¨ã«ãªã£ãã®ã¯ããã®éçºã«ãããæ確ãªãã¤ã«ã¹ãã¼ã³ã§ãã AIç»åçæã試ãã¦ã¿ã¦ããã®ä»çµã¿ãæ°ã«ãªãå§ããæ¹ãå¤ãã®ã§ã¯ãªãã§ããããã ããã§ã¯ãStable Diffusionã®ä»çµã¿ã«ã¤ãã¦åªããç´¹ä»ãã¾ãã Stable Diffusionã¯ãæ§ã ãªä½¿ãæ¹ãã§ããæ±ç¨æ§ã®é«ããã®ã§ããã¾ããããã¹ãã®ã¿ããã®ç»åçæ(text2img)ã«ç¦ç¹ãå½ã¦ã¾ããä¸ã®ç»åã¯ãããã¹ãå ¥åã¨ç
UMLã¨ãæ§æå³ã¨ãã®å³ãæãã®ä½ã®ãã¼ã«ã使ãã°ãããè¿·ãã¾ãããï¼ç§ã¯è¿·ãã¾ãã ã§ãã®ã§ãæè¿ä½¿ã£ã¦ãããã¼ã«ãç´¹ä»ãã¾ãã ä¸ã®ä¸ã«ãã¼ã«ãã¤ãã¤ãããã®ã¯ç解ããä¸ã§ã大éã«ç´¹ä»ããã¨ãã£ã±ãè¿·ãã®ã§ãä¼¼ããããªãã¼ã«ãå人çã«ä½¿ããªããã¼ã«ã¯ãããµãªçãã¦ãã¾ãã ãã¯ãã§æã ã¾ãã¯PowerPointã§ãã ã¨ã³ã¸ãã¢ãæè¡ç³»ã®æ¹ã¯ããã¯ãã§å³ãæãã®ã¯ã¡ãã£ã¨ããããã¨æãããããç¥ãã¾ããããç¶æ³ã«ãã£ã¦ããã ã¨æã£ã¦ãã¾ãã ãã¯ãã®ã¡ãªãã ãã¯ãã¯ããã¸ãã¹ã¦ã¼ã¶ã¼ãªãã»ã¼èª°ã§ã使ãã ã·ã¹ãã ãä½ãæã«ãã客ããå´ãå«ããé¢ããã¡ã³ãã¼å ¨å¡ãITã«è©³ããã¨ã¯éãã¾ãããããããããã人ã«ãã·ã¹ãã ã«å¯¾ããç解ã¯æä½éãã¦ããã ãå¿ è¦ãããã¾ããã·ã¹ãã æ§æå³ã¨ãç¹ã«èå³ããªã人ã«èª¬æããã¨ãã«ãæ°ãããã¼ã«ãããã¦ãã ãããã¨ããã®ã¯ãã¼ãã«ãé«ãã§ãã ãã¯ã
The term "olog" is short for "ontology log". "Ontology" derives from onto-, from the Greek ὤν, á½Î½ÏÎ¿Ï "being; that which is", present participle of the verb εἰμί "be", and -λογία, -logia: science, study, theory. An olog for a given domain is a category whose objects are boxes labeled with phrases (more specifically, singular indefinite noun phrases) relevant to the domain, and whose morphisms are d
ãããã¼ãã¸ã®éä¿¡ãSSHã§æå·åããä»ã®ãµã¼ãã¼ã®ãã¼ãã¸ã¨è»¢éããæè¡ããSSHãã¼ã転éãã§ããSSHãã¼ã転éã¯ããã¼ããããã¼ãã¸ãã³ãã«ãéãããã«ãã¼ã¿ã転éãããããã¨ããããSSHãã³ãã«ãã¨ãå¼ã°ãã¾ãã便å©ãªæè¡ã§ã¯ããã¾ããããã©ã£ã¡ã®ãã¼ãã転éãããã ã£ãâ¦â¦ï¼ãã¨ãSSHãã³ãã«ã確ç«ããæ¹åã«æ··ä¹±ãã¦ãã¾ããã¨ããã°ãã°ãã¨ã³ã¸ãã¢ã®Linmiao Xuæ°ãããããªSSHãã³ãã«ã®ã¤ã¡ã¼ã¸å³ãã³ãã³ãã¨ã¨ãã«ã¾ã¨ãã¦ãã¾ãã Visual guide to SSH tunnels https://robotmoon.com/ssh-tunnels/ âãã¼ã転éã®ç¨®é¡ SSHãã³ãã«ã¯ãå é¨ãããã¯ã¼ã¯ã«ã®ã¿å ¬éããã¦ãããµã¼ãã¹ã«å¤é¨ããã¢ã¯ã»ã¹ããããéä¿¡ãæå·åãããããæ段ã¨ãã¦ç¥ããã¦ãã¾ããä¸è¬çã«ã¯ãéè²ã®ãã¼ã«ã«ãµã¼ãã¼ãããSSHãµã¼ãã¼ã
Wordææ¸ã«åçãæ¿å ¥ããç´å¾ã®ç¶æ ã§ã¯ãæãã©ããã«ç§»åã§ãã¾ãããï¼»æååã®æãè¿ãï¼½ãè¨å®ãã¦æç« ã¨ç»åã¨ã®é¢ä¿ãè¨å®ãã¾ãããã æ¿å ¥ç´å¾ã®ç»åã¯è¡ãã¨ã«ããåãããªã Wordææ¸ã«åçãã¤ã©ã¹ããæ¿å ¥ããã¬ã¤ã¢ã¦ãã調æ´ãããã¨ãã©ãã°ãã¦ããæãã©ããã«åããã¾ãããæ¿å ¥ããç´å¾ã®ç»åã¯æåã¨åãè¡å ã®è¦ç´ ã¨ãã¦æ±ããã¦ãã¦ãåå¾ã®è¡ã«åãããã¨ã¯ã§ãã¦ããææ¸å ã§èªç±ãªä½ç½®ã«åãããã¨ã¯ã§ããªãããã«ãªã£ã¦ãã¾ãã ãã®ãããªå ´åã¯ç»åã®ï¼»æååã®æãè¿ãï¼½ã®è¨å®ãå¤æ´ãã¾ããåæè¨å®ã§ã¯ï¼»è¡å ï¼½ã«ãªã£ã¦ãã¾ãããï¼»åè§å½¢ï¼½ã«å¤æ´ãã¾ãããã次ã®ããã«æä½ãã¾ãã 1ç»åãé¸æãã¦ï¼»æååã®æãè¿ãï¼½ãè¨å®ãã æ¿å ¥ããç»åãã¯ãªãã¯ãã¦é¸æãããªãã³ã®ï¼»å³ã®æ¸å¼ï¼½ã¿ããã«åãæ¿ãã¦ï¼»æååã®æãè¿ãï¼½âï¼»åè§å½¢ï¼½ã®é ã«ã¯ãªãã¯ãã¾ãã 2ç»åããã©ãã°ãã¦ç§»åãã ç»å
ããã«ã¡ã¯ã渡辺ã§ãã ã·ã¼ã±ã³ã¹å³ãæ¸ãã¨ãã«ãä¸è©±ã«ãªã£ã¦ããPlantUMLãã Visual Studio Codeã§ç°¡åã«å©ç¨ã§ããããã«ãªã£ãã®ã§ãç´¹ä»ãããã¨æãã¾ãã ããã¹ãã§UMLãã·ã¼ã±ã³ã¹å³ãã¯ã©ã¹å³ãªã©ãä½æã§ããè¨èªã§ãã ãã¤ã¢ã°ã©ã ãããã¹ãã§è¨è¿°ã§ãããããGitã§ç®¡çãããã¨ãã§ãã¾ãã Visual Studio Codeã§ã¯ã次ã®ããã«PlantUMLãã¬ãã¥ã¼ã§ãã¤ã¢ã°ã©ã ã確èªããªããä½æã§ãã¾ãã ã¾ããVisual Studio Codeã端æ«ã«ãªã人ã¯ã¤ã³ã¹ãã¼ã«ããã¦ãã ããã Visual Studio Code - Code Editing. Redefined ã¾ããJavaãã¤ã³ã¹ãã¼ã«ãå¿ è¦ã¨ãªãã¾ãã ç¡æJavaã½ããã¦ã§ã¢ããã¦ã³ãã¼ã ã¤ã³ã¹ãã¼ã«ãå®äºããããVisual Studio Codeã§æ¡å¼µæ©è½ã¨ãã¦Plan
ããã«ã¡ã¯ã éçºé¨ã®è¾»ã§ããæ®æ®µã¯ãã¼ã¿ãµã¤ã¨ã³ãã£ã¹ãã»æ©æ¢°å¦ç¿ã¨ã³ã¸ãã¢ããã£ã¦ãã¾ãã æ¬è¨äºã¯dely Advent Calendar 2018ã®3æ¥ç®ã®è¨äºã§ãã adventar.org æ¨æ¥ï¼ï¼æï¼æ¥ã¯ãå¼ç¤¾delyã®éçºé¨ãããã¯ãã¼ãã¼å ¼GM奥åã®è¨äºã§ããããã®ï¼å¹´ã§delyã¯ãkurashiruãã®æé·ã¨ã¨ãã«ä½å¶ã大ããå¤åãã¾ããããããªä¸ãè¥ããããã¯ããªã¼ãã¼å ¼GMã¨ãªã£ãå½¼ã®è¦æ©ãææ°è¾¼ã¿ãªã©ã赤裸ã ã«ç¶´ããã¦ãã¾ããã©ãããä¸èªãã ããã tech.dely.jp ãã¦ãä»åã¯ç¹å®ã®ãã¼ãã«æ²¿ãå¿ è¦ã¯ãªãã¨ã®ãã¨ã ã£ãã®ã§ãæ©æ¢°å¦ç¿ã¨ã¯é¢ä¿ãªããã¼ããæ®æ®µä½¿ã£ã¦ããã¯ã©ã¤ã¢ã³ãOSã®è©±ãããã¦ããããã¨æãã¾ãããµã¤ããã¯ã©ã¤ã¢ã³ãPCã§ä½¿ãOSã¨ããã°ãMacOSãWindowsã使ã£ã¦ãæ¹ãå¤ããã¨æãã¾ãããã¨ã³ã¸ãã¢ã®æ¹ã§ãã¨ããªãããã®Linu
ãç¥ãã 5æãç®éã«èªåã®ãµã¤ãã«å¼ãæãã¾ãã https://ifritjp.github.io/documents/ lctags ã§è§£æãã Cè¨èª/C++ ã³ã¼ãã®æ å ±ãåºã«ãã¤ã³ã¿ã©ã¯ãã£ããªã³ã¼ã«ã°ã©ã表示ã«å¯¾å¿ãã¾ããã å¾æ¥ããã³ã¼ã«ã°ã©ã表示ã対å¿ãã¦ãã¾ããããããã¯äºåã«è¨å®ããã³ã¼ã«ã°ã©ãã®æ·±ã以å ã®å ¨ã³ã¼ã«ã辿ãã°ã©ããéçã«çæãããã®ã§ããã®æ¹æ³ã ã¨æ¬¡ã®åé¡ãããã¾ããã 辿ãããé¢æ°ã³ã¼ã«ä»¥å¤ã®ãã¹ã¾ã§å±éããã¦ãã¾ã ããã«å·¨å¤§ãªã°ã©ãã«ãªã£ã¦ãã¾ã è¨å®ãããæ·±ãã®å ¨ã³ã¼ã«ã解æ&ã°ã©ãä½æããããæéãããã ãã®åé¡ã解決ãããããã¤ã³ã¿ã©ã¯ãã£ãã«é¢æ°ã³ã¼ã«ãå±éå¯è½ãªã³ã¼ã«ã°ã©ã表示ã«å¯¾å¿ãã¾ããã ãã®ã³ã¼ã«ã°ã©ãã¯æ¬¡ã®æ©è½ãæã¡ã¾ãã åçã«é¢æ°ã³ã¼ã«ãå±é/æ ¼ç´å¯è½ æä½éã®ã³ã¼ã«æ å ±ããã¢ã¯ã»ã¹ããªãããåå¿ãæ©ã é¢æ°ãã¤ã³ã¿ãå©ç¨
Overview SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping: Deadlocks Divergences (also known as livelocks) Refinement relation on traces semantics (safety) Refinement relation on stable failures semantics (safety and liveness) LTL (Linear-Time Logic) with
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}