バグの無いプログラムを作ることは可能ですか？ 停止性問題から「バグのないプログラムは存在しない」（あるいは「プログラムにバグの無いことは証明できない」）と良く言われますが、 Coqによる証明駆動開発 http://d.hatena.ne.jp/mzp/20110228/ruby ではプログラムを証明できるみたいですが、これは冒頭の１文が可能ということでしょうか？ あと、 「カリー･ハワード同型対応」 について教えて下さい。
先日リリースされたMac OS X 10.4向けセキュリティアップデート 「Security Update 2008-006」を適用後にシステム環境設定のネットワーク設定を 開くと「ネットワーク設定はほかのアプリケーションによって変更されました」と いうメッセージが表示されOKボタンを押しても、またメッセージが表示される 無限ループ状態になってしまう場合があります。 Apple Discussionsにその対応方法が掲載されていました。 まずメッセージを表示させます。次にOKボタンを押した直後にロックアイコン （左下にあるカギのマーク）を押します。 これでメッセージは表示されなくなるはずです。 これはセキュリティアップデートのバグですけど特に害はないようです。 追記 Appleから修正パッチがリリースされないかと待っていましたが 今のところリリースはありません。ロックアイコンを押せばメッセ
「Webデザイン受発注のセオリー」という本を献本していただきました。Webのビジュアルデザインを受注する側、発注する側がどういうコミュニケーションをとれば良いか、そこで何に注意すれば良いかがとても網羅的に（でも表面的にならずに）書かれていて、すばらしい1冊です。 ちなみにこの本で扱っている「Webデザイン」は広義の問題解決手法としてのデザインじゃなくて、あくまで視覚表現としてのビジュアルデザインです。あとプロセス管理の手法について書かれているので、デザインのTipsやツールの使い方的なことは一切出てきません。そういうのを期待して読むとガッカリします。（タイトルも「受発注のセオリー」ですからね。） 良いWebデザインは受発注のプロセスで決まる この本の特徴は「Webデザインはプロセスの善し悪しが結果を左右する」という視点で書かれていることで、この点には個人的に多いに共感します。ご存知の通り、
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カスタマイズやアフィリエイトまで読むだけで楽しめる情報を発信しています。
HTML、CSS、Javascript、デザイン、絵を描いたり。 このページの先頭へ戻る
絶対配置でこんな風にすると <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ということ
hamashunさんがTwitterで、 IE6を使って閲覧すると右上に『アナログ』って出るようにしようぜ。 って言ってたので、CSS HappyLifeでやってみた。 ボクが出来る2008年最後の大仕事でした。えぇ。 使いたい方は是非是非。 ちなみに、ボクが使った画像はコレです。自分のモニタで出るやつを参考にしました。 ご自由にお使いください。 IE6だけに表示させるにはどんなやり方でもいいっすけど、手っ取り早いのだったらハック使ってやるのがいいかと。 .analog { display: none; } * html .analog { display: block; position: absolute; top: 10px; right: 30px; } こんな感じで。 であ。 16日のお昼頃追記 ウチのアクセス解析を久々に確認してみたら、全体の50％くらいがFirefoxで40％
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 ] [ 役
MdNでお馴染みの著者やトップクリエイターなどが登壇！最新のノウハウ＆実践的なテクニックを学ぶ「MdN ✕ Bau-yaの教室」 2021.8.23 MON
■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でフォントサイズを変更すると 隙間
Dave Woodsのエントリー「IE6 -CSSのバグとその解決方法」から、IE6でよく遭遇する３つのCSSのバグとその解決方法の意訳です。 IE6 - CSS Bugs and Fixes Explained IE6で、マージンが２倍になってしまうバグ IE6で、hasLayoutプロパティによって起こるバグ IE6で、小さい高さを指定した場合に起こるバグ IE6で、マージンが２倍になってしまうバグ IE6で、フロートした要素のマージンが２倍になってしまうバグと解決方法の紹介です。 下記のコードで、IE6はマージンが20pxになります。 sample:バグ #navigation{ float: left; width: 200px; margin-left: 10px; } #content{ float: right; width: 500px; margin-right: 10p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Under the MOON: 【CSS】神の一手、悪魔の3px