技を覚えた長男が独立するにあたって父親は、どこでも平らなところにおいて「お膳や、ご飯の支度」と唱えれば瞬く間に食事が並ぶ魔法のテーブルを餞別として贈る。長男は旅立つが、投宿したある宿屋でそれを見せたために、就寝中に宿の主人に盗まれ、外見だけはそっくりの何の変哲もないテーブルとすり替えられてしまう。
最後に三男が独立するが、長男と次男が宿屋での事件を手紙で知らせたために、父は三男に護身用の、魔法で動く棍棒の入った袋を贈る。同じ宿屋に泊まる三男。亭主は袋の中に金目の物が入っているに違いないと思い込んですり替えようとするが、待ち構えていた三男は呪文「こん棒、袋から」で棍棒に亭主を殴りつけさせ懲らしめる。亭主は反省・謝罪して長男と次男から盗んだテーブルとロバを返す。お宝を取り返した三男は兄たちにそれぞれを元通り返して一同幸せに暮らす。
改変.
最初のほうの版では、主人公が棍棒をテストするため、何の罪もない人間や犬を棍棒で殴る場面があったが、道徳的によくないと判断したためか、すべて削除している。その代わり、悪人をこらしめる場面が、版を重ねるごとに詳細な描写になっていき、暴力もエスカレートしている。
八王子東高等学校
愛してる…
収録曲.
全作詞・作曲／小松未歩 全編曲／大賀好修
イソブチレン
八王子北高等学校
概要.
八王子北高校
八王子高校
収録曲.
全作詞・作曲／小松未歩
シネリーブル
劇場.
関東.
グアノシン一リン酸
片岡千恵藏
生野銀山湖
形式手法
形式手法（けいしきしゅほう、）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。
形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。
分類.
形式手法はいくつかの水準で使用可能である:
詳しくは後述する。
プログラム意味論の分類に対応して、形式手法は以下のように大別する:
利用.