３章：プログラムを構成する要素（続き、53ページから） 変数名の先頭の文字は大文字またはアンダースコアで記述する（おおもじー） 束縛変数bound variableとは値が設定された変数（unboundとは値が設定されていないこと） すでに束縛されている変数の値を…

３章：プログラムを構成する要素 データ一つひとつをタームと呼ぶ（term、項だな） タームの種類としてアトム：名前つき定数（？）、参照（？？）、タプル（！） 関数をファーストクラスオブジェクトとして扱える（なんか凄い） 整数の精度は利用可能なメモ…