Expressこの広告は、90日以上更新していないブログに表示しています。技術系日記hkdnet.hatenablog.com引き続きTaPL読書録です。ような怪しげな項の形成を許すことに注意されたい(p.18)怪しげw「型なし算術式」なのでこの手のものを許可せざるを得ない。評価のところまですすめたとき、評価の左辺(辺か?)にマッチせず捨て置かれることがわかる。導入された場合に曖昧性が出始める、とのこと。一致するはずだがそのような記法が導入されていないので和集合をとる記法になっているのかな?という話が出た。tの深さに関する帰納法を用いる。関する演算が多く、サイズに関する帰納法なのでは?という指摘があったが、おそらくこれは深さに関する帰納法で正しい。いうことを暗黙的に用いて帰納法を用いている、と解釈した。証明(演習)しれっと演習がまじっていて気づいていない人もいた。基本的には補題3.3.3.の証明と同じ形式で進めればよい。評価できないので成り立たない1。存在しないため、仮定法で用いる命題は成立するので、なにかおかしい気がする......。定数群に対して必ず成り立つ述語でないといけないのかな?この定理がどう役に立つのか?全てに成り立つ性質が示せて嬉しいか?という疑問も出た。今後拡張が進むなかで定数部にxを含まないときにはこの性質が示せるがxを含むときには示せない、みたいな使われ方をするのでは?という話になった。書かれていることを確認した。noire"だそうで。使えないということを言っている。次回は4章の終わりまで。Entriesはてなブログをはじめよう!hkdnetさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。