おしえて№748 投稿者 アフロさん | |
|
|
おじゃ魔女しらみさん ←運営者からの推薦です。 初めて投稿いたします。 --- プログラム理論の解説中で「等号=の上に三角△」の記号が出てきたのであれば、 関係演算子の"is defined as (として定義する)"の意味です。 一般数学から離れています。 例えば、 A = B = C という命令があった場合、この"="は「等価性の評価」と「代入」を、どのように行うかの評価があいまいです。 コンピュータ言語のPascalでは、 「AとBの等価性を評価する」もしくは「AにBを代入する」なのかを明確にする為に、等価性に"="、代入には":="を用います。 【参考】 「プログラミング言語理論への招待—正しいソフトウエアを書くために—」 Bertrand Meyer 著 出版元 株式会社アスキー Tsuneさん これは実物の本が無いため、苦労しました。 各種の記号としては、JIS C0617に規定されているところまでつかみました。 そこで、まず近くの図書館(名古屋市北図書館)に足を運びましたが、JISはおろか、森北出版の「システム制御工学」さえないありさまでした。 でそういう専門書は、「名古屋市鶴舞中央図書館に行かないと無い」と言われ、今度はそちらに足を運びました。 JISは全部そろっており、壮観でした。その中から、C0617を探すと、ぶ厚いキングファイル一冊文の分量で、中は1〜13の小項目に別れておりました。そこで片っ端から調べてみたんですが該当の記号がありません。 そこで、システム制御工学で検索したところ、森北出版ではないけれども、「システム制御工学」と言うタイトルの本が、4冊書庫に在庫してあるという事で、係の人に取り出してもらい、貸し出し可能でしたので、借りてきて、これまた片っ端から、調べましたが載っていません。 今度は、書店に在庫が無いかと思い、名古屋では結構老舗の「丸善」に足を運び聞いてみましたが、絶版にはなっていないため、取り寄せる事はできる。しかし二週間かかるという事で、あきらめました。インターネットで検索しても、在庫はありませんでした。しかし、森北出版から、「基礎システム制御工学」と言う本が今年出版されている事を知り、今後の仕事にも役立ちそうだったので、投資して購入してきました。それも片っ端から調べてみたのですが、やはりありません。 大学時分に同じくシステム制御工学の単位を取得したものとしては意味が知りたかったこともあります。 しかし、ここまでしても結局目にする事は出来ませんでした。 そこで思うのですが、数式の中に現れる「デルタ」;⊿またはΔ(小文字δ)のことではないかと思うのですが違うでしょうか? 計算式中では、微小量を表すのに使われますよね。 あるいは、本のどこかのページで、その記号が、定義されているのではないかと思うのですがいかがでしょうか。 正確な答がわからず推測で申し上げ、恐縮ですが参考にしてください。 のんきさん 私なりにいろいろ探してみたのですが、= の上ではなく、− の上にある記号は見つけました。 演算子で という記号です。 しかし、三角の向きが左右を向いているため疑問にあるものとは違うと思われます。 また、次のURLにはギリシャ文字を使った数学記号がありますが、大文字「デルタ」ですと、三角の向きが上(△)になります。 http://www.aitech.ac.jp/in/nakamura/chap2-3.html#func また、ε-δ論法を発案したのはワイエルシュトラス(1860年頃)だそうですが、難しくてこれ以上はお手上げです。ごめんなさい。 |
|
アフロさんからの感想メールです。 等号の仲間なんで,きっと合同に近い意味じゃないかと思っておりましたが、しっかりした意味がわかってすっきりしました。本当にありがとうございます。 今度は私も回答側に回れるようにがんばります。 |
とても難しい疑問だったのですがお見事です。Tsuneさんとのんきさんにも大変ご苦労をお掛けしました。本来であれば正答ということにはならないと思うのですが、心情的にこれだけ頑張って下さったのに載せないというのはどうか?と思い正答にさせていただきました。ちなみにアフロさんには緊急と言うことで既にご報告しただいています。 |
正答者の方々です。本当にありがとうございました。 |
おじゃ魔女しらみさん・おじゃ魔女しらみさん・おじゃ魔女しらみさん・Tsuneさん・のんきさん |