ML Day #1 - connpass
新機能 ãƒã‚¦ãƒãƒ£ãƒ¼ã«ã‚ˆã‚‹ã‚¤ãƒ™ãƒ³ãƒˆç®¡ç†æ©Ÿèƒ½ã‚’リリースã—ã¾ã—ãŸã€‚å”è³›ä¼æ¥ã®ç¤¾å“¡ã‚„関係者ã®ã‚¤ãƒ™ãƒ³ãƒˆå‚åŠ ã‚’å††æ»‘ã«ã™ã‚‹ã“ã¨ã«æ´»ç”¨ã„ãŸã ã‘ã¾ã™ã€‚詳ã—ãã¯ãƒ˜ãƒ«ãƒ—ページをã”覧ãã ã•ã„。 新機能 connpass APIã«æ–°ã—ãã€æ‰€å±žã‚°ãƒ«ãƒ¼ãƒ—ã‚’å–å¾—ã§ãã‚‹APIやユーザーã®å‚åŠ ã‚¤ãƒ™ãƒ³ãƒˆAPIã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚å„APIã®è©³ç´°ãªä»•æ§˜ã‚„利用方法ã«ã¤ãã¾ã—ã¦ã¯ã€ APIリファレンス ã‚’ã”確èªãã ã•ã„。ã¾ãŸAPI利用希望ã®æ–¹ã¯ connpassã®API利用ã«ã¤ã„㦠をã”覧ãã ã•ã„。 ãŠçŸ¥ã‚‰ã› 2024å¹´9月1日よりã€connpassã§ã¯ã‚¹ã‚¯ãƒ¬ã‚¤ãƒ”ングをç¦æ¢ã—ã€åˆ©ç”¨è¦ç´„ã«æ˜Žè¨˜ã—ã¾ã—ãŸã€‚以é™ã®æƒ…å ±å–å¾—ã«ã¯connpass APIã‚’ã”利用ãã ã•ã„。APIã”利用ã«ã¤ã„ã¦ã¯ãƒ˜ãƒ«ãƒ—ページをã”確èªãã ã•ã„。
CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
kadai1
課題４ 線形型ã«é–¢ã™ã‚‹è«–文をèªã‚“ã§ãã‚Œã«åŸºã¥ã型推論プãƒã‚°ãƒ©ãƒ を書ã 線形型システムã¨ã¯ï¼Ÿ 線形型システムã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ 実行ä¸ã«ä½œã‚‰ã‚ŒãŸå€¤ãŒä½•åº¦ä½¿ã‚ã‚Œã†ã‚‹ã‹ã«ã‚ˆã£ã¦ 型を区別ã™ã‚‹ã‚ˆã†ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã™ã€‚例ãˆã°ã€æ•´æ•°ã®åž‹ã¯MLã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã¯å˜ã«"int" ã§ã™ãŒã€ 線形型システムã§ã¯ã€é«˜ã€…一回ã—ã‹ä½¿ã‚ã‚Œãªã„æ•´æ•°ã®åž‹ã¯"int<１>", 何回ã§ã‚‚使ã‚ã‚Œã†ã‚‹ æ•´æ•°ã®åž‹ã¯"int<ω>" ã®ã‚ˆã†ã«åŒºåˆ¥ã•ã‚Œã¾ã™ã€‚ã“ã®ã‚ˆã†ã«åž‹ã®æ¦‚念を拡張ã—ã¦ã‚‚ MLã¨å…¨ãåŒã˜ã‚ˆã†ã«è‡ªå‹•çš„ã«åž‹æŽ¨è«–ãŒè¡Œãªãˆã‚‹ （ã“ã“ã§ã¯åž‹ã®æ¦‚念ãŒæ‹¡å¼µã•ã‚Œã¦ã„ã¾ã™ã‹ã‚‰ã€ å„データãŒä½•å›žä½¿ã‚れるã‹ã‚‚自動的ã«æŽ¨è«–ã•ã‚Œã‚‹ã“ã¨ã«ãªã‚Šã¾ã™ï¼‰ã“ã¨ãŒæœ€è¿‘ã«ãªã£ã¦çŸ¥ã‚‰ã‚Œã¦ãŠã‚Šã€ 例ãˆã°ã€fn x=>x+1 ã®åž‹ã¯ã€âˆ€ï½‰>=1, ｊ.(int<ｉ> -> int<ｊ>) ã®ã‚ˆã†ã«æŽ¨è«–ã§ãã¾ã™ã€‚ 線形型ã£ã¦ä½•ã®å½¹ã«ç«‹ã¤ã®ï¼Ÿ プãƒã‚°ãƒ©ãƒ 実行ä¸ã«é«˜ã€…一度ã—ã‹ä½¿
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - MPLLang/mpl: The MaPLe compiler for efficient and scalable parallel functional programming
Computing/Truffle言語ã®å®Ÿè£…例KinokoMLã‚’ã¤ãã£ãŸ - Sine Lite Dies
Alice MLã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ 
The Ur Programming Language Family
Amazon.co.jp: Modern Compiler Implement in ML: Appel, Andrew W.: 本
{{#tags}}- {{label}}
{{/tags}}