WILCUME! Þis is seo Englisce Wikipedia. Þeos Wikipædia hæfþ 4,584 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

Ü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

寒波に備えよ！2024年冬支度 急に冬になった。毎年のことだけど急すぎる。 令和になったぐらいから、9月以降季節の変わり方が夏！夏！夏！夏！あ、秋？いやまだ夏！夏！ついに秋？秋か‥？いやまだ夏だ！秋？お、ついに秋だ！…はい秋終わりました冬で～～～～す！みたいな、そういう急さがある。 秋…

2005年に製作されたものの、5年間お蔵入り状態になっていたオムニバスホラー 『オボエテイル』のポスター。ポジフィルムおよびスチール素材を製作会社が紛失したため、 画面から抜いたシーン画像とイラストの合成で作られている。 （c）2005(株)ベルウッド 年末年始は映画館がもっとも賑わう稼ぎどきだが、映画界から明るいニュースがなかなか発信されない。映画ファンから長年支持されてきた恵比寿ガーデンシネマが1月28日に閉館するのに続き、シネセゾン渋谷も2月の閉館を予定している。2010年6月には渋谷シネマライズが3スクリーンから1スクリーンに縮小。都内で個性を競い合ってきたミニシアターが厳しい状況に追い込まれている。また、邦画バブル以降、年間400本以上も公開されている日本映画だが、興収成績の上位は『踊る大捜査線 THE MOVIE3 ヤツらを解放せよ！』『THE LAST MESSAGE海猿』と

日本のアニメ会社は「BD・DVDの売り上げ」によって利益を得ている。ぶっちゃけ自転車操業火の車。アニメ研所属で、アニメが好きだけどそこまでは見ない、でも日本のアニメ業界に続いて欲しいと思う俺が少しでもアニメ会社にお金を落としていい方向に回る方法はないかな、と考えてつぶやいてみた。および俺の周りの人との会話。「俺の考え」が中心においてあるので「一般オタク」とはズレが大きいかも。

グルーポンおせち騒動で、「バードカフェ」社長が辞任発表 1 名前：名無しさんφ ★：2011/01/02(日) 14:54:03 ID:???0 共同購入サイト『グルーポン』で注文すると21000円のおせち料理が10500円になると話題になり500件の注文を受けた『バードカフェ』。しかしその注文の多さに対応出来ず送られてきたおせち料理は見本とは全然違う物になっているとネット上で騒がれている。騒ぎはまだ収拾が付かず、現在もネットを中心に炎上気味だ。 そんなおせち料理を販売したのは株式会社外食文化研究所の『バードカフェ』。代表は水口憲治氏で既に自身のブログや『Twitter』でも謝罪がおこなわれている。そんな水口憲治氏のブログを見てみると気になる一文が書かれていた。 「この責任は2011年１月１日をもちまして株式会社外食文化研究所の代表取締役を辞任することと相成り、引き続きこの件でご迷惑をおか

一番上から時計回りに、何となくかまぼこ、何となく黒豆、何となく昆布巻き、何となく栗きんとん、何となく数の子、何となくレンコン、何となく海老、何となくだし巻。中央にあるのはただの泥とみられる。 家族一同が食卓を囲む幸せな正月の風景が散々なことに――。各家庭それぞれの食材や味つけが魅力のおせち料理。だが昨今では「年に一度のぜいたく」として有名料理店が監修、販売を手がけるおせちを注文する家庭も増えてきた。そんな「取り寄せおせち」をめぐるトラブルが大みそかから元日にわたって相次ぎ、問題となっている。 仙台市に住むＡさん（女性・仮名）宅に取り寄せおせちが届いたのは、大みそかの夕方６時。全国的に有名な料亭が監修、１セット３万８千円、インターネットで予約を開始して５分で売り切れた豪華おせちを受け取ったＡさんは、開封してすぐ言葉を失った。ボール紙でできた重箱の中に入っていたのは、おかゆのようにドロドロにな

Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...

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」をクリッ

移動しました。 http://ginpen.com/2011/01/01/begin-js/

今回のおせちの件、グルーポンは悪くない、という人が結構いることに驚き。 グルーポンは、店から広告料をもらってクーポンを「タダで配布」しているのではないよね。クーポンを「有料で販売」しているわけだ。そのクーポンの価値はほとんど金券に等しくて、何％オフで、本来の価値を提供することを保証…少なくとも買った客には期待させているものだよね。言い換えると、１万円のチケットを５０００円で売っているようなもので、それが実際には５０００円の価値しかありませんでした、というのは羊頭狗肉みたいな。 グルーポンはお店にとっては従来のクーポンマガジンと同様に、宣伝料を払っているだけのイメージかもしれない。だから、そのサービス内容が本来のものと違っても問題なかろうと考えてしまうかもしれない。でも、それは大間違いで客にとってみれば、本来の額面の価値があるからこそ、お金を出してクーポンを買うわけだ。そのクーポンは、先の例

カッチャマン@アブソリュートゼロ @katwandm そーえば、半年以上振りくらいに実家帰ったら超衝撃の新事実が発覚した（´・ω・｀）新年早々お年玉代わりにしばらくTL汚染開始 2011-01-01 15:44:34 カッチャマン@アブソリュートゼロ @katwandm 実家での冬眠中に、あずまんの「後でTwitterでブロックするのが大変 (`・ω・´)ｷﾘｯ」みたいな声が聞こえてテレビ見たら朝生がやってたんだけどその時に発覚した事実。親父が、都条例規制に思いっきり絡んでたww６月に流れたからって民主党に根回ししてたって抜かしおったwwww 2011-01-01 15:45:07 カッチャマン@アブソリュートゼロ @katwandm いやさー、ボクが小学校の頃にPTA会長やってて、その後もずっと教育関係で色々とパイプ作ってたみたいだからよく考えたらおかしいことじゃなかったんだよなぁ。まさ