「第7回オフラインリアルタイムどう書くの問題」を解いていて気がついたこと、学んだことを明日のじぶんのために、記録。 のんびり座りたい 〜 横へな 2013.2.2 いろいろ問題をコネているうちに、この問題はパタンマッチングで解けることに気がつきました。正確に言うと、最初にC++で解いたコードを読み直していて、パタンマッチングとバックトラッキングそのものだということに気がつきました。 マッチングに失敗したら条件を替えてもう一度最初からマッチングを試みる、というバックトラッキング。 以下、C++とPrologとHaskellでどうするか、整理してみたものです。 設問 まず、パタンマッチングの部分だけが見やすくなるように、「どう書く」の問題からいろいろ取り去ってより簡単な問題を作りました。 要素を格納する順序付きのコンテナを考える。先頭の位置は0とする。 コンテナ中にある指定された要素が3つ連続

森瀬 繚＠セーフモード @Molice 「読みました！面白かったです！」とTwitterで声をかけてくれるのは大変嬉しいです。 http://t.co/fqrQPqVpで☆をいっぱいつけたレビューを書いてくださるともっともっと嬉しいです。（本を書いて暮らしている人の本音） 2013-02-12 06:53:28 森瀬 繚＠セーフモード @Molice 読者の方がある本（文章）に対して抱いたプラスの感情は、Twitterなどで直接書き手にそれを伝えることで、昇華しがちです。マイナスの感情を抱いた方の多くはそれをしません。でも、何かしらのところに吐き出したい－－そこで、blogやamazonレビューなどに向かうことがままあります。 2013-02-12 06:54:25 森瀬 繚＠セーフモード @Molice 僕がamazonで本を買う時、☆の少ない評価がついているとついつい見に行きます。その

【画像あり】BANKSYのグラフィティアート凄すぎｗｗｗｗｗ Tweet 1：以下、名無しにかわりましてVIPがお送りします：2013/02/06(水) 00:13:47.25 ID:kJXAdQ6J0 ◆バンクシー - wikipedia 2：以下、名無しにかわりましてVIPがお送りします：2013/02/06(水) 00:14:44.69 ID:kJXAdQ6J0 3：以下、名無しにかわりましてVIPがお送りします：2013/02/06(水) 00:18:53.01 ID:kJXAdQ6J0 4：以下、名無しにかわりましてVIPがお送りします：2013/02/06(水) 00:19:36.51 ID:kJXAdQ6J0 5：以下、名無しにかわりましてVIPがお送りします：2013/02/06(水) 00:20:27.84 ID:kJXAdQ6J0 7：以下、名無しにかわりましてVIPが

博物館にあるものといえば、まず思い浮かべるのが動物の骨や剥製、ピンで留められた昆虫標本。しかしその標本がどこから来てどうやって作られているのか、何の役に立つのかについては知らないことばかり。そんな気になる博物館の裏側を凝視できる企画展示「博物館の標本工房 Atelierum specimum animalum in museo」に行ってきました。 標本工房が開催されているのは、神奈川県立生命の星・地球博物館。神奈川県博とか地球博とか呼んでいますが、略称というか愛称はあるのだろうか。夏の大トンボ展に続き、来るのは3回目です。箱根の一歩手前なので都内からでもすごい旅行感があり、魅力的な終点名をかかげた特急もたくさん見られるので、いつも博物館に行ったその足で逃避行したくなる難儀な立地です。 標本の奥深い世界 いつ来てもこのエントランスは楽しくなっちゃうな〜 特別展示室の前には、ゆっくり回転してい

なんかサービス中止になっちゃったようですが…。 「Amazonガチャ」終了　「迷惑をかけた責任を取る」 http://www.itmedia.co.jp/news/articles/1302/08/news106.html 学生ベンチャーが面白Webサービス「Amazonガチャ」を始めたようです http://bylines.news.yahoo.co.jp/yamamotoichiro/20130205-00023347/ Bear Tail ホーム http://beartail.jp/ 世の中には、たかがイベントをやるのにもブーたれて、少しいじると「いじめだ」とキレるカスもいる中で、おいしくない福袋的な面白サービスを思いつきでも実現に結び付けられる人たちがいるというのはいいことだと思うんですよね。 どうも「迷惑をかけた」ということのようなんですが、本当に議論になるのはamazonの商

IBM PC（1981年登場）およびIBM CGAモニタ、IBM PCキーボード、IBM 5152プリンタ。 1981年に参入したIBMのパーソナルコンピュータ IBM PC（通称。単に「PC」とも。のちの互換機と区別して「Original PC」とも。品名「IBM Personal Computer」、型番「5150」）の登場と共に16ビットCPU時代の幕開けを迎えた。IBM PCは同時代の水準としても既に特別に高性能なコンピュータではなかったが、何よりもコンピュータ業界で圧倒的な知名度を得ていたブランド力でビジネス市場で大成功を収めた。オープンアーキテクチャすなわちハードウェア仕様を公表していたので、他のメーカーやベンダーもIBM PCの互換機を発売し、IBM PC互換機市場というものが形成され、その市場は急速に拡大して行った。IBMは続いてハードディスク装置を内蔵したPC/XT、さら

デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基本用語を知りたいときはコチラ、… って、……、ゴメン！[/追記] 内容： はじめに 本の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使

※上記の名前付けは一般的なものではなく、今回の解説用に定義した名前です。（Displayクラスのサイズといえばどれもディスプレイサイズということになるため、わかりやすさを優先して図示しました) 特にステータスバーとナビゲーションバーは端末ごとカスタマイズされている可能性もあるため、動的に取得するのが望ましい項目と言えるでしょう。しかしながら、直接この2つの高さ情報を取得するAPIは存在していません。踏み込んで解説するならば、これらはアプリケーションの領域外でありアプリが気にする必要はなく、気にしないでいられるデザインやレイアウトを検討すべきである、という設計思想がうかがえます。設計思想を尊重するならば、このあと解説するAPIをなるべく使わないでいいように工夫できると機種依存の苦悩から解放されるでしょう。 取得する方法は続きから ナビゲーションバーを除いたディスプレイサイズを取得する ディス

東芝ライテックは2月8日、独自に開発した有機EL照明器具をファミリーマートの新規店舗「ファミリーマート船橋金杉店」（千葉県船橋市）に設置すると発表した。 独自開発した透過型片面発光パネル。消灯時は光を透過し、点灯時には店内側だけが発光する仕組みだ。店内窓際のカウンターテーブルに沿って設置するため、外からは“窓が店内を照らしている”ように見えるという。「有機ELならではの新しい照明のカタチを提案する」（同社）。

おやつの新ジャンルとして、デザートトーストというのを提唱したい。 デザートトーストというのは、アラビア半島にくらす砂漠の民（デザートピープル）・ベドウィン族が主食としている、小麦粉を練って中華鍋のような形をした鉄板で焼いた料理のこと。ではない。 食パンにコンビニデザートを塗って、焼いたものだ。 インターネットユーザー。電子工作でオリジナルの処刑器具を作ったり、辺境の国の変わった音楽を集めたりしています。「技術力の低い人限定ロボコン（通称：ヘボコン）」主催者。1980年岐阜県生まれ。 本『雑に作る ―電子工作で好きなものを作る近道集』（共著）がオライリーから出ました！ 前の記事：街路樹に名札がついている国、日本 ＞ 個人サイト nomoonwalk

「実質無借金企業になった」。サンリオの江森進常務は財務体質の改善を強調する。小売事業が中心だった時代に店舗の内装費用などで有利子負債が膨らんだが、2012年末時点で手元の現預金が有利子負債を上回った。好採算の版権事業を強化し、欧米のアパレル企業などから受け取る「ハローキティ」の

サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。

2013年02月11日20:33 カテゴリエネルギー 非在来型ウランの埋蔵量について きのうのG1サミットの内容が関係者にいろいろな反響を呼んでいるの、少し補足説明をしておく（テクニカル）。 放送でもいったことだが、核燃料サイクルの問題は技術ではない。高速増殖炉の技術に大きな問題があるわけではない。もんじゅの事故は単なる配管の破断であり、原子炉そのものに欠陥があるわけではない。致命的な問題は、採算性である。河野太郎氏も指摘したように、もんじゅや六ヶ所村のプラントには想定をはるかに超えるコストがかかって実用化が40年後に遅れているばかりでなく、そもそも再処理の目的である高速増殖炉(FBR)が経済的に意味をなさないのだ。 FBRはプルトニウムを燃料にしてそれより多くのプルトニウムを生み出す「夢の原子炉」といわれていた。1970年代に核燃料サイクルの計画が始まったときは、ウランの埋蔵量が数十年し

いよいよ、本格的な花粉症シーズンが到来。昨年より数倍の飛散量が予想され、今年、花粉症デビューという方も少なくないはず。 花粉シーズンともなれば、少なくとも1か月以上の薬の服用も仕方ない......そんな時こそ、症状を緩和させるため、即効性も期待できると言われる「漢方薬」を取り入れてみてはいかがでしょう。 漢方の考えでは、花粉症は、体表面を取り囲むバリア機能を持つ「気」が不足し、免疫異常をきたすことにより起こると考えられています。呼吸器系の「肺」や、その親子関係にある、消化機能系の「脾」が弱い人も花粉症に悩まされることが多いと考えられているようです。 そのため、花粉症を改善するには、根本的な体質改善が必要としますが、それには時間がかかることも......根本的な体質改善は漢方の得意とするところですが、意外にも、悩んでいる症状を治療することを指す、標治（ひょうち）においても、実力を発揮すること

Hiromitsu Takagi @HiromitsuTakagi 今日の新聞朝刊は各紙（読売、朝日、産経、毎日、日経、東京新聞）とも1面と社会面で遠隔操作事件を扱っている。全部を読んでまとめてみるに、今のところ根拠となっているのは、①江ノ島の防犯カメラに猫と戯れる姿が写っていた。②その日バイクで江ノ島あたりから東京方面に移動した記録がある。③… 2013-02-11 09:36:56 Hiromitsu Takagi @HiromitsuTakagi …③11月下旬に雲取山方面へ車で移動した記録がある。④8月のコミケ殺害予告書き込みのとき、派遣先会社のPCからコミケ関連サイトへアクセスした履歴がある。⑤またそのとき、派遣会社のPCでTorを使用した記録がある。 以上の点らしい。 2013-02-11 09:37:40 Hiromitsu Takagi @HiromitsuTakagi 一

あきまんPLAMAX「GODZ ORDER」神翼騎士団 @akiman7 イラストレーターのあきまんです。スト２、∀ガンダムのキャラ、Gセルフやコードギアスのロボデザイン、スターオーシャンアナムネシス、最近ではマックスファクトリーさんと「GODZ ORDER」という美少女プラモデルの企画を立ち上げました！[email protected]　 良いお仕事は常に募集中です〜☺️ fantia.jp/fanclubs/19791 ストリートファイターII 『ストリートファイターII』（ストリートファイターツー、Street Fighter II）は、 カプコン制作の対戦型格闘ゲームで、『ストリートファイター』の正統続編。 通称『ストII』。1991年にアーケードゲームとして登場し、爆発的ヒットを記録した。 今日の対戦型格闘ゲームの雛形となり、多くのフォロワーを生み出した。 また、多くの続編、ゲーム