Coq勉強会 - (SFèªã¿é€²æ—ダメã§ã™ä¼šè°) - #39｜IT勉強会・イベントãªã‚‰TECH PLAY［テックプレイ］
èªã‚€é †ç•ªã¯ ç« ã®ä¾å˜é–¢ä¿‚ã®ä¸å¿ƒçš„ãªç« ã®çŸ¢å°ã‚’追ã„掛ã‘ã¾ã™ã€‚ スケジュール 開始時間ã¯14時ã§ã™ 14:00-18:00 ソフトウェアã®åŸºç¤Ž ã®æ‹…当部分を発表(MoreStlc_J: å˜ç´”型付ãラムダ計算ã«ã¤ã„ã¦ã•ã‚‰ã« リスト拡張を入れãŸåž‹ä¿å˜ã®è¨¼æ˜Žã‹ã‚‰å§‹ã‚ã¾ã™) or å„自証明 å‰å›žã®Coq入門講座ã®ç¶šã(http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2015_AW/index.html ã®ç¬¬ï¼“回ã‹ã‚‰)ã‚‚ã‚„ã‚ŠãŸã„ 18:30-20:00 懇親会(有志) æŒã¡ç‰© Coq をインストールã—ãŸãƒŽãƒ¼ãƒˆPC (ãƒãƒ³ã‚ºã‚ªãƒ³ã‚’è¡Œãªã†ã®ã§å¿…ãšæŒã£ã¦ãã¦ãã ã•ã„ï¼) [https://github.com/sfja/sfja] を自分ã®ãƒŽãƒ¼ãƒˆPCã«git cloneã—ã¦ãŠã„ã¦ãã ã•ã„ å…¨ã¦ãŒåž‹ä»˜ã‘ã•ã‚ŒãŸä¸–界を泳ã純粋ãªå¿ƒ 集åˆå ´æ‰€ æŒèˆžä¼Žåº§ã‚¿ãƒ¯ãƒ¼ 21F
1
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Cast and validate body_params separately by mbuhot · Pull Request #39 · open-api-spex/open_api_spex
{{#tags}}- {{label}}
{{/tags}}