「第3回 信頼関係構築に必須の『信頼モデル』」までは、PKIを理解するうえで必要となる認証や属性の概念とPKIの信頼と信頼モデルについて解説を行ったため、これらの概念については多少なりとも理解できたかと思う。今回からはPKIの信頼を構築するうえで最も重要な「公開鍵の信頼」について解説を行いたい。 PKIを構築または利用するうえで「公開鍵の信頼」は必須の概念であり、その公開鍵を信頼する(または信頼される)ために必要な第三者認証については次回以降で取り上げていくこととする。 PKIによる認証基盤では、主体者に私有鍵と公開鍵の鍵ペアを生成させ、主体者の生成した公開鍵を第三者認証者が本人確認などの手続きを経て、主体者と公開鍵の結び付きを保証し、主体者の公開鍵であることを証明するために主体者にPublic key Certificate(PKC:公開鍵証明書)を発行する。筆者が本連載にてデジタル証明
学校が嫌いだった。 勉強も、習い事も、何も、人並みにできなかった。 でも将棋という初めて人並みにできることが見つかった。 自分は将棋がなかったら、鈴木大介先生に出会わなかったら、どうなっていたかわからなかった。 “軍曹”、“ストイック”――。永瀬拓矢を形容するいくつもの強固な異名。今春、“3度目の正直”で初タイトル獲得に燃える男のイメージとは、あまりにもかけ離れた言葉の数々に、思わずたじろいだ。 少年期を支えた磯子将棋センター席主・加山雅昭、棋士として生きる道を与えた鈴木大介、そして自らの立ち位置と現実を突きつけた天才・佐々木勇気。 いずれも、現在の永瀬の運命を変えた重要人物と言えるだろう。 永瀬を支えた言葉、そして彼が描く感謝と恩返しとは―? 「負けそうで、泣きそうで、消えてしまいそうな僕は 誰の言葉を信じ歩けばいいの?」(『手紙 〜拝啓 十五の君へ〜』 作詞・作曲/アンジェラ・アキ)
初めて fix 関数を目にしたときは、これはとても奇妙な関数に思えることだろう。しかしながら、再帰的な関数を定義可能にする組み込み要素として(型付き)ラムダ計算へとして導入するとき、主要な理論的根拠のひとつとして有用なものとなるのである。 fix の導入[編集] 議論に入る前に、fix の定義をしておこう。 fix :: (a -> a) -> a fix f = f (fix f) これは一見していかにも摩訶不思議に思える。どうみてもfix f は f (f (f (... ))) のような fの限りない適用のくり返しを生じるだろう。我らが盟友、遅延評価がこの問題の解決策になる。基本的には、この f の適用の連鎖は、もしfが遅延関数であれば(その時に限り)ある値へと収束する。いくつか例をみていこう。 Prelude> :m Control.Monad.Fix Prelude Contro
TeXやMicrosoft Word、あるいはその他の汎用的なテキスト処理環境では簡単に実現できるような見た目に自分の文書を似せようと頑張る(文字どおり)無数の人たちに対して、 “悪いけど、うまくいかないよ” と繰り返し言い続けるのは、実際のところ、この1年間、私にとっては継続的な楽しみだった。- Marc Andreessen 1994年 Tim Berners-LeeによってHTMLが発表された1991年には、ページのスタイルを設定する方法はありませんでした。HTMLタグがどのように処理されるかはブラウザ次第で、多くの場合、ユーザの恣意的な入力が大きく影響しました。そうした事情から、ページがどのようなスタイルで処理されるかを”提案”するような標準的な方法を求める声が上がるようになりました。 しかし、CSSが導入されるのは5年先で、完全に実用化されるには10年の歳月を待たねばなりません。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く