WebKit サーバーというものを作ってみた - IT戦記
みなさん お久しぶりですヽ(´ー｀)ノ夏休みの宿題終わりました？ 毎日が夏休みの最終日みたいな生活してるあまちゃんです！ さてさて 今日は WebKit サーバーというものを作ってみたので、紹介してみます。 WebKit って何？ WebKit っていうのは Chrome や Safari の中に入ってるブラウザのエンジンのことです！ 実はブラウザっていうのは、エンジン部分と見た目の部分（タブとかボタンとかね）に別れていて、意外と違うブラウザでもエンジン部分は同じものを使ってるってことも多いんですよ(*´ー｀) ブラウザのサーバーってどういうこと？ 要は、サーバーサイドでブラウザを起動して JavaScript を実行したり、 JavaScript が実行されないと読めないページから値を持ってくるのに使ったりしようという魂胆です。 今まではそういうのなかったの？ 実は、今までは JavaS
ウェブリブログ：サービスは終了しました。
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
愛するということは、おたがいに顔を見あうことではなくて、いっしょに同じ方向を見ること「人間の土地」
傲慢で独善、だが羨ましくてたまらない。 読んでいて、何度も妬ましい炎に焼かれる。サン=テグジュペリはあらゆる乗り物が果たせなかった、速度と高度を得ただけでなく、その高みから観察する目と、見たものを伝える言葉を持っていたのだから。 たとえるなら、究極に達したアスリートかアストロノーツが還ってきて、自分のセリフで批判を始めたとき、わきあがる嫉妬の痛み。一つ一つわたしの胸に刺さる言葉は、究極からの帰還者だから吐けるのか、究極への到達者だから見いだせるのか、分からない。分かるのは、わたしには絶対たどり着けないことだけ。 サン=テグジュペリはこんなセリフを吐く、「愛するということは、おたがいに顔を見あうことではなくて、いっしょに同じ方向を見ることだ」。名言として知ってはいたが、まさかサン=テグジュペリが、しかも「人間の土地」で述べていたとは。しかもこれ、両想いの男女のことではないのだ。 このセリフは
帰納法と余帰納法の何がどう双対なのか（初等的に） - sumiiのブログ
（高校で習うはずの）数学的帰納法をはじめとする帰納法(induction)と、（π計算など並行プロセス計算に出てくる）双模倣(bisimulation)をはじめとする余帰納法(coinduction)は、双対(dual)であると言われます（例）。双対というのは、大雑把に言うと、論理式のド・モルガンの法則 ¬（A∨B） ⇔ ¬A∧¬B と ¬（A∧B） ⇔ ¬A∨¬B のように、何か一組のもの（ここでは∧と∨）をひっくり返しても同じ式が成り立つという関係です（例）。 しかし、自分は学部4年ぐらいのときに余帰納法（というか双模倣）を習って、「（数学的帰納法のような）帰納法と（双模倣のような）余帰納法が双対」と聞いても、何となく「余帰納法は結論を仮定する(?)から、仮定を仮定する(?)帰納法と反対なのかなあ」と思うぐらいで、恥ずかしながら何が双対なのかよくわかりませんでした。かといって、詳しい人
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
新着記事
