フローチャートを復権させよう -- 2020年代のプログラミングへ - 檜山正幸のキマイラ飼育記 (はてなBlog)
「悟りやヒラメキがほんとに大キライだ 」という記事を書いた背景には、ユースケースの「主／副シナリオ」、「<<extend>>, <<include>>」とかの概念にウンザリしたことがあります。あれから後も、この件がどうも気にかかっていて、『ユースケースの適用：実践ガイド』（asin:4894711869）という本を恵比寿の有隣堂で見つけてすぐ購入しました。 この本には、僕が疑問に思っていた点が説明してあって、理解に役立ちました。ある程度は理解できた事と、その内容に賛同するかどうかは別問題でして、（理解してもなお）納得のいかない点は多々あります。その話は、まーいずれするかも。 ところで、この『ユースケースの適用：実践ガイド』の第5章「ユースケースを図で表現する」の冒頭に次のような文があります。 これまで、長い時間をかけてユースケースのテキストを書いてきました。しかし、ことわざにもあるとおり、
これはひどい誤解だ -- フローチャートは手続き型…だってぇー?! - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の記事「フローチャートを復権させよう -- 2020年代のプログラミングへ」のごとき内容は、僕は何度も繰り返し書いています。昨日の記事のなかに過去記事への相当数のリンクがあることからも、それは分かると思います。もう一度代表的な過去記事を挙げれば： フローチャートからマゾ・テストまで (2009年) というわけで、僕にとっては定期ポストみたいなものです。年に一,二度はこのことを言っておきたい、みたいな。 過去に書いた、フローチャート、トレース付きモノイド圏、goto文、継続などの記事はあんまりウケなかったのに、なぜか昨日の記事はブックマークもアクセスも集めたようです。不思議だ。「正規表現」のときみたいに誰かが言及したのかな？ それはそうと、ブックマーク・コメントのひとつに： フローチャートは手続き型しか記述できない。同時性や格納形式の相手が出来ない これって、3,40年前の評価ですよね*
関数型プログラミングとオブジェクト指向について、何か書く、かも - 檜山正幸のキマイラ飼育記 (はてなBlog)
「「関数型プログラミングはオブジェクト指向の正当な後継」なの？」を書いていて次のようなことを思いました： テクノロジーに関する思索を語るのは推奨されるべき事だと思いますが、ベーシックな知識に裏打ちされてないと、解釈困難で意味不明になりがちです。せっかくの経験や思いがうまく伝わらないことになります。 知識は大切だな、とは思っているので、ちょっと気になりそうなトピックに関して、ベーシックな知識の入り口を解説する記事を書いてきました。 モナド 入門 → 世界で一番か二番くらいにやさしい「モナド入門」 （2006年） 圏論 入門 → はじめての圏論 その第1歩：しりとりの圏 （2006年） 継続 入門 → CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ （2008年） メタクラス・レイフィケーション 入門 → いまさらながらだけど、オブジェクトとクラ
正規表現とオートマトン：なんだ簡単じゃん、JavaScriptによる実装 - 檜山正幸のキマイラ飼育記 (はてなBlog)
先週のエントリー「この機会にマスターしようぜ、正規表現、構文図、オートマトン」において、正規表現とオートマトンの理屈は説明しました。んじゃ、適当な正規表現に対応するオートマトンを作ってみましょう。 非決定性オートマトンはめんどくさいので決定性オートマトンにします。正規表現から作ったオートマトンが非決定性になってしまったときは、がんばって決定性オートマトンに変形するかあきらめるかしてください。 例題となる正規表現とオートマトンは、「Erlang実験室：状態遷移を書くのはこんなに簡単」で使ったものをそのまま流用します。 正規表現： (a, a?, b*, c) 図と表のなかで、EOSは End Of String のマーカー、◎は終状態です 遷移表： 0から3までの各状態について、入力ごとの遷移先は次の通り。×はエラーです。 状態 文字a 文字b 文字c EOS その他 0 1 × × × ×
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
