2008-10-27から1日間の記事一覧
ここにとても明快な論拠がある。"self"を明示的に引数として記述することによって,以下の2つの関数呼び出しが論理的に同じであることを補強できる,というのである。つまり,メソッドfooはクラスCのインスタンスであることを論理的に示せるわけだ。foo.meth…
ここにとても明快な論拠がある。"self"を明示的に引数として記述することによって,以下の2つの関数呼び出しが論理的に同じであることを補強できる,というのである。つまり,メソッドfooはクラスCのインスタンスであることを論理的に示せるわけだ。foo.meth…