Dependent type - Wikipedia
In computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, Idris, and Lean, dependent types help reduce bugs by
Pythonコードを使用ã—ã¦ã€Pythonコードを書ã方法を人工知能ã«å¦ç¿’ã•ã›ã‚‹ | POSTD
ã“ã“ã§ã¯å°‘ã—ã®é–“ã€è‡ªå¾‹èµ°è¡Œè»Šã®ã“ã¨ã¯å¿˜ã‚Œã¦ãã ã•ã„。物事ã¯æ·±åˆ»ã«ãªã£ã¦ãã¦ã„ã¾ã™ã€‚ã“ã®è¨˜äº‹ã§ã¯ã€ç‹¬è‡ªã®ã‚³ãƒ¼ãƒ‰ã‚’書ãマシンを作るã“ã¨ã«çš„を絞ã£ã¦è©±ã‚’進ã‚ã¦ã„ããŸã„ã¨æ€ã„ã¾ã™ã€‚ GlaDoS Skynet Spynetを使用ã—ã¾ã™ã€‚ 具体的ã«è¨€ã†ã¨ã€Pythonã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’入力ã™ã‚‹ã“ã¨ã§ã€è‡ªåˆ†ã§ã‚³ãƒ¼ãƒ‰ã‚’書ãよã†ã«ã€æ–‡å—レベルã§ã®Long Short Term Memoryニューラルãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’訓練ã—ã¦ã„ãã¾ã™ã€‚ã“ã®å¦ç¿’ã¯ã€Theanoã¨Lasagneを使ã£ã¦ã€EC2ã®GPUインスタンス上ã§èµ·å‹•ã•ã›ã¾ã™ã€‚説明ãŒæ›–昧ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€åˆ†ã‹ã‚Šã‚„ã™ã説明ã§ãるよã†ã«é ‘å¼µã£ã¦ã¿ã¾ã™ã€‚ ã“ã®è©¦ã¿ã¯ã€ ã“ã¡ã‚‰ã®ç´ 晴らã—ã„ブãƒã‚°è¨˜äº‹ ã«è§¦ç™ºã•ã‚Œè¡Œã†ã«è‡³ã‚Šã¾ã—ãŸã€‚皆ã•ã‚“ã‚‚ãœã²èªã‚“ã§ã¿ã¦ãã ã•ã„。 ç§ã¯ãƒ‡ã‚£ãƒ¼ãƒ—ラーニングã®ã‚¨ã‚スパートã§ã¯ã‚ã‚Šã¾ã›ã‚“ã—ã€Theanoã‚„GPUコンピューティングを扱ã†ã®ã‚‚åˆã‚ã¦ã§
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
types.markdown
{{#tags}}- {{label}}
{{/tags}}