log10-to-bytelog.gawk

来自「这是一款很好用的工具包」· GAWK 代码 · 共 32 行

GAWK
32
字号
#!/usr/local/bin/gawk -f## log10-to-bytelog --#	convert log-base-10 scores to bytelog## $Header: /home/spot71/srilm/devel/utils/src/RCS/log10-to-bytelog,v 1.1 1997/04/22 20:20:41 stolcke Exp $#BEGIN {	logscale = 2.30258509299404568402 * 10000.5 / 1024.0;	scale = 1;	round = 0.5;}function rint(x) {	if (x < 0) {		return int(x - round);	} else {		return int(x + round);	}}{	for (i = 1; i <= NF; i ++) {	    if ($i ~ /^[-+.0-9][.0-9]*$/) {		    if (round) {			$i = scale * rint($i * logscale);		    } else {			$i = scale * $i * logscale;		    }	    }	}	print;}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?