手続き型言語

今月はSQL強化月間ということにして、「SQL実践入門」を読みました。SQL実践入門 ──高速でわかりやすいクエリの書き方 WEB+DB PRESS plus作者:ミック技術評論社Amazon なぜ読んだのか 普段Active Recordばかり使っていて、SQLに向き合ったことがなかったから。 文法だけじゃなくてSQLの仕組みについてちょっと知りたいと思ったから。 この本で学べること パフォーマンスの良いSQLの書き方、特に大量データを処理するSQLの性能向上の方法 データベース内部のアーキテクチャやストレージのようなハードウェアの特性まで含めた総合的な知識 本の概要 第1章：DBMSのアー…

こんにちは。倉内です。Goは2009年にGoogleが開発したプログラミング言語で、近年注目度が上がっており、興味のある方も多いのではないでしょうか。Stack Overflowが毎年実施しているエンジニアを対象とした調査「Developer Survey 2021」（181カ国の開発者8万3439人が回答）の「使い続けたいもしくは使ってみたい言語」では、第4位にランクインしました。JavaやPHPなどの言語に比べるとまだ数は少ないものの、初心者でもGoを学べるコンテンツはたくさんあります！そこで今回は、paizaラーニングの新講座「Go体験編」（全編無料）をはじめ、これからGoを学びたい方向…

ざっくりというならば、モデル検査とは、仕様を（様相）論理式に落とし込んで、その仕様がモデルを満たしているかを検査するための方法論である。TLA+はモデル検査用のツールであり、仕様や実装の正しさを検証することができる。自分はモデル検査ツールはNuSMVとAlloyを使ったことがあるのだが、TLA+は使ったことがなかった。というのも、使おうとしたことはあるが、論理式はわかるもののGUIの使い方がわからなかったため放置していた。最近、『実践TLA+』という書籍が出版されたため、TLA+に再挑戦してみることにした。実践TLA+では、GUIの使い方もきちんと説明されているために、すんなりと利用することが…

Haskellのような純粋関数型プログラミング言語では基本破壊的代入が許されていないために、ループするための構文、または式が用意されていない。そのために、再帰を使ってループを表現する、というのが一般的となっている。しかし、手続き型言語に慣れたプログラマからすれば、それはとても不安になることでもある。今回、なぜ不安になるのかどうかについて解説するとともに、なぜHaskellでは再帰を用いても問題ないのか書いていこうと思う。

データベースに対して必要なデータを取り出したり内容を変更したりする場合、「SQL文」を使用すると簡単な構文で必要なデータだけを取り出したり更新したりする事ができます。また、VBAの中にSQL文を記述する事で、データベースに対して様々な操作を行う事ができます。 SQL文の概要 VBAでSQLを使用するメリット おわりに SQL文の概要 SQLは「構造化問い合わせ言語」と呼ばれており、言語の中でもVBAやVB、Java、C言語の様なプログラミング言語と違い、主に手続き型の言語と組み合わせて使用する「サブ言語」となります。また、SQLはそれ単体で完結している言語となるため、VBAでしか使えない、Ja…

プログラムの静的検証（static V&V of program） 検証とは、仕様の検証を行うもので、動的解析と静的解析がある。 issunno-koin.hateblo.jp 静的検証は、正当性の証明を行う。動的検証では、プログラムが完全に正しいことは保証的ない。 正当性証明の手順 ①仕様を事前条件と事後条件で記述②ループに対して不変表明をおく．その他の表明を必要に応じて挿入③事前条件／事後条件や表明を前後に持つプログラムの実行経路について，経路の先頭の条件から，最後の条件が導き出されることを証明– 例：Hoare論理の利用④プログラムが正しく停止することを証明 Hoare論理 手続き型言語…

1. はじめに 後期からの授業では複数人で一つのソースコードを共有して編集します。 複数人で共同してソフトウェアを書く場合には、皆で共通のコーディング規約を制定することが多くなります。 私の授業の範囲内では、moodle で配布したコーディング規約にしたがって，コードを書いてもらう予定です。 もし、この規約に意見があるなら指摘してください (授業中ではここで規約の細かい説明を行う)。 ただし、vscode の Google 書式設定をしていると保存時に自動的にこの規約通りに設定されていると思います。 2. テストファーストプログラミングとは テストファーストプログラミングは、常にまずテストを書…

数学的厳密さは、理解する者を選り分ける篩である。生半可な理解では、細部まで厳密な証明は書けないからだ。 プログラミングにも同じことが言える。一般的な手続き型言語において、機械が認識する厳密さのレベルは、数学が厳密と呼ぶレベルとかなり似通っている。だから、理解のプロセスとして、証明とプログラムの執筆は同質だ――両者の諸概念の対応、といった難しい話を考えるまでもなく。 だが、数学にもプログラミングにももっと厳密な領域がある。証明を書くとき、人はいちいち集合論の公理に立ち返らない。同じように、プログラムをチューリングマシンに直接記述することはないし、中央演算装置の単位命令もほとんど意識されない。 だ…

カプセル化 まとめ 参考図書 あわせて学習したい カプセル化 情報隠蔽をすることによって、「このオブジェクトの中身がいったいどういうことをやっているのかは知らないが、頼んだことは実行してくれる」ということを実現できます。 これを「カプセル化」といいます。 従来の手続き型言語などとの最大の違いは、このカプセル化ができることです。 オブジェクトは「機能」と「データ」をカプセル化した独立した部品で、メッセージを送りあうことによって相互に動作します。 クラスのフィールドは、基本的にはprivateにします。 そのため、クラス外から利用したいときにはアクセスするためのメソッドが必要です。 カプセル化を実…

はじめに SQL で ORDER BY の指定はクエリの最後に記述する必要があります。例えば、2つの SELECT で ORDER BY した結果を UNION して和の結果を得ることはできません。また、ORDER BY は結果セット全体に対して行われます。 -- 準備 CREATE TABLE employee (id integer, name varchar(20)); INSERT INTO employee VALUES (1, 'Mike'); INSERT INTO employee VALUES (2, 'Ken'); -- ORDER BY せずに UNION のみ実行したケ…

プログラミング言語と言っても実は何世代というものがあったりして、 今でもどんどん進化しているということになります。 現在、第4世代と言われているのですが これまでのものすごい早い発達に比べると 第5世代がなかなか出てこないとも言われています。 さて、それはさておき、 そうなりますと第1世代は何なのかということが気になることでしょう。 これは機械語のことです。 あるいはマシン語と呼ばれることもあります。 プログラム言語を少しでも見たことがあって下がったことがある人は なんとか分かりにくいやり方をしているのであろうと思うかもしれませんが これはかなりマシになっています。 機械語というのは CPU …