语言
没有数据
通知
无通知
形式仕様記述ができると、それを証明の根拠として使用することもある。 場合によっては、システムの正当性の証明を行う動機は、システムの品質保証のためではなく、システムの動作をさらに理解したいためということがある。結果として正当性の証明を数学的証明の形式で行うこともある。自然言語を使い、あまり形式的
画像提供依頼：イメージ画像の画像提供をお願いします。（2022年9月） 手形（てがた）とは、 一定の内容の証明となる証文には手形を押したことから、一定の資格や権利を証明する書面そのものも手形という。通行手形（関所手形）、切符手形（切手）、約束手形、為替手形といった使われ方をする。
物事のやり方・技巧。 特に， 芸術作品の表現技巧。 技法。
手形・足形（てがた・あしがた）は、手のひらや足の裏を象ったものである。 通常、手のひらや足の裏に墨を塗り、紙の上に押して記録する。他にもさまざまな方式のものがある。 手型・足型とも書くが、この場合、粘土などで象りして凹みのあるレリーフ状にしたものを意味することが多い。
(1)現実の商取引に基づかない融通手形。 特に， 資金の裏付けが不十分で支払いが不確実な悪質な手形。 くうてがた。
⇒ からてがた（空手形）(１)
メフォ手形（メフォてがた、ドイツ語: Mefo-Wechsel）とは、ナチス・ドイツにおいて、軍事費調達のために創出された割引手形。決済のみに用いられる純然たる商業手形ではなく、融通手形や疑似商業手形とも形容されている。1933年から1937年までの軍事費総計324億ライヒスマルクの内、メフォ手形
女手形（おんなてがた）とは、江戸時代に女性が関所を通行するために発行した特別な通行手形のこと。女切手（おんなきって）・女証文（おんなしょうもん）ともいう。 江戸幕府は入鉄炮出女政策を採用し、江戸藩邸にて人質状態にある大名の妻子が国元に逃亡することがないように江戸から出る女性を関所などで厳重に監視した
搜索 
搜索 搜索 
