代数的データ型と準同型写像 - プログラムモグモグ
最近考えていることを述べます. 代数的構造と準同型写像に関する考察です. 特に必要な知識は無いつもりですが, Haskellのコードを読めると嬉しいです. import Prelude hiding 以下のものを隠しておいて下さい. import Prelude hiding ((+), (++), length, True, False, Bool) 自然数とリストの定義 まず, 自然数(非負整数)とリストの定義からスタートします. data Nat = Zero | Succ Nat deriving (Show, Eq) 自然数はこんな感じです. ペアノの公理ですね. ここでは, 表示できるようにShowクラスのインスタンスとして自動導出しています. 更に, 同値であるか調べられる, という意味で, Eqクラスの自動導出もしています. ここで注意していただきたいのは, 名前が重要では
どこへさんぽ・なにをさんぽ:NHK紅白・レディー・ガガの歌詞字幕について
昨夜のNHK紅白にレディー・ガガが映像で出演し話題をさらいましたが、私の周辺では、歌詞の日本語訳字幕が実際の歌詞の意味を正しく伝えていないことに話題が集中しました。 少し前にテレ朝のミュージックステーションにガガが出演し、そのときの訳詞が日本ではまだ受け入れる人の多くない言葉を正確に伝えていたこともあります。 問題の部分の元の歌詞は Whether you're broke or evergreen（あなたが無一文でも、大金持ちでも） You're black, white, beige, chola descent（黒人でも、白人でも、ベージュでも、チョーラの系統でも） You're lebanese, you're orient（レバノン人でも、東洋人でも） Whether life's disabilities （もし人生に障害があって） Left you outcast, bull
次回 シン・エヴァンゲリオン劇場版
企画・原作・脚本／庵野秀明 総作画監督／錦織敦史 作画監督／井関修一、金世俊、浅野直之、田中将賀、 新井浩一 副監督／谷田部透湖、小松田大全 デザインワークス／山下いくと、渭原敏明、 コヤマシゲト、安野モヨコ、高倉武史、渡部隆 CGIアートディレクター／小林浩康 2DCGIディレクター／座間香代子 CGI監督／鬼塚大輔 CGIアニメーションディレクター／松井祐亮 CGIモデリングディレクター／小林学 CGIテクニカルディレクター／鈴木貴志 CGIルックデヴディレクター／岩里昌則 動画検査／村田康人 色彩設計／菊地和子（Wish） 美術監督／串田達也（でほぎゃらりー） 撮影監督／福士享（T2 studio） 特技監督／山田豊徳 編集／辻田恵美 テーマソング／「One Last Kiss」宇多田ヒカル（ソニー・ミュージックレーベルズ） 音楽／鷺巣詩郎 声の出演／緒方恵美、林原めぐみ、宮村優子、
まとめたニュース:【画像あり】いきものがかり吉岡聖恵のジャンプ力が凄い件
2011年12月31日 【画像あり】いきものがかり吉岡聖恵のジャンプ力が凄い件 Tweet 1 ： 名無しさん＠涙目です。(氷川神社)[依頼79] ：2011/12/31(土) 11:38:10.01 ID:zWhws/Ys0 BE:538268843-PLT(12000) ポイント特典 紅白リハ ：いきものがかりが登場 対戦相手が五木ひろしで「両親が喜んでいる」 大みそかに放送される「第62回NHK紅白歌合戦」のリハーサルが29日、「NHKホール」（東京都渋谷区）で行われ、3人組の「いきものがかり」が登場した。ボーカルの吉岡聖恵さんは「紅白は（何度出場しても）慣れない。今年は“地元”横浜で2デイズできてうれしかった。いきものがかりって感じな1年でした」と今年を振り返った。 紅白について吉岡さんは「紅白は小さいときから家族で見てた。いろんな番組出ましたけど紅白が一番年齢が幅広く、見て
リア充になれない本当の理由
(1/2：コメントに返信追記) さっきFacebookを見たら、知り合いの女の子が梅田で数人ではしゃいでいる写真がアップされていた。 率直な感想が、「うわ、うらやまし」だった。 というのも、その間自分がしていた事は家のパソコンで一人画像を見ながらオナニーだったから。 このギャップ。現実のギャップに落ち込む。リア充への憧憬は隠せない。 これは確かなことだ。嘘はない。でも、なんか違うんだよな。本当のことを言うと、違う。なかなか理解されないけど、この憧れというのは、「自分もその場に居合わせたい！」という願望ではない。「自分も女の子と一緒にはしゃぎたい！」というのとは、実際は違う。そこに落ち込んでいるのではない。リア充と僕の隔絶は、そこではない。 僕は、リア充にはなれない。それは、「土曜のこの時間に女の子と一緒にはしゃいでおらず画面を見ながらオナニーしてるから」ではないのだ。そして、僕がリア充に憧
Amazonほしい物リストを一緒に編集しましょう
商品に購入済みのマークを付けるには、以下の情報を入力します。 このリストの所有者は、自分自身で購入を試みない限り、その商品が購入されたことが分かりません。
こてさきAjax:WebSocketから、これからのWebを予想してみる - livedoor Blog（ブログ）
WebSocket が、12月12日についにRFCになりました（RFC6455)。テキスト転送だけでなく、バイナリー転送もサポートされ、コネクションをキープするための ping/pongなどコントロールフレームも定義されました。rfcになる過程で様々なバージョンと、その実装系が出ていますので、そこのネゴシエーションの仕組みが入っていたり、以前は割と自由に使えそうだった subprotocolが、IANAにレジストレーションが必要になったりと、なかなかしっかりしたプロトコルに仕上がっている印象です。 さて、今年最後となる、今日のポストでは、このWebSocketにより、今後のWebはどうなっていくのかについて、僕が最近感じている妄想を書き連ねてみます。 WebSocketとは、いったい何なのか？ さて、WebSocketとは、いったい何なのでしょうか？この問に対して、一般的には、 WebでP
課長の告白
「私は君たちを性の対象としてしか見ることができない。申し訳ない」 そう言って課長は、会議室に集めた女性社員たちに深々と頭を下げた。「課長、頭を上げてください」 女性社員のひとりが声をかけたが、課長は「頭を上げることはできない。本当に申し訳ない」と頭を下げ続けた。 「課長、私こんな話聞きたくありませんでした。幻滅です」「私もです」「課長、最低！」 女性社員たちは口々に嫌悪感をあらわにした。「大体どうしてこんなことを……」 それはもっともな疑問だった。しかし課長は頭を下げながら「申し訳ない」と繰り返すばかりで、疑問に答えることはなかった。 「一体何の騒ぎかね、これは」 会議室の入口に部長が立っていた。部長は女性社員に囲まれ頭を下げる課長の姿に眉をひそめた。「説明してもらおうか」 低く威厳のある声が会議室に響いた。しかし課長は頭を下げたまま黙っている。不穏な空気が会議室に漂い始めていた。 「君、
impress.js | presentation tool based on the power of CSS3 transforms and transitions in modern browsers | by Bartek Szopka @bartaz
impress.js is a presentation tool based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.Your browser doesn't support features required by impress.js, so are presented with simplified version of this presentation. For the best experience please use latest Chrome or Safari browser. Firefox 10 and Internet Explorer 10 should also handle it.
偽物語 公式サイト 第十一話 つきひフェニックス 其ノ肆 WEB限定予告映像
◆15/12/02偽物語 ドーナツ風呂の忍野忍フィギュアが登場！ ◆15/07/05偽物語＆猫物語(黒) BD BOX 60秒CM公開！ ◆15/06/187/8発売「偽物語＆猫物語(黒)Blu-ray Disc BOX」のイラストを公開！ ◆15/06/187/7～8 JR秋葉原駅にて今年も七夕展示イベント実施決定！ ◆15/06/01偽物語＆猫物語(黒) BD-BOX 特典絵柄公開！ ◆15/03/04偽物語＆猫物語(黒) BD-BOX 発売決定！ ◆13/08/01「物語シリーズ」グッズ情報更新 ◆12/12/21「偽物語」グッズ情報更新 ◆12/12/17「偽物語」グッズ情報更新 ◆12/11/30「猫物語(黒)」公式サイトオープン ◆12/11/27アニプレックス★モバイルにクリスマスプレゼントキャンペーン開催中！ ◆12/10/29西尾維新祭 応募締切迫る！ ◆12/10/29
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Documentの入力欄を僕達はまだ知らない。
セツナブルースター - エレジー
お前らが会社で放置している爆弾:【2ch】ニュー速VIPブログ(`･ω･´)
年明け蕎麦です - December 31, 2011 - aereal's photo on picplz