このドメインは、お名前.comで取得されています。 お名前.comのトップページへ Copyright © 2020 GMO Internet, Inc. All Rights Reserved.

私の小論 “In Search of Types” では、プログラミングで使われる“型”という言葉の概念や目的、考え方について、公平な批評を心がけました。所々で、私の真剣さを感じ取っていただけるはずです。このブログ記事では逆に、思い切って堂々と批評していきます。いくつかの意見や考え方に、私は苛立ちを隠せません。先日参加したStrange Loopでも、このような状況に陥りました（補足しますが、すばらしいコンファレンスでした）。この機会に、“型”について多くの人が（誤って）語った“重大な誤り”をリストアップしていきます。 ここで話す内容は、説得力のあるものです。私が苛立ちを覚えるのは、人々が正当かつ透明性のある議論を行っていないことに対してです。結論に誤りがあってはいけません。私は、OCamlである程度の数のプログラミングを行っており、それは型チェックから多くの価値を得ることができるシンプル

２０１４年末をもってスポットライトのCTOを退任させていただくことになりました。 ２０１１年の設立から、約３年ちょっと社内外含めいろいろとお世話になりました。今後については未定なのですが、しばらくは社外の技術顧問として残らせていただく予定ですので、今後とも宜しくお願いします。 CTOという役職をやらせていただいたのは今回で２回目、どちらも創業から関わってます。 そして、最近CTO論というやつが流行ってるところもあり、なにやら乗ってみたい感じなのですが、、、概念的なところは、大御所の皆様方がまとめられているのそちらを参考にしていただくとして。。。 実際に、このスポットライトという会社ののCTOが、何をやってきたんだろうというところを振り返ってみたいなと思ってます。 コンテンツとしてはこんな感じで、、 １回目 スマポのはじまりについて リリースまで リリース後１日目でサーバーが落ちた。 はじめ

Information 2016.02.22　本選の問題解説を公開いたしました。New 2016.02.10　本選の生放送情報を公開いたしました。 2016.02.10　予選の問題解説を公開いたしました。 2016.01.27　予選通過者を公開いたしました。 2015.12.01　「ドワンゴからの挑戦状」ページを公開しました About Programming Contest 当コンテストは、dwango主催のプログラミングコンテストです。プログラミングの正確さと、アルゴリズム力で競う、個人戦の競技プログラミングコンテストです。 予選・本選の二部構成となり、その成績次第で、2017年新卒採用において初期の面接をパスできる可能性があります。 また、予選ではドワンゴエンジニアより、オリジナル問題を出題させていただきます。 ぜひドワンゴエンジニアからの挑戦状にチャレンジしてください。 予選は、年

生活の党に山本太郎氏入党　党名は「生活の党と山本太郎となかまたち」に変更 1 名前：2chまとめは使うな ◆/20SEI/yo/8G ＠20世 ★＠＼(^o^)／：2014/12/26(金) 19:49:10.56 ID:???0.net 生活に山本太郎氏入党　再び「政党」に　交付金も支給へ 先の衆院選で政党要件を失った生活の党は２６日、新たに無所属の山本太郎参院議員を加え５人となった。総務省に同日、政治資金規正法に基づく政治団体の届け出を行い、再び「国会議員５人以上」の政党要件を満たし、来年の政党交付金を受け取ることができるようになった。 党の正式名称は「生活の党と山本太郎となかまたち」に変更した。代表は小沢一郎氏が引き続き務める。生活は衆院選の当選者が小沢氏ら２人にとどまり、「比例代表の得票率２％以上」の条件も満たせずに政党要件を失っていた。 http://www.sankei.com

BY dominiqs ※本ページはプロモーションが含まれています 「会話が続かない人にはある特徴がある」 そんなことを言われたら半信半疑ながらも 誰だって気になってしまいます。 でも実際にあるんです。 そこで本日は会話が続かない人たちの話し方と注意するべき点を確認してみます。 会話が続かない人の特徴と改善方法 出典 誰からも大切にされる女性の話し方 posted with カエレバ 野口 敏 経済界 2010-06 Amazon 楽天市場 Yahooショッピング 会話が続かない人ほど「わかる、わかる」を多用する 会話を止めてしまう人に意外と多いのが 何でも同調してしまうこと。 「わかるわかる言ってるけど、 絶対わかってないだろうなー、この人」 と感じたことはありませんか？ そしてそう感じた瞬間、 話す気が失せたりしませんか？ 内容に共感していなくても 同調のメッセージを出しすぎる人がいま

尾野（しっぽ） @tail_y 遊び心はいいが、遊び心を押し付けるのは嫌い。かわんごさんも暗に言っているけど、人がどんどん抜けて、今回の上場はギリギリで上がり逃げって感じで、悪い噂ばかり聞くし、今後どうなるのかっていう感じがある。 htn.to/a85CRND 2014-12-26 10:52:43 リンク http://kawango.hatenablog.com/ 給料なんてサイコロで決めればいい - 続・はてなポイント３万を使い切るまで死なない日記 今日、面白法人カヤックという会社が上場した。おめでとうございますというのは本人に直接いえばいい話であって、こんなところに書きたいのはそんな話ではない。 カヤックには面白い人事制度がいくつもあるのだが、そのなかでもぼくが本当に衝撃を受けたのはサイコロ給という制度で、今日はそれを紹介したい。 サイコロ給とは毎月１回サイコロを振って、サイコロの

著作権は著作者の死後も保護され無断で複製したり公衆送信したりできませんが、著作者人格権を除く著作権(著作財産権)はアメリカや日本など多くの国では著作者の死後、一定期間を過ぎると消滅し、自由に複製したり配布したりできるパブリックドメイン(公有)に帰することになります。年が明けた2015年1月1日から新たにパブリックドメインになる有名な著作者をまとめるとこんな感じです。 Class of 2015 | The Public Domain Review http://publicdomainreview.org/collections/class-of-2015/ ◆ワシリー・カンディンスキー(ロシア・1866-1944) ワシリー・カンディンスキーは「抽象絵画の創始者」とされる画家で、代表作は「即興 渓谷」 ◆エドヴァルド・ムンク(ノルウェー・1863-1944) 言わずと知れた「叫び」で有名

さっきまで会社のチーム全員(8人)で残業してたんだよね。 夜の9時だしお腹も空くんだけど今日ってクリスマスでしょ。 当然この後それぞれのパートナーとご飯食べる予定あるに決まってるじゃん。 大体いつもしてる会話の中であなた以外みんな相手がいるの分かってるでしょ。 それが何突然。 いきなり「メリークリスマス！！」とかいってファミマで何大量にファミチキ買って来てんだよ。 なに変なボックスに入れて来てるの。 みんなどん引き。 これ食ったらこの後飯食えなくなるだろ。 いや、あなたは飯の予定無いだろうけど少しは人の気持ち考えて欲しい。 やっぱずっと一人だと人の気持ちとかに鈍感になって行くのかね。 そりゃ結婚出来んわ。

Docker Advent Calendar 2014 12/25 の記事、本気で使う Docker です。 ということで、実際に弊社で Docker を使った運用を開始した際にはまったところや、悩んだ所、どういう風に使っているのかについてぱらぱらっと書こうと思います。 "本気" なぜ Docker を使うのか、というと、僕の中では以下のような理由があります。 すべてのアプリケーションを(インフラ的に)同じ方法でデプロイ、管理したい 特定のサーバー / インスタンスの状況に依存することなく、アプリケーションの依存とインフラ都合の依存を別管理したい Docker なんかかっこいいっぽいし使ってみたい 上記のような都合から、どうやって作っていくかを考えていきます。基本的には1番目と2番目の理由が重要です。 Docker コンテナのいいところ とある Rails アプリケーションをデプロイするた

2014-12-26 人を信用できないという齊藤貴義へ 私的な日記 要約 「自分が人を信用できないのは、信頼に足る人と出会ってないせいだ」って、三十路に許される考え方じゃねーから！ 序文 人間、２０歳で成人してから１０年も過ぎていれば、自分なりの方法で色んな人と出会ってきたはずだと思います。 そりゃあ、中には合わない人もいただろうけど、信頼に足る人もいたと思うのです。 それにも関わらず、「自分はまだ信頼に足る人と出会ってない」って考えるのは、さすがに幼稚すぎるのではないでしょうか。 これ、相手が信頼に足るかどうかという問題じゃなくて、自分が相手を信頼することに挑戦しているかどうかという問題だと思うわけです。自分から相手を信頼する、心をオープンにする。 それが、他人と平和友好関係を結ぶ基本だと思います。それをせずに他人に責任転嫁する言動が許されるのは、せいぜい10代まで。 基本的

この記事はモバイルアプリスタートアップのSonarを立ち上げたBrett Martinが、数百万ダウンロードを稼ぎTechCrunch DisruptやAd:Tech Best Mobile Startupに選ばれ数百のメディアに取り上げられるなど一見大成功に見えた中で、失敗に終わったことを振り返った記事「Postmortem of a Venture-backed Startup」の翻訳記事です。凄く良かったのでご本人に直接翻訳記事をアップしていいかどうかお伺いし、以下のように快諾頂けましたので翻訳記事としてアップします。 @yuichikory for sure! — Brett Martin (@brett1211) 2014, 12月 21 ==============以下、翻訳============== 知らない人たちのために説明すると、Sonar Media Inc. は世界

メリークリスマス！！やあ、良い子のみんな！！サンタクロース・・・ではなく、ヒゲモジャギークからのクリスマスプレゼントだよ！！ というわけで、MySQL Casual Advent Calendarの25日目である。今朝Advent Calendarを覗いてみると、本日分のエントリーが無かったので、急遽書くことにした。Advent Calendar最後の日、クリスマスを飾る記事のテーマはGTIDだ。 前回の投稿では、MySQL 5.6の目玉機能として、レプリケーションがクラッシュセーフになったことを挙げた。レプリケーションまわりで言えば、もうひとつ外せない目玉機能がある。それがGTID（Global Transaction ID）である。 GTIDは良くも悪くもレプリケーションの運用を変化させる。GTIDを使うことによって得られる最大のメリットは、CHANGE MASTER TOでバイナリロ

前回: 「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる 第２章 - セカイノカタチ 関数プログラミング 珠玉のアルゴリズムデザイン 作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見る こちらの本のコードをScalaに置き換えていっているシリーズの第３弾ですが、内容の解説が難解すぎてScalaのコードがオマケみたいな感じになってきているのは、きっと気のせいです。(^^; では、はりきって第３章行ってみましょう〜。 鞍型探索の改良 この章は、突然グループディスカッション形式で進みます。 Anne, Jack, Mary, Theoの四人と教師のディスカッションを追っていく形式なのですが、リアルタイムでこんなディスカッションされたらついていけない

こんなニュースが話題になってた。 韓国の2014年の流行語は「熱情ペイ」「IKEA世代」 ここで扱われている「熱情ペイ」とは日本で言う「やりがい搾取」のことだ。 熱情は情熱、ペイは支払いのPayで「情熱があればお金なんていらないだろう？」と労働力を買い叩く企業を皮肉った言葉である。 またIKEA世代と言う言葉もまた韓国の若者が使い捨ての粗雑な家具を「長く使う気がない人が安価に買い叩かれる若者」と引っかけて生まれたそうだ。 ややこしいのは「やりがい搾取」と言う言葉は楽しい仕事に対して多く使われること。 確かに楽しそうな仕事・趣味がこうじた仕事で起こりやすいが、むしろ業種に関係なく「不当労働や余分な仕事・接待を楽しいと言わせ、それを理由にお金を払わないこと・長時間人を突き合わせるのを正当化してる」企業体質を批判する言葉がやりがい搾取や熱情ペイである。 日本にもやりがいばかりを売りにして、給料や

「１０年前は、もどかしく眺めるだけだったパレード」、今は自分らしくいられる場所　写真で振り返る西日本最大級「レインボーフェスタ！２０２３」

by Tim . Simpson これまでに様々な機密情報を入手・公開してきたWikiLeaks(ウィキリークス)が、新たにCIAの未公開極秘文書の公開を開始しました。この中では、偽物のパスポートでヨーロッパ諸国、特にシェンゲン圏に侵入する方法が説明されています。 CIA Travel Advice To Operatives https://wikileaks.org/cia-travel/ 公開された機密文書は2つ。1つは「Surviving Secondary Screening」と題された、空港の保安検査で、いかにしてセカンダリ・スクリーニング(追加検査)の対象にならないようにするかを解説した文書で、主に、偽物のパスポートを持ってヨーロッパへ任務で赴く工作員向けのもの。 CIA Assessment on Surviving Secondary Screening - page 1

準決勝での史上初九州対決制し、東福岡連覇に王手【全国高校ラグビー】otto! 2024-01-05 15:45:18

佐藤 優（さとう・まさる）氏 元外交官、文筆家。インテリジェンスの専門家として知られる。第38回大宅壮一ノンフィクション賞などを受賞した『自壊する帝国』 の他、『佐藤優の10分で読む未来―戦争の予兆編』『佐藤優の10分で読む未来―新帝国主義編』『「ズルさ」のすすめ』『日本国家の神髄』『紳士協定　私のイギリス物語』など著書多数。（撮影：前田せいめい、以下同） 佐藤　今回の衆議院選挙について、自民・公明の圧勝と言われていますが、正確に言うと自民党は議席を2つ減らしています。公明党は4つ伸ばした。ですから自民党は横ばいで、公明党は勝ったと。あと共産党も勝ちました。 全体の流れとして見ると、今回の投票率は52.66％で史上最低で、そうすると組織選挙になる。公明党の支持母体である創価学会、民主党の支持母体の1つである連合、それから共産党という3つの組織がしっかりした党が競争して、組織が一番強い創価学

2014-09-28 75％引き！Lightroom使うならNIK Collection追加すると捗るよ！という話 アプリの話 PCの話 カメラの話 NIK Collectionで簡単に素敵写真を作ろう！ 写真のRAW現像といえば、 AdobeのLightRoom CreativeCloudt対応になり LightroomとPhotoshop CCのセットで 月額980円になりました。 <a href="https://creative.adobe.com/ja/plans/photography?gclid=CjwKEAjwkf-gBRCd-b2m2aOo0EQSJABMeQDkf6mYTHLBKObYyD2zfKxPl68MXqosd83Yg0cb7N9LvRoCFH_w_wc

この記事は 自作OS Advent Calendar 2014 - Adventar 12/25の記事です。 一ヶ月程前からLinuxカーネルのコードを読み始めたので、解読ついでに自分でもカーネルを作ってみました。 とはいっても、まだ半分も完成してないです（） 当初は、30日でできる 自作Linuxクローン開発 を予定していたのですが、 予想以上の規模で、解読とフルスクラッチ開発を併行するのは結構大変でした... という訳で、現在実装できている所まで紹介します。 開発レポジトリはこちらです。 RKX1209/Abyon · GitHub (インストール方法や実行方法はここに書いてます) 実装した機能 プロセススケジューラー Runキュー ハードウェア割り込み(PIC 8259A) 遅延割り込み Tasklet グローバルタイマー(PIT) タイマーリスト 仮想ページング(IA-32 MMU

1 マシンガンチョップ(大阪府)＠＼(^o^)／ :2014/12/25(木) 18:58:35.59 ID:8FbdjmAR0.net ?PLT(13121) ポイント特典殴っても突いても平気なヤマハ製 一撃で凹む中国製 関連記事 ロシアの声「日本の人が『ロシアの声』を信頼してくれている…うれしい！」 【衝撃動画】強盗して逃走中の車に雷が落ちて爆発、乗車してた人は全員死亡【ロシア】 【動画】おそロシア人がマイナス197度の液体窒素を使った究極のアイスバケットチャレンジ ロシアの現在の気温ンゴｗｗｗｗｗｗｗｗｗｗ 【ロシア】猫が魚を15万円もつまみ食い!?　可愛いので地元クラブが引き取り、弁償もするよ！勝ち組か。 続きを読む