Scala で圏論入門 https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki に移動しました。こちらは、ミラーとさせていただきます。 これは、Typesafe 社の Director Professional Services である Heiko Seeberger 氏による「Introduction to Category Theory in Scala」の翻訳文です。誤訳、誤記などがありましたら、 日本Scalaユーザーズグループの「圏論入門　レビューのお願い」トピックに投稿していただくか、@quassia88 にご連絡ください。 もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎

「きのこの山」と「たけのこの里」が激しい抗争を続けているという話はみんなも聞いたことがあるかと思うんだ。この争いは終わり無き戦いと言われており、それぞれの派閥人間を巻き込んで今も尚水面下で様々な工作が行われている。 そんな中、この戦いに終止符を打つべく、きのこの山から暗殺者が送られた。手に汗握るサスペンスは、汗が出すぎるとチョコが溶けちゃうから、熱くなりすぎないように心の中で好きな方を応援するといいと思うよ。

隣接した屋根の上に登っていた黒猫とチャトラな猫。そこに訪れたのは1匹のカラスがちょっとした悪だくみ。「あいつおまえの悪口言ってたぜ？」と耳元でささやいたどうかはわからないままに、くちばしでチョンチョンと黒猫をけしかけてチャトラに挑ませようと画策した。 その悪だくみは功を奏しすぎて、カラスの思い通りの展開となってしまったようだ。

このほど開発された世界最小の耳「ナノイヤー」は、人間の可聴限界値の 100 万倍以上も小さい音を拾うことができるという。バクテリアの活動音を聴くことも将来的には可能となるようだ。

さて前回、ウサギ・ニワトリ・犬・猫などの動きを静止させる方法を紹介したかと思うが、そのラインナップに新たにネズミが加わった。どっかで見たことある方法だな。っと思ったら、猫と同じ方法だったんだね。猫とネズミ、因果関係がやっぱりあるのかな。

科学技術振興機構(JST)、国立精神・神経医療研究センター 神経研究所(NCNP)、生理学研究所(NIPS)の3者は1月18日、運動中に手の感覚が抑制される新たな神経機構を解明したと共同で発表した。NCNP神経研究所モデル動物開発研究部の関和彦部長、ワシントン大学 生理生物物理学部のE.フェッツ氏、NIPSの共同研究グループによる発見で、成果は米科学誌「The Journal of Neuroscience」に米国東部時間1月18日に掲載された。 まったく同じ刺激が手足の皮膚などに与えられたとしても、引き起こされる感覚は状況に応じて異なることは、誰も日常生活の中で体験していることだ。例えば、熱いフライパンのフタを持ち上げる場合、もし「フタが熱い」ということを知らない場合は皮膚刺激が脊髄の神経を興奮させ、手を引っ込める反射(屈曲反射)が起こり目的は達成できない。一方、熱いことをあらかじめ知っ

お掃除ロボットのルンバも顔負け...タバコの嫌な臭いを追いかけては自動で消臭する新ロボットが発売間近！2012.01.18 17:00 湯木進悟 隠れてタバコも吸えなくなる！ 1度使っちゃうとヤメられなくなる便利さの賢いお掃除ロボットのルンバ君ではありますが、その上を行く空気清浄ロボ｢RYDIS H800｣の発売が迫っていますよ。きっとこれまた絶対に手離せなくなるアイディアロボットなんでしょうね。 RYDISシリーズで、ルンバに対抗する数々のお掃除ロボットの開発を進めてきたMoneualが、これから新たに送り出すRYDIS H800は、高性能な感知センサーで常に周囲を見張りつつ、タバコの臭いなど、空気清浄機の稼動対象を発見するやいなや、その方向へと自動で速やかに移動していきます。臭いの元となるエリアに到着すると、消臭カーボンとHEPAフィルターで取り除いてくれますよ。 フル充電から4時間半

よい話し手は下手なスライドでも何とかすることができるが、世界最高のスライドも、準備不足の話し手を救うことはできない。自分のプレゼンテーションについて、以下の10の質問に答えてみて欲しい。誠実に自分のプレゼンテーションを評価すれば、プレゼンテーションでひどい目に遭うのを避けることができるかもしれない。 1．機材はすべて正しく動くか 熱心な聴衆に、何も映っていないスクリーンを見せるのは最悪だ。話し手の賢さを見せるはずが、「問題」を発見しようとテーブルの下や演台の周りをうろうろする姿を見せることになる。遅れたことをどんなに丁寧に謝っても、決して完全に取り返すことはできない。 もしこの質問への答えがノーであれば、読者のプレゼンテーションの質は疑わしい。技術的な問題は、プレゼンテーションを台無しにするものではないが、始める前からいくらか信頼を失ってしまう。幸運なことに、この問題を解決するのは簡単だ。

Google Mapsがゲームになる！ Google+プロモーション用に地図ゲームが登場（動画）2012.01.17 12:00 そうこ なんとも楽しそう！ これぞGoogle！ Google 、使ってますか？ Googleは自社のソーシャルネットワークをより広めるため、自社の自慢の他サービスでプロモーションを仕掛けるようです。自社の自慢の他サービスと言えば...Google Maps。 来月Google に登場予定のゲームは、世界のあちこちで遊べる3D地図の迷路ゲームです。地図内の小さな青い玉を目的ポイントまで転がしていくというシンプルなゲームですが、こういう単純なものほどはまりますよね。 Google ユーザーの皆さま来月をお楽しみに。迷路ゲームが好きな方、これを機にGoogle 初めてみます？ [Google Maps via Mashable] そうこ（ANDREW LISZEWS

ニワンゴは1月15日、3DCGの初音ミクを踊らせることができるムービー制作ツール「MikuMikuDance（みくみくだんす）」（MMD）の映像を表示できる新システムを、六本木のライブハウス「ニコファーレ」に導入予定であることを発表した。これにより、ユーザーがニコニコ動画に投稿しているMMDのモーションデータを加工することなく、ニコファーレのステージ上に表示させて簡単にイベントなどを開催できるようになる。 「ユーザーがそれぞれ持ち寄ったデータを集約して、ライブイベントを開くこともできます。MMDに対応したモデルであれば、基本的にすべて動かすことができるので、たとえばMMDを使った漫才イベントなどもできるようになります」と話すのは、ドワンゴ ニコニコ事業本部 事業推進部長の中野真氏だ。 ニコファーレは敷居が高かった 全壁面と天井に設置したLEDモニターによる映像演出や、VR（仮想現実）、AR

CSS3でこんなクオリティのボタンが作れる！ みたいな記事をよく見かけると思うんですが、 そういったものだけを集めたデザインギャラ リーがありましたのでシェア。CSSの勉強に 如何でしょう。さもPhotoshopで作ったかの ようなエレメントが豊富にあります。 タイトルよく分からんですねｗ　CSS3のグラデーションやbox-shadowなどを駆使して、今まではPhotoshopで作成していたかのようなクオリティのボタンなどを作った！みたいな記事を多々見かけてきたかと思いますが、そういったものだけを集めたデザインギャラリーです。 一見よくあるパーツデザインギャラリーや、dribbbleっぽい感じですが、これらのボタン等は全てcssで作成されています。それだけでなく、ソースも公開されていますので結構重宝しそうなサイトですね。 こんな立体感のあるボタンとか。 こんなソーシャルボタンとか。 ソース

外界からの刺激や経験によって神経回路が再編成される事を脳の可塑性と言うが、大人になって可塑性が低下する仕組みはよく分かっていなかった。しかし、神戸薬科大学生化学研究室の宮田真路研究員と北川裕之教授らは、マウスの脳に存在するコンドロイチン硫酸の糖鎖構造を遺伝的に改変させ、子供型のコンドロイチン硫酸を作らせることで、大人でも可塑性を維持させることに成功したそうだ（神戸薬科大学）。研究成果はNature Neuroscienceのオンライン版に掲載されている。 実験としては、成体だと通常は少なくなる6-硫酸化コンドロイチンを、成体でも合成するマウスを作成し、片眼を遮蔽して弱視になるかを調べた。成長期のマウスでは、遮蔽された眼からの入力を伝達する神経回路が減弱し弱視となるが、通常の生後60日以降の成体マウスでは神経回路の再編成は発生しないので影響を受けない。さらに研究チームでは、遺伝子改変マウスの

Courtsideはスポーツしたいと思っている人が仲間を募集できるスポーツ版ATNDのようなシステムです。 一人でできるスポーツもありますが、球技などが大抵何人も集まらないとできません。そこでスポーツしようという呼びかけを行うためのソフトウェアがCourtsideです。 トップページです。地図と、その付近で募集しているスポートイベントが表示されます。 例えばUSのとある場所におけるイベントの一覧です。 イベントを作成したり参加するにはユーザ登録が必要です。 イベントの詳細です。開始時間や人数が出ています。 プロフィールページです。 イベント作成画面です。 Courtsideはいわばスポーツ版のATNDとも言うべきソフトウェアです。バスケットボールやサッカー、バレーボール、ホッケーなどが表示されていますが、カスタマイズして自分好みのスポーツを登録しても面白そうです。 CourtsideはPy