はじめに 「プロを目指す人のためのRuby入門」を出版して以来、本で学んだ内容をブログに載せてくれている方をよく見かけます。 それ自体は著者として大変嬉しいのですが、たまに「ん？これはちょっと・・・」と思うようなブログ記事を見かけるときがあります。 具体的にいうと、本の内容を丸写ししているだけのブログ記事です。 このエントリでは本の丸写しがなぜいけないのか、かわりにどういうブログを書けばいいのか、ということについて書いていきます。 本の内容を丸写ししているブログの例 本の内容を丸写しをしているブログというのは文字通り「丸写し」しているブログです。 具体的なイメージを共有するために「こんな感じ」という例を載せておきます（特定の誰かのブログを意図しているわけではありません）。 タイトル「第2章 2.2.3 文の区切り」 「プロを目指す人のためのRuby入門」を読んでいるので、勉強した内容をメモ

2016年9月に次の記事を書きました。 関数型プログラミングとオブジェクト指向について、何か書く、かも タイトルからして引き続く記事を予告しているのですが、その予告を実行することができませんでした。タイトル中の「何か」とは「型クラス」のことです。上記の記事の最後の部分は： 関数型プログラミングにもオブジェクト指向にも関係があって、今後重要度を増すであろう「型クラス」ですが、今述べた（愚痴った）ような事情で（あと、C++のコンセプトは宙ぶらりんだし）、説明の方針も題材も定まりません。でも、いつか、何か書く、かも。 今回この記事で、予備知識をあまり仮定しないで型クラスの説明をします。言いたいことの1/3くらいは書きました。1/3でも長い記事なので、ぼちぼちと読んでもらえれば、と。書き残したことは最後に触れます。いつか、1年はたたないうちに(苦笑)、続きを書くつもりです。 内容： Haskell

某社で配属されてしばらくたってからClojureを書き始めました。それから１年たったのでAdvent Calendarにかこつけて感想をずらずら書いておこうと思います

ご覧のとおり、リーダブルコードの人気は圧倒的！2016年に引き続き、2位以下に2倍以上の差をつけての圧勝です。美しく読みやすいコードを書くためのバイブルとして、不動の人気が伺えますね。 ちなみにこの上位陣の顔ぶれは、多少の上下変動はあれども2016年度のランキングとあまり変わりません。バイブルはずっとバイブルであり続けるのと同じように、優秀なエンジニアが愛してやまない本は、年月が経ってもそう変わるものではないのかもしれません。 さて、ここからはこの32冊をジャンル別にご紹介していきます。本は読みたいときが読み時。自分にピッタリだと思ったら、すぐにゲットしてスキルの底上げに臨みましょう。この年末年始は自分を成長させるチャンス！ 【目次】 プログラミングが圧倒的にうまくなる5冊の本 設計に携わる人に向けた7冊 チームマネジメントを考えるための4冊 エンジニアとして”嗜み”の11冊 デザインを学

はじめに これは「言語実装 Advent Calendar 2017」24日目の記事です。 この記事では 64bit版Windows で実行可能な x86_64 のセルフホスティング Forth コンパイラを作ります。 対象読者としては「C言語そこそこわかる」「x64アセンブラに嫌悪感はない」ぐらいの人を想定しています。コンパイラの知識は特に前提としません。 完成品はこちらから取得できます。 bootstrap には C を使います。しかしC言語的にお行儀の悪いことを色々やりますので、バージョンやコンパイルオプション等によっては動かないかもしれません。ご了承ください。一応完成版は以下の環境で動作を確認しています。 Cygwin64 の gcc option: -O3 と -O なし両方 version: 6.4.0 (GCC) target: x86_64-pc-cygwin Msys2

セッションIDやアクセストークン、はたまた業務上で使う一意の識別子など、いろんなところで一意のIDを生成しなきゃいけないケースが存在します。 そこで世間で使われているIDの生成方法について調べてみました。 選択基準 ID生成における要求として、以下の観点が上げられるかと思います。 生成の速度 大量にデータを短期間で処理し、それらにIDを付与する場合、ID生成そのものがボトルネックとなることがあります。 推測困難性 IDを機密情報と結びつける場合、IDを改ざんされても、機密データが見れないようにできている必要があります。 順序性 採番した順にデータをソートする必要がある場合は、IDがソートキーとして使えないといけません。 それぞれについて各生成手段を評価します。 ID生成の手段 データベースの採番テーブル 採番用のテーブルを作り、そこで番号をUPDATEしながら取得していくやりかたです。古い

Haskellではモナドと呼ばれる部品を組み合わせてプログラムを作ります。関数の評価に失敗したときにエラーを起こさずに処理する方法の初歩を説明します。Maybeモナドを手っ取り早く使うことを目的としているため、モナドの作り方や圏論には言及しません。 シリーズの記事です。 Haskell 超入門 Haskell 代数的データ型 超入門 Haskell アクション 超入門 Haskell ラムダ 超入門 Haskell アクションとラムダ 超入門 Haskell IOモナド 超入門 Haskell リストモナド 超入門 Haskell Maybeモナド 超入門 ← この記事 Haskell 状態系モナド 超入門 Haskell モナド変換子 超入門 Haskell 例外処理 超入門 Haskell 構文解析 超入門 【予定】Haskell 継続モナド 超入門 【予定】Haskell 型クラス

JJUG CCC 2017 Fallでの発表資料です。

I am often asked which Smalltalk one should use, as the answer is far from obvious. Smalltalk, you see, is not one language but a family of languages, for example, Amber (for the web), Redline (for the JVM), GNU (for the command line), VisualWorks (for commercial needs). I usually recommend Pharo. It’s the most rapidly evolving flavour of Smalltalk with an incredible range of innovations since Pha

プログラミング言語の学習は一般に大変である。 最初にどのようなことをすればいいのか、どの本をよむべきなのか等疑問は尽きない。マイナーな言語で情報が少なければなおさらである。 この記事では諸事情でHaskellに入門することになった方にむけて、どのように勉強していくか、参考にすべき本や記事を紹介する。 より良い指針にするためにも、指摘、感想等はコメントや私のTwitterアカウント(@Lugendre)に投稿して頂けるとありがたい。 入門〜初心者 環境構築 まずどんなプログラミング言語においても、プログラミングをする環境が必要である。Haskellにおいては Stackと呼ばれるツールをインストールすることによって、コンパイラ(GHC)、モジュールのインストール、ビルドなど自動でやってくれるようになるので、とりあえず脳死でStackをインストールしておけば良い。 以下の@igrepさんの記事

アーキテクチャから新しい！ 初めてのエディタには、21世紀生まれの「Atom」がおすすめ【続・若手エンジニア向けエディタ実践入門】 Atomは、「A hackable text editor for the 21st Century」と公式のコピーにあるように、21世紀に誕生した新しいエディタで、アーキテクチャも新しくて魅力的なものになっています。 みなさんお久しぶりです、再びエンジニアHubに帰ってきました大竹智也（@tomoyaton）です。前回はEmacsの記事1をお届けしましたが、今回はAtomというエディタの記事をお届けします（次はVimかもしれませんね）。 Atomは、WebエンジニアにはおなじみのGitHubが開発しているテキストエディタです。公式のコピーに「A hackable text editor for the 21st Century」とあるように、21世紀に誕生し

紙書籍をお届けします（PDFがついてきます） 紙書籍のみが必要な場合は、こちらの紙書籍単品をお求めください PDFのみが必要な場合は、こちらのPDF単品をお求めください PDFは購入後すぐにダウンロード可能です 紙書籍は通常、ご注文から2～3営業日で発送します 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN：978-4-908686-02-3 2017年10月23日 第1版第1刷 発行 正誤情報 あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公