e-Gadget - プログラム関数電卓　楽屋裏

楽屋裏 - 構造化プログラミング

楽屋裏

e-Gadget

2014年09月28日追記
2017年08月27日追記
2019年08月21日追記修正

「CasioBasic入門」シリーズは、改めてキチンと勉強する良い機会になっています。CasioBasic入門12 で、構造化プログラミングについて、チラッと触れたのですが、改めて整理をしてみます。

５０年くらい前、COBOL、PL/I、FORTRAN、Pascal などの高級言語が使われるようになって、ソフトウェアの生産性と品質が向上してきました。時期を同じくして、ソフトウェアの需要が増加したため、生産性や品質の向上が追いつかなくなりました。それを「ソフトウェア危機」と呼び、なんとかしなければヤバイという時代がありました(当然私はリアルタイムでは知りませんが、プログラミング雑誌「C Magazine」などを通して知っていました。

この当時は、アセンブリ言語がプログラミングの主流でした。この言語はプロセッサの動作に近い命令を記述するものなので、ジャンプ命令が非常に多く（gotoの嵐と言っても良い)、プログラムコードからプログラム動作を理解し解析することが簡単ではありません。プログラミングは工芸であり、匠の技の世界でした。作ってみて動かして、不具合が見つかったらそれを直すと言う方法では、生産性や品質の向上は容易に進みません。こういう背景の中、構造化プログラミング（Structured Programming）と言う概念が出てきました。

プログラミングの匠が活躍していた時代に、生産性と品質の向上を目指した新しい考え方「構造化プログラミング」は簡単には受け入れられませんでした。パラダイムシフトの前には必ず旧来の考え方との激しい争いがあるのは、いつの時代でも同じですが、当時も大論争が勃発しました。それでも、世の中はより良いプログラムをより多く必要としていたわけで、それに応えてゆく必要はあり、それが新勢力と旧来勢力の共通目標ではあったのでしょう。ついに両者が歩み寄ることが出来ました。

私が調べる範囲では、その落としどころのきっかけを作ったのが、1974年に発表された Donald Knuth の論文 "Structured programming with goto statement" のようです。この説が最も説得力があり、現実的なように思われます。

ここに落ち着くまえには、２つの重要なポイントがあるとの指摘があります。

1966年にCorrad Boehmらから提案された「構造化定理」

これは、どのようなプログラムでも、下図に示すような、連結(Concatenation)、選択(Selection)、反復(Iteration)の３つで表現できると言う数学理論です(引用)。

要するに、goto がなくてもプログラムを作れると言うことを言っています。それ以上でもそれ以下でもない、単なる数学理論です。この理論が出された時は「構造化定理」とは呼ばれておらず、goto使用禁止を唱える人たちによる命名と言う話もあります。さらに細かいことですが、ここでは「連結」を使っていますが、「順」、「順次」、「順接」と言う和訳も見られます。

1968年にEdsger Dijkstraが書いた書簡"Goto statement considered harmful"

これは、Association of Computing Machinery (ACM) に送られた書簡で、書簡のタイトル「goto文は有害である」通りに、極めてストレートにgoto文の使用禁止を主張するものです。goto文を使うと、プログラムは簡単にスパゲティ構造になり、これには異論の余地はありません。

これが大論争に油をそそいだようです。もうこうなると、どこまで行っても平行線、宗教論争の様相であったに違いないと私は思います。Boehmの構造化定理がいくら数学的に正しくても、それまで goto文を使ってプログラムを作っていたプログラマが、いきなり使うなと言われても、そう簡単に受け入れられるものではないことは想像に難くありません。

ネットで検索すると、今でもgoto論争を見ることができ、そこではダイクストラ (Dijkstra)の名前が必ずでてきます。それくらい根源に迫る劇薬のようなものなのだと思います。

このような歴史的背景があって、１０年近くたってから出された Knuth の論文 "Structured programming with goto statement"「goto文を使った構造化プログラミング」は、goto使用是非論争を一旦横に置き、大目標である生産性と品質の向上を達成する構造化プログラミングとは「読んで分かりやすいソースコードを書くこと」であり、非常時には goto もやむなし、と言う大人の議論だと思います。

私の主張： Gotoは用法・用量を守って使いましょう！を支持するものでもあります。

実際問題、2000～3000行の中規模のプログラムを作った経験（個人の趣味で１万行超えの大規模プログラムを作ることは滅多に無いでしょう）では、絶対に必要な時以外に goto文を使うと、あとで絶対に自分の首が絞まります。

私は、エラー処理や例外処理には goto を使っても良いと自分で決めています。この使い方は、goto のジャンプ先が、必ずエラー処理や例外処理になるので、むしろプログラムの流れが明確になる利点があります。

落としどころとして Knuthの論文が受け入れられた歴史的事実を知ることは、考え方に幅を与えるものと思います。今では、構造化プログラミングは空気を吸うくらい当たり前になっているのでしょう。普通にＣ言語を使えば、自然にこの手法になります。と言うのも、最近の高級言語 (最近のBasic を含む) は構造化プログラミング言語として作られているので当然なわけです。これらには例外処理専用のステートメントが準備されているものがありますが、内部的には goto を使っていて、外から見えないだけだと言えます

生業としてのプログラミング経験の無い私の目には、goto是非論争は子細なことのように映るのです。

Casio Basicは構造化プログラミング風言語

構造化プログラミングは、「読んで分かりやすいプログラムを書こう」という目標で、以下の方針でプログラムを作ることです。

１．構造化定理に出てくる 1)連結、2)分岐、3)反復に加えて 4)呼び出しのみで構成されるブロックを作る。

２．このブロックは出口と入り口が１つだけでなければならず、ブロックの連結でプログラムを構成する。

３．Goto はなるべく使わない。使う場合は、先へ進むGoto のみを使い、後戻りするGoto は使わない。

CasioBasicは、これらの感覚でコーディング可能です。

1) 連絡：要するにプログラムが上から下へ動作する、実はこれは大切なこと

2) 分岐： If文や⇒命令があります。

3) 反復： Doループ、Whileループがあります。

4) 呼び出し：サブルーチンや関数の呼び出し。プログラム呼び出しの Prog コマンドがあり、関数電卓の機能を呼び出す多くの関数がある。

そして、プログラム記法として、処理内容別に「連結」で繋がるブロックを作ることが最も大切です。ブロックとは、複数の処理をまとめて区切り、出口と入り口が１つだけになるようにした機能のかたまりです、。

[2019年08月20日修正]
構造化プログラミングを行う手続き型言語の要件として、ユーザー定義の関数/ プロシージャがありますが、Casio Basic では仕様上これができません。つまり、サブルーチンに引数を渡したりサブルーチンから戻り値を返せません。これに付随してローカル変数(局所的変数)が使えず、変数は全てグローバル変数(大域変数)として扱われます。
言い換えると、大域変数を利用してサブルーチンとの間での値のやりとりが可能です。そこで、コーディングの工夫で関数やプロシージャのようなサブルーチンを作れます。この手法の一例としては、入力ボックスや 3桁区切り出力を紹介しています。そこで Casio Basic は構造化Basic ではありませんが、Casio Basic は構造化プログラミング可能と言うこともあります。

現在の "新世代Casio Basic" は、構造化プログラミングを意識したコーディングができ、これは実際に分かりやすく効率的なコーディングに繋がります。現在連載している CasioBasic入門でも、キッチリと構造化Basic風プログラミングをしていて、連結で繋がるブロックのイメージを体験してもらいながら、処理の変更や追加を楽に行えることを紹介しています。

ちなみに海外のみで販売されている fx-CP400 や fx-CG500 に搭載されている Casio Basicは、構造化Basicと言えます。構造化風Basic ではないのですが、これが極めて使いにくいだけでなく、処理速度がかなり遅いものになっおり、実用プログラムを作って使おうという気にとてもなれない、中途半端なものです。さらなる進化が望まれます。
実用上は構造化プログラミング風言語バージョンの Casio Basic の方が遙かに使いやすく、処理速度もグラフィックスプログラムを除けば十分速い仕様に、とてもうまくまとまっています。プログラミングが楽しめる言語と言えます。

なお、"新世代 Casio Basic では、使いやすくするために、Basicコマンドを導入する前の各種ジャンプ命令をそのまま残していますが、それゆえに Goto コマンドの内部動作が複雑になっています。具体的には、多重ループとカウントジャンプの組み合わせで発生する異常動作対策のために Goto 0:Lbl 0 という記述を使います。詳しくは、
ここを参照ください。
================

ちょっと脱線．．．

オブジェクト指向プログラミング

構造化プログラミングは３０年以上も前に生まれたもので、今ではその問題点がハッキリしていて、それを解決するために考えられた「オブジェクト指向プログラミング」が主流になっています。

プログラムは、手続きとデータから成り立っています。

構造化プログラミングは、プログラムの流れの制御を構造化するもの、つまり手続きを管理するものです。しかし、データについては何も言っていません。プログラムの中の色々な局面で、データに自由にアクセスすると、データの管理が出来なくなります。goto文を野放しにすることで制御構造がグチャグチャになるのと同じことが、データ管理で起きます。これを何とかしよう、と言うのがオブジェクト指向なのです。

私自身は、Visual C++ を使ってきており、最近 C# を使い始め、オブジェクト指向プログラミングの経験だけはありますが、オブジェクト指向プログラミングについて正しくまとめられるかどうか自身がありません。ただその有効性と重要性は肌感覚として認識しているので、少し触れておこうと思います。

プログラムの中から自由にデータアクセスすると、問題が有ったときにプログラム内のどこで誤ったデータ操作をしたのかを見つけるのがかなり面倒になります。そこで、データへのアクセスを大幅に制限してしまおう、と言うのがオブジェクト指向プログラミングの根本にあります。

読み書きできるデータは変数なわけですが、その変数には大域変数（グローバル変数）と局所変数（ローカル変数）があります。大域変数とは、プログラム内のどこからでも自由にアクセスできるので、これが問題になります。

オブジェクト指向プログラミングは、大域変数を無くそうと言うものです。

話を戻して．．．

CasioBasicはオブジェクト指向ではない

CasioBasicにオブジェクト指向は関係ありません。変数は大域変数のみ、同じ変数に異なるプログラムからアクセスが自由に行える仕様です。CasioBasicには局所変数はありません。

Goto や Lbl で使うラベルの及ぶ範囲は、１つのプログラム内に制限されるのですが、まぁラベルは変数でないし、使えるラベルは英数字１文字に限られるので妥当な仕様です。

使える変数も極めて限られ、Ａ～Ｚ、そして配列変数Ｚ［］のみです。頑張って管理するしかありませんし、管理しきれる範囲内と言えましょう。

ですから、CasioBasicを使う場合は、構造化プログラミングを行うのが最良の道と言うわけです。

見方を変えると、３０年前の最新技術が、今や単４電池１本で何ヶ月も動作する電卓の中に詰まっているわけで、これは素晴らしいことだと思うのです。

応援クリックをお願いします。励みになるので．．．