Jinga's Blog

Rome ne s'est pas faite en un jour.

论文笔记|Learning to Prove Theorems by Learning to Generate Theorems

通过学习生成定理来学习证明定理

Learning to Prove Theorems by Learning to Generate Theorems 1.论文信息 2.论文摘要与简介 3.相关工作 4.本文工作 5.实验结果 6.结论 1.论文信息作者: Mingzhe Wang, Jia Deng 链接: https://arxiv.org/abs/2002.07019 Neura...

Posted by Jinga on December 17, 2020

利器|全文检索小工具

ripgrep and pdfgrep

全文检索小工具 1.问题背景 2.ripgrep安装和使用 3.pdfgrep安装和使用 1.问题背景在工作中经常会遇到这样的场景: 我记得我有在哪个文件中看到过某个概念/关键词，但我怎么才能从文件堆中检索到那个文件呢? 就像在微信读书中搜索某个关键词，可以找到包含这个关键词的相关书籍并准确定位到上下文中。为了解决这样的问题提高工作效率，我推荐两个小工具：文本搜索...

Posted by Jinga on December 9, 2020

NLP|对商品评论进行情感分析

Sentiment Analysis

基于fastText对商品评论进行情感分析 1.问题背景 2.fastText简介 3.fastText安装 4.准备数据 5.数据预处理 6.训练模型 7.测试模型 8.优化模型 1.问题背景在电商平台中,很多用户都会基于自己的购物体验对商品进行评分和评论.但有些用户只给出了评论而没有评分,没有了评分的量化标准,这给商家进行数据运营与选品决策带来...

Posted by Jinga on November 4, 2019

法语笔记|谚语和俗语梳理

Proverbes et dictons

法语谚语和俗语之前在备战Tage-Mage（相当于法语版GMAT)的时候，复（liu）习（lan）了一些法语谚语和俗语，还制作了Anki卡片帮助记忆，今天把笔记整理出来，作为回顾和玩味，重温一下la langue de Molière是如何优雅和含蓄的。 1.A beau mentir qui vient de loin. Celui qui vient d’une contée lo...

Posted by Jinga on September 9, 2018

年终读书总结|2017年看过的杂书

书犹药，可以疗伤治愈

2017年看过的杂书 - 皮囊通过阅读与写作，看见自己，看见他人，看见灵魂 - 左贺的超级阿嬷真正的体贴是让人觉察不到的人生就是总和力时钟反着走，人们会觉得钟坏了而扔掉。人也不要老回顾过去，要一直向前走。人到死都要怀抱梦想！没实现也没关系，毕竟只是梦想嘛。 - 追随直觉之路英雄之旅的基本故事会牵涉4个阶段: 放弃你当前的处境，进入冒险的领域，获得某种以象征...

Posted by Jinga on December 31, 2017

年终读书总结|2016年看过的杂书

一书一缘

2016年看过的杂书 - 认识自己，接纳自己-马丁·塞利格曼学会为自己的懒惰懦弱负责，而不是把责任推到父母、童年经历身上，我是可以改变我能改变的，尽量最小化不能改变的事情对生活工作的影响 - 布鲁克林有颗树-Betty Smith coming of age novels 生活并不公平，可是总能应付过去-Peggy Orenstein 没有想象力很难抵抗生活的艰难不吃嗟来之食做人...

Posted by Jinga on December 30, 2016