å½¢å¼æ‰‹æ³•è¨€èªžAlloyを使ã£ã¦SATå•é¡Œã‚’解ã - データサイエンティストã®ã²ã‚ˆã“ナレッジグラフ推論ãƒãƒ£ãƒ¬ãƒ³ã‚¸ã§ã€å½¢å¼æ‰‹æ³•è¨€èªžã§ã‚ã‚‹AlloyãŒè©•ä¾¡ã•ã‚ŒãŸã®ã§ç°¡å˜ã«ç´¹ä»‹ã‚’ã—ãŸã„ã¨æ€ã†ã€‚ http://alloytools.org/ ナレッジグラフ推論ãƒãƒ£ãƒ¬ãƒ³ã‚¸ã¨ã¯ã€è§£é‡ˆå¯èƒ½AIã®åŸºç¤ŽæŠ€è¡“を探索ã™ã‚‹ç›®çš„ã§2018å¹´ã«é–‹å‚¬ã•ã‚ŒãŸã‚³ãƒ³ãƒ†ã‚¹ãƒˆã 。ã¡ãªã¿ã«ã€ç¬¬2回ãŒä»Šåº¦é–‹ã‹ã‚Œã‚‹ã€‚シャーãƒãƒƒã‚¯ãƒ›ãƒ¼ãƒ ズã®ã€Œã¾ã らã®ç´ã€ã¨ã„ã†çŸç·¨å°èª¬ã‚’é¡Œæã«ã—ã¦ã€ãƒ›ãƒ¼ãƒ ズãŒæŽ¨ç†ã™ã‚‹å ´é¢ã¾ã§ã®ãƒ‡ãƒ¼ã‚¿ã‚’利用ã—ã€ã€ŒçŠ¯äººã‚’ã‚ã¦ã‚‹ã“ã¨ã€ã¨ã€ŒçŠ¯äººã§ã‚ã‚‹æ ¹æ‹ ã‚’ç¤ºã™ã“ã¨ã€ã‚’æ•°ç†æŠ€è¡“ã§è¡Œã†ã“ã¨ãŒæ±‚ã‚られる。 http://challenge.knowledge-graph.jp/ 話ãŒãšã‚Œã¦ã—ã¾ã†ãŒã€è§£é‡ˆå¯èƒ½æ€§AIã¨ã‹èª¬æ˜Žçš„AIã¨ã‹ã¯ã€æ˜¨ä»Šãƒ‹ãƒ¥ãƒ¼ã‚¹ã§ã¡ã‚‡ã“ã¡ã‚‡ã“ç¾ã‚Œã¦ãã¦ã„る言葉ã§ã‚る。èžã„ãŸã“ã¨ãŒã‚る人も多ã„ã¨æ€ã†ã€‚人工知能ã®åˆ¤æ–ã‚„çµæžœã®æ ¹æ‹ ã‚’ã†ã¾ãæ示ã§ããšãƒ–ラックボックスã«ãªã‚ŠãŒã¡ãªãŸã‚ã€é‡è¦ãªåˆ¤æ–ã§ã®åˆ©ç”¨ãŒèºŠèº‡
Alloy入門 - Qiita
å½¢å¼æ‰‹æ³•ã§æ—ã‚‹ï¼ã‚¤ãƒ³ãƒ•ãƒ©æ§‹æˆã®è¨è¨ˆã¨æ¤œè¨¼
å½¢å¼æ‰‹æ³•ã¨ AWS ã®ãŠã„ã—ã„関係。- モデル検査器 Alloy ã«ã‚ˆã‚‹ã‚¤ãƒ³ãƒ•ãƒ©è¨è¨ˆæŠ€æ³• #jawsfesta
è«–ç†ã¨è¨ˆç®—（２）
https://www.ipa.go.jp/archive/digital/iot-en-ci/keishikisyuho/hjuojm000000m6wx-att/000026829.pdf
{{#tags}}- {{label}}
{{/tags}}