2009年06月18日 「税金は値切れる」　国家というシステムのバグを突くには?　【書評】貧乏はお金持ちby橘玲 ここ3年ほど、歯のインプラントの手術やらなんやらで、医療費が結構かかったこともあって、年度末に税務署で確定申告をしている。 30過ぎるまでは、ずっと確定申告をしたことがなかった。だから、初めて還付金が振り込まれたとき 「このオカネは、どこから沸いてきたのだろう？」 と不思議な気持ちになったものだ。本来的にいえば、自分が「払い過ぎた」税金を取り戻したのに過ぎないのだが・・・。 ついつい、サラリーマンをやっていると、納税者意識が薄くなるのだが、「税金とは交渉次第で値切れるものなのだ」という、ある意味、信じられない現実を突きつけられる本の一節があったので、紹介したい。 この本の著者の橘玲さんは、国家や制度のもたらすシステムの「バグ」を突いてHackするような視点を、鮮やかに描き出すこ

・OSの設定 アプリケーションを実行するコンピュータにユーザアカウントを追加します。開発環境を動作させているコンピュータにログインする時に使用している同じアカウント名とパスワードで管理者ユーザを作成します。 コントロールパネルの管理ツールにあるローカルセキュリティポリシーを起動して、ローカルポリシーのセキュリティオプションにある「ローカルアカウントの共有とセキュリティモデル」の設定を「クラシック」に変更します。 ファイアウォールが有効になっている場合にはリモートデバッグを実行できません。必ず無効にしてください。 ・Remote Debuggerのインストール アプリケーションを実行するコンピュータに対してVisual Studio 2005インストールCDのvs\Remote Debugger\x86\rdbgsetup.exeを実行してリモートデバッガをインストールしてください

従来、日本語の Lotus 製品に関する技術情報 (Technote) は、Lotus のサポート技術情報サイト（旧サイト）より公開されていましたが、このたび全 IBM ソフトウェア製品の技術情報が一元管理されているサイト（新サイト）に移行することになりました。 新サイト 新サイトでは全 IBM ソフトウェア製品に関する、英語・日本語の技術情報が検索・参照できますが、Lotus 製品に関する日本語の技術情報は、こちらからご参照ください。 新サイトでの検索方法 旧サイトの URL にアクセスした場合、この文書にリダイレクトされるようになるため、お手数ですがこちらの「サポート技術情報検索」にて検索キーワードを指定し、再度検索を実行してください。 旧サイトで公開時の文書番号がわかる場合は、文書番号をキーワードに検索します。文書番号が不明な場合は、タイトルやキーワードを指定して検索してください。

IEEE 754-2008 governs binary floating-point arithmetic. It specifies number formats, basic operations, conversions, and exceptional conditions. The 2008 edition supersedes both the 754-1985 standard and the related IEEE 854-1987 which generalized 754-1985 to cover decimal arithmetic as well as binary. Note that materials provided on this page and sub-pages are not approved as IEEE standards. The c

HP 社に報告されている浮動小数点の「バグ」の中で最も一般的なものは、バグなどでは全くなく、むしろプログラミング誤りとして分類されるものです。こうした種類の誤りは通常、次のような無効な仮定から起こります。 コンピュータ言語の算術式が、正確に表現可能な値を算出し、浮動小数点数値の全桁が常に有効であると仮定することは誤りです。アプリケーションが、結果を 25 桁の 10 進数で印刷することは、実際に印刷される数値の有効数字が 25 桁であるということを意味しません。多くの場合、最右端の数は有効ではありません。数値は、演算によって精度を失っている場合もあり、精度損失を起こす可能性のある演算の種類に注意を払わなければなりません。システムの有効数字の制限は不変的です。pi に対して 3.14159265358979323846 を入力することは、3.1415926535897932 (倍精度) を入

Project ITADACI 算術符号化法における復号プログラムの動作試験及び 適応的アルゴリズムの性能評価実験と動作特性の測定 Project ITADACI （長野大学産業社会学部産業情報学科） 概要： 著名な圧縮アルゴリズムである算術符号化法における静的方法と適応的方法の概念及び動作原理を紹介する。また、これまでの研究を引き継ぎ、復号プログラムの動作試験を行った。そして、双方の圧縮効果の差違を確認する為に行った比較実験及び適応的方法における出現確率の遷移を確認する為に行った動作実験について、それらの結果を報告し考察する。 INDEX 0.　始めに 1.　情報の圧縮 1.1　圧縮手段の概要 1.1.1　可逆圧縮と非可逆圧縮 1.1.2　符号化の手順 1.1.2.1　モデル化 1.1.2.2　符号化 1.1.3　静的方法と動的方法 1.1.4　適応的方法（adapt

仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ

【参考】http://www.paulsadowski.com/WSH/cdo.htm BlatJなどを使えればよいのだが、「フリーソフト禁止」などという規則のため、 別の方法を探す羽目に...。 Const cdoAnonymous = 0 'Do not authenticate Const cdoBasic = 1 'basic (clear-text) authentication Const cdoNTLM = 2 'NTLM Set objMessage = CreateObject("CDO.Message") objMessage.Subject = "Example CDO Message" objMessage.Sender = "your.mail.address" objMessage.From = "your.mail.address" objMessage.To

CDO(Microsoft Collaboration Data Objects)を利用したメールの送信方法についてです。 CDOの参照設定を行ったほうが，より使い易くなりますが，あえて環境に依存しない方法で 作成しました。この方法だとVB以外にも，Excel（VBA）やWSH（VBScript）でも使用できます。 '============================================================================== ' ' メール送信関連 ' '============================================================================== '---定数宣言 '---CDO関連の定数 Private Const cdoSendUsingMethod =

main help file *debug.txt*     For Vim バージョン 7.2.  Last change: 2006 May 01 VIM REFERENCE MANUAL    by Bram Moolenaar Vim のデバッグ                                          *debug-vim* Vim のデバッグ方法についての説明です。 Vim スクリプトや関数などのデバッグについては、|debug-scripts| を参照してくださ い。 1. gcc と gdb を使ってクラッシュの場所を特定する        |debug-gcc| 2. Windows でのバグレポート                             |debug-win32| ========================