オブジェクト指向＆関数型言語でなぜつくるのか
今回の改訂第2版では、「第13章 関数型言語でなぜつくるのか」と題して関数型言語を解説する文章を書きました。 関数型言語は当初2-4ページぐらいのコラムで解説するつもりでしたが、実際に書いてみるとその程度のボリュームでは具体的なことはほとんど伝えられなかったため、専用の章を立てて本格的に解説することにしました。 ここでは、第13章を記述するに当たって作成した資料を掲載します。 Haskellの型システム Haskellには代数データ型と型クラスという仕組みがあります。モナドはこの2つの仕組みを利用しているため、モナドを理解するためにはこの2つを理解する必要があります。 「UMLモデリングレッスン」風に、概念モデルで表現すると次のようになります。 代数データ型（概念モデル） 以下に示すのは代数データ型の概念モデルです。 型クラス（概念モデル） 型クラスは、アドホック多相を実現するための仕組み
建築とかあれこれ
故飯山一郎のブログ、掲示板、Twitter等につきまして。←注意喚起 http://kinokokumi.blog13.fc2.com/blog-entry-18083.html 故飯山一郎のブログ、掲示板等が匿名者によって 更新・管理されている事について思うところを書いたところ、 2021年2月末、この匿名集団の1人と思われる男が 家の前に立ち不審な行動にでました。 匿名のまま故飯山一郎のファンの個人情報をあさる行為は 許される事ではありません。 故人の主義主張を捻じ曲げる行為も許される事ではありません。 責任あるご対応を。 当り前ですが、これは「通販」に付随する業務です。冊子を申し込んだ相手全員に 詫びを入れ、氏名と住所を知らせましょう。 飯山一郎に命名されたハンドルネームはこれです↓ https://archive.ph/X3AYi 発酵マニアのきのこちゃんの パラレルワールドへよう
痴漢取締り担当の巡査長 痴漢の疑いで逮捕 NHKニュース
神奈川県警察本部の鉄道警察隊に所属し、痴漢の取締りなどを担当していた３０歳の巡査長の男が、２８日夜、平塚市の駅前の駐輪場で１９歳の女性の体を触ったとして逮捕されました。 逮捕されたのは、神奈川県警察本部の鉄道警察隊の巡査長、長崎裕憲容疑者（３０）です。 警察の調べによりますと、長崎巡査長は２８日午後１０時半すぎ、ＪＲ平塚駅前の駐輪場で１９歳の女子大学生に後ろから近づき体を触ったとして、県の条例違反の疑いが持たれています。 被害者が悲鳴を上げたため、巡査長は現場からおよそ５０メートル走って逃げましたが、近くにいた男性に取り押さえられたということです。 調べに対して「被害者に悪いことをした」と供述し、容疑を認めているということです。 巡査長は、鉄道警察隊で電車内での痴漢の取締りなどを担当していましたが、当時は勤務を終え、同僚と酒を飲んで帰宅する途中だったということです。 神奈川県警察本部の小清
名誉毀損で刑事告訴しました - warbler’s diary
※ネットにおける執拗な誹謗中傷行為に悩まれている方達の参考にもなると考え、刑事告訴までの経緯をUPします。 今年の４月半ば以降、「きのこ組組長」を名乗る人物から一方的な事実無根の中傷と罵倒を中心とする嫌がらせ行為が続いていました。 「きのこ組組長」によるツイッターを介した嫌がらせは、10月7日にツイッター社から彼女のアカウントが凍結されるまで続きました。 以下のグラフは2014年3月1日から10月7日までの記録です。 この期間にツイートされた 、 「きのこ組組長」の「kumikokatase」または「片瀬」を含むツイートは850件、@kumikokataseを含むツイートは639件ありました。 そのほぼ全てが私への罵倒や揶揄、中傷による嫌がらせを含むものです。 「きのこ組組長」のブログにおける片瀬久美子に対する中傷記事（中傷記事をリンクしている記事も含む）の3月1日から10月27日までの記
幸福の科学大 設置認められず - NHK 首都圏 NEWS WEB
栃木県の学校法人が来年４月に設置を目指していた「幸福の科学大学」について、文部科学省の審議会は宗教法人の創立者の思想をベースにした必修科目を設けるなど、一般化・普遍化されていることが求められる学問の要件を満たしているとは言えないとして、設置を認めないと答申しました。 これに対し、学校法人側は「詳細を確認をした上で今後の対応を検討したい」としています。 文部科学省の審議会の答申によりますと、設置を認めないとされたのは、栃木県那須町の学校法人が来年４月に千葉県長生村に開校することを目指していた「幸福の科学大学」です。 答申では、この大学が関連する宗教法人の創立者の思想をベースにした必修科目を設けるなどとしており「学問は科学的根拠を持って一般化・普遍化されていることが求められるが、その要件を満たしているとは言えず大学の目的を達成できるとは考えられない」として、大学の設置を認めないと答申しました。
FINDJOB!終了のお知らせ | FINDJOB!
FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ
mineo （マイネオ）
mineoの特長 mineo（マイネオ）や格安スマホサービスがはじめての方へ はじめての方へ 格安スマホサービスの中でも選ばれるのには理由があります！ mineoが選ばれる理由
女主人公でも売れたライトノベルは結構ある : わなびニュース
『最近の男性向けラノベに女性主人公が少ない理由』（元のTogetterは削除されてます）を皮切りにn年ぶりn度目の「女主人公NG論」がプチブームになっております。 当ブログでも「週刊少年漫画の傾向からライトノベルで女性主人公が少ない理由を考えてみる」という記事を書きましたが、第二弾。 女主人公は売れないと思いこんでる人向けにここ10年位で売れた女主人公ライトノベルをまとめてみました。 売れた、の基準は分かりやすくアニメ化にしています。 スレイヤーズ以外にも売れた女主人公ライトノベルは結構あるよ！ 1.狂乱家族日記（日日日） 「その醜くも穢れきった指先で凶華様のたおやかな御腕を掴むという冒涜行為を今すぐやめろこのユダ的背徳者」ある日、凰火が出会ったのは、罵詈雑言をまき散らすネコミミ、シッポつきの可憐な少女だった。食べ物を掠め取り、大勢の警官に追われるこの人外少女・凶華は一体何者？ そして―凰
AngularJSでMVCプログラミングをはじめよう
対象読者 jQueryなどを使っているJavaScript開発者 JavaScriptを使った複数人でのプロジェクトに参加している方 JavaScriptを使ってサーバ等と連携したフロントエンドの開発をしている方 必要な環境 この記事では、AngularJSを使用し、Chrome（36.0）、IE11、Firefox（31.0）、Safari（7.0.5）の環境で確認を行っています。 サンプルアプリケーションの概要 今回作成するアプリケーションは、単純な「タスク管理」のアプリケーションです。次のような3つの画面を作ります。 タスク（件名とメモ）を登録する画面 登録したタスク一覧を表示する画面 登録したタスクを参照する画面と、削除する為の画面 ページ遷移はシングルページアプリケーション形式で作成します。シングルページアプリケーションとは、jQuery Mobileなどでも使われている方式であ
グーグル、「Google Fit」を「Android」端末向けに提供開始
Google I/O 2014で初めて発表された「Google Fit」が、ついに「Android」ユーザーに提供開始された。 Androidアプリとして提供されるこのクライアントは、ウォーキング、ランニング、サイクリングなど多数のユーザー活動を追跡する。Google Fitは、ユーザーが所有するAndroid端末の内部に隠された各種センサの潜在能力を活用するように設計されており、フィットネスの目標設定に役立つ。Googleによると、ユーザーは同デバイスを装着している限り、自分の進捗状況を追跡できるようになるという。 Googleのオープンな精神に従い、Google Fitは、「Runtastic」「Runkeeper」「Strava」といったアプリとうまく連動する。また、心拍計や「Android Wear」スマートウォッチといったハードウェアやアクセサリ製品と統合することもできる。 Go
Platform Overview | Google Fit | Google for Developers
Send feedback Platform Overview Stay organized with collections Save and categorize content based on your preferences. Google Fit is an open ecosystem. It lets developers upload health and wellness data to a central repository where users can access their data from different devices and apps in one location. They can still access their data if they upgrade to a new device. Your health and wellness
Testable Hubot - TDDでテストを書きながらbotを作る
Forkwell のエンジニアの1人、正徳です。先日、入社した馬です。 最近Hubotでbotを作り始めて、朝会を通知させたり、Github Issueの件数を喋らせたり、と遊んでいます。 Hubotの記事はググればたくさん出てきて、喋らせるのはとても簡単です。ところが「Hubotでテストを書く方法」となると、情報がほとんど出てきません。 ChatOpsをやっているエンジニアが、まさかテストコードを全く書かずにbotを開発してる訳がないと思いますが、不思議と記事が見つかりません。 先人のブログなどが無かったので、自分で四苦八苦しつつ、なんとかTDDでHubot開発できる環境が作れたので、ブログにまとめてみました。 目次 Hubotでbotを作る方法 テスト用にモジュールを入れる mocha の実行方法 greet のテストを書く cron のテストを書く time モジュールを使っている
Google、Android／Android Wear向けフィットネスアプリ「Google Fit」とSDKを公開
米Googleは10月28日（現地時間）、6月のGoogle I/Oで発表したヘルスケアプラットフォーム「Google Fit」のAndroid向けアプリを公開した。Android搭載のスマートフォンとタブレット、Android Wear搭載のウェアラブル端末で利用できる。 Google Fitは、フィットネスアプリやウェアラブル端末を開発するためのオープンプラットフォーム。GoogleのGoogle Fitアプリは、携帯する端末でウォーキング、ランニング、自転車でのアクティビティを記録し、設定した目標の達成度を確認できる。このアプリでできることは（少なくとも初版では）あまりないが、サードパーティー製の端末やアプリのデータを統合してまとめて表示できる。
HTML5勧告–オープン・ウェブ・プラットフォームの重要なマイルストーンを達成
安定した基盤上で、次世代のウェブテクノロジーを構築 Read below what W3C Members have to say about HTML5 2014年10月28日(アメリカ)： ワールド・ワイド・ウェブ・コンソーシアム(W3C)は、ウェブページやウェブアプリケーションを構築する際に使用されるフォーマットHTMLの第5版であるHTML5を勧告として公開し、オープン・ウェブ・プラットフォームの礎を築きました。HTML5は、アプリケーション開発者やアプリケーション産業がこの先何年に渡って信頼するに足る、アプリケーション開発のための機能を提供します。HTML5は今や幅広いデバイスで、そして世界中のユーザが利用可能であり、かつ豊富な機能を持つアプリケーションの開発コストを削減します。 W3Cディレクターを務めるティム・バーナーズ＝リーは、「ビデオやオーディオをブラウザ上で見たり、ブラ
アンタレス・ロケット、打ち上げに失敗 離昇直後に爆発 | アンタレス | sorae.jp
Image credit: NASA オービタル・サイエンシズ社は10月28日、シグナス補給船運用3号機（Orb-3）を搭載したアンタレス・ロケットの打ち上げに失敗した。 ロケットは米東部夏時間2014年10月28日18時22分（日本時間2014年10月29日7時22分）、米ヴァージニア州にある中部大西洋地域宇宙港（MARS）の0A発射台から離昇した。しかしその数秒後にエンジン付近から爆発を起こし、そのまま発射台の上に墜落した。 発射台周辺では大きな火災が広がっており、現在も消火活動が続いている。なお、けが人は現時点では確認されていないとのことだ。 シグナスOrb-3には、国際宇宙ステーション（ISS）への補給物資として、2,290kgの水や食料、実験機器などが搭載されていた。今回の失敗により、ISSに滞在している宇宙飛行士の活動に影響が出るかはまだ不明だ。 原因はまだ明らかにはなっていな
多腕バンディットによる表示コンテンツの最適化 - クックパッド開発者ブログ
こんにちは。技術部検索グループの原島です。 上の画像は、スマートフォン（ブラウザ版）で見たクックパッドの検索結果ページです。レシピだけでなく、ニュースも表示されていますね。献立や掲示板のスレッドなどが表示されることもあります。 クックパッドでは、検索結果ページに表示するコンテンツをクエリなどに応じて最適化しています。最適化は、膨大なログデータと最新の機械学習を用いることで、実現しています。このエントリでは、クックパッドにおけるコンテンツ最適化の裏側を紹介します。 最適化の背景 スマートフォンの普及に伴って、ユーザが利用するプラットフォームは PC からモバイルにシフトしつつあります。クックパッドにおけるモバイル利用者の割合も、ここ 2 年で 10% 以上増加しました。最近では、60% 以上のユーザがモバイルからアクセスしています。 ユーザの利用形態が変化すれば、検索結果ページもその変化に対
偽証との向き合い方、修正主義の受け止め方――ホロコーストと比較して/武井彩佳 - SYNODOS
偽証との向き合い方、修正主義の受け止め方――ホロコーストと比較して 武井彩佳 ドイツ現代史、ホロコースト研究 国際 #「新しいリベラル」を構想するために 従軍慰安婦に関する「吉田証言」の真偽が早くから疑われながらも、朝日新聞がその検証とこれに基づいた記事の撤回を怠ってきたとして批判の矢面に立たされている。過去の朝日の報道により日本の国益が損なわれたと保守勢力は非難し、首相が朝日新聞に対して、偽証であった事実を国際的に周知させるように求める事態にまでなっている。 確かに、ジャーナリズムの本分である批判的検証を怠ってきたという点で朝日は批判されるべきだが、本来これは特定の個人による「偽証」の問題である。かつて従軍慰安婦制度というものが存在し、これが極度の人権侵害にあたるという事実には変わりはない。それにもかかわらず、慰安婦そのものが虚構であるような論調が幅を利かせ始めているのが現状だ。こうした
感染疑いの男性をどう確認？ NHKニュース
西アフリカのリベリアに滞在したあと、２７日、羽田空港に到着し発熱の症状が確認された男性について、厚生労働省が詳しく検査したところエボラウイルスは検出されませんでした。 男性がみずからリベリアに滞在していたと申告したことが迅速な検査につながりました。 男性が羽田空港に到着したのは２７日の午後４時前。 西アフリカのリベリアに今月１８日まで２か月間滞在したあとベルギーやイギリスを経由していました。 男性は体の不調を訴えておらず、サーモグラフィーでも発熱は検知されませんでしたが、みずから検疫所にリベリアに滞在していたと申告したということです。 念のため検疫所内の個室に移動し体温を測ったところ、男性には３７度８分の熱があり、検疫官の聞き取り調査に対してはエボラ出血熱の患者などとは接触していないと説明したということです。 この時点で医療機関に搬送する基準の３８度の熱には達していませんでしたが、それに近
Full-[Watch]! Power Season 6 Episode 12 Online Free 123Movies
Introduction Welcome to the third installment of the Learning React series. Today we will be learning about how Facebook’s Flux Architecture works, and how to use it in your own projects! If you haven’t already, I strongly recommend you check out the first two installments in this series, Getting Started & Concepts and Building a Real-Time Twitter Stream with Node and React. They aren’t a hard pre
![Full-[Watch]! Power Season 6 Episode 12 Online Free 123Movies](https://cdn-ak-scissors.b.st-hatena.com/image/square/838b975ebab624d574a4e4e56adfe89c95e02cd5/height=288;version=1;width=512/https%3A%2F%2Fwww.digitalocean.com%2F_next%2Fstatic%2Fmedia%2Fintro-to-cloud.d49bc5f7.jpeg)
財源のはっきりしない政策議論は、そもそもおかしいと思うんだよね - やまもといちろうBLOG（ブログ）
少子化対策の話と財源の話は異なるようで実は地続きで、要するに「限りある税収をどこに振り分けるのか」を考えるにあたって、もしも少子化対策が重要なので予算を積もうと思えば必然的に他の財源を削らなければならないんですよ。 さっそく「しらべぇ」の私の記事に対するクレームもいただきましたし、補足記事はY!J個人にも書いたわけなんですけれども、情緒的に「いまこれが問題だ！ 政府は対策をするべきだ！」と主張するのは簡単だし、まあ同意もする部分が大きいんだけれども、必要なこと全部に対してすべて予算付けてたら大変な支出となって国は借金だらけになってしまいますからね。 【コラム】ババアと出会いの価値を算定する（後編） 価値を落とさない5つの要素 http://sirabee.com/2014/10/28/6088/ 日本人の結婚観と、少子化対策の問題 http://bylines.news.yahoo.co.
HTML5 is a W3C Recommendation
The HTML Working Group today published HTML5 as W3C Recommendation. This specification defines the fifth major revision of the Hypertext Markup Language (HTML), the format used to build Web pages and applications, and the cornerstone of the Open Web Platform. "Today we think nothing of watching video and audio natively in the browser, and nothing of running a browser on a phone," said Tim Berners-
４５年以上、部品交換なし 東京タワーエレベーター事故：朝日新聞デジタル
東京タワー（東京都港区）で昨年９月、エレベーターの窓ガラス（厚さ６・８ミリ）を鉄板が突き破り、中にいた６歳男児がガラス片で負傷した事故で、国土交通省は２８日、調査部会の報告書を公表した。設置後４５年以上の滑車の老朽化でゴンドラをつるすワイヤロープが切れ、はずみでその周りの鋼板が落下した可能性が高いと結論づけた。 事故は特別展望台（地上２５０メートル）から大展望台（同１５０メートル）へ下降を始めた直後に発生。特別展望台の上方約７・５メートルにある機械室でワイヤロープを覆っている鋼板（重さ３・５キロ）が落ちてガラスを突き破り、男児は割れたガラス片で左手の甲に切り傷を負った。エレベーターは非常停止し、男児を含む１２人が約２時間閉じ込められた。 報告書によると、機械室で鋼板を留めていたネジの一部が外れ、６本あるワイヤロープの１本も破断していた。破断の原因は、ワイヤロープと接触してエレベーターを動か
ゴリゴリの肩こりを解消する究極ストレッチ「肩甲骨はがし」
肩こりに限らず、上半身がゴリゴリにこり固まっている人に効果的なストレッチ「肩甲骨はがし」をご紹介します。「肩甲骨はがし」は色んな方法を試しましたが、今回紹介する方法が一番効果的でした。 PC・スマホなど指先を使う人、車の運転が多い人や、以下の症状がある方におすすめです。 肩の奥や、腕がこっている車を運転すると肩甲骨の裏がジンジン痛むお酒を飲むと上半身が硬直したようになる ◇肩甲骨はがしとは 本来万能に動くはずの肩甲骨は、周辺の筋肉の血行不良によって、背中に張り付いたように固まってしまいます。ストレッチによって、この張り付いた背中から肩甲骨をはがす（ほぐす）ことを、ここでは「肩甲骨はがし」と呼びます。 なぜこの症状になるのかは、後半の「知っておきたい肩甲骨の豆知識」で説明します。
「ウェブ動画の埋め込み自体は著作権法違反にあたらず」 - 欧州司法裁が判断 - WirelessWire News（ワイヤレスワイヤーニュース）
欧州司法裁判所（The Court of Justice of the European Union）が先ごろ、オンラインでの動画埋込みに関し、元の動画を公開した行為が著作権法に違反しているとしても、埋め込み自体は著作権法違反にあたらないとする判断を下した。オンライン上の著作権違反問題をめぐって今後重要な判例となるとの見方があがっている。 この話題を伝えたTorrent Freakによると、この判断はドイツの法廷の要請に基づいて欧州司法裁判所が下したもの。元となったドイツの裁判では、ベストウォーター・インターナショナル（BestWater International）という企業が競合企業の代理店で働く2人の男性を著作権侵害の疑いで提訴していた。 この問題がこじれた原因は、訴えられた2人が自らのウェブページに埋め込んだ元の動画ーーベストウォーター製品の宣伝ビデオが、同社の許可無くYouTub
イタズラ電話？ 911にかかってきた「ピザの配達をお願いします」という電話が迎える意外すぎる結末
» イタズラ電話？ 911にかかってきた「ピザの配達をお願いします」という電話が迎える意外すぎる結末 特集 緊急通報電話には、毎日数えきれないほどのさまざまな連絡が入る。事件や事故だけではなく、純粋な間違い電話や悪質なイタズラも少なくないだろう。 最近海外のネットユーザーの間で、話題になっている緊急電話でのやり取りがある。北米の緊急電話番号「911」にかかってきた電話について、匿名のオペレーターが明かした内容は、驚くべきものだった。その電話をかけてきた人物は、「ピザを頼みたい」という良くあるイタズラ電話での内容を口にしたのだが、このやりとりは意外な結末を迎えることになる。 ・オペレーターと電話をかけてきた相手のやり取り オペレーター 「911です。どちらで緊急事態が発生しましたか？」 相手 「大通りの123番地です」 オペレーター 「OK、そこで何が起きましたか？」 相手 「ピザの配達をお
「かえりみれば――二〇〇〇年から一八八七年」エドワード・ベラミー 著 | Call of History ー歴史の呼び声ー
1888年に米国で出版され、「アンクル・トムの小屋」と並ぶ大ベストセラーとなった小説にエドワード・ベラミー（1850～1898）の「かえりみれば――二〇〇〇年から一八八七年」（原題：”Looking backward 2000-1887”）という作品がある。1887年から2000年のボストンへとタイムスリップした上流階級の男性が体験する113年後の世界を描いたユートピア小説で、知識人から大衆まで大ブームとなり、二十世紀に入っても「最も影響が深い二五冊の書物」としてマルクスの「資本論」に次ぎ第二位に選ばれたという。 本間長世による本書の解説「ベラミー『かえりみれば』の現代性」によれば、エーリッヒ・フロムは本書を評して『ベラミーのユートピアは、その根本的要素のほとんどすべてにおいて社会主義のユートピアであり、多くの点においてマルクス主義的ユートピアであることは、ほとんど疑問の余地がないと述べて
KDJ-ONE Portable Audio Workstation™
「この小さな箱の中に全ての武器が詰まっているんだ」 シド・ウィルソン シンセサイザー、シーケンサー、オーディオ機能、そしてX-Yパッドまで搭載した、 高機能ポータブル・オーディオ・ワークステーション。それがKDJ-ONEです。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
みさくらなんこつ氏の新作ゲーム 「オタサーの姫に告られた結果ｗｗｗｗｗｗ」 がガチでヤバすぎるｗｗｗｗｗｗｗｗ : ニュー速VIPブログ(`･ω･´)
セブン&アイ、ネット購入コンビニで即日受け取り - 日本経済新聞
Sign in - Google Accounts
みどりぼん第11回 前半
美大に行っているこども（現二年生・男子）が渋家（SHIBUHOUSE)というところに出入りしています。これはどういう傾向、スタンス（美... - Yahoo!知恵袋
離陸直前で突如キャンセル、理由は「アルカイダのWi-Fiネットワーク」