圏論勉強会 第1回 @ ワークスアプリケーションズ
@ワークスアプリケーションズ 中村晃一 2013年5月16日 謝辞 この会の企画・会場設備の提供をして頂きました ㈱ ワークスアプリケーションズ様 にこの場をお借りして御礼申し上げます。 自己紹介 中村晃一 東京大学 大学院 情報理工学系研究科 コンピュータ科学専攻 後期博士課程 2年 プログラム最適化・言語処理系の実装技術・人間と言語の関係等に興味があります。 twitter: @9_ties はじめに この会について 圏論(category theory)を題材にいろんなことを学びます。 分かり易さを重視して初歩的な例を多用します。 関数型言語の経験がある方がより楽しめると思います。資料中では主にHaskellを使います。 この資料はhttp://nineties.github.com/category-seminarに置いてあります。 参考書 私はSteve Awodey著「Cate
藤田晋氏の本を2冊読んだ - ikeike443のブログ
最近Kindleづいていて、立て続けに2冊読んだ。 どちらも面白い。渋谷ではたらく〜 の方は藤田さんが史上最年少で上場（当時）したニュースを大学生の頃（就活の時期だったかな？）に見て、ほぼ同年代なのに差をつけられた感じがしてすごく悔しかったのを覚えてて、楽しく読んだ。 起業家 の方はサイバーエージェントが広告代理店からWebサービスの会社に生まれ変わろうとして四苦八苦していた頃の記録で、これも面白かった。 当時、自分の親しい友人が営業としてサイバーエージェントに中途入社してたので、彼女が入ってた頃はこうだったのかーと思いながら読んだ。彼女は2年経たないくらいでやめたけど。営業っぽい社風と一日に数百通来るメールが嫌だと言ってたなあと。うろ覚えだけど。 その当時、彼女が「藤田社長はサイバーエージェントを技術の会社にしようとしてるけど、うまくいく感じしない」といってたのをうっすら覚えてたので、そ
彼の名をグーグル社内に轟かせた新たな挑戦の舞台：日経ビジネスオンライン
現在はグーグルジャパンの顔として活躍する徳生健太郎。彼はレイオフの憂き目に遭った後、創業者のラリー・ペイジとの最終面接を経て、グーグルに入社する。2003年のことだ。 インターナショナルプロダクトマネジャーとして配属された徳生は、検索連動型広告事業の国際展開を委ねられる。当時、世界でまだ7カ国。１年かけて16カ国に広げようと考えていた徳生に対して、ペイジら経営陣から発せられたのは、「3カ月で20カ国」という至上命題だった。誰もが無茶だと感じたミッションを、ところが徳生は見事に達成する。 国際展開をスケールアップする仕組みを構築し、さらなる展開はほかのメンバーに任せることができた徳生が次に関心を寄せたのが、全国屈指の進学校として知られる高校を中退するまで過ごした日本だった。そして彼は、ここから日本向けのビジネスに携わっていくことになる。 だが、もとより徳生はインターナショナルプロダクトマネジ
Kotaku - The Gamer's Guide
One of the original appeals of the Overwatch League’s formula was the idea of teams traveling around the world to play in each others’ home cities, surrounded by whooping, hollering, body-paint-covered hometown crowds. But that didn’t happen during season one, and reports afterward alleged that it wouldn’t be a thing…
イマドキのIDE事情(154) 簡単デプロイ!「Gitblit」で共有Gitサーバを手軽に構築
意外と面倒なGitサーバの構築 GithubやBitBucketといったサービスの登場もあり、GitやMercurialなどの分散型バージョン管理システムも一般的に利用されるようになってきた。しかし、自分でGitやMercurialを利用可能なサーバを構築しようとすると、さまざまな依存ソフトウェアのインストールや設定が必要で、意外と面倒だ。そのような場合におすすめしたいのが、今回紹介するGitblitだ。 GitblitはJavaで実装されたGitサーバで、Tomcatなどのサーブレットコンテナ上で動作する。内部的にはEclipse Foundationで開発されている「JGit」というGitのJava実装を使用しているため、warファイルをデプロイするだけで利用でき、プラットフォームも問わない。Javaさえインストールされていれば利用可能で、非常に手軽に導入することができるのだ。 Git
git? tig! | Atlassian Japan 公式ブログ | アトラシアン株式会社
私は Git の大ファンですが、そのためほとんどの UI (ユーザーインターフェース)、特に IDE に統合されているものに関してはそれほどの大ファンではありません。これらの UI は複雑でややこしいのです。これらはいくつかの一般「VCS」言語をコマンドにマップしようとします。または隠しすぎるので、何が起こっているのか理解しずらくしてしまいます。更にひどい場合： Tcl/Tk で書かれています… 端的に言えば、私はこれらの UI を信頼していません。 コマンドラインは私のためのものです。自分のコマンドラインは好きなので、これは素晴らしいものです。ほとんどいつでも履歴の「グラフィック」ビューを見られることや、コミットを準備している時に少し助けてもらえるのは良いことです。 tig で入力する。tig はテキストモード、 Jonas Fonseca によって書かれた git 用の ncurses
週刊漫画誌「モーニング」が電子書籍化 - 芸能社会 - SANSPO.COM（サンスポ）
講談社が週刊漫画誌「モーニング」のデジタル雑誌の販売を開始することが、１５日分かった。１冊の定価３３０円よりも大幅に割安な月額５００円で、１６日から毎週配信する。同社は「週刊漫画誌で初のデジタル定期購読サービス」としている。 新サービスは、ｉＰａｄ（アイパッド）とｉＰｈｏｎｅ（アイフォーン）に対応。専用のアプリ「Ｄモーニング」（無料）を通じて購読手続きをすると、毎週木曜に紙の雑誌とほぼ同じ内容の最新号（約３００ページ）が配信される。 作家がデジタル化を許可しない一部作品は掲載されないが、デジタル版だけのオリジナル作品も配信する。 島田英二郎編集長は「スマートフォン（多機能携帯電話）のエンターテインメント系商品の主流が４００～５００円台であるのに合わせた。日常的に漫画に接する機会が増えれば、必ず紙の単行本の売り上げ増にもつながる」としている。 同誌は発行部数約３０万部。「島耕作シリーズ」「宇
喫煙者はIQが低い、との話を蒸し返してみますね。 | 五本木クリニック | 院長ブログ
本当は実力ある政治家なのに顔で損している人っていませんか？ 海外では政治家が若々しさをイメージさせるために、美容的な治療を行っているのは珍しいことではありません。しかし、日本の政治家は顔に対するイメージ戦略は取っていないと判断せざるえません。 顔で損している政治家例えば若い時は将来の首相は確実とされ、当時の旧習にとらわれた高齢政治家・財界人を力でねじ伏せ、アメリカの信頼を取り付けた剛腕の小沢一郎議員なんて、朴訥としたしゃべり方の本当はいい人なのかもしれません。 私の友人も数名小沢氏の魅力にひかれて政治家になっていて、今でも小沢氏に可愛がっていただいているそうです。友人から聞こえてくる小沢氏はマスコミのとらえるイメージと違って優しい気遣いのできる愛されるキャラクターであるとともに尊敬できる人物であるのは間違いないようです。 しかし、政争にまみれどちらかというと悪役キャラクターとしてマスコミか
世界で成功を収めている主な非米国系スタートアップ10の事例
『スタートアップ』と聞くとサンフランシスコやシリコンバレー出身の企業を想像する方が多いだろう。確かにこの辺はよりいっそうスタートアップの勢いが増している。その一方で、ここ数年で急激にドイツやフィンランド、英国、シンガポール、中国、トルコといった米国以外の海外スタートアップが米国やその他の海外市場成功を収め、話題を集めている。そしてなぜか彼らが提供するサービスは、”米国発” だと思っている人がすくなくない。自分達が普段アメリカのサービスだと思って使っているサービスでも、意外とそれ以外の国が発祥だったりする。 グローバルに活躍するには 世界規模で成功している海外スタートアップにはいくつかの共通点が見受けられる。まずは母国で数々の試行錯誤を重ね、ユーザーが簡単に使えるレベルまで製品やサービスを改良する。その後英語圏向けに言語を始めとして、機能やUIの見せ方、コンテンツ、マーケティングなどを中心に
TechCrunch | Startup and Technology News
When Alex Ewing was a kid growing up in Purcell, Oklahoma, he knew how close he was to home based on which billboards he could see out the car window.…
初対面の女の子との会話に困らない！たった一つのトークのコツ！ - 渋谷で働く営業マンのナンパ日記
2013-05-15 初対面の女の子との会話に困らない！たった一つのトークのコツ！ 本ブログではナンパでの声をかけ方や、居酒屋に連れて行った後のトーク展開について紹介しています。 ワタシがなぜ抵抗なく初対面の人に声をかけ飲みに誘えるかというと、会話が途切れて気まずくなる心配をしていないからです。 ここに不安がなければナンパの心理的ハードルは一気に下がります。失敗しても気まずい空気で終わる可能性が低くなるので、話しかけるのが恐くなくなるからです。 実は、初対面の人とのトーク力は、たった一つのカンタンなコツで誰でも身につけることができるのです。今回はこのコツについて紹介します。 話題を「いま」から派生させる！ これが初対面の人との会話を盛り上げるためのコツです。 初対面の人との会話は「共通の話題」をテーマにするのが定石ですが、互いの趣味嗜好を知らない状態で、「共通の話題を探るための質問」をする
中国テンセント、グリーとの業務提携を解消 / GameBusiness.jp
中国のポータルサイト「网易」が伝えるところによれば、中国最大のオンラインコミュニティサービスを展開するインターネット企業のテンセントが、グリー株式会社との業務提携を解消すると共に北米拠点にてスタッフの50%をレイオフするという。 Tencentはグリーが2011年7月に中国・北京に現地支社「GREE Beijing, Inc. 」を設立するのに合わせて業務提携を行い、それ以来共同で中国におけるGREEプラットフォームの普及に務めてきた。しかし残念ながらヒットタイトルに恵まれず、つい先日突然GREE Beijing, Inc.の閉鎖が発表された。なお、これに伴いテンセント側の関連スタッフも全員解散するという。 一方、テンセントはスマートフォン向けメッセージングアプリ「WeChat」やインスタントメッセンジャー・コミュニティ「QQ」にて独自のゲームプラットフォームを運営しており、お互いが”
Scalatraのコミッタになりました - たけぞう瀕死ブログ
最近GitBucketというGithubクローンをScalaで作っているのですが、導入のしやすさや安定性などを考慮してフレームワークにはScalatraを使っています。 で、GitBucket用にScalatraでマッピングやバリデーション（クライアントサイドバリデーション含む）を行うためのライブラリを作っていたのですが、その部分を単独でScalatraと組み合わせて使えるようにscalatra-formsなんていうものに切り出したりしていたわけです。 GitBucketからマッピングとバリデーションを単独のライブラリとして切り出した。ScalatraでPlay2のフォームみたいなことができます。エラーメッセージの外部化とか国際化の仕組みとかが未実装なんだけど、そのくらいはつけたほうがいいかな。 2013-04-25 02:17:58 via twicca そしたらこのツイートをScala
オジサン世代必見！『平成生まれが昭和生まれとギャップを感じることランキング』 - IRORIO（イロリオ）
「最近の若い子についていけない…」なんてジェネレーションギャップを感じる方も読者の方にはいるかも知れません。今回、NTTコム オンライン・マーケティング・ソリューションが実施した調査で、平成生まれが昭和生まれとのギャップを感じてしまう瞬間が明らかとなりました。 1,083名の若者を対象に行われたアンケートで「昔のアイドルを語りたがる」、「使うギャグが古い」、「アニメやマンガは「オタクのものだ」と思っている」といった行為や考え方が上位にランクインし、デジタル機器の扱いが遅いといった回答も多く挙がっている模様。 ＜平成生まれが昭和生まれとギャップを感じることランキング (トップ10)＞ 1位 昔のアイドルを語りたがる 100 2位 使うギャグが古い 94.9 3位 アニメやマンガは「オタクのものだ」と思っている 86.4 4位 ドラマの話題が古い 83.1 4位 パソコンなど電子機器の扱いの飲
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TechCrunch | Startup and Technology News
Engadget | Technology News & Reviews
無駄遣い防止対策に「ハリウッド俳優の怖い顔をカードにしたい」と願ったら本人がまさかのOK - U-NOTE[ユーノート] - 仕事を楽しく、毎日をかっこ良く。 -