演習は、本を書いた人が学習する為に繰り返し覚えるといいよって思う所を問題として出している訳です。問題なのですぐ答えが出せる訳では有りません。答えを見ようと思えば答え乗っていれば見れば言い訳ですが、問題意識を持ってみることが大切です。演習は…

この説明をだだだっと、姉にしてみた所、倒れて「眠い。授業したらすぐに寝れる教授になれるよ。」と言われたのでした。どうも、ああ駄目だ、理解出来ないでも、話は進んで行くとなんともたまらなく眠くなるように訓練されてしまっているんじゃないかと思い…

恥ずかしい話ですが、定義と定理の違いが良くわかってませんでした。出来るだけ避けるべき存在になってました。でも、Coqをやってみて考え方が変わりました。定義とか定理とかは、typedefとかdefとかのようなキーワードであり、構造化された文章を書く為の構…

R ⊆ S1×S2×...×Sn n-ary relation n項関係 ⊆ subset of or eauql to サブセット s1∈S1...sn∈Snに対して(s1,s2...sn)がRの要素 n-ary relation 要素(s1,s2...sn)はRによって関係ずけられる 単項関係 項が１つだけの関係 S上の単項関係 S上の述語 今までは∈??…

N Nat (Natural number) 自然数 0,1,2... ホントは2重線のNです - countable set 可算集合 自然数と一対一に対応付けられる集合

{...} Enumeration 列挙 {x ∈ S｜...} Comprehensions 内包表記 x ∈ S x is element of S xはSの要素 ∅ Empty set 空集合 S ∖ T Set Minus 差集合 S ∪ T Union 和集合 UnionのU Andの反対でOrな感じ S ∩ T Intersection 積集合 共通部分,Unionをひっくり返し…

S T U Set 集合 R Relation 関係 f(x) Function 関数 x s t u Element 要素 集合と関係と関数、要素は英語でなんと言うのかまとめてみました。 関数がFunctionと、要素はElementは有名だと思います。 関係はRelationで集合がSetが繋がってない人は多いかもし…

システムを作る際には仕様書を作って実装をするわけですが、仕様書にはそれほど記号は出てきません。理由は演算子を使えないとか、使えても限りがあるからです。そのシステムを作る為の演算子を使うってことはあまり多くないのです。記号は使わずに、英単語…

Coqのような定理証明系の言語を覚えれば、理論や証明をコンピュータ上で実装してみることが出来ます。 覚えるのには時間がかかります。地道に勉強しましょう。昨日は、Coqチュートリアルをやってみました。以下のようなファイルを用意して、CoqIDEで上行った…

2.1.1で集合は標準的な記法を用いると書いているので、これが分からないんですね。標準的な方法を知らないので、分かる訳けないですね。標準的な集合の記法を覚えよう！！「プログラミング言語の基礎概念」や「プログラミング言語の基礎理論」、「論理と計算…

全体像が把握出来てないとどのくらい進んでいるのかも分からず焦ってしまいます。そんな時は、まず全体像を把握しましょう。 2.1 集合と関係と関数 2.2 順序集合 2.3 列 2.4 帰納法 集合はJavaのコレクションでいうとSetです。関係とはMapみたいなもん。関数…

まず、このような問題については檜山正幸さんの ーーー 「形式的」とは何だろう ーーー があります。http://www.chimaira.org/docs/FormalReasoning.htm形式的なモデルを使うのに慣れてないのが１つの答えです。このページを読むと形式的な文章が読みやすく…

全体像は分かって来たので理論的な所も読みたくなってきました。 2章にはTAPLで使う定義がまとめてあり、必要なときに見ればいいと書いてあります。しかし、出来れば理解したい所です。でも覚えられない。何が分からないのかが分からない状況です。辛い理由…