バグの無いプログラムを作ることは可能ですか？ 停止性問題から「バグのないプログラムは存在しない」（あるいは「プログラムにバグの無いことは証明できない」）と良く言われますが、 Coqによる証明駆動開発 http://d.hatena.ne.jp/mzp/20110228/ruby ではプログラムを証明できるみたいですが、これは冒頭の１文が可能ということでしょうか？ あと、 「カリー･ハワード同型対応」 について教えて下さい。

先日リリースされたMac OS X 10.4向けセキュリティアップデート 「Security Update 2008-006」を適用後にシステム環境設定のネットワーク設定を 開くと「ネットワーク設定はほかのアプリケーションによって変更されました」と いうメッセージが表示されOKボタンを押しても、またメッセージが表示される 無限ループ状態になってしまう場合があります。 Apple Discussionsにその対応方法が掲載されていました。 まずメッセージを表示させます。次にOKボタンを押した直後にロックアイコン （左下にあるカギのマーク）を押します。 これでメッセージは表示されなくなるはずです。 これはセキュリティアップデートのバグですけど特に害はないようです。 追記 Appleから修正パッチがリリースされないかと待っていましたが 今のところリリースはありません。ロックアイコンを押せばメッセ

ie6fixer - onderhond.com サイトのIE6対応を補助してくれる「ie6fixer」。 サイトのCSSをペーストして、各種オプション指定でサブミットすると追加CSSが吐き出されます。 floatな要素にdisplay:inline を追加したり、min-heightをheightに変換といったCSSが出力されます。 CSSが出力。これを追加したからといって自動なので完璧ではないですが、補助的に使うのは便利そうです。 ＩＥ６のシェアは下がったとはいえ２月時点で約２０％というシェアを考えるとまだまだ対応しておきたいですね。

SitePoint: New Articles, Fresh Thinking for Web Developers and Designers 既報のとおり、IE6のシェアは純減を続けている。2009年2月のNet Applications調査によればIE6のシェアはFirefox 3に抜かれて3位に落ちた。今後も下落の傾向は続くとみる向きが多い。しかし、依然として19%を越えるシェアはその次のシェアを獲得している4.5%弱のSafari 3.2を大きく上回る。IE8のリリースが控えている状況ではあるが、WebデベロッパやWebデザイナは依然としてIE6対応を継続しなければならない。 IE6固有の問題を回避する方法はいくつもあるが、それらテクニックをまとめたドキュメントがSitePoint: 10 Fixes That Solve IE6 Problemsとして公開されたので注目しておき

デザインを体感して学べるデザインブログです。Illustrator（イラレ）やPhotoshop（フォトショ）の使い方やWordPressやSWELLのCSSやJavaScriptカスタマイズやアフィリエイトまで読むだけで楽しめる情報を発信しています。

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

絶対配置でこんな風にすると <div class="Container"> <div class="InsideBox">x</div> </div> .Container{ width:200px; height:101px; background:blue; position:relative; } .InsideBox{ width:30px; height:30px; background:yellow; position:absolute; left:0; bottom:0; } 絶対配置で下付けボックスサンプル IE6ではこんな感じになってしまいます。 何故か下に1px空いてしまうのです。どーやらIE6は、絶対配置をしてbottomを指定すると、親ボックスの高さが奇数の時、1pxあいてしまうという現象があるっぽいです。この場合は、div.Containerが101pxということ

CSS Trickのエントリーから、IE6でよく遭遇する6つのバグとその解決方法の紹介です。 IE CSS Bugs That’ll Get You Every Time ボックスモデルのバグ マージンが二倍になってしまうバグ min-width, min-heihgtと同等の指定 Stepdownバグ hover擬似クラスをa要素以外にも対応 透過PNGを透過表示に対応 ボックスモデルのバグ <textarea name="code" class="css" cols="60" rows="5"> div#box{ width:100px; border:2px solid black; padding:10px; } </textarea>

こんばんは、sashaです。 次のような形のスタイルを実装しようとしていて、 実例 posted by (C)フォト蔵 IE5.5や6でこんな状況に出会ったことはありませんか？ （赤と青のボーダーは、elementの境目がわかりやすいように入れてあります） 実例バグ posted by (C)フォト蔵 どこがおかしいかお分かりになりますでしょうか。2項目目の赤と青で囲まれたテキストが、左に飛び出ていますね。その下にあるテキストまで、左にずれてます。 これは、多くのデザイナーの悩みの種である、「IE」の代表的なバグのひとつです。 このバグを再現させるのに必要なことはたったこれだけ。 「divの中にdiv」など、ブロック要素を2重にする 外側のブロック要素に、border-leftとpadding-bottomを定義する 以上。これだけでIEさんの地雷を踏めます。 以下のH

[ tips68 ] [ ie ] [ トラブル ] [ dev ] [ Hack&Bug ] [ ★ ] [ coding ] [ benri ] [ ブラウザー ] [ webデザイン ] [ tips ] [ バグ ] [ 資料 ] [ development ] [ Howto ] [ @webCreation ] [ cssテクニック ] [ ブラウザ依存 ] [ ブラウザ ] [ dh ] [ デザイン ] [ b-css ] [ 便利情報 ] [ IE6でよ ] [ CSSハック ] [ コリス ] [ browser-compliant ] [ 傾向と対策 ] [ web標準 ] [ （X）HTML,CSS ] [ Summary ] [ ブラウザ77 ] [ css-bug ] [ debug ] [ 役

The requested URL was rejected. Please consult with your administrator. Your support ID is: 4513353643459849486 [Go Back]

■floatでレイアウトしたときのボックスの間に隙間が出来る →隙間が出来るボックス要素全てに float 要素を追加 ■ <div>内に配置した<img>が<div>よりサイズが小さいと隙間が出来る → 下記を追加 img { display: block; } ■ Win IEだけずれる時があり、ずれる大きさがフォントサイズによって変わる →ずれる<div>等に vertical-align を設定する（top 又は bottom） ■ <td>内のフォントが正しく指定したとおりでない（Win IE Mac IE） →<td>の中に<span>をいれて対応する ■MacIEで<div>を floatさせると表示が崩れる。 → フロートさせるdiv の width height 属性を指定する ■<ul><li>で画像リンクを作成したときに WinIEでフォントサイズを変更すると 隙間