-
- いいね！0
Keigo Imai
@keigoi
#IPSJPRO 先ほどのλ計算に対する正当性の証明．value の形が違うので Plotkin の instantiate function を使う． 補題Adequacy, Faithfulness => Correctness. 意味論と HLisp実装とのギャップ: 可変長引数, 環境を変える !_define, _set! の存在．
2019-06-07 11:41:30
よんた
@keita44_f4
#IPSJPRO 今回の最初に紹介したHLispには強力なマクロがあるけど、まずはHLispでのmacroという引数の値を評価しないλ抽象を追加したλHについて、ESECDマシンとの対応を示したのか。今後はHLispのフルの機能を形式化するために何が必要か見極めていくのかな
2019-06-07 11:47:41
Keigo Imai
@keigoi
#IPSJPRO 3-Lisp のメタレベルの reflective tower との関連は？→ その tower を「つぶそう」としている．reflective の中で reflective をやることができなくなっている (良く知らないので分からない…). ・表面言語はcall by push valueに似ているが？→そうかもしれない.
2019-06-07 11:50:06
よんた
@keita44_f4
#IPSJPRO なるほど。今回にλHにいれたプリミティブも必須なのかはわからないのか。リーズナブルで必要最小限の構成子はなにかを考えているのか。
2019-06-07 11:54:20
よんた
@keita44_f4
#IPSJPRO Lisp詳しくなかったんだけど、quasi-quoteすらない世界でquasi-quoteを実装できるのか。先行文献もあると。ひゃー
2019-06-07 11:56:25
よんた
@keita44_f4
#IPSJPRO Lisp詳しくなかったんだけど、quasi-quoteすらない世界でquasi-quoteを実装できるのか。先行文献もあると。ひゃー
2019-06-07 11:56:25
Keigo Imai
@keigoi
#IPSJPRO ・eval のときに環境を渡さないのはなぜ？→ quoteされたコードの自由変数は自由変数とは考えずclosedな項だと考える． eval したときの環境で評価する． ・λHとESECDでvalue は対応するようだが，side effect 周りの対応関係は？→そこはまだ考えてない．twitter.com/keigoi/status/…
2019-06-07 11:56:27
Keigo Imai
@keigoi
#IPSJPRO [Plotkin '75] の流れをフォローします. 操作的意味論. evaluation context で引数部分にちょっとside condition がある (関数部分がマクロのとき引数を評価しないように)．twitter.com/keigoi/status/…
2019-06-07 11:28:57
Keigo Imai
@keigoi
#IPSJPRO ・quasi-quotation の定義ができるのが面白い．定義はこのへん github.com/yf-fyf/hlisp/b… ・C言語で実装されておりGCも自前実装 twitter.com/keigoi/status/…
2019-06-07 11:58:46
よんた
@keita44_f4
#IPSJPRO の宣伝ツイートを見かけて近くなのでフラリと行ってきたけど、内容濃くてとても良かった。近くの大学で研究発表会があるならぜひ行くとよいぞ。 twitter.com/keigoi/status/…
2019-06-07 12:26:25
Keigo Imai
@keigoi
プログラミング研究発表会(PRO) 6/6(木)・7(金) @ 名大のプログラムを公開しました：sigpro.ipsj.or.jp/pro2019-1/prog… 初日に今話題のエフェクト計算の講演2件や、2日目にはふくだ @yf0fyf さんの Lisp 実装 github.com/yf-fyf/hlisp の講演もあります！懇親会は6/2(日)までにお申込み！
2019-05-15 08:49:34
bisimilarity
@bisimilarity
（ #IPSJPRO で@yf0fyf さんの綺麗なコードをみて漸くそう思えた。 運営、参加者の皆様ありがとうございました。 ）
2019-06-09 02:08:51