TLA+の基本的な文法
基本的な文法
TLA+は普通のプログラミング言語とは違って、どちらかというと数学に近い。そのため、Operandの意味が異なることが多い。さらにTLA+はすべてを集合と論理演算で表現する。これも会社のブログで書いたのでそのまま転記しとく。
TLA+は普通のプログラミング言語とは違って、どちらかというと数学に近い。そのため、Operandの意味が異なることが多い。さらにTLA+はすべてを集合と論理演算で表現する。これも会社のブログで書いたのでそのまま転記しとく。