高山本線の下呂駅から焼石駅をアップ!

JR東海 高山本線の下呂駅から焼石駅までの駅名標や駅舎、列車車両の写真を公開しました。


train-kiha75-gero-s.JPGtrain-kiha85-gero-s.JPG

広島アストラムラインをアップ!

広島高速交通のアストラムラインの全線(本通-広域公園前)の駅名標写真や列車車両写真を公開しました。

train-6610-s.JPGtrain-6617-s.JPG

IoTセキュリティ インシデントから開発の実際まで

書籍「IoTセキュリティ インシデントから開発の実際まで」を執筆(共著)しました。

また、その「Web増補版」のページも公開しました。

iot.jpg

「関数型プログラマって草食系なの?」 - 関数型プログラミング本を読んでみた女子の日常

Web版関数型プログラミング本を読んでみた女子の日常で、Web版 4コマ漫画編「関数型プログラマって草食系なの?」 を公開しました。

10.png

文字だけで描いた4コマ漫画「プログラマは画面の前で?」

はじめてのLisp関数型プログラミング」の章末にある「関数型プログラミング本を読んでみた女子の日常」を4コマ漫画風にしてみました。但し、文字だけで描いた4コマ漫画「プログラマは画面の前で?」です。

4koma.png

コマ漫画版 関数型プログラミング本を読んでみた女子の日常

Web版 関数型プログラミング本を読んでみた女子の日常(番外編1:プログラマってどうなの?)

Web版 関数型プログラミング本を読んでみた女子の日常
番外編1:プログラマってどうなの?(全編収録)

---------------------------------------------------------------------
関数型プログラミング本を読んでいて、プログラマの生態が気になったリン。
リン:
プログラマって、なんでこんなことに拘るの?プログラムが動けばいいじゃん。それで何か文句でもあるの?
スー:
リン、あなたは馬鹿なのかしら。いい?プログラマはプログラムを作る生き物よ。デバッグをする生物ではないのよ。分かったかしら。
リン:
え、何の話なの。それが拘る理由なの?よく、わかんない。プログラマってプログラムを作っているよりもデバッグが好きなんじゃないの?
スー:
プログラマというのはね、バグを出さないようにするためには、どんなことでもする生き物なのよ。
プー:
どんなことでもって、どんなことなのかな。あんなことも~?プログラマってすごいかも。
リン:
え~、そうなんだ。プログラマって大変なんだね。バグを出さないためには、あんなこともするなんて。
プー:
うん、そうかも。おとなしく部屋の隅っこでプログラミングしていたらいいのにね。
スー:
2人とも何を言っているのかしら。プログラマはバグを出さないためには、プログラミングさえ、しないこともあるってことよ。
リン:
え~、プログラマってプログラミングせずに生きていけるものなの?死なないの?大丈夫なの?
プー:
大丈夫、プログラマはハッキングできればいいの~。コンピュータを与えておけば生きていけるかも。
スー:
肯定したくないけど、そうかも知れないわね。でもバグを出さないプログラミングこそ、プログラマの生き様よ!
学校からの帰り道で一人になったスーザン
スー:
プログラマはバグを潰す職人ではないわ。バグを出さずにプログラミングする職人なのよ。その覚悟がリンにはあるのかしら。
プー:
スーちゃん、でもね、デバッグも楽しいかも。それが好きな人が作ったバグなら、なおさらかも。
---------------------------------------------------------------------
はじめてのLisp関数型プログラミング
http://gihyo.jp/book/2016/978-4-7741-8035-9

書籍「はじめてのLisp関数型プログラミング」を執筆

書籍「はじめてのLisp関数型プログラミング」を執筆しました。

Lisp による関数型プログラミングの入門書です。日常生活のプログラミングパラダイムとして使いたい方にお勧めします。

Lisp を使って説明していますが、関数型プログラミングの入門書になっていますので、他の言語でも大丈夫です。そして遅延評価や無限リストなども Lisp では手作りしていますので、その構造がよく分かります。

ご興味おある方は是非、ご笑覧ください。


章末の「関数型プログラミング本を読んでみた女子の日常」もあります。

cover-1.png

七尾線をアップ!

七尾線の津端駅から和倉温泉駅までの駅名標や駅舎、列車車両の写真を公開しました。

trains-NT201-683-wakuraonsen-s.JPGtrain-NT201-wakuraonsen2-s.JPG

増補版:気軽に試してみよう!今こそ Lisp 入門 - Lisp の調べ

ソフトウェアデザイン 2015年8月号」の第1特集なぜ関数型プログラミングは難しいのか?Lisp,Scala,Haskell,Elixir,Python,Clojure,関数型のエッセンスを学習するの第1章「気軽に試してみよう!今こそLisp入門」に執筆しました。その増補版を以下で公開しています。

増補版:気軽に試してみよう!今こそ Lisp 入門 - Lisp の調べ

SD8-94.jpgSD8-2-94.jpg

いつの間にか、増補版のページ数がすごいことになってきました。。。
その内容は今のところ、以下のようになっています。

----
Contents
1. 関数型プログラミングでもっと言いたかったこと
(1) λ計算
(2) 評価戦略 - 遅延評価
(3) 並行・並列処理 - スレッドセーフ、リエントラント
(4) 副作用はバグの温床 - グローバル変数と代入文(増補)
(5) 参照透過性を持つ関数型プログラミングは形式手法(数学的手法)とマッチする
(6) 関数型プログラミングの利点と欠点の具体例
2. Lisp の特徴でもっと言いたかったこと
(1) 強力・柔軟なマクロ
(2) 動的関数定義
(3) S式とM式
(4) 関数閉包(クロージャ)と継続(コンティニュエーション)
(5) 多値 multiple value
(6) Lisp のベンチマークプログラム tarai
(7) オブジェクト指向機能
(8) 適用可能メソッドの優先順位によるパターンマッチ
(9) Lisp はマルチパラダイム言語
(10) Lisp は世界最大の言語で世界最小の言語
(11) タイプとクラスの怪しい関係、さらに構造体との三角関係
(12) Lisp-1 v.s. Lisp-2
(13) Lisp プログラムのパフォーマンスチューニング
(14) GC(Garbage Collection)
(15) データもプログラムも同じS式で表現(増補)
(16) 無限長整数 bignum のサポート
(17) 汎変数 generalized variable
(18) メタサーキュラーインタプリタ metacircular evaluator
(19) 末尾再帰 tail recursion
(20) クロージャは苦労するんじゃ
(21) インターン - シンボルテーブルに囚われし者
(22) レキシカルスコープ - 歴史あるスコープ
(23) 深い束縛と浅い束縛、あなたの好みは?
(24) スペシャル変数またの名を動的変数、その罪深き者へ
(25) Lisp の掟その一 - ネーミング規則
(予定)(26) Lisp の掟その二 - プリティプリント~インデントの深い闇
---以下、省略---

なぜ関数型プログラミングは難しいのか?

増補版:気軽に試してみよう!今こそ Lisp 入門

Software Design 2015年8月号 に執筆した「気軽に試してみよう!今こそ Lisp 入門」は
初心者向きの記事であったことやページ数の関係で、書き切れなかったことをここに(ぼちぼち)書いています。

SD201508.jpg


Contents
1. 関数型プログラミングでもっと言いたかったこと
2. Lisp の特徴でもっと言いたかったこと
3. Lisp ジョーク - Lisp に関するジョークいろいろ
4. Lisp の歴史
5. Lisp 事例 - Lisp で書かれたいろいろ
6. サンプルプログラム
7. やさしい Lisp 処理系の作り方
8. Lisp いじわるクイズ(または Lisp 能力検定)
9. FAQ
(1) すべてのプログラムは副作用のないプログラムで実装できますか?
(2)「動的型付けの実装が面倒」とは、どういう点が実装が面倒と言ってるのでしょうか?
(3) そもそも難しくないプログラミングなんてあるのでしょうか?
(4) 関数型プログラミングは結局、何がいいんでしょうか?
(5) なぜ関数型プログラミングは難しいのか?
Calendar
<< June 2017 >>
SunMonTueWedThuFriSat
    123
45678910
11121314151617
18192021222324
252627282930
search this site.
ranking


amazon
(当ブログのお勧め!)
(当サイトからも写真提供)
tags
archives
recent comment
recent trackback
others
admin
amazon



(当サイトからも写真提供)







from 2010/7/4

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40