タグ

ブックマーク / xtech.nikkei.com (5)

  • 石油はこれから「正味エネルギー」が急減する

    2000年頃までは化石燃料が生み出すエネルギーは安価かつ豊富と言えた。これまで石油や原油(*1)の生産量増加が世界の経済成長を支えてきた。正確には、「生産量増加」ではなく、「原油の正味エネルギー供給量の増加」というべきであろう。 ところが、その原油の「正味エネルギー供給量」は、2000年頃から減少し始めている。 今後も「正味」のエネルギー供給量の減少は続き、石油経済の行方に大きな影響を与える。しかし、ほとんどのエネルギー統計で「正味」は触れられることなく、「見かけ」の数字で構成される。「正味」を語らないエネルギー統計からは、この問題を読み取れない。 エネルギー統計で見えてこない“真実” 「正味」とはどういうことか。 原油を地下から回収するには、油田の探索を行い、発見できれば地下から回収するための設備や機器類を設営し、採掘する。これら全工程で直接あるいは間接的にエネルギーが消費される。当然だ

    石油はこれから「正味エネルギー」が急減する
  • 第15回 型からプログラムを当てる

    前回,'a * 'b -> 'b * 'aといったMLの型は,「AかつBならばBかつA」といった命題に対応する,という話をした。命題が成り立つことは,そのような型を持つ式が存在することに対応するのだった(ただし例外などの副作用や無限ループ,組み込み関数やライブラリ関数などは使用しないとする。以下同様)。 前回の繰り返しになるが,'a * 'b -> 'b * 'aは,「任意の型'aと'bについて,'a型の値と'b型の値の組を受け取り,'b型の値と'a型の値の組を返す」という関数の型だ。そのような型を持つ式としては,例えば以下のような関数が存在した。

    第15回 型からプログラムを当てる
  • 東京青山の億ション工事で最強トリオが引き起こした前代未聞の大失敗

    工事の不具合で販売中止・契約解除 東京都港区南青山7丁目に建設中の高級マンション「ザ・パークハウスグラン南青山高樹町」が、工事の不具合により販売中止・契約解除の事態に追い込まれた。事業主は契約解除に際して購入者に手付金を返し、迷惑料を支払うなどの対応をとる。工事の不具合とは、配管や配線を通すための「スリーブ」といわれる貫通孔が、設計図が示す通りに入っていなかったこと。まさに前代未聞の大失敗である。 事業主は三菱地所レジデンス、設計監理は三菱地所設計、建築施工者は鹿島建設、設備工事施工者は関電工マンションの世界で特に評価が高いのは、大手デベロッパーでは三井不動産レジデンシャル、三菱地所レジデンス、野村不動産、住友不動産である。また、建設会社ではスーパーゼネコンと称される、鹿島建設、大成建設、清水建設、大林組、竹中工務店。そして、設計事務所では日建設計、日建設計ハウジング、三菱地所設計にな

    東京青山の億ション工事で最強トリオが引き起こした前代未聞の大失敗
  • コピペで使える言語・コマンドリファレンス - ITproリファレンス:ITpro

    HTMLCSS、DynamicHTMLJavaScriptPerlWindowsコマンド、ネットワークコマンド、Linuxコマンドといった、Webサイト構築やアプリ開発に欠かせないプログラミング言語とコマンドのリファレンスマニュアルです。各項目のサンプルコードは、コピーし貼り付けてすぐに使えます。入門講座も用意しました。ぜひブックマークしてお役立てください。 HTML HTMLは、Webコンテンツを作成する上で、最も基礎となる記述言語です。各タグについての概要や属性などをサンプルを交えて説明します。 HTMLリファレンス(107項目) HTMLリファレンスの使い方 HTML入門 CSS CSSは、Webページのレイアウトなどといったコンテンツの見栄えを指定する記述言語です。各スタイルの概要や使い方を説明します。 CSSリファレンス(73項目) CSSリファレンスの使い方 CSSの基

    コピペで使える言語・コマンドリファレンス - ITproリファレンス:ITpro
  • プログラマになりたいあなたへ

    この記事はamachangこと天野仁史氏が,2008年3月24日に発売した日経ソフトウエア2008年5月号の特集「はじめてのプログラミング」向けに著したものの再掲です。記述された内容は,執筆当時の情報に基づいています。 今,編集の矢崎さんに「あなたがプログラマになりたがっている」というお話を聞いて飛んできました。この手紙が届くころには,あなたはもうプログラマとしての一歩を踏み出しているのかもしれませんね。 唐突ですが,今この瞬間あなたが世界を変えるプログラマになれるということに気が付いている人は何人いるでしょう。僕は,あなたが世界を変えるプログラマになれるということを知っています。だからこうして,あなたに手紙を書こうと思ったのです。 プログラマになったばっかりのあなたや,今,プログラマになろうと思っているあなたは,つかみどころの無い不安でいっぱいでしょう。この手紙では,そんなあなたのために

    プログラマになりたいあなたへ
  • 1