2007-11-10から1日間の記事一覧
1.2 Examples of Syntax and Semantics p.4 のメモ メモ syntaxの定義として、expressionのset E それに対して、structure =(A,...) と、meaning function []:E -> A を用意してsemanticsとする。structureの最初の要素Aは、structure のunderlying set. 数…
1.2 Examples of Syntax and Semantics p.4 のメモ メモ syntaxの定義として、expressionのset E それに対して、structure =(A,...) と、meaning function []:E -> A を用意してsemanticsとする。structureの最初の要素Aは、structure のunderlying set. 数…