TaPLよむ（ばいばい、Dana Scott）
-
TuvianNavy
- 2744
- 3
- 0
- 0
-
- いいね！0
これで終わりじゃなかった
(change of )*state
@TuvianNavy
ウィキペディアンのRuud Koot氏とはいずれ話をしないといけないかもしれない。。 en.wikipedia.org/w/index.php?ti…
2021-05-21 23:23:26
(change of )*state
@TuvianNavy
え、MilnerはLCFのアイディアがScottに負うって書いてるの？ apps.dtic.mil/sti/citations/…
2021-05-21 23:38:30
(change of )*state
@TuvianNavy
(6) Milner(1973)はスタンフォード大学の研究報告として冒頭で"The logic of computable functions proposed by Dana Scott in 1969,"と明記 (7) TaPLでMilner(1973)は参照されていない
2021-05-22 16:08:40
(change of )*state
@TuvianNavy
Scott(1993)の書きようを見たら頭に血が上るのはわかる（全般的にいやーな書き方）けど、経緯を全部眺めた限りではPierceはやり過ぎ
2021-05-22 16:28:15本題というか、TaPLそのものの内容について
(change of )*state
@TuvianNavy
2002年時点でC-H同型対応、正規化可能性、advanced topicsだから速習コースでは外していいよ、って書いてあるテーマを2021年に飛ばしたらもうそれは大学のCSの授業じゃなくなる
2021-03-20 02:42:20
(change of )*state
@TuvianNavy
反射的閉包と推移的閉包が字面見てどっちがどっちかわかんなくなる、、、離れる方向で止まるのが推移的閉包で、近づく方向で止まるのが反射的閉包、、
2021-03-20 04:02:46
(change of )*state
@TuvianNavy
TaPLの2.4.4の辞書順帰納法原理はn-tupleの定義（ない）と2項関係の定義（2.1.5）に依存している
2021-03-28 18:40:15
(change of )*state
@TuvianNavy
n-tupleの辞書順帰納法について強いとか弱いとか言うためには、consに相当する操作を注意深く制限する必要がありそう
2021-03-28 18:51:23
(change of )*state
@TuvianNavy
なんとなくこの本のやりくちが見えてきた 数項やλ項の論理的定義のウザさをとことん味あわせてから項の評価器をMLで書き下ろすと簡単に書けてちゃんと動く、というのをしばらく繰り返す
2021-03-20 04:31:31
(change of )*state
@TuvianNavy
数項とかの再帰的定義うぜー、ってなるのはそこは普通のプログラミング言語だと字句解析フェーズの仕事だから
2021-03-20 04:41:15
(change of )*state
@TuvianNavy
項をちゃんと値までevaluate downできるかどうか、と、数項をちゃんと0までstrip downできるかというのは同じ再帰なので、後者をやっとけば前者はできるようになる
2021-03-20 04:43:55
(change of )*state
@TuvianNavy
MLのパターンマッチ構文のおかげで、MLで書いた評価器の字面がほとんどBNFそのものになるわけね、、
2021-03-20 04:51:21
(change of )*state
@TuvianNavy
yacc/bisonを覚えるくらいならOCamlやStandard MLでよくね？ってことか いやついてけねー。自分は無理だこの課程ー。単位落とすー、
2021-03-20 04:54:03