私は日課として、毎朝エンジニアブログのフィードを見ています。 具体的には、Feedlyで企業系のエンジニアブログを中心に購読しています。 企業系のエンジニアブログは、宣伝こそありますが良質な記事も多く、技術のキャッチアップには最適です。 なぜエンジニアブログの購読がオススメかと申しますと、「企業系エンジニアブログは、社内精査されてから公開されるため、比較的記事の質が高い」傾向にあるからです。 今回は、私がRSSリーダー(Feedly)で購読しているエンジニアブログの中から、一部を抜粋してご紹介します。 アシアルブログ アシアル社といえば、PHPで有名です。 PHPとは関係ないのですが、温泉マークの記事がとても好きです。温泉マークのオマージュ。 blog.asial.co.jp Aiming開発者ブログ ゲーム開発がメインのブログです。私はWEB系エンジニアですが、ゲーム関係の開発者ブログも

京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．