13:["$","div",null,{"className":"Post_post__BuG2d","style":{"display":"flex","flexDirection":"column","alignItems":"center","gap":"8px","flex":"1","width":"100%","padding":"12px"},"children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[false,[["$","a","CA47",{"href":"/CA47","className":"Post_fg__6on_n","style":{},"children":"ラムダ計算"}],["$","a","DAAB",{"href":"/DAAB","className":"Post_fg__6on_n","style":{},"children":"『計算論理学 (けいさんろんりがく)』"}]]]}],["$","article",null,{"className":"article","children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"space-between","flexWrap":"wrap","width":"100%"},"children":[["$","h2",null,{"style":{"margin":"0.2rem"},"children":["$","a",null,{"href":"/D06F","children":"『2 ラムダ記法と (型のない) ラムダ計算』"}]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"end","alignItems":"center","flex":"1","textAlign":"right","whiteSpace":"nowrap"},"children":["$","div",null,{"children":"2023/9/27 14:46:00"}]}]]}],["$","div",null,{"className":"article_body","dangerouslySetInnerHTML":{"__html":"

http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/2.pdf\n

"}}]]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[["$","a","",{"href":"/","className":"Post_bg__ejIUb","style":{"opacity":0},"children":"あれ"}],[]]}]]}]