逆説的な十戒｜深津 貴之 (fladdict)
インターネットで心無い人に殴られたとき、読むとちょっと元気がでるやつ。Kent M. Keithによる"The Paradoxical Commandments"の和訳。noteもこういう、キープ・ムービング・フォワードの精神でいきたい。 人々は不合理で、非理性的で、自分勝手です。それでも彼らを愛しましょう。 あなたが善い行いをなしても、人々は下心があると言うでしょう。それでも善をなしましょう。 成功をすると、偽の友人や真の敵を得るでしょう。それでも成功を目指しましょう。 あなたが今日した善行は、明日には忘れ去られるでしょう。それでも善をなしましょう。 あなたの正直さや素直さは、あなたを弱くするでしょう。それでも正直や素直でありましょう。 大志を抱いた人々が、浅はかな小人に撃ち落とされるかもしれません。それでも大志をいだきましょう。 人々は弱者に目をかけますが、結局は強者に従うでしょう。そ
“少ないデータ”で高精度AIを実現したRidge-i--白黒映像をカラーに、ゴミ焼却炉は自動化
Ridge-iは、2016年7月に設立された深層学習のコンサルティングや開発を担う企業だ。2017年に放送されたNHKスペシャル「戦後ゼロ年 東京ブラックホール 1945-1946」内の白黒映像を、AI（人工知能）でカラー化したことで注目を集めた。同社が手がけるAIソリューションやその活用によって広がる可能性について、代表取締役社長の柳原尚史氏に聞いた。 「最初の1枚」を人が彩色するだけで自動彩色 柳原氏は、小学生時代に親からゲームを禁止されていたことから、何とかしてゲームで遊べないかと考え、当時自宅にあったPC-9801を使ってゲームを自作。それをきっかけにエンジニアの道を進んだ。その後、大学を卒業し大手通信業社や大手金融機関に務める中で、「リスク分析やアルゴリズム取引きの開発に携わっている時に深層学習の可能性に気づき、Ridge-iを設立した」（柳原氏）と振り返る。 Ridge-iの強
私のURLはあなたのURLとは違う : curl作者の語る、URLの仕様にまつわる苦言 | POSTD
1996年にcurlプロジェクトの先駆けとなるhttpgetを始めたとき、私は初めてURLパーサを書きました。当時はまだ、ユニバーサルアドレスは URL : Uniform Resource Locators と呼ばれていました。その仕様は1994年にIETFによって発行されたものでした。この”URL”という用語からインスピレーションを得てツールとプロジェクトに命名したのが curl でした。 URLという用語は後に事実上、 URI : Uniform Resource Identifiers (2005年発行)に変わりましたが、「オンラインでリソースを指定する文字列のための構文と、そのリソースを得るためのプロトコル」という、基本的な点は変わりませんでした。curlでは、この構文仕様RFC 3986の定義に従う”URL”を許容するとうたっていますが、それは厳密には正しくありません。その理由
漸進的型付け言語の時代に必要なもの - mizchi's blog
最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きます。この記事の出発点として、 おそらく TypeScript/Flow で発生した問題が後発の言語で発生すると思っており、それらを使う方や、設計する人への提言でもあります。 自分は昔 https://github.com/mizchi/TypedCoffeeScript というAltJS作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの
enchantMOON発売から今日で5周年。この五年で起きたことを振り返る - THE長文日記
なんで七夕に設定しちゃったんだろう。 もともと記念日を覚えるのが苦手なので忘れないという意味では悪くないのだが、毎年七夕が来ると思いだしてしまう。 あの地獄のような日々からもう五年が経った。 本当は6月中に発売したかったんだけど、中国で製造がようやく始まったと思って帰国したら、ソフトが初回起動で必ずハングアップするみたいな状態で、これは絶対に間に合わないから7月7日出荷にしようと決断したのだった。 中国からリモートでソフトウェア開発を管理するというのはほとんど不可能に近かった。これは僕の見通しが甘かったのだ。 あれから現在に至るまで、同規模の、つまりOSからUIからプログラミング言語からオーサリング環境までまるごと全部作る、みたいなプロジェクトは大企業のものも含めてまだ聞いたことがないから、やはり挑戦としてはかなりクレイジーなものだったのだろう。まあいいのだ。クレイジーなことがしたかったん
オウム真理教の人々の目指していた社会も「正義」に基づいていた…戦争や仮面ライダーの持つ「独りよがりな正義」を考える
omion @16331633 オウムでサリンつくった人たちだって蒔いた人たちだって「人を殺す犯罪」をしようとしたんじゃなくて「理想の社会を作る正義」のための戦いをしようとしてたんですよ。良かれと思っての行動なんですよあれ。 当時は「宗教ってやばいな」と思ってたけど、今は「正義ってやばいな」と思うようになった。 2018-07-07 08:49:59 まから @makaraeg @16331633 @nu_seat 読解力ないリプ多いな。 恐ろしいことでも正しいと思い行動させてしまう「正義」って怖いな。 の意味でしょ。 あれに社会的正義があるなんて言ってない。 2018-07-07 21:24:15 まから @makaraeg @16331633 @nu_seat しかもこんだけ「正義」を盲信するリプが多いのにビックリ。 あるべき正義を自分のなかで定義してるだけなのに。 正義は人を殺さない
F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システムを組み込んで何が嬉しいんだろう？ 何が嬉しくないんだろう？ と疑問をお持ちになる方も多いだろうと思います。 この記事ではF*で使われている複雑な型の一部と、複雑な型を持つことの利点・欠点の一部を述べ、それを簡単なコード例を通じて体感してみます。 疑問に対する答え F*とは？ マイクロソフトと Inria が開発中のプログラミング言語です。 依存型や monadic effect などが組み込まれており、複雑な仕様が型で表現できます。構文は OCaml や F#などのML系関数型言語に似ています。 詳しくは下記のリンクたちを参照。 F* (プログ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
