川が、立体交差してる・・？一瞬目を疑うドイツの光景（画像8枚） : ひろぶろ
2011年04月02日12:15 画像ネタ建築 川が、立体交差してる・・？一瞬目を疑うドイツの光景（画像8枚） まるで騙し絵のような、ドイツのエルベ川にかかるマクデブルク水路橋（Magdeburg Water Bridge）の写真です。2003年に竣工し、航行可能な水路橋としては世界最長。Google Mapの航空写真はこちらです。 Tweet 動画や画像が消えていて見られない際は、こちらの記事にご連絡頂ければ出来る限り対応致します。 1． 2． 3． 4． 5． 6． Magdeburg Water Bridge is pretty mind-blowing. : pics、Magdeburg Water Bridge Germany - Amazing Water Bridge -|- ~Spicx~より。 〓トップページへ /人気記事400 /「画像ネタ」の記事をも
すくいぬ カップラーメンの美味しい食べ方を極めたからちょっと来い！！！
2024 01 ≪ 1234567891011121314151617181920212223242526272829≫ 2024 03 1 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2011/04/06(水) 23:13:48.11 ID:CsZ9j45e0 ガチです。 絵と同時に説明するからちょっと見ていけ！！ 1 極力蓋を開けないように、かやく・スープ・スパイス等を取り出す。 2 かやくを入れ、熱湯を蓋ギリギリまで入れる。 3 記載の待ち時間より1分マイナスまで待つ。 その間に蓋の片側に箸で5，6個穴あけておく。 4 焼きそばの要領で湯切りをする。 ここで大事なポイント！お湯をすべて切らずに底から5mm程度残す！ 5 蓋を開けスープ（液体での粉末でも）を入れよくかき混ぜる。 大事なポイント2！スープ入れる量は8割程度で良い。 6 生卵の卵黄を真ん中に落とし、ス
- このブログは非公開に設定されています。
ブログ このブログは非公開に設定されています。 (Access forbidden) 他のブログを探す ブログランキング（共通のジャンル） 1 裏ピク 2 放送事故★お宝エロ画像村まとめ 3 エロ画像まとめ えっちなお姉さん。 4 マブい女画像集 女優・モデル・アイドル 5 お～い！お宝 ヘルプ インフォメーション リクエスト 利用規約 障害情報 FC2ブログについて FC２の豊富な機能 スマホからもブログ投稿 有料プラン アルバム機能 おすすめブログ テンプレート一覧 マガブロ マガブロとは？ マガブロランキング マガブロの書き方 マガブロアフィリエイト サポート ヘルプ インフォメーション リクエスト 利用規約 障害情報 アプリでもブログ投稿 FC2トップ お問い合わせ 会社概要 プライバシーポリシー 著作権ガイドライン 広告掲載 Copyright(c)1999 FC2, Inc.
英語圏の総合科学誌「ネイチャー」の福島原発事故Q&Aの日本語訳（Part 1）
英語圏の総合科学誌「ネイチャー」の福島原発事故Q&Aの日本語訳（Part 1） 今日、米国東海岸時間で11時頃から、英米で主に編集されてる（出版は英国）総合科学誌の「ネイチャー」が、オンラインで福島原発事故に関するQ&Aを行いました。「ネイチャー」誌は、事故発生当時から、ブログやオンラインの紙面で、事故そのものや、それに関する現地測定のデータ、さまざまな国のさまざまな機関によるモデル試算の結果、日本や国際の関連機関のプレスリリースなどを、地道に報道してきました。それらは、こちらにまとめられています。⇒ http://www.nature.com/news/specials/japanquake/index.html 「ネイチャー」誌は、事故当初から、「総合科学誌」としての立場から、客観的に、刻々とレポートされてくる数値と過去の例（チェルノブイリなど）に基づく報道や社説を出してきています。記
)
Sysinternals Suite
はじめに Sysinternals のトラブルシューティング ユーティリティをツール スイートとして 1 つにまとめました。このファイルには、トラブルシューティング ツールとヘルプファイルが含まれていますが、BSOD スクリーン セーバーや NotMyFault のようなトラブルシューティングではないツールは含まれておりません。 この Suite は、以下の厳選された Sysinternals ユーティリティをまとめたものです。
PythonのUnicodeEncodeErrorを知る - HDEラボ
Pythonにはじめて触って、いつのまにか1年が過ぎたのですが、一番はまったのは、やっぱりunicodeの扱いだったと思います。 特に、 UnicodeEncodeError: 'ascii' codec can't encode characters in position 0-12: ordinal not in range(128) のようなエラーにはさんざん悩まされました。ここがたとえばrubyなど他の言語と比べてわかりにくいために、Pythonが取っつきにくい言語になっているのではないか、と個人的には思います。 そこで、このエラーに関係するはまりどころとTipsをいくつか列挙してみました。これからPythonに触れられる方の参考になればと思います。 なお、環境はUNIX上のPython 2.4, 2.5を想定しています。 u1はunicode型で、s1はstr型です。s1にどのよ
プログラム定理証明 - 有限会社ITプランニング(IT Planning Inc.)
プログラム定理証明 弊社での、プログラム定理証明を用いたソフトウェア品質保証の取り組みについて紹介します。 iZE Smart Desktopミドルウェアの正しさ検証 (ソフトウェア科学会PPL2010においてポスター発表、TPP10にて発表) (有)ITプランニングは(株)アイズの「スマートデスクトップ・クライアント」の一部モジュールを請負開発し，その際証明支援器Coqを使用した． 本プロジェクトではD-Busで扱うデータとJSONとの相互変換に関して静的検証を行った． 具体的には，検証対象とする関数をCoqで定義した上で諸性質を証明し，Extract機能により全体のOCamlのプログラムと協調させるという方法を用いた． 今回行った検証の詳細と，実際にCoqを開発現場で使う上で行った工夫などを報告する． (PPL2010予稿集より) プログラム定理証明って？ プログラム定理証明は、プログ
System.Web.Helpers を活用する - しばやん雑記
Hatena.Helper を書いている時に「JSON 扱うのめんどくさいなー、とりあえず "json" ってタイプすればインテリセンスで何か出てくるだろ。」という行動がきっかけで知ったのですが、System.Web.Helpers というお手軽クラスが入ったアセンブリがあったのですね。 このアセンブリは ASP.NET Web Pages 1.0 をインストールすると同時に入ります。つまり ASP.NET MVC 3 や WebMatrix をインストールすると同時に入るわけです。結構面白いクラスが多かったので紹介したいと思います。 AntiForgery ヘルパー CSRF 対策用のワンタイムトークンの出力と検証を行うためのヘルパーです。 GetHtml メソッドを呼ぶと input タグが生成されるので、form タグの中で呼び出します。これでトークンも一緒に POST されるように
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
拡張機能の追加 — docs v0.1 documentation