記述された命令を逐次的に実行し、処理の結果に応じて変数の内容を変化させていくプログラミング言語のこと。 CやBASIC、Javaなど、ほとんどのプログラミング言語は手続き型言語に属する。
オブジェクト指向設計実践ガイドを読んでいくので、備忘録としてまとめておきます。 オブジェクト指向設計実践ガイド ～Rubyでわかる 進化しつづける柔軟なアプリケーションの育て方作者:Sandi Metz技術評論社Amazon 第1章 オブジェクト指向設計 1.1 設計の賞賛 変更の必要性こそが、設計を重要にする。 設計が難しい理由のひとつは、全ての問題が2つの要素を抱えている。 設計の目的は後にでも設計をできるようにすることであり、そのための目標は変更コストの削減 1.2 設計の道具 設計は枝分かれする道を進む旅。 行き止まりもあるし、開かれる道もある！ 設計原則 SOLID 単一責任 オープ…
モダンな言語の一つであるRust。実行速度の速さや型の多さ、コンパイルの優秀さなど、さまざまなメリットがある一方で、「所有権」など独特の概念があり、難しい印象を持っている人も少なくないのではないでしょうか。 また、プロダクト開発においてRustを採用する企業が少しずつ増えているものの、まだまだ少数派であり、言語自体の特徴や開発する上でのメリット・デメリットについては知られていないことも少なくありません。 FindyではRustの魅力を広めるため、2021年11月11日（木）に、4回目となる最新バックエンド井戸端会議を開催しました。製造業のDXを進めているキャディの長田さんと、経済活動のデジタル…
関数型プログラミングの本を書いた。 2021年末に基本フリーで誰でも読める形で関数型プログラミングの入門書をUPした。構想だけをしていたり、トライアンドエラーでゼロから書き直したりする時間全部ひっくるめると2年ほどかかった。かなりの長編ではある。 関数型プログラミングが『銀の弾丸』であるという非常識な常識2022 ここで、少なくともこのフェイズで2年間ほど、どうやって初学者に関数型プログラミングの概念を必要十分に伝達できるだろうか？ということを結構僕なりに真剣に考えてきたと思う。 そして、この2年より前から2015年頃から、まあだいたい7年ほどかけて痛感しているのは、「参照透過性」という用語は…
カプセル化 まとめ 参考図書 あわせて学習したい カプセル化 情報隠蔽をすることによって、「このオブジェクトの中身がいったいどういうことをやっているのかは知らないが、頼んだことは実行してくれる」ということを実現できます。 これを「カプセル化」といいます。 従来の手続き型言語などとの最大の違いは、このカプセル化ができることです。 オブジェクトは「機能」と「データ」をカプセル化した独立した部品で、メッセージを送りあうことによって相互に動作します。 クラスのフィールドは、基本的にはprivateにします。 そのため、クラス外から利用したいときにはアクセスするためのメソッドが必要です。 ポイント！カプ…
IBM製のメインコンピュータのz/OS上で稼働するバッチ・プログラムを、REXX言語で開発することにしました。 しかし、メインコンピュータは汎用大型機なので、自分の自由な時間に使用してプログラムを開発する事が出来ません。 そこで、REXXの特徴である、あらゆる OS上にポーティングされていて、z/OSでも Windowsでも同じ REXXプログラムが稼働するという事で、使用している PC(Windows 10)上に REXXの開発環境を作りました。 ここでは、Windows 10上に REXX環境を作った時のログを残しておきたいと思います。 REXXのおさらい REXXとは REXX開発の参考…
今月は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では再帰を用いても問題ないのか書いていこうと思う。
私が考え事をするとき、 ノートに書いたり、実物を使ったり、 することもあるのですが、 最近は、プレーンテキストで疑似言語っぽく書くことも多いです。 今回はどんな風に考え事をまとめているのか 紹介したいと思います。 例 プレーンテキストであることのメリットは？ デメリットは？ まとめ 例 例としては、下のような感じで書いています。 タイトル メニューに遷移できる事 PressStart.tap -> SceneLoad(MainMenu); 初めてだったらユニークIDでプレイヤーデータを登録すること ユニークIDでDBに登録してあるデータをロードできる事 プレイヤーデータ HP MP 攻略状況 …
データベースに対して必要なデータを取り出したり内容を変更したりする場合、「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. テストファーストプログラミングとは テストファーストプログラミングは、常にまずテストを書…
数学的厳密さは、理解する者を選り分ける篩である。生半可な理解では、細部まで厳密な証明は書けないからだ。 プログラミングにも同じことが言える。一般的な手続き型言語において、機械が認識する厳密さのレベルは、数学が厳密と呼ぶレベルとかなり似通っている。だから、理解のプロセスとして、証明とプログラムの執筆は同質だ――両者の諸概念の対応、といった難しい話を考えるまでもなく。 だが、数学にもプログラミングにももっと厳密な領域がある。証明を書くとき、人はいちいち集合論の公理に立ち返らない。同じように、プログラムをチューリングマシンに直接記述することはないし、中央演算装置の単位命令もほとんど意識されない。 だ…
というポジショントーク（？）。タイトルは「手続き型言語をやってきた人には」と付けたほうがいいかも。 この週末、「すごいHaskellたのしく学ぼう！」を読み直していました。 すごいHaskellたのしく学ぼう！作者:ＭｉｒａｎＬｉｐｏｖａｃａ発売日: 2017/07/14メディア: Kindle版 最初に読んだのはたしか2018年初めだったと思います。10年ぐらいまともにプログラミングしていない状態から読んだので、Haskell独特の表現にかなり苦労しました。たとえば、 型クラス（Eq, Showなど） データ型（data Bool = True | Falseなど） 型変数の表現（head …
anond.hatelabo.jp
dev.classmethod.jp
fetburner.hatenablog.com
