Wikipǣdia
WILCUME! Þis is seo Englisce Wikipedia. Þeos Wikipædia hæfþ 4,500 gewrita Her man mæg findan cyþþe be manigum þingum geond middangeard, gewriten on ealdra Engla gereorde, þe Englisc hatte. Wearnung: Gewit þu heonan gif þu Ænglisc leornian wille, for þon þe þæt Englisc her on biþ oftost swiðe yfel. Swelce twegen menn cunnon Englisc wel and hie nyllaþ þas stowe gebetan. Please refer to the Grammar a
Refactoring Manifesto - Because the world needs better code
Make your products live longer! Refactoring means taking the opportunity to keep your product alive. Don't ditch it, stitch it! Don't end it, mend it! Refactoring is not a needless cost. It is anti-needless complexity that prevents change. Design should be simple so that it is easy to refactor. Product designers: Make your products easy to change. Write clean, understandable code. Consumers: Buy p
Agda2におけるPropとSet0の違い
Üe🦀 @ranha @ikegami__ 多分私のは、組込みの力で「便利になった」ようなequalityが欲しいなーっていう言い換えで2例作っただけな気がします。ただSet0とPropの違いは知りたいです！ Ikegami Daisuke @ikegami__ あ、Set0 と Prop の違いはわたしが答えられます : Martin-Loef の型理論では Set0, Set1, Set2, ... : "Proposition as a set" : という概念から、命題は Set0 の型を持つのですが、Set0 と書くと(つづく) Ikegami Daisuke @ikegami__ 命題は Set0 の型を持つのですが、Set0 の使い道は命題だけとは限らないので、命題の型は Prop と、別名をつける規約にしてはどうですか、という話です。Haskell なら type Pro
Type Theory (Stanford Encyclopedia of Philosophy)
First published Wed Feb 8, 2006; substantive revision Tue Sep 6, 2022 The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. For the importance of types in computer science, we refer the reader for instance to Reynolds 1983 and 1985. 1. Paradoxes and Russell’s Type Theories The theory of types was intr
はてなブログ | 無料ブログを作成しよう
新米と秋刀魚のわた焼き お刺身用の秋刀魚を買いました。1尾250円です 3枚におろして、秋刀魚のわたに酒、味醂、醤油で調味して1時間ほど漬け込み、グリルで焼きました 秋刀魚のわた焼き わたの、苦味が程よくマイルドに調味され、クセになる味わいです 艶やかな新米と一緒に 自家製お漬物 土…
「作品」を「コンテンツ」と呼び始めた邦画界 ”お蔵入り映画”が続出する杜撰な内情
2005年に製作されたものの、5年間お蔵入り状態になっていたオムニバスホラー 『オボエテイル』のポスター。ポジフィルムおよびスチール素材を製作会社が紛失したため、 画面から抜いたシーン画像とイラストの合成で作られている。 （c）2005(株)ベルウッド 年末年始は映画館がもっとも賑わう稼ぎどきだが、映画界から明るいニュースがなかなか発信されない。映画ファンから長年支持されてきた恵比寿ガーデンシネマが1月28日に閉館するのに続き、シネセゾン渋谷も2月の閉館を予定している。2010年6月には渋谷シネマライズが3スクリーンから1スクリーンに縮小。都内で個性を競い合ってきたミニシアターが厳しい状況に追い込まれている。また、邦画バブル以降、年間400本以上も公開されている日本映画だが、興収成績の上位は『踊る大捜査線 THE MOVIE3 ヤツらを解放せよ！』『THE LAST MESSAGE海猿』と
グルーポンおせち騒動で、「バードカフェ」社長が辞任発表 : 痛いニュース(ﾉ∀`)
グルーポンおせち騒動で、「バードカフェ」社長が辞任発表 1 名前：名無しさんφ ★：2011/01/02(日) 14:54:03 ID:???0 共同購入サイト『グルーポン』で注文すると21000円のおせち料理が10500円になると話題になり500件の注文を受けた『バードカフェ』。しかしその注文の多さに対応出来ず送られてきたおせち料理は見本とは全然違う物になっているとネット上で騒がれている。騒ぎはまだ収拾が付かず、現在もネットを中心に炎上気味だ。 そんなおせち料理を販売したのは株式会社外食文化研究所の『バードカフェ』。代表は水口憲治氏で既に自身のブログや『Twitter』でも謝罪がおこなわれている。そんな水口憲治氏のブログを見てみると気になる一文が書かれていた。 「この責任は2011年１月１日をもちまして株式会社外食文化研究所の代表取締役を辞任することと相成り、引き続きこの件でご迷惑をおか
［とある魔術の禁書目録］作者・鎌池和馬さん「大切なのは読後感」 | ホビー | マイコミジャーナル
鎌池さんが大変だったと語る「とある魔術の禁書目録」4巻 10年9月からテレビアニメが放送中で、シリーズ計1000万部を突破したライトノベル「とある魔術の禁書目録」。作者の鎌池和馬さんに作品の魅力、心がけていることを聞いた。 −−作品の見どころは？ 魔術と科学、二つの世界観が激突するところや、そんな中で問題解決のために戦い続ける主人公などです。 −−作品の構想を思い付いたきっかけは？ 最初はインデックス、次に助ける役の上条、そこから上条の活躍する学園都市……と広げていった気がします。 −−個性的なキャラが次々と登場します。話を作るのも大変では？ 基本的には、お話とヒロインはワンセットで扱っていると思いますので、どちらか片方ができれば、もう片方も自然と組み上がりますよ。 −−作品を描くときに最も大切にしていることは？ 「読後感」とかでしょうか。（ライトノベルを読むことは）お菓子
［とある魔術の禁書目録］電撃史上最高1000万部突破 大ヒットの秘密は？ | ホビー | マイコミジャーナル
鎌池和馬さん作、灰村キヨタカさん画のライトノベル「とある魔術の禁書目録」（電撃文庫）1巻の表紙 科学と魔術の相反する世界を舞台に、少年少女たちの日常、そして激闘を描くライトノベル「とある魔術の禁書目録（インデックス）」（作・鎌池和馬、イラスト・灰村キヨタカ）が人気だ。ライトノベルレーベル「電撃文庫」で、初となる1000万部を突破。連載から6年たっても伸び続ける人気の理由とは……。（毎日新聞デジタル） ライトノベルは、ファンタジーや学園ものをテーマにしたストーリーと“萌え系”のイラストの表紙や挿絵が特徴の青少年向け小説レーベルで、「ラノベ」と略され、テレビアニメなどの原作となって大ヒットする作品も多い。出版不況で、書籍の売り上げが落ち込む中、ラノベは09年に301億円を売り上げるなど、前年比約5％増、5年前からは約14％増（出版科学研究所調べ）に成長している。 「とある魔術の禁書目録」の
Androidセキュリティチーム、Nexus Sのroot化について語る | スラド セキュリティ
昨年の暮れ、GoogleはNFC技術を搭載したSamsung製新型スマートフォン"Nexus S"を発売した。Nexus SはLinuxをベースに含むAndroid 2.3をOSとして採用しているが、Android搭載端末には現在のところ端末を所有するユーザであってもシステム領域への書き込みやスーパーユーザ特権の取得ができない制限がかけられており、パワーユーザの間ではアプリケーションのlocal root exploitやブートローダの脆弱性利用などによってこれを回避する「root化(rooting)」と呼ばれる行為が広く行われている。Nexus Sでもユーザコミュニティによって端末のroot特権を得る方法がすぐに発見された。 発売からroot化の完了までの期間が短いことが話題になったが、これについてAndroidのセキュリティチームメンバーであるNick Kralevich氏は先月20日
レクサヒールが最安値の通販はこちら
レクサヒール20㎎が最安値の通販はオオサカ堂です。 オオサカ堂でレクサヒール20㎎を1個（200錠）買えば、1錠あたり33円、送料無料で購入することができます。 商品名：レクサヒール(Lexaheal)20mg 【1箱200錠】 販売価格：6,601円 送料：無料 製造メーカー：Healing Pharma LLC 販売サイト：オオサカ堂 ＞＞レクサヒール20㎎が最安値の通販はこちら 学生時代の話ですが、私は20mgが得意だと周囲にも先生にも思われていました。購入が好きというと仲間たちに変人扱いされもしましたが、楽天を解くのはゲーム同然で、アマゾンというより楽しいというか、わくわくするものでした。値段とかひとつだけ突出して出来る生徒は入試では不利だし、価格の成績は悪く、結局MARCHにもひっかかりませんでしたが、代替は日常生活の中でけっこう役に立ってくれるので、OTCが得意な自分は嫌いじゃ
凶悪な犯罪者には人権なんていらないんじゃないの？ - ヒューライツ大阪(財団法人アジア・太平洋人権情報センター)
ヒューライツ大阪のセミナー情報や、人権に関わるタイムリーなニュースをEメールで月２回ペースでお届けします（無料）。 人権はすべての人に保障される普遍的な権利です 何人もの人を殺したような凶悪な犯罪者は、他の人の人権を著しく侵害したのだから、人権を保障されなくてもいいのでしょうか。決してそうではありません。人権は、すべての人が生まれながらに持っている、侵してはならない普遍的な権利であり、凶悪な殺人犯でも人権を主張することができます。日本国憲法第３６条、自由権規約、拷問等禁止条約は、拷問や残虐な刑罰を禁止していますが、それは凶悪な殺人犯も、拷問による取り調べや残虐な刑罰を受けない権利を持っていることを示しています。 人権は市民から国家に対する自由の主張です（国家VS市民） そもそも人権は、市民が国家に対して、抑圧・干渉の排除と自由を主張することから始まりました。国家権力の一方的な判断により、市
重箱にドロドロの液体… おせち詐欺続発
一番上から時計回りに、何となくかまぼこ、何となく黒豆、何となく昆布巻き、何となく栗きんとん、何となく数の子、何となくレンコン、何となく海老、何となくだし巻。中央にあるのはただの泥とみられる。 家族一同が食卓を囲む幸せな正月の風景が散々なことに――。各家庭それぞれの食材や味つけが魅力のおせち料理。だが昨今では「年に一度のぜいたく」として有名料理店が監修、販売を手がけるおせちを注文する家庭も増えてきた。そんな「取り寄せおせち」をめぐるトラブルが大みそかから元日にわたって相次ぎ、問題となっている。 仙台市に住むＡさん（女性・仮名）宅に取り寄せおせちが届いたのは、大みそかの夕方６時。全国的に有名な料亭が監修、１セット３万８千円、インターネットで予約を開始して５分で売り切れた豪華おせちを受け取ったＡさんは、開封してすぐ言葉を失った。ボール紙でできた重箱の中に入っていたのは、おかゆのようにドロドロにな
Windowsのみに最適化することで高速化しているFirefoxクローン「Pale Moon」
Google Chromeなど、起動が高速な上にFirefoxの売りである拡張機能も搭載したブラウザが登場したことでFirefoxを使うメリットが以前よりも大きくないのが現状ですが、使い慣れたブラウザはやはり捨てがたいもの。 「Pale Moon」は基本的な機能やデザインなどがほとんどFirefoxと同じで非常に高い互換性を持ちつつも、Windowsに最適化することで高速起動が可能となっているので、既にFirefoxを使用しているユーザーには特にお勧めできるソフトウェアです。日本語化が可能で、Windows 2000以降のOSに対応しています。 ダウンロードにインストール、Firefoxとの速度比較などは以下から。The Pale Moon Project homepage http://www.palemoon.org/ 上記ページ内「Download」から「Pale Moon」をクリッ
新年だしJavaScript始めてみませんか？ - ginpeiのブログ
移動しました。 http://ginpen.com/2011/01/01/begin-js/
グルーポンが売っているものは何か - novtan別館
今回のおせちの件、グルーポンは悪くない、という人が結構いることに驚き。 グルーポンは、店から広告料をもらってクーポンを「タダで配布」しているのではないよね。クーポンを「有料で販売」しているわけだ。そのクーポンの価値はほとんど金券に等しくて、何％オフで、本来の価値を提供することを保証…少なくとも買った客には期待させているものだよね。言い換えると、１万円のチケットを５０００円で売っているようなもので、それが実際には５０００円の価値しかありませんでした、というのは羊頭狗肉みたいな。 グルーポンはお店にとっては従来のクーポンマガジンと同様に、宣伝料を払っているだけのイメージかもしれない。だから、そのサービス内容が本来のものと違っても問題なかろうと考えてしまうかもしれない。でも、それは大間違いで客にとってみれば、本来の額面の価値があるからこそ、お金を出してクーポンを買うわけだ。そのクーポンは、先の例
Standard Library | The Coq Proof Assistant
Exploiting Hurkens's paradox [Hurkens95] for system U- so as to derive various contradictory contexts. The file is divided into various sub-modules which all follow the same structure: a section introduces the contradictory hypotheses and a theorem named paradox concludes the module with a proof of False. The Generic module contains the actual Hurkens's paradox for a postulated shallow encoding of
痛いニュース(ﾉ∀`) : 森永卓郎「日本は軍備撤廃を。中国に侵略され滅んでも、教科書に『昔、日本という心の美しい民族がいた』と書かれればそれでいい」 - ライブドアブログ
森永卓郎「日本は軍備撤廃を。中国に侵略され滅んでも、教科書に『昔、日本という心の美しい民族がいた』と書かれればそれでいい」 1 名前： キムチ鍋(愛知県)：2011/01/01(土) 17:08:11.53 ID:eLCRV8Ca0 ?PLT 2011年1月1日の東京スポーツに、森永卓郎氏と勝間和代氏の対談が掲載された。 「日本は他国のように金を使わないで人生を過ごす価値観がないんですよね」と森永氏は言う。その例として、貧しい学生がディズニーの年間パスポートを買うこと、六本木ヒルズに住む富裕層の消費行動、自宅にウォーターサーバーを置くことがかっこいいと思っている人々を挙げる。それに対して森永氏は、空のペットボトルを持ち歩いているという。ウォーターサーバーがある会社や事務所で、水を補給しているそうだ。 これまでは節約のために、安い食べ物で不健康になり、結果として医療費も高くついていたと
実家帰ってみたら父親が都条例規制に思いっきり絡んでた件について（´・ω・｀）
カッチャマン@アブソリュートゼロ @katwandm そーえば、半年以上振りくらいに実家帰ったら超衝撃の新事実が発覚した（´・ω・｀）新年早々お年玉代わりにしばらくTL汚染開始 カッチャマン@アブソリュートゼロ @katwandm 実家での冬眠中に、あずまんの「後でTwitterでブロックするのが大変 (`・ω・´)ｷﾘｯ」みたいな声が聞こえてテレビ見たら朝生がやってたんだけどその時に発覚した事実。親父が、都条例規制に思いっきり絡んでたww６月に流れたからって民主党に根回ししてたって抜かしおったwwww カッチャマン@アブソリュートゼロ @katwandm いやさー、ボクが小学校の頃にPTA会長やってて、その後もずっと教育関係で色々とパイプ作ってたみたいだからよく考えたらおかしいことじゃなかったんだよなぁ。まさかこんな身近なところに敵がいたとわ（´・ω・｀）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NHKアニメワールド 「かみちゅ！」
アニメ会社にお金が落ちるシステムを考えてみた。
泣いた on Twitpic
ジンバブエ政府のWebサイト、WikiLeaks支持者によりDDoS攻撃を受ける | スラド YRO
JavascriptVMに多数の言語： CoffeeScript 1.0, StratifiedJS, EmscriptenによるC/C++, Python
スケジュール調整ツール『トントン』
https://jp.techcrunch.com/2011/01/01/jp20110101linkedin_might_launch_jp_version_in_2011/
