39. 契約書記述言語　log dead field

2024
11
21

[PR]

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

2024/11/21 (Thu.)

2010
07
17

背景と目的：
  契約書はオカネが絡むので曖昧さは許されないが、自然言語で記述するのでどうしても曖昧さがあり、それをチェックしきれないという問題がある。そこで、契約書の記述を形式言語で行おうという考え。

実現方法：
  契約に関わる当事者を静的変数として扱い、それらの関係や条件を論理演算子によって表現し……みたいな。詳しくは知らん。仕様記述言語みたいに、その妥当性を厳密にチェックできる。というかそれが目的。

考察：
  契約書の曖昧性がどれだけ世の中にトラブルをもたらしているかというのは実際よく分からんね。調査必要。

2010/07/17 (Sat.) Trackback() Comment(0) 日々のアイディア

Comments

名前
メールアドレス
URL
コメント
PASS

Trackback

Trackback for this entry：

プロフィール

自己紹介：

広島で活動していたバンド、LDF。リーダー、abe、サイバ、AtoCの4人。今は実質、abe。
※写真はリーダーのものです

本ブログの注意事項
↑はじめにお読みください

リンク

イガさんHP
　理系ギタリスト・イガさんのHP。音楽レビューブログ「まっはの音楽室」はじめました　

---------------------------------
ひとりごとをはじめましょう
　元チェロ弾きｎ安さんがひとりごとをつぶやく(頻度は低い)。 HPもあるよ！　

---------------------------------
つづらな陽気
　ユーチャン＠コボラーが無限の日常とボヤきをつづる。更新は稀　

---------------------------------
一音成仏～ブロリの部屋～
　自称作曲家(笑)の元LDFリーダーの自己満日記。いろいろやってます。今は移転済み　

---------------------------------
地を這う円盤 -Whistler-
　自称寒がりな思考人(笑)のｓ原さんが何やかんや。最近は「旋律の作法」など　

---------------------------------
たま～に戯言
　寡黙なマンドリン弾き・ｓ山の戯言。密かに培ったMIDI技術で駄音も製作中　

---------------------------------
monolith
　石オタクｍ田がかなりの頻度で石情報を量産する濃厚ブログ。最近は料理ネタがメイン
---------------------------------
ちぇりーず！HP
　アングラ系マンドリン合奏団「ちぇりーず！」のHP。私が製作。みんな来てね！
---------------------------------
solo-guitar.info
　リスナーとプレイヤーをつなげるソロギター情報発信サイトです！