バグのないプログラム - amori's blog
http://anond.hatelabo.jp/20170214233309 『二桁の整数の和を返すプログラムなら簡単に完璧に作れる。』 「・・それほど簡単じゃないなあ。」 「どこが難しいのよ？」 「まず『完璧』について合意された定義がないし、仕様も曖昧だし」 「完璧、とは完成したプログラムが仕様を完全に満たす、でいいでしょ。で、仕様のどこが曖昧？」 「んー、プログラムってのもまだ曖昧で、本当は要求の前提から始めたいとこだけど、まあ、わかりやすいところから確認していきましょうか、 まず、記述されていることの確認ね。 『二桁の整数の和』の『二桁』は『整数』と『和』のどっちにかかるの？」 「整数に決まってるじゃん。てか、結局同じでしょ。」 「いや、もし、『二桁の(整数の和)』なら演算結果が二桁に限定され、定義域と値域に条件がつく」 「はいはい、じゃあ『二桁の整数を入力として、入力の和を返すプ
小ネタWiiリモコンをPCで使うサンプルソフトを作ってみる
** 小ネタ 2006-019 WiiリモコンをPCで使うサンプルソフトを作ってみる 1. 加速度センサを使ってリモコンの傾斜を表示する 先日、面白そうな記事を見つけた。WiiリモコンをPCに接続してマウスとして動作させるという記事だが、試してみたら、本当に接続できた。 いろいろとWiiリモコンを使ったソフトを自作すると楽しそうなので、自分でも接続するソフトを試しに作ってみた。 (2006.12.7) [ Wii Remote Test1 (download) ] [ ソースコード source code (download) ] 2. Wii-Saber Mac Saberというソフトを真似して、似たようなソフトを作ってみた。あまり出来が良くないかも。(2006.12.8) [ Wii Saber (download) ] (本家Mac版もWii対応のものが出てたみたいだ。) 3. リモ
万能数値表現法 ＵＲＲ
━─────────────────────────────────── アセンブラ講座（番外編） 《万能数値表現法 ＵＲＲ》 鎌田 誠 ──────────────────────────────────── IEEE 754 で規格化されている浮動小数点数の表現方法は符号と指数部と仮数 部に整然と分けられていてわかりやすく、実装も容易なのですが、指数部と仮数 部を区切る位置を固定してしまったために、大きな数を扱いたい技術者には指数 部の範囲が狭すぎ、精度を要求する技術者には仮数部のビット数が少なすぎると いう問題点があります。 しかし、かつて日本人によって IEEE 754 よりも算術的に優れている浮動小数 点数の表現方法が考案されていたことを知る人はほとんどいないでしょう。その 数値表現法は考案された当時の技術では実装が困難だったために規格化されなか ったようですが、非常に興味深い数
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
