こともなし

曇。
　
昼から激しい雷雨。
　
ソール・Ａ・クリプキ『ウィトゲンシュタインのパラドックス』を読み始める。Ruby による「プラス」と「クワス」の実装例。

#プラス（アディション）
68 + 57    #=>125
2 + 7      #=>9
15 + 8     #=>23


class Integer
  alias plus +
  def +(other)
    plus(other).digits[0]
  end
end

#クワス（クワディション）
68 + 57    #=>5
2 + 7      #=>9
15 + 8     #=>3

我々はどうして「プラス」と「クワス」を実装してしまえるのか。

ウィトゲンシュタインのパラドックス ――規則・私的言語・他人の心 (ちくま学芸文庫)

　
夜。
風呂で外の虫の声を聴いていた。少なくとも四種類は居そうである。
　
クリプキの続きを読む。
　
早寝。