Who killed Aunt Agatha? Event-Bのハンドブックを読み進めているのだが、アガサパズルというチュートリアルが2.6章にある。 Someone in Dreadsbury Mansion killed Aunt Agatha. Agatha, the butler, and Charles live in Dreadsbury Mansion and are the o…

数学記号をEvent-Bで入力するためのASCII表記一覧表。 記号論理における記号 記号 LaTex 英語 ASCII表記 意味 補足 \top False true 真 \bot True false 偽 \wedge Conjunction & 論理積または連言 (PかつQ) \vee Disjunction or 論理和または選言 (PまたはQ…