Posts

自然与机器语言间的数理逻辑(以JAVA为例)

Image
Day: 03/04/2020                   作者: 张潇  Robert Zhang        E-mail: robert.zhangxiao@gmail.com
***未经作者授权,禁止转载***
序:
本文章主要关注的是第5步。
Solving Programming: A Seven Step Approach 1)Work example by hand 2) Write down what you did 3) find patterns 4) check by hand 5) translate code 6) run test cases 7) debug failed test cases

第一章: 赋值

第二章:基本运算

首先我们要清楚一点:什么是命题(statement)?
命题要么为真,要么为假,但是不可能存在中立的情况。这个和很多的人文社科学科不一样,它们对待一个命题或者事件可能存在左翼,右翼和中间派不同的看法。但是在计算机语句中,通常用布尔值来对应真和假,布尔值也只有两个取值:true 和 false。如果更加简单的话可以表示为—真:1, 假:0 / -1。

JAVA语言中:

  =                         数学符号:=           自然语言:  等于
 >=                        数学符号:≥           自然语言:大于等于<=                          数学符号:≤          自然语言: 小于或者等于!=                       数学符号:≠           自然语言: 不等于 (因为!有不等于的意思,并且不等于符号又不是很容易打出,所以借用此号)==                          判断命题是否等于
& / &&(and)  数学语言:∪          自然语言:与        |  / ||(or)         数学语言:   ∩          自然语言:或    ~                         数学语言:¬自然语言:非 (命题由真➡️假或者假➡️真)
第三章   条件语句(conditional stat…

JAVA语言学习

JAVA8,6,7 企业级
JAVA8是开发主流 JAVA的技术体系有四个平台: JAVA SE, JAVE EE, JAVA ME和JAVA CARD,后面的三个版本都是以JAVE SE为核心的。 JAVA没有3和4。JAVA 1.5就是JAVA5。所以JAVA 8 就是JAVA 1.8。 Win86就是32位, 64就是64位。
JDK中的3个环境变量: (1) JAVA_HOME : 安装JAVA的JDK路径。 (2)PATH: 告诉操作系统可执行的搜索路径。 (3)ClassPath: 告诉Java解释器在哪些目录下可找到所需执行的文件。
public class HelloWorld { // main是程序的起点 public static void main(String args[]) {   //输出''Hello World''   System.out.printIn(''Hello World")   } }

“一次编写,到处运行”
java虚拟机(JVM)

JAVA源代码编译出的二进制文件叫做 .class(类)文件。如果用16进制的编译器打开.class文件就是"CAFE BABE"。

class文件前4个字节: 魔数

Java 开发环境(JDK):java development kit
当java程序编译完之后,如果想运行,还需要java运行环境。(java runtime environment JRE) JRE是面向程序的使用者的,如果想进一步开发java程序,那就需要安装JDK,它是面向开发者的。JDK包含JDE。

(1)通过编译器编写源代码,任何编译器如记事本等等。
(2)在命令行下,通过javac命令将java源程序编译成字节码(byte code, java虚拟机执行的一种二进制格式文件), 通过java命令来解释编译好的java类文件。


{}: 类的区域
string[] args = string args[]
public和static连一起一起表面: main是公有的静态方法。

在一个java文件中,最多只能有一个public类别,否则.java的文件就无法命名。

main()之前必须加上public static void这3个标识符。
JAVA区分大小写。
单行注释: //
多行注释: 开头:/…

Logo设计

随笔

15.075 statistical thinking/modeling
IDS.012 Implementation  R language
Laudary list of methods(Eg. Ap status)
Computational Statistics P.kempthore
motto: Statistics is about replacing expectations with averages. That's what all of statistics is about.

Golden thing: E ≈1/n∑

229 Stephen Boyd

论文查找:
http://readbook.us/?book=0134238249
academia
https://sci-hub.tw/
http://www.4243.net/
CS229  ML
SciWrite: Writing in the Sciences by Kristin Sainani
http://people.csail.mit.edu/regina/
cs103
mlyearning.org
找好看的图:https://wallpaperplay.com/
OR code 生成:https://app.qr-code-generator.com/create/new/?accountActivated=1


NEW25
CS 228
MIT 6.042J
MIT 6.006

https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-006-introduction-to-algorithms-fall-2011/lecture-notes/

CS221
cs228
cs131
cs224n
cs231a
cs231n
CS229in-depthlinearalgebrareview
AndavideodiscussionoflinearalgebrafromEE263ishere(lectures3and4):
https://see.stanford.edu/Course/EE263

art generation machine learning
L, GAYS ET…

SPEECH AND LANGUAGE PROCESSING ---Daniel Jurafsky, James H. Martin (Reading Materials)

Chapter 2: Regular Expressions, Text Normalization, Edit distance

Chartbox :

ELIZA : NLP system ---carry on a limited conversation with a user by imitating the responses of a Rogerian psychotherapist. "I need X" translate into like" What would it mean to you if you got X ?" Cuz ELIZA doesn't need to understand the whole parts, this makes people believe it really understand them and their problems.

the most important tool for describing text patterns : Regular Expression.

Tasks collectively : text normalization   Normalizing text means converting it to a more convenient, standard form.

Ex. ( 1 ) tokenization
     ( 2 ) lemmatization : use lemmatizer determine the two words have the same root. //sang, sung. lemmatization is essential for Arabic.
     (3) Stemming : a simpler version of lemmatization mainly just strip suffixs from the end of word.
     (4) Sentence segmentation
     (5)edit distances : how similar // number of edits (insertions, deletions, substitu…

CALCULUS I (Notes)

Image

Introduction to Advanced Mathmatics

Image