メイヤー流の契約のあいだの強弱関係 - 檜山正幸のキマイラ飼育記 (はてなBlog)
メイヤー（Bertrand Meyer）の意味の契約とは、関数や手続きを機能の提供者（業者）、機能を利用する側を顧客とみなしての責務に関する約束事です。契約のあいだには、より強い（きびしい）契約、より弱い（ゆるい）契約という順序関係があります。この強弱の関係は、直感的に明らかなように見えても、誤解されがちな難しい概念です。 内容： メイヤー流の契約とは 契約が守られること＝妥当性 契約条件を集合で表現しておく 入出力に関する契約条件と責務 契約条件に関する推論 契約条件の強弱に関する注意 メイヤー流の契約とは 契約はソフトウェアの仕様記述の一部なので、曖昧性があっては困ります。契約は自然言語ではなくて論理式で書かれます。しかしとりあえず、インフォーマルな説明を先にすると； 機能の提供者が主語（私）となる契約の内容は次のようになります。 私が作業をする前に、コレコレの条件が満たされることを要
この機会にマスターしようぜ、正規表現、構文図、オートマトン - 檜山正幸のキマイラ飼育記 (はてなBlog)
正規表現と構文図について解説します。オートマトンについても詳しく述べます。オートマトン・スゴロクで遊びましょう！ 世間でよく知られている／使われている概念・方法にはこだわらず、僕（檜山）の感覚で一番わかりやすいと思われる筋書きと用語法／図式法を使って説明します。この記事に目を通して“感じ”が掴めたら、形式言語理論の教科書を読み始めることが出来るでしょう。 [追記]この記事の内容に対する具体例は、「正規表現とオートマトン：なんだ簡単じゃん、JavaScriptによる実装」にあります。[/追記] 内容： 正規表現 正規表現の例 構文図 基本記号 連接 選択 省略可能 繰り返し ストレートワイヤーによるレイアウト調整 有限状態オートマトン 有限状態オートマトンの実行 バックトラックと先読み スゴロクとオートマトン コマをたくさん使うスゴロクと並列処理 非決定性オートマトンと決定性オートマトン 正
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
