susisu https://blog.hatena.ne.jp/susisu/ Object.create(null) https://susisu.hatenablog.com/ 発表・LT プログラミング 伝えたかった LT をしました. connpass.com やたら枚数が多い割に密度が高くなってしまっている言い訳をさせてもらうと, なかなか話がまとまらなくて, 結局直前に急いで作った結果, 時間配分をまったく考えていない感じになってしまいました. 当日 System F の部分は全部飛ばしています. 例によって Speaker Deck はリンクを埋め込めないので参考文献リンク集です. 筑波大学の計算論理学の講義資料 http://www.cs.tsukuba.ac.jp/~kam/complogic/ ラムダ計算の基礎から Curry–Howard 対応までちゃんと書いてあって良い資料 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsusisu.hatenablog.com%2Fentry%2F2017%2F05%2F30%2F004153" title="5分で伝えたかった Curry–Howard 同型対応 - Object.create(null)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-05-30 00:41:53 rich https://susisu.hatenablog.com/entry/2017/05/30/004153 1.0 100%