開発者は言語をいくつ覚えればいいのか？
アップルやフェイスブック、グーグルなどの大企業は、独自のプログラミング言語を開発し、開発者が学ぶように強いている。 先週開催されたワールドワイド・デベロッパーズ・カンファレンスで、アップルは自社の新しいプログラミング言語、Swiftを発表した。これは技術系の大企業が開発した一連の新しい言語の最新版となる。こういった言語のいくつかは独自のプラットフォームでのみ使用可能なものだ。 アップルはiOS開発者用のSwift、フェイスブックはバックエンド開発向けの言語であるHackを開発した。一方、グーグルにも独自のものがある（自称Javascriptの代替となるDart、およびGoと呼ばれる新しい汎用プログラミング言語）。 これらの新言語は、開発者に問題をもたらしている。おそらく、最も顕著な問題は、同僚のアドリアナ・リーがアップルのSwiftが発表された後に発信した次の言葉に表れている。 (How
@zakky_dev さん関数型帝国名古屋入国歓迎会 ＠ 名古屋ギークバー
この度、東京からHaskellやD言語が好きなことで有名な @zakky_dev さんがいらっしゃいます。 そこで、なごや入国を歓迎する会を開きます！ 下記のセッションを聞きたい方、@zakky_dev さんとお話してみたい方、自己紹介したい方、何かオススメしたい方などなど参加お待ちしています！ タイムテーブル 20:00 - オープニング 20:05 - zakky_devさんの自己紹介 20:15 - なごやかな歓迎の発表 21:30 - 歓談 発表者リスト 「私が @zakky_dev です」@zakky_dev 「F#でWebブラウザを使ったテスト」@kyon_mm 「F#でFreeMonad」@pocketberserker 「F#でIRKit」@otf 「F#でアクティブパターン」@rika0618 「F#でなにか」@k_dispose 「F#でハマるところ」@htid46 「
Coqチュートリアル: @zakky_devさんが証明をできるようになるまで - みずぴー日記
先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのときの台本を公開します。だいたい30分くらいの内容です。 Coqのインストール ぐぐりましょう。 Welcome ! | The Coq Proof Assistant Coq を始めよう Coqとは みなさん、自動化してる・してないなどの違いはあると思うんですが、プログラムを書いたらテストをすると思います。 ただテストはどうしても「こういう入力があったら、こういう出力がある」というのを並べていくことになるので、どうしても有限のパターンしか確認できません。 で、これで十分なこともあるんですが、中にはものすごい信頼性がいるプログラムで、有限のパターンの保証だけではたりない場合
ＩＳＩＳ、カリフ制イスラム国の樹立宣言：朝日新聞デジタル
イスラム過激派組織「イラク・シリア・イスラム国（ＩＳＩＳ）」は２９日、シリア北部からイラク中部にまたがる「イスラム国」の樹立を宣言した。アラビア語衛星テレビ「アルジャジーラ」などが伝えた。 インターネット動画サイト「ユーチューブ」で配信されたＩＳＩＳのスポークスマン、アドナン師の声明によると、ＩＳＩＳ最高指導者のアブバクル・バグダディ師をイスラム教開祖ムハンマドの後継者を意味する「カリフ」に任命した。 声明は「シリア北部のアレッポからディアラまで」を「イスラム国」とし、「世界中のイスラム教徒」に対し、バグダディ師をカリフとして認め、忠誠を誓うよう求めている。ＩＳＩＳはシリア東部からイラク北部のモスルやティクリートを制圧し、バグダッドの北東６０キロのディアラ州に進出している。
田舎は良くて、都会は悪な風潮が悲しい。 - 壁に向かってフルスイング
私は、東京でず〜〜〜〜っと育っている。家は渋谷、下北。学校は高田馬場。田舎は、ない。祖父母も東京だった。 先週、かぐや姫を見た。今、おもひでぽろぽろを見ている。 ジブリはある程度みんな見ている。アニメ映画もまぁ、見た。サマーウォーズとか、なんかまぁ、色々。 とにかくみんな、 田舎大好き、田舎が凄い、都会は悪だ、田舎はあったかい。 と、言っているように思える。 正直、ムカつくのである。なんで都会が悪なのよ。。。私は渋谷とともに生きてきたので、渋谷の味方なんである。 渋谷はとりあえず援助交際とクラブの聖地のように扱われる。 あたしの田舎は渋谷なのに。。。。 なのでジブリ系の女の田舎っぷりを見てるとすごくイライラする。 ポニョとか千尋とかまでいくと子供すぎて受け入れられるんだけど。。あとハウルも好きだなぁ。街の話が多いからかなぁ。 そんな私が好きなのは、モテキ、最高の離婚あたり。 はじめてモテキ
GPUを用いたN-Queens問題の求解
※ユーザ登録は無料です． 本電子図書館のご利用にあたっては「情報処理学会電子図書館利用規約」をご遵守下さい。 情報学広場に掲載されているコンテンツには有料のものも含まれています。 有料コンテンツをご購入いただいた場合はクレジットカード決済のみとなります。 複写および転載をされる方へ一般社団法人情報処理学会では複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。 尚、本会会員（賛助会員含む）および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。ただし、利用の際には予め申請いただくようお願い致します。
はてブユーザーオフ会に思うこと
７月１２日開催予定のはてブユーザーオフ会が準備段階でちょっとごちゃごちゃしているみたいなので、 思った事を書いておく。 僕は主催みたいな感じでそこそこ大きい規模の飲み会やったりしてるのでその時の経験を踏まえて。 他にもテキストサイト系の大規模オフなんかにも何回か参加したことはあります。 そんなわけで「こうしたほうが良いんじゃない？」って事を書いておく あんまり詰め込まない主催者からするとやっぱり来て頂いた人には楽しんで帰って頂きたいので、 「楽しませる仕組み」みたいな事をアレコレ考えがちになると思います。 それはもちろん悪いことでは無いのですが、準備してきた事が上手く現場で機能するかどうかなんてのは結局「やってみなければわからない」部分が多いし、 当日は絶対にばたばたするので主催者側がやるのはお店選びとか会費の設定などなど必要最低限にして、 当日現場でやる事は極力減らした方がスムースかと。
Facebook、無断で行った情動感染実験について謝罪・釈明
約70万人のユーザーのニュースフィードをインフォームドコンセントなしに操作して行った実験について、論文著者であるFacebookのサイエンティストが説明・謝罪した。今後は研究審査基準を改善するとしている。 米Facebookで約70万人のユーザーのニュースフィードを操作して実施した実験論文が物議を醸したことを受け、この論文の著者で同社のデータサイエンティスト、アダム・クレイマー氏が6月29日（現地時間）、自身のFacebookで“公式な説明”を行った。 クレイマー氏はまず、この実験を行ったのはFacebookがユーザーに与える感情的な影響について気に掛けているからだと強調した。「ポジティブなコンテンツ（いわゆるリア充なコンテンツを含む）を見ると人はネガティブに感じたり、仲間はずれにされた気がするという懸念について調査する必要があると考えた」という。 また、この実験は2012年初頭に行われた
オナ禁すると彼女が出来るワケ
少し気になる女の子をご飯に誘った後家でオナニーしたら、ご飯に行く気が萎えてきた。 心情の変化を詳しく説明すると ○事前 ・大してかわいくもないが、付き合えるなら付き合いたい ・一緒にご飯いきたい ・やれるならやりたい ○事後 ・大してかわいくもないし、ここで安売りする必要ないだろ ・予定立てたり、店探すのだるい ・オナニーでよくね つまり オナ禁をすると、溜まった欲望のパワーにより、高望みをせず、付き合えそうな女の子に対して全力になれる よって彼女が出来やすい
世の中には「何でも嫌う人」がいる：研究結果 | ライフハッカー・ジャパン
99u：あらゆる批判を回避する方法がひとつだけあります。何も言わず、何もしないことです。しかし、批判を避け続けていれば、いつか道を誤ってしまいます。 前進とは常に摩擦と出会うことです。どんなに立派な作品も、批判を避けては通れません（また、そうであるべきです。批判はあなたを磨いてくれます）。しかし、ある研究によると、批判者の中には本質的に有害な人たちがいるのだとか。一部の人は本質的に「何でも嫌う人」たちであり、欠点ばかりに目を向けるのだそうです。『Journal of Personality and Social Psychology』で発表された研究で、研究者たちは、被験者が未知のトピックに対してどんな反応を示すかを調べました。 その結果、被験者の一部に明らかにある傾向が認められました。予備知識の全くないトピックを見せられたにもかからわず、また、その日の気分に左右されないために、同じ被験者
「米グーグルの解体検討も」、市場での支配的地位に懸念 独法相
ドイツ・ハノーバー（Hannover）で開かれた情報技術見本市「CeBIT」に展示された米グーグル（Google）のストリートビュー撮影車のカメラ（2010年3月3日撮影、資料写真）。(c)AFP/DANIEL MIHAILESCU 【6月29日 AFP】ドイツのハイコ・マース（Heiko Maas）法務・消費者保護相は、米検索大手グーグル（Google）が市場での支配的な地位を悪用することがあれば、同社を解体させる可能性についても検討すべきだとの見解を示した。 28日付のドイツ紙フランクフルター・アルゲマイネ（Frankfurter Allgemeine）に掲載されたインタビューでマース法相は、「市場の95％を占有するエネルギー企業があると想像してほしい。カルテルを取り締まる当局は即座に行動を起こすだろう」と述べた。 発行前に公開されたインタビュー記事のコピーによるとマース氏は、「市場の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
飲食店の喫煙てウンコの100倍臭い
『中川龍のひまつぶし[B!]新着記事・評価 - はてなブックマーク』へのコメント![『中川龍のひまつぶし[B!]新着記事・評価 - はてなブックマーク』へのコメント](https://cdn-ak-scissors.b.st-hatena.com/image/square/7f437e6a0b7cd8f471a5255b355b72cccea078a7/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F11696248318757301640%2F12921228815727088473%2F1645850696)
ソニー、2015年よりテレビに「Android TV」を全面採用へ
Vim is Love, Vim is life
『黒子のバスケ』脅迫事件第4回公判を傍聴しての感想
友達がほとんどいない
ちきりん on Twitter: "日本で「食べていけない」ってツイートしてる人は、たんに「みんなと同じでないのはイヤだ」「見栄があるからそんなことできない」ってだけでしょう。ツイートするのに使ってる機器の月額費用だけでも1ヶ月くらい食べられたりするのでは？"
NotificationListenerService | Android Developers
モーツァルトの子守唄（ほーら、泣きやんだ！ベスト・コレクション）
Amazon.com: Engineering a Compiler: Cooper, Keith D., Torczon, Linda: Books
Giraffe V Neck T Shirt by Nicole Cioffe
http://society6.com/giuseppepetrilli/nell2_t-shirt
Society6 | Copyright infringement.
https://society6.com/product/sailortrooper_t-shirt
All you need is love T Shirt by Balazs Solti
Just Coffee T Shirt by Fla'Fla'