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
Coqã¯ã証ææ¯æ´ã·ã¹ãã ã®ä¸ã¤ãCoqã®æ ¸ã¯ããã°ã©ãã³ã°è¨èªGallinaï¼è±èªçï¼ãç¨ããããã©ã³ã¹å½ç«æ å ±å¦èªåå¶å¾¡ç 究æã®PI.R2ãã¼ã (PPSç 究æå ã«ãã)ããã¨ã³ã¼ã«ã»ããªãã¯ãã¼ã¯ããã©ã³ã¹å½ç«å·¥è¸é¢ãããªç¬¬7大å¦ãããªç¬¬11大å¦ã¨(ãã¤ã¦ãªã¨ã³é«ç師ç¯å¦æ ¡ã¨ã)å ±åãã¦éçºãã¦ãããHugo Herbelinãäºå®ä¸ã®éçºä»£è¡¨è ã§ããã Coqã¯Calculus of constructionsï¼è±èªçï¼ã¨ããé«éåã·ã¹ãã (Thierry Coquandã¨Gérard Huetã1984å¹´ã«åµå§ãããã®ã§ãè±èªã§ã¯CoCã¨ç¥ãã¦ã·ã¹ãã åCoqã«è³ã)ã«åºã¥ããæ£ãã証æã¯æ£ããåãã¤ãã©ã ãå¼ã§ããã¨ããã«ãªã¼ï¼ãã¯ã¼ãåå対å¿ãå©ç¨ãã¦ããã®ã§ãCoqã®è¨¼æè¨èªã¯åä»ãã©ã ãè¨ç®ã®ä¸ç¨®ã§ããã1991年以éCoqãç¨ãã¦ããCalculus of Constru
Immutable Infrastructureã¯ã¢ããªã±ã¼ã·ã§ã³ã®ã¢ã¼ããã¯ãã£ãå¤ãã¦ãããä¼è¤ç´ä¹æ°ï¼åç·¨ï¼ ä»®æ³åãã¯ã©ã¦ããåºç¤ã¨ããæ°ããã¤ã³ãã©ã®èãæ¹ã§ãããImmutable Infrastructureãã注ç®ããã¦ãã¾ãã3æ25æ¥ããã®Immutable Infrastructureããã¼ãã«æ¸è°·ã®DeNAãªãã£ã¹å¤§ä¼è°å®¤ã§éå¬ãããåå¼·ä¼ãImmutable Infrastructure Conference #1ãã¯ã150人ã®å®å¡ã«400人以ä¸ãç³ãè¾¼ã人æ°ã¶ãã§ããã ããã¾ã§ã®Immutable Infrastructureã«é¢ããè°è«ã¯ããã«ãããã¤ãªã©éç¨ã¨ã¤ã³ãã©å¨ãã®è©±é¡ãä¸å¿ã§ããããæåã®ã»ãã·ã§ã³ã§ç»å£ããä¼è¤ç´ä¹æ°ã¯ãImmutable Infrastructureãçµæçã«ã¢ããªã±ã¼ã·ã§ã³ã¢ã¼ããã¯ãã£ã«ã大ããªå½±é¿ãä¸ãããããã¢ããªã±
ããã³ãã¨ã³ãã®ãã©ãã¤ã ãåèã«ããã¯ã¨ã³ãéçºãåèãã / TypeScript ã«ãã GraphQL ããã¯ã¨ã³ãéçº
Go is an open source programming language designed for building scalable, secure and reliable software. Please read the official documentation to learn more. Go by Example is a hands-on introduction to Go using annotated example programs. Check out the first example or browse the full list below. Unless stated otherwise, examples here assume the latest major release Go and may use new language fea
ãCoder for Raspberry Piãã¯Raspberry PiãWebéçºç°å¢ã¨ãã¦ä½¿ãããã®ãªã¼ãã³ã½ã¼ã¹ããã¸ã§ã¯ã(TechCrunchæ¥æ¬ç)ã éçºããã®ã¯Google Creative Labsã§ãCoderãRaspberry Piã«ã¤ã³ã¹ãã¼ã«ãããã©ã¦ã¶ããã¢ã¯ã»ã¹ããã°ãWebéçºç°å¢ã¨ãã¦ä½¿ãã¯ããããã¨ãå¯è½ã«ãªãã¾ãã ãã©ã¦ã¶ããCoderã«ã¢ã¯ã»ã¹ããã¨ããããHello CoderããEyeballããSpace Rocks!ãã¨ãã£ãããã¸ã§ã¯ãã並ãã§ãã¾ãã ãEyebaooãããã¸ã§ã¯ãã®HTMLã³ã¼ãã JavaScriptã使ãã¾ããå³å´ã¯ãã¬ãã¥ã¼ããªã ããã¸ã§ã¯ãã®è¨å®ç»é¢ã æ©è½çã«èããã°Raspberry Piã§ããå¿ è¦æ§ã¯èãããããã¾ããããããã ãå®ä¾¡ã«æ©æãæãããã¨ãã§ããã®ã¯å¼·ã¿ãããCoderèªä½ã®ã½ã¼ã¹ã³ã¼
WebSocketãçµã¿è¾¼ã¿ã並åå¦çã§é²åããJavaãããã¦æå¼·ã®IDEã¯ã©ãã ï¼ï¼Java Day Tokyo 2013ã¾ã¨ãã¬ãã¼ãï¼2ï¼ï¼1/5 ãã¼ã¸ï¼ Java EEã«ãããWebSocketã並åå¦çã®éå»ã»ç¾å¨ã»æªæ¥ãRaspberry Piã¨ã®é£æºãEclipseãNetBeansãIntelliJ IDEAã®ä¸ããæå¼·ã®IDEã決ãã座è«ä¼ãããåé§ã®çºè¡¨ããã£ãLT大ä¼ãªã©ã®æ¨¡æ§ããå±ãã æ¥æ¬ãªã©ã¯ã«ã¯5æ14æ¥ããJava Day Tokyo 2013ããéå¬ãããJava EEã®ææ°ãã¼ã¸ã§ã³ãªãªã¼ã¹ãéè¿ã«æ§ããä¸ãJavaFXãRaspberry Piãããã«ã¯æ¥å¹´ãªãªã¼ã¹äºå®ã®Java SE 8ãªã©å 容ã¯å¤å²ã«æ¸¡ã£ãã Java Day Tokyoã¯ããã®åã®éãJavaãä¸å¿ã¨ãªã£ãã«ã³ãã¡ã¬ã³ã¹ãJavaéçºè åãã®ã¤ãã³ãã¨ãã¦ä¼çµ±ãããJavaO
å æ¥ãã¬ã¹ãªãªã¼ã¹ãåºãã®ã§ãããKAIZEN platform ã¨ããä¼ç¤¾ã§æè¡é¡§åãªã©ããã£ã¦ãã¾ãããããããä¸æ¨æ¥èªåãåºãWebã¢ããªã±ã¼ã·ã§ã³éçºã«é¢ããåå¼·ä¼ (è³æ) ãéãããããã¨ããä¼ç¤¾ã§ãå°ãåããåãããã«é¡§åã®ãããªå½¢ã§æºãã£ã¦ãã¾ãã èªåãé¢ãã£ã¦ããä¼ç¤¾ã®PRãå«ãã¦ããããã2013å¹´ç¾å¨ã®Webãµã¼ãã¹éçºã®ç¾å ´æãããæ¹ã¿ãããªãã®ãæ¸ãã¦ã¿ããã¨æãããã ãèªåã®å©çãããã¨ããã®è©±ã ãã§ã¯ãã§ã¢ã§ã¯ãªãã®ã§ãWebã¨ã³ã¸ãã¢ãªãããç¥ã£ã¦ããã§ããã Qiita ãéå¶ãã¦ããã¤ã³ã¯ãªã¡ã³ãã®æ§åãåããã¦ç´¹ä»ããã KAIZEN platform KAIZEN platform ãæä¾ãã¦ãããµã¼ãã¹ã¯ planBCD ã¨ãã A/B ãã¹ãã® SaaS ã§ãWebãµã¤ãã®ã³ã³ãã¼ã¸ã§ã³ã ã¨ããç»é¢ã®æ§æè¦ç´ ãå¤ãã¦å¹æ測å®ãããã¨ãããããã
Create engaging videos, images, and HTML5-based designs for your business that can run on any device Intended for business use only Features that help businesses bring ideas to life Google Web Designer gives you the power to create beautiful and compelling videos, images, and HTML5 ads. Use animation and interactive elements to build out your creative vision, then scale your content for different
ä¼è¤ç´ä¹æ°ãèªããã¢ãã¤ã«ã¢ããªã±ã¼ã·ã§ã³éçºã®ãã¾ã¨ããããï¼åç·¨ï¼ï½Salesforce Developer Conference Tokyo 2013 ãã¾å¤ãã®éçºè ãåãçµããã¨ãã¦ããã¢ãã¤ã«ã¢ããªã±ã¼ã·ã§ã³ã®éçºã¯ãçµé¨ã®é¢ã§ãæè¡ã®é¢ã§ããã³ã³ã·ã¥ã¼ãåãã®éçºç¾å ´ã大ããå è¡ãã¦ãã¾ãã 9æ6æ¥éå¬ãããSalesforce Developer Conference Tokyo 2013ã®ã»ãã·ã§ã³ãB2Cããã¿ãã¢ãã¤ã«ã¢ããªã±ã¼ã·ã§ã³éçºã®ãã¾ã¨ãããããã§ã¯ãã³ã³ã·ã¥ã¼ãåããµã¼ãã¹éçºã®ç¾å ´ã«èº«ãç½®ãã¦ããä¼è¤ç´ä¹æ°ããã¢ãã¤ã«ã¢ããªã±ã¼ã·ã§ã³éçºãæåãããããã®æ¹æ³ããããã¾ã§ã®çµé¨ãç¾å¨ã®éçºç¾å ´ã§å¾ããã¦ãã¦ãªã©ãåºã«èªã£ã¦ãã¾ãã 試è¡é¯èª¤ã®åæ°ãå¢ãããiOSã¨Androidã¯åãããã«ä½ã£ã¦ã¯ãããªããªã©ãã¢ãã¤ã«ã¢ããªã±ã¼ã·ã§ã³éçºã«é¢ããã¨ã³ã¸
Bowerå ¥é ãããã Bower ã«ã¤ãã¦æ¸ãã¦ãã¾ããBowerã®ä½¿ãæ¹ããå®éã«ä½¿ãä¸ã§èæ ®ãããã¨ã¾ã§å«ãã¦æ¸ãã¾ãã é·ããªããããªã®ã§åã«ä½¿ãã ãã®åºç¤ç·¨ã¨ã¢ã¸ã¥ã¼ã«ãä½ãä¸ã§æ°ãã¤ãããã¨ãã¾ã¨ããå¿ç¨ç·¨ã«åãã¦æ¸ãã¾ãã Bower ã¨ã¯ Twitter社ãä½ã£ãããã³ãã¨ã³ãç¨ã®ããã±ã¼ã¸ããã¼ã¸ã£ã§ãã Java ã§è¨ã Mavenã Ruby ã§è¨ã gemã Perl ã§è¨ã cpan ã®ãããªãã®ã§ãã Node.jsã«ã¯ npm ã¨å¼ã°ããããã±ã¼ã¸ããã¼ã¸ã£ãããã¾ãããããã«å¼·ãå½±é¿ãåãã¦ãã¾ãã ããã±ã¼ã¸ããã¼ã¸ã£ãå©ç¨ãããã¨ã§ã©ã¤ãã©ãªãèªåã§ç®¡çããå¿ è¦ããªããªãã管çãããã¡ã¤ã«ã®æ°ãæ¸ãããã¨ãã§ãã¾ãã ã¾ããããã±ã¼ã¸ããã¼ã¸ã£ãå©ç¨ãããã¨ã§ã©ã¤ãã©ãªã®ãã¼ã¸ã§ã³ç®¡çããããããªãã¾ãã ããã«èªåã®ã©ã¤ãã©ãªã Bower comp
1 pixelï½ãµã¤ãã¼ã¨ã¼ã¸ã§ã³ãå ¬å¼ã¯ãªã¨ã¤ã¿ã¼ãºããã° ãµã¤ãã¼ã¨ã¼ã¸ã§ã³ãã®ã¯ãªã¨ã¤ã¿ã¼ã®åãçµã¿ãç´¹ä»ãããªãã£ã·ã£ã«ããã°ã§ããææ°æè¡ã¸ã®ææ¦ããµã¼ãã¹èªçã®è£è©±ãåå¼·ä¼ãã¤ãã³ãã®ã¬ãã¼ããªã©CAã¯ãªã¨ã¤ã¿ã¼ã®æ å ±ãæºè¼ã§ãã ã¿ãªããããã«ã¡ã¯ï¼ ã¹ããçAmebaæ å½ã®å·å£ã§ãã ã¡ããã©ä¸å¹´åãåãããã«JavaScriptã使ã£ããã¹ãææ³ã«ã¤ãã¦è¨äºãæ¸ããã¦ããã ããã®ã§ãããä»åãæ²ããã«ã¾ãåããããªãã¼ãã§åç»å ´ãããã¾ããã JavaScriptã®ãã¹ãææ³ ãã¦ãã¹ããçAmebaã®å ¨é¢ãªãã¥ã¼ã¢ã«ããæ©ããï¼å¹´çµã£ãã®ã§ãããä»åã¯ãããªã¹ããçAmebaã§æ¥ã èªåãã¹ããã¼ã«ã¨ãã¦æ´»èºãã¦ããã£ã¦ããPhantomJSãç´¹ä»ããã¦ããã ãã¾ãã é·ãè¨äºã«ãªããããä»åã¯åç·¨ã»å¾ç·¨ã«åãã¦ä»¥ä¸ã®ãããªæ§æã§ãéããããã¾ãã âåç·¨ ã»Phanto
ã¡ãã£ã¨åã« RubyMotion ã触ã£ã¦ã¿ã¦ããã¯é¢ç½ããªã¨æãããã°ã«ã§ãæ¸ãããã¨æã£ãç¢å ã«ãã©ã´ã³ã¯ã¨ã¹ã10ãçºå£²ãã¦ãã¾ããããããããã¨ãããã¡ã«ä¸ã¶æçµã£ã¦ãã¾ãã¾ããã ããã¯ãã¦ããããã³ããã㨠RubyMotion â ããããã³ãã¨å¼ãã§ããã®ã¯èªåã ãã§ããã©ãRuby 㧠iOS ã®ãã¤ãã£ãã¢ããªãæ¸ããã¨ãããã¼ã«ãã§ã¤ã³ãã³ã³ãã¤ã©ããã¹ãã¹ã¤ã¼ããããã¸ã§ã¯ãä½æç¨ã¹ã¯ãªãããã®ä»ãå«ã¿ã¾ãã主㫠CUI ã¯ã¿ã¼ããã«ã§ã®ã³ã³ãã¤ã«ãæ³å®ãã¦ãã¦ãXcode ã§éçºããã®ã«æ¯ã¹ãã¨ã ã㶠*nix ãã¦ããã¼ã¨ããæ°åã«ãªãã代ç©ã§ããiOS ã¢ããªãªã®ã« Ruby! iOS ã¢ããªãªã®ã« CUI! ・・・ ããã ãã§ã¯ã¯ãã«ãªæ¹ãå¤ãããªã¨æãã¾ãã 以ä¸ãããªãã³ãã¡ããRubyMotion æ§ããã£ã¨ç´¹ä»ãã¦ããããã¨æãã¾ãããªãããããã
# Create a vector index using the HNSW algorithm, 768 dimension length, and inner product distance metric > FT.CREATE idx-videos ON HASH PREFIX 1 video: SCHEMA content_vector VECTOR HNSW 6 TYPE FLOAT32 DIM 768 DISTANCE_METRIC IP content TEXT metadata TEXT # Add a video vector with metadata > HSET video:0 content_vector â\xa4q\t=\xc1\xdes\xbdZ$<\xbd\xd5\xc1\x99<b\xf0\xf2<x[â¦\xf8<â content âSUMMARY:
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}