定理 桁の10進位取り記数法で表示された数 (, ) に関して次が成立する: ． 証明 仮定より、任意の整数が存在し、次が成立する． ． これより ． であるから， となるので，数は3の倍数となる． 補足 全く同じ方法で も証明できる．

前回の日記で書いた改良はまだやってないです・・・今日は、できるかどうか分からないけどやってみたらできちゃったので、レキシカルな Measure.with の紹介をします。現行の Measure.form は動的に単位メソッドの振舞いが置き換わります。たとえば、トップ…

やりたい事は色々あるけど、まずは単位系をオブジェクト化しよう。改良後は次のようなコードが動くようにしたい。 require 'measure' measure = Measure::Context.new # 複数の単位を一度に定義 measure.def_unit :length => [:km, :m, :cm, :mm, :um, :nm] …

11月3日に Boost 1.37.0 がリリースされていました。今回新しく導入された Boost.Proto ライブラリは、Boost.Lambda のような式テンプレートを駆使したライブラリを作るためのフレームワークであるようです。とてもキモカワいいですね。VC++2008 でフルビル…