『微分可能プログラミング』はどこから来たのか - bonotakeの日記
はじめに（8/3追記） この記事を一旦書いたあと、重要な追加証言が得られたため、追記修正しています。結論もやや変わっていますが、現時点のほうがより正確です。 本編：ここから ディープラーニングが現在これだけ流行っている1つの要因は、TensorFlowやPyTorchなどのフレームワークが非常に便利だからです。ニューラルネットワークの設計、訓練、そして分類などの推論がフレームワークを使えばとても簡単に行なえます。 普通に使っている人達は、これらのフレームワークを『ツール』あるいは『ライブラリ』だとみなしていると思います。でも実際のところ、これらはプログラミング言語です。より正確に言えば、すべてのディープラーニングフレームワークはディープラーニング計算用DSL（Domain-Specific Language、ドメイン特化言語）と見なせます。このDSLは大抵、Pythonなど他の汎用言語への
モナド則がちょっと分かった？ - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? モナドを勉強しようとするとモナド則が立ちはだかります。しかしモナド則は意味だけでなく、それがモナドを勉強する上でどういう位置付けなのかも分かりにくいです。とりあえず棚上げしたまま分かる範囲のことから手を付けていましたが、ちょっと分かったような気がしたのでメモしておきます。 モナド則に関する現時点の理解ですが、正確さは保証できません。 これを読めばモナドが理解できるという類の説明（モナドチュートリアル）ではありません。 試験的にモナド則を図示しました。コードを図に転写して、多少の解釈を加えたものです。もし分かりにくければ無視しても構いませ
プログラマという現代の傭兵 - mizchi's blog
エンジニアの転職とかプログラミング教育周りで考えていたこと。 フランス革命と技術のコモディティ化 最近フランス革命やナポレオン戦争やナショナリズム、そしてクラウゼヴィッツの戦争論などを調べたりしていたんだけど、傭兵や専門技術の扱いについて、示唆的なものが多かった。 当時の傭兵は、扱いが難しかった大砲・銃火器を扱う専門集団で、技能職でもあった。それが 18 世紀になり火器の改良が進み、産業革命で効率的な生産が可能になり、そしてナポレオンによる国民軍の創設、そのヨーロッパにおける戦果によって、傭兵はその役割を終えた。 「傭兵はすぐ逃げる」というのが定説だが、彼らは金で動く専門職なので、負ける側に付く理由がないので、当然とも言える…特に戦争という、敗者の支払いが期待できない場では。そして彼らを雇う王侯貴族の経済力が、そのまま軍団の動員力に直結した。常備軍を持たない分、平時のコストも安くついた。
漸進的型付け言語の時代に必要なもの - 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作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの
CODE COFFEE｜プログラム言語のコーヒー
01 #include <stdio.h> 02 int main() { 03 printf("Thank you for visiting our page!!!"); 04 return 0; 04 } 言語の特長に合わせて コーヒーをブレンドしました CODE COFFEはプログラム言語の名前を冠したコーヒー。各種言語の特長を抽出し、コーヒーをブレンドしています。例えば、プログラムの源流となるC言語には、コーヒーの源流であるブラジル・コロンビアのブレンドを作ったり。Swiftコーヒーは、Apple製の言語であることから、りんごフレーバーのコーヒーにしたり。主要な８種類のプログラム言語を丁寧に実装（ブレンド）しました。
初心者をググれカスと突き放すのは割と酷なのではないかという話 - koogawa blog
こんにちは koogawa です。最近は Stack Overflow だけにとどまらず、エンジニア向けQAサイト teratail でも回答しております。teratail はスコアが上がっていくと色んなバッジをゲットできるので気に入っています。 teratail【テラテイル】｜思考するエンジニアのためのQAプラットフォーム ところで今日は次の質問に回答しました。 teratail.com これ、めちゃくちゃ良い質問だと思うんです。何より自分がわからないことをちゃんと言語化できている。 すでに回答もいくつか付いていたので内容を見てみると。。 ぐぐる。これに尽きます 普通にググれば見つかるのに 何がわからんの？ だいたいこんな感じでした。 うーん、皆さんなかなか手厳しい回答です。。これだと質問者の方も、ここで挫折してしまうのではないでしょうか。 回答してみた というわけで「自分ならどうググる
Box blur - Wikipedia
An example of an image blurred using a box blur. A box blur (also known as a box linear filter) is a spatial domain linear filter in which each pixel in the resulting image has a value equal to the average value of its neighboring pixels in the input image. It is a form of low-pass ("blurring") filter. A 3 by 3 box blur ("radius 1") can be written as matrix Due to its property of using equal weigh
個人開発のやっていき方
2017年7月20日に行われた Rails Developers Meetup #3 の発表資料です。
Dash for iOS: Back on the App Store - Kapeli Blog
TL;DR: Dash for iOS is back on the App Store and it’s completely free. Ever since I’ve open-sourced Dash for iOS there have been a lot of requests for Dash to get back on the App Store, as the process to install it from source isn’t exactly user-friendly. Quite a few “developers” have even added it to the App Store themselves, violating the GNU GPL license in the process. Apple has been very respo
自分の言葉で書かれたコミットメッセージが好き
誰にも質問されていないけど回答すると、ぼく個人としては「レビュー指摘事項を反映」的なコミットメッセージにはやんわり否定派で、どうしてそう変更すべきと思ったのかを自分の言葉で書く方がベターと思っています。 — juné29💩公式アカウント (@june29) January 11, 2017 140文字には納まらないな、と思ったのでちゃんとエッセイを書く人間になろう！ たとえばぼくがレビューを担当させてもらって「ここはAの方がよいと思いました」とコメントしたとして、そのときに「レビューで指摘された箇所を修正」というメッセージ付きのコミットが追加されたとする。そのあとぼくが思い直して「いや、他の箇所も考慮すると、やっぱりBの方がよさそうです」とコメントしたとする。また「レビューで指摘された箇所を修正」というコミットが追加される。 こういうやりとりだと、「レビュー」というプロセスというよりは「
エンジニアが知っておいて損は無さそうなISOの標準規格たち - Qiita
「それ○○で標準化されているよ」って指摘されることほど、エンジニアにとっての屈辱は無いですよね。 ということで、世間知らずだと思われないためにも、手始めにISO縛りで有益そうな標準規格1をまとめてみました。 ちなみに、ISOとは…？ 国際標準化機構（International Organization for Standardization）は国際規格を策定する世界最大のボランタリーな開発組織で、国家間に共通な標準を提供することによって、世界の貿易を促進することに貢献している という組織だそうです。 (どう考えてもIOSと略すべきだと思うのですが、ISOになった理由は諸説2あるようです。) コード体系 ISO 639 (言語名コード) 例: 日本語 = ja, jpn 朝鮮語 = ko, kor 中国語 = zh, zho, chi, zho ドイツ = de, deu, ger, deu
Vim でインサートモードを抜けた時にインプットメソッドを切り替える - Nekostack
1. はじめに Vim で日本語を書く人によくありがちなのが, ノーマルモードを抜ける際にインプットメソッドを戻すのを忘れてしまうことなのかなと思っている. うっかりインプットメソッドを切り替えるのを忘れて保存しようとするとこうなって, ストレスがマッハに… この辺りの話は散々されているはずで, Vimを使う上でのIME(日本語入力)の取り扱い や, Vim/GVimで「日本語入力固定モード」を使用する などを見ると色々やりようはありそうな感じ. Mac & Vim だと Karabiner を使って, インサートモード離脱にインプットメソッドを切り替える. MacVim などで iminsert を使う. 自分は大体 CUI 版の Vim, NeoVim を使うのだが, 2017/01/02 時点では karabiner は macOS Sierra 上で使えるようになっておらず, 上で
Swift を Vim で補完しながら書いてみる - Nekostack
ふと思い立って、Vim で Swift の補完をするプラグインを書いたので紹介。 mitsuse/neocomplete-kitten: A neocomplete source of Sourcekitten for Swift. モチベーション Xcode には XVim という大変便利なプラグインがありますが、 Swift に限っていえば、 SourceKit もあるのでこのアプローチもありではと思った次第。 すべての作業を Vim で完結させることは狙ってはおらず、 あくまでも Xcode (とその周辺の CLI ツール群もふくめて) と Vim でうまくすみわけができればと妄想しています。 たとえば、実装作業は Vim で、 それ以外 (プロジェクトの設定や Interface Builder で UI 設計) は Xcode で、などなど。 仕組み neocomplete から
ジェネリックなイニシャライザが継承されない - Nekostack
Swift のジェネリクスとイニシャライザ絡みについてメモ。 Automatic initializer inheritance のルールは逸脱していないのに、 なぜか継承されないと思ったら、 どうもそういうバグらしい。 [SR-416] Automatic initializer inheritance doesn’t work for generic types. Automatic initializer inheritance イニシャライザが自動的に継承されるかどうかは、 以下の二つのルールに従う仕様になっている。 Rule 1 If your subclass doesn’t define any designated initializers, it automatically inherits all of its superclass designated initial
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Mypy 0.660 Released
まだ動的型付け言語で消耗してるの？ - 愚かなハッカーたれ、利口なエンジニアよりも
Swift Evolution
Amrita Mazumdar - Understanding Box Blur
GitHub - google/grumpy: Grumpy is a Python to Go source code transcompiler and runtime.
Vim で Swift 補完, プレースホルダ活用 - Nekostack