非技术性解说在大多数的编程语言中，所有值都有一个类型，它描述特定值的数据种类。在一些语言中，表达式的类型只在运行时才知道；这些语言被称作动态类型语言。而另一些语言中，表达式的类型在编译时就知道，这些语言叫做静态类型语言。在静态类型语言中，函数的输入和输出与局部变量的类型一般必须用类型标注明确的提供。例如，在C语言中:intaddone(intx){intresult;/*声明整数result(C语言)*/result=x+1;returnresult;}这个函数定义开始处，intaddone(intx)声明了addone是函数，接受一个整数类型的参数，并返回一个整数。intresult;声明了局部变量result是个整数。在支持类型推论的建议的语言中，代码可写为如下:这看起来非常像在动态类型语言中写出的代码，但是提供了一些额外的约束（见下）使得能够在编译时推断出所有变量的类型。在上面的例子...

参考文献延伸阅读CasellaG.BergerRL(2001).StatisticalInference.DuxburyPress.ISBN0534243126Cox,D.R.(2006).PrinciplesofStatisticalInference,CUP.ISBN0-521-68567-2Lenhard,Johannes(2006)."ModelsandStatisticalInference:TheControversybetweenFisherandNeyman—Pearson,"BritishJournalforthePhilosophyofScience,Vol.57Issue1,pp.69-91.Sudderth,WilliamD.(1994)."CoherentInferenceandPredictioninStatistics,"inPrawitz,Skyrms,an...

班彪，班固和班超，是我国历史上家喻户晓的名人，因为一门父子三人都在历史上有所作为，长期以来传为佳话。现行高中历史教材中主要涉及到三班中的班固和班超。班固是东汉史学家是中历史上第一部断代史《汉书》的主要作者，班超是东汉著名的军事家和外交家。班固和班超的兄弟关系一直以来众说纷纭，然则空说无凭，盲目下定义也属失察失责，以下推论乞共商唷翻开《辞海》，找到班固、班超的介绍如下：班固（公元32―92）字孟坚。扶风安陵（今陕西咸阳东北）人。东汉史学家。班超(公元32―102)，字仲升，扶风安陵（今陕西咸阳东北）人，东汉著名的军事家和外交家。由此疑问：班固班超是同年出生的兄弟。那么到底班固、班超他们究竟是一种什么样的兄弟关系呢？在正式分析之前，我们首先必须要知道，以上所列材料应该没有问题。班固、班超的兄弟关系是在《汉书》中记载的，班固是《汉书》的主要作者；关于他们在世时间的介绍，包括《辞海》在内的几本权威...

关于恩施支族源流的推论一、据《重订崔氏宗谱派序》，有“买明并万历二十四（1596）年以来手种之语，乃知吾族入施实自万历前始”之叙。如果时间是“万历前”，则应用“泰昌某某年”而不是“万历前”，那么，“前”应解为“初”即“万历前始”应为万历初期。然万历皇帝是1573年即位，在位48年，则万历初期应为1574――1590年之间，据此可判断，恩施崔氏始祖先天公应该是1580年左右落籍崔家坝的。距今约440年，目前繁衍二十世，从时间上推断，应该是相符的。二、据族谱p29页“迁徙分布”有：“崔氏湖北恩施支族是由山东省泗水县迁徙来的。――从山东省泗水县勒马桥分支出发向南方迁徙，跋山涉水，战胜艰难险阻，跨国几省，穿过战争地区，到达湖北省荆州府，在荆州府崔家渊停留了很久，再从荆州府溯长江，至四川省夔州府（今重庆市奉节县），祖人崔道云在四川游历九载，选择地方，并未落户，一行十多人，从奉节县南迁，经奉节县兴隆乡...

《蜀书·李严传》裴松之注：“亮公文上尚书曰：‘平为大臣，受恩过量，不思忠报：横造无端，危耻不办，迷罔上下；论狱弃科，导人为奸，情狭志狂，若无天地。自度奸露，嫌心遂生，闻军临至，西向托疾还沮、漳，军临至沮，复还江阳，平参军狐忠（哈哈，就是巴西马忠我）勤谏乃止。今篡贼未灭，社稷多难，国事惟和，可以克捷，不可包含，以危大业。辄与行中军师车骑将军都乡侯臣刘琰，使持节前军师征西大将军领凉州刺史南郑侯臣魏延、前将军都亭侯臣袁綝、左将军领荆州刺史高阳乡侯臣吴壹、督前部右将军玄乡侯臣高翔、督后部后将军安乐亭侯臣吴班、领长史绥军将军臣杨仪、督左部行中监军扬武将军臣邓芝、行前监军征南将军臣刘巴、行中护军偏将军臣费祎、行前护军偏将军汉成亭侯臣许允、行左护军笃信中郎将臣丁咸、行右护军偏将军臣刘敏、行护军征南将军当阳亭侯臣姜维、行中典军讨虏将军臣上官雝、行中参军昭武中郎将臣胡济、行参军建义将军臣阎晏、行参军偏将军臣...