半導体プロセスまるわかり 微細化の限界にあるNANDフラッシュ (1/3)
DRAMにも増して容量増加の要求が高く、これに向けてDRAMよりもさらに微細化を進めることになった。 微細化だけでは足りないので多値化もやった。 それでも足りずに3Dに向けてすでに量産に入った。 さて、フラッシュメモリーの構造も説明してなかったので、まずはここから始めたい。フラッシュメモリーと一口に言っても、大別してNOR型とNAND型がある。実はどちらも発明者は一緒で、東芝の元社員、舛岡富士雄氏によるものだ。 最初に発明されたのがNOR型で、次いでNAND型が発明された。もっともNOR型とNAND型は、基本的な記憶素子の構造は同一で、配線が異なるのみである。もっともその配線の違いにより以下の違いがある。
自殺をセンセーショナルに伝えてはいけない : アゴラ - ライブドアブログ
焼身自殺と報道 １９６３年６月の南ベトナムの首都サイゴンの大通りでの光景だ。当時のゴ・ジン・ジェム大統領は、反政府運動の巣窟になっているとして、仏教徒を弾圧した。社会混乱が起きて数百人の人が殺害された。７３歳の高僧ティク・クアン・ドック師が抗議のために焼身自殺を行った。 「後にその様子を見る機会もあったが一度で十分だ。炎が体から舞い上がり、体はどんどん小さくしぼんでいき、頭は黒く焦げていった。あたりは皮膚が焼ける臭いがたち込めた。人間というのは驚くほど早く燃えてゆく。 私の後ろからは集まったベトナム人のすすり泣きが聞こえた。泣くにはあまりにショックで、書きとめたり疑問を投げかけるにはあまりに混乱し、うろたえて、考えることすらできなくなった。燃えていく彼は微動だにせず、声も発さず、彼の落ち着きはらった様子は周りの泣き喚く人々とのコントラストを醸し出していた」 大統領の弟で、秘密警察を仕
無線LANのグローバル化と規制緩和
先週は，シカゴで開催されたWi-Fi Allianceという民間企業により構成されるコンソーシアムの会合に出席していた。このWi-Fi Allianceは、様々なメーカーが製造販売する無線LAN機器が、互いに接続出来て安心して使えるかを試験し、その保証を示すロゴを発行したり、新しい市場に向けたPR活動等を行っている。皆さんが、日頃なれ親しんでいるWi-Fiという５文字とロゴは、この団体が商標権を持っているものだ。 今回，僕はIEEE802.11aiという新しく制定されつつある技術標準に対応した認定プログラムの策定を、このWi-Fi Allianceで始める提案をするために、会合に参加していた。 たまたま、この会合期間に前後して、日本からWi-Fiやその規格に対する幾つかの興味深い記事やコメントをネットで拝読した。 これらは、十分な調査の元に記事が書かれ、それに対するコメントも脊髄反射的にす
「保証期間が切れた直後に壊れるタイマー付き製品」は実在するか？
「保証期間が切れた直後に壊れるタイマー付き製品」は実在するか？：牧ノブユキの「ワークアラウンド」（1/2 ページ） 真偽不明で語られる「時限爆弾」の話 「うわっ、この製品、保証期間が終わった途端に故障した。買い替えさせるため、ワザと一定期間後に壊れるトラップをしかけたな！」──こうした「陰謀論」は、面白おかしい話題を好む人々にとって格好のネタということもあり、真偽不明のまま語られ続けている。それとおぼしき事象が発生した際に「やっぱりか！」と再燃し、さらにウワサが広まる、というのがお決まりのパターンだ。 では、実際にこうした「仕込み」はあり得るのか。先に結論を言ってしまうと「存在しない」と考えてよい。理由は単純で、早く壊れてくれたほうが買い替えを促進できてもうかるというのは、オンリーワンのメーカーにしか通用しない論理だからだ。 一般的なユーザーは、想定よりも早く製品が壊れた場合「このメーカー
Coqチュートリアル: @zakky_devさんが証明をできるようになるまで - みずぴー日記
先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのときの台本を公開します。だいたい30分くらいの内容です。 Coqのインストール ぐぐりましょう。 Welcome ! | The Coq Proof Assistant Coq を始めよう Coqとは みなさん、自動化してる・してないなどの違いはあると思うんですが、プログラムを書いたらテストをすると思います。 ただテストはどうしても「こういう入力があったら、こういう出力がある」というのを並べていくことになるので、どうしても有限のパターンしか確認できません。 で、これで十分なこともあるんですが、中にはものすごい信頼性がいるプログラムで、有限のパターンの保証だけではたりない場合
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
中国語文法独学教室 -中国語文法学習入門サイト-
LG コンパクトモデル G2 mini を国内展開。ビッグローブが販売 - すまほん!!
Expired