はてなブログ | 無料ブログを作成しようオーベルジーヌ実食レポ 食べ物の鼻塩塩(未だに通じるのかな) オーベルジーヌというカレーをご存知だろうか 都内にあるデリバリー専門のカレー屋で、 ロケ弁などで大人気の本格欧風カレーが楽しめるらしい いいな〜 いいな〜オブザイヤー 都内の奴らはこんな良いモン食ってんのか 許せねえよ………
Coqで分離論理(separation logic) - keigoiの日記
分離論理は、ヒープ領域に関する論理結合子をもつ論理体系だ。ホーア論理の拡張であり、ヒープを使うプログラムの仕様を書いたり検証したりといったことに使える。 具体的には、 A ∧ B (AかつB) によく似た、 A ** B という論理結合子が追加されている。これは Aで言及しているポインタと、 Bで言及しているポインタが指しているヒープ領域が、分離されている(≒エイリアシングがない)ことをいっている。 Affeldtさんが、Coqで分離論理を書いて、しかもそれを公開してくださっている。 http://staff.aist.go.jp/reynald.affeldt/seplog/ C言語で書かれたOSのヒープマネージャや、SmartMIPSのアセンブラで書かれた暗号プリミティブの検証をCoqでやっている。 こういったことを自分でも触れるようになりたいので、ICFEM2006のソースを写経して
東京大学ＨＰ→2ｃｈ最初にたどりついたヤツが優勝 - 勝つる2chまとめブログ
1 ：名無しＶＩＰ 2011/07/09(土) 23:05:40.37 ID:hxo4U5sV0 東京大学ＨＰ http://www.u-tokyo.ac.jp/index_j.html ルール ①使っていいのはリンクだけ ②検索エンジン使用不可 その他ルールはおいおい決める よーい どん！ 3 ：名無しＶＩＰ 2011/07/09(土) 23:07:18.34 ID:0ClAatam0 やってみるわ 5 ：名無しＶＩＰ 2011/07/09(土) 23:08:08.57 ID:K/OeemW00 東大→ツイッター→ホーム→フォロワー→２ｃｈブログ→２ｃｈで余裕だった 7 ：名無しＶＩＰ 2011/07/09(土) 23:09:43.43 ID:hxo4U5sV0 >>5 ルートのＵＲＬ貼ってよ 10 ：名無しＶＩＰ 2011/07/09(土) 23:13:37.31 ID:S+5evQ
遺体の妻、末期がんだった…容疑の夫が看病 : 社会 : YOMIURI ONLINE（読売新聞）
自宅マンションに妻（３９）の遺体を約３か月放置したとして、京都市中京区の無職河田勝幸容疑者（４３）が死体遺棄容疑で逮捕された事件で、妻が末期がんだったことが、わかった。 堀川署の９日の司法解剖で死因は特定できなかったが、外傷はなく、病死とみられる。妻は「お金がかかる」と手術を拒み、河田容疑者が自宅で看病していたという。 捜査関係者らによると、河田容疑者は、妻と２人暮らしで、約２年前に現在のマンションに入居。妻の看病のため仕事を辞めたとみられ、預金で生活していた。 河田容疑者は「今年になって２人で旅行に行った」と供述。足の不自由な妻を支えながらの旅行だったといい、妻の死を覚悟していたと府警はみている。また、「死のうと思ったが死ねなかった」とも供述し、腕には複数の切り傷があった。
闇RubyKaigi
繰り返す。繰り返す。何度でも繰り返す。 闇ルビヰ會議2011は無事終了しました。多数のご応募、ご登壇、ご参加、ご視聴ありがとうございました。 光あるところに闇もまたあり。いつでも闇は貴方を見つめている。闇RubyKaigi2011に魅入られし貴方はもはや闇RubyKaigiなのだ。いや、貴方こそが闇ルビヰ會議なのだ。 闇RubyKaigiっぽいものを開いて満願成就の夜を呼び寄せよう そこで貴方自身が闇RubyKaigiっぽいものを開くためのサンプルとして、闇RubyKaigi2011プロローグ＆エピローグの元Keynoteファイルとmovファイルをおまけに追加しました。CCライセンスです。どうぞ自由にお使いください。 ぜひ貴方の家庭で、職場で、学校で、コミュニティで、貴方なりの考え方とやり方で、同胞たちとの闇の集いを開いて下さい。 参考:闇RubyKaigi2011プロローグ.mov ht
パスワード認証を回避してWindowsにログインする方法 - うさぎ文学日記
目の前にPCがあるのに、パスワードがわからずログインできないという状況ありますよね。合法的な状況なのであれば、パスワードなしでログインする方法を試してみてはいかがでしょうか。 今日現在、最新状態のWindows7で実行可能です。当たり前ですが、自分に権限のないPCなどで試さないようにして下さいね。 方法は以下の通り簡単です。 Ubuntuなどでブートして、Windowsドライブをマウント C:\Windows\System32以下の「Utilman.exe」を「Utilman.old」にリネーム C:\Windows\System32以下の「cmd.exe」を「Utilman.exe」にコピー 再起動して、Windowsの起動画面で「Windowsキー + U」でコマンドプロンプトが起動 あとは、「explorer.exe」などを実行することもできます。 実験 Ubuntu(ここではBac
巨大な円形の生物種進化系図ポスター「Tree of Life」（画像） | naglly.com
生物学で良く見る、生物の進化を上から下へと辿る系図ではなく、円形の内側から外側へと進化の過程を辿る生物種の系図ポスターです。進化の起源である円の中心から外側に向かって、生物の多様性がどんどん広がっていく様子が印象的です。 参照元はこちら。 Download Graphic Images from the Hillis/Bull Lab http://www.zo.utexas.edu/faculty/antisense/DownloadfilesToL.html 細かく見たい方は、下記のPDFをダウンロードしてからご覧下さい。下記のPDF提供は、非商用に限り無料です。可能な限りでっかく印刷して部屋に貼りたくなります。 Tree of Life PDF http://www.zo.utexas.edu/faculty/antisense/tree.pdf 参照元の記事によると、この系図は、地
日本のアニメが知らぬうちに麻薬撲滅に活躍したり、中国にダメージを与えている件: 月夜のぴよこ と 空耳うさぎさんたち
タイトルが凄いんだけど、狙われてるのは私じゃ無いよｗ なにが狙われているか… 日本アニメですｗ じつは、国内、国外関係なく、日本アニメは最近「研究」の対象になってるようでして、世界中の学者さん達が、真剣に研究していて、彼方此方で「論文」が発表されてます。 特に、異文化が入り乱れる少数民族政策とかそういう辺りで、いわゆる異なる言語による意思疎通の低下が根本原因で、地域間のいざこざが絶えないエリアで、実は日本アニメがその共有認識の礎になっている（なってきている）という事実がありましてですねｗ、ようするに親同士が、宗教、イデオロギー、過去の因縁等で対立していても、子供同士は「昨日のマジンガー、かっこよかったなｗ（そう言う地域では、この辺りが人気ですｗ）」とか「ハイジはいつ山に帰れるんだ（低燃費じゃないよ）」とかそういう感じだそうです。 まぁ、「文化破壊だ」とか「民族浄化だ」とかって声もあるにはあ
痛いニュース(ﾉ∀`) : 外人「子供が素手でトイレ掃除する事に意味があるのか。まるでカルト教団の洗脳のようだ」 - ライブドアブログ
外人「子供が素手でトイレ掃除する事に意味があるのか。まるでカルト教団の洗脳のようだ」 1 ：名無しさん＠涙目です。(catv?)：2011/07/10(日) 00:25:01.35 ID:PAHV/bzn0 ?PLT 三次市十日市の十日市中で、生徒や保護者たちが学校のトイレを、素足で掃除したという大変微笑ましいニュースが報道された。しかし海外の人たちにとってこのニュースは決して気持ちいいものでもなかったようだ。『生徒を洗脳させて、便所掃除をさせるとはなんというカルト教団なんだ！』とこの行動を非難しております。たしかに傍から見ればおかしな行動なのかもしれないが、この団体はどういう団体なのか。 実は、掃除を行った生徒たちは「NPO法人日本を美しくする会」のメンバーで、地域清掃に 取り組んだり、東日本大震災の支援に貢献したりしているようだ。HPによると、『 宗教には 関係ありません。参加
人生は出逢った言葉の質と量で決まる！死ぬまで仕事に困らないために20代で出逢っておきたい100の言葉 | ブクペ
まえがき『人生は出逢った言葉の質と量で決まる！』 これがコンサルタントとして数々の著名ビジネスパーソンと対話をしてきた著者の下した結論である。 著者は大学時代に一万冊の書籍を読破。書籍に書いてあったことを実世界で実践してきた。 人間は自分が発している言葉どおりの人生を歩んでいる。 特に20代のうちは良い言葉との出会いを増やしておくことが重要。 良い言葉と出会うためにできることは２つ。「人と会うこと」と「読書」である。 以下、特に印象に残ったところを一部抜粋させていただく。 ・99%の人は準備だけで人生を終えてしまう。 準備不足で失敗するのではなくて、準備ばかりして挑戦しないから何も成し遂げられない。 ・親や学校の先生が、反対するほうを選んでおけば、たいてい間違いない。 それが正解かどうかよりも、本当に自分が好きな方を選んだかどうかのほうが大切。 ・周囲の顰蹙を買ったら、チャンス。 昔ながら
カオスちゃんねる : 乳首だけは絶対に開発するな。絶対にだ。
2011年07月07日00:01 乳首だけは絶対に開発するな。絶対にだ。 1 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2011/06/28(火) 22:11:14.93 ID:+9JtzfI20 俺は現在大学４年生。 乳首に目覚めたのはつい１年前だったか。 彼女に乳首を舐めて貰ったのがキッカケだった。 それから俺はことあるごとに乳首を舐めてもらった。 最高だった。頭がフットーしそうだった。 そして今。 俺の両乳首はぷっくりと膨れ上がり、 Tシャツと擦れるだけで感じる程になってしまった。 感じれば無論乳首は立ち上がり、 Tシャツの上から二つの突起が丸見えだ。 だから俺は今では毎日乳首に絆創膏を貼って登校している。 就活中も勿論絆創膏は欠かせなかった。 なんでこんなことになったのだろう。 ただただ、あの時の自分を責めたい。 これから乳首を
【動画あり】新しく発見された目の錯覚 「顔の歪み効果」が面白い件 : 暇人＼(^o^)／速報 - ライブドアブログ
【動画あり】新しく発見された目の錯覚 「顔の歪み効果」が面白い件 Tweet 1：名無しさん＠涙目です。(埼玉県)：2011/07/09(土) 17:15:40.19 ID:CJFzpVrO0 視線の両側にある顔が怪物の様に醜く変化する目の錯覚（動画） これは、「Flashed Face Distortion Effect」（一瞬で切り替えた顔の歪み効果）と言われる、 比較的最近発見された、目の錯覚現象だそうです。まずは下記の注意点を読んでから、動画を御覧ください。 1. Keep your eyes on the cross （動画の真ん中にある十字を見つめ、目を離さないで下さい） 2. These faces have not been altered （両側に現れる顔は何も加工していません。） YouTube - ?Shocking illusion - Pretty girls t
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Good night, Posterous
復興相騒動の前後での宋文洲さんらしいツイート集
Hatena ID
【マジキチ】『まどか☆マギカ』ＱＢが犯られるパロＡＶが登場ｗｗｗ｜やらおん！