欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2016年3月28日 (一) 04:09 Allen (讨论 | 贡献)标记页面Deep learning的版本136781为已巡查
• 2016年3月27日 (日) 04:33 Allen (讨论 | 贡献)标记页面Deep learning的版本136768为已巡查
• 2016年3月22日 (二) 10:56 Allen (讨论 | 贡献)标记页面Deep learning的版本136631为已巡查
• 2016年3月22日 (二) 10:28 Allen (讨论 | 贡献)标记页面Deep learning的版本136623为已巡查
• 2016年3月22日 (二) 10:02 Allen (讨论 | 贡献)标记页面Deep learning的版本136620为已巡查
• 2016年3月22日 (二) 09:58 Allen (讨论 | 贡献)标记页面Deep learning的版本136619为已巡查
• 2016年3月19日 (六) 04:26 Allen (讨论 | 贡献)标记页面Deep learning的版本136563为已巡查
• 2016年3月18日 (五) 16:06 Allen (讨论 | 贡献)标记页面Deep learning的版本136549为已巡查
• 2016年3月15日 (二) 15:33 Allen (讨论 | 贡献)标记页面Deep learning的版本136438为已巡查
• 2016年2月2日 (二) 13:46 Allen (讨论 | 贡献)标记页面Deep learning的版本135277为已巡查
• 2016年1月10日 (日) 05:01 Allen (讨论 | 贡献)标记页面Deep learning的版本134792为已巡查
• 2016年1月10日 (日) 00:16 Allen (讨论 | 贡献)标记页面Deep learning的版本134783为已巡查
• 2015年12月24日 (四) 15:39 Allen (讨论 | 贡献)标记页面Deep learning的版本134691为已巡查
• 2015年12月24日 (四) 15:08 Allen (讨论 | 贡献)标记页面Deep learning的版本134690为已巡查
• 2015年12月24日 (四) 02:41 Allen (讨论 | 贡献)标记页面Deep learning的版本134676为已巡查
• 2015年12月24日 (四) 02:28 Allen (讨论 | 贡献)标记页面Deep learning的版本134675为已巡查
• 2015年12月19日 (六) 12:40 Allen (讨论 | 贡献)标记页面Deep learning的版本134625为已巡查
• 2015年11月21日 (六) 06:53 Allen (讨论 | 贡献)标记页面Deep learning的版本134326为已巡查
• 2015年11月16日 (一) 07:24 Allen (讨论 | 贡献)标记页面Deep learning的版本134275为已巡查
• 2015年10月8日 (四) 15:23 Allen (讨论 | 贡献)标记页面Deep learning的版本133592为已巡查
• 2015年10月8日 (四) 09:59 Allen (讨论 | 贡献)标记页面Deep learning的版本133590为已巡查
• 2015年10月8日 (四) 09:30 Allen (讨论 | 贡献)标记页面Deep learning的版本133585为已巡查
• 2015年9月30日 (三) 01:21 Allen (讨论 | 贡献)标记页面Deep learning的版本133338为已巡查
• 2015年9月29日 (二) 13:33 Allen (讨论 | 贡献)标记页面Deep learning的版本133326为已巡查
• 2015年9月29日 (二) 12:43 Allen (讨论 | 贡献)标记页面Deep learning的版本133324为已巡查
• 2015年9月29日 (二) 12:43 Allen (讨论 | 贡献)标记页面Deep learning的版本133323为已巡查
• 2015年9月27日 (日) 06:05 Allen (讨论 | 贡献)标记页面Deep learning的版本133262为已巡查
• 2015年9月22日 (二) 08:13 Allen (讨论 | 贡献)标记页面Deep learning的版本133222为已巡查
• 2015年9月22日 (二) 04:28 Allen (讨论 | 贡献)标记页面Deep learning的版本133213为已巡查
• 2015年9月18日 (五) 13:58 Allen (讨论 | 贡献)标记页面Deep learning的版本133150为已巡查
• 2015年9月16日 (三) 03:16 Allen (讨论 | 贡献)标记页面Deep learning的版本133111为已巡查
• 2015年9月14日 (一) 04:39 Allen (讨论 | 贡献)标记页面Deep learning的版本133097为已巡查
• 2015年9月13日 (日) 16:06 Allen (讨论 | 贡献)标记页面Deep learning的版本133095为已巡查
• 2015年9月13日 (日) 10:02 Allen (讨论 | 贡献)标记页面Deep learning的版本133091为已巡查
• 2015年9月11日 (五) 15:05 Allen (讨论 | 贡献)标记页面Deep learning的版本133076为已巡查
• 2015年7月24日 (五) 09:35 Allen (讨论 | 贡献)标记页面Deep learning的版本132080为已巡查
• 2015年7月20日 (一) 12:49 Allen (讨论 | 贡献)标记页面Deep learning的版本132043为已巡查
• 2015年7月20日 (一) 12:46 Allen (讨论 | 贡献)标记页面Deep learning的版本132042为已巡查
• 2015年7月20日 (一) 12:46 Allen (讨论 | 贡献)标记页面Deep learning的版本132041为已巡查
• 2014年11月18日 (二) 14:24 Allen (讨论 | 贡献)标记页面Deep learning的版本128589为已巡查
• 2014年11月18日 (二) 02:23 Allen (讨论 | 贡献)标记页面Deep learning的版本128580为已巡查
• 2014年11月18日 (二) 01:49 Allen (讨论 | 贡献)标记页面Deep learning的版本128579为已巡查
• 2014年11月18日 (二) 01:38 Allen (讨论 | 贡献)标记页面Deep learning的版本128578为已巡查
• 2014年10月25日 (六) 15:18 Allen (讨论 | 贡献)标记页面Deep learning的版本128479为已巡查
• 2014年10月3日 (五) 15:10 Allen (讨论 | 贡献)标记页面Deep learning的版本128106为已巡查
• 2014年7月16日 (三) 05:54 Allen (讨论 | 贡献)标记页面Deep learning的版本127753为已巡查
• 2014年7月16日 (三) 05:54 Allen (讨论 | 贡献)标记页面Deep learning的版本127752为已巡查
• 2014年6月29日 (日) 02:40 Allen (讨论 | 贡献)标记页面Deep learning的版本127434为已巡查
• 2014年6月29日 (日) 02:40 Allen (讨论 | 贡献)标记页面Deep learning的版本127433为已巡查
• 2014年6月28日 (六) 16:03 Allen (讨论 | 贡献)标记页面Deep learning的版本127431为已巡查