Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
Computation and Logic: Winter Semester 2016
ãŠçŸ¥ã‚‰ã› 宿題をé…ã‚Œã¦æ出ã™ã‚‹å ´åˆã®æœ€çµ‚期é™ã¯ 2/3(金) 17:00 ã§ã™ï¼Žè¦å†æ出ãŒæ®‹ã£ã¦ã„る人もã“ã®æ™‚刻ã¾ã§ã«è§£æ±ºã—ã¦ãã ã•ã„． スライド8ã¨é…布資料ãã®4をアップãƒãƒ¼ãƒ‰ã—ã¾ã—ãŸï¼Ž(2017.1.23) 1/17(ç«)ã¯ã€(講義ホームページã«ã‚ã‚‹)予定を変更ã—ã¦2回目ã®æ¼”ç¿’ã¨ã—ã¾ã™ã€‚éŽåŽ»ã®æœŸæœ«è©¦é¨“(ホームページã‹ã‚‰ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã—ã¦ãã ã•ã„。)ã®å•é¡Œã‚‚演習ã®ç¯„囲ã¨ã—ã¾ã™ã€‚(2017.1.9) éŽåŽ»ã®æœŸæœ«è©¦é¨“(2012年度, 2013年度, 2014年度, 2015年度)をアップãƒãƒ¼ãƒ‰ã—ã¾ã—ãŸ(テã‚ストã¨åŒã˜ãƒ‘スワードã§ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã—ã¦ãã ã•ã„)．演習ã®è¿½åŠ é¡Œæã¨ã—ã¾ã™ï¼Ž(2016.12.31) スライド7アップãƒãƒ¼ãƒ‰ï¼Žå®¿é¡Œãã®7ãŒã§ã¾ã—ãŸï¼Ž(2016.12.19) 宿題ãã®6ã®å•é¡Œ or_distributes_over_and_2 㯠or_distributes_over_and
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}