デカイよ！前からずっと思ってたけど、なんかデカイよ！よ！

午前は76.25点, 午後は93点であった. やはりストラテジ系の得点が15/25しか取れていなく, 午前の点数の足を引っ張る状態となってしまった. 午後の点数はぼちぼちと言ったところであろう. 次は応用情報技術者試験(AP)を受けようと思う. 順調に受かれば, 就活…

ラムダ計算の数学的体系を考えようとすると となってしまうので, 普通の方法ではうまくいきませんよね, みたいな話をdomain theoryの導入ではしばしば見かける. 大体の文献でほとんど自明みたいに書かれるから, ずっとよく分からなかったのだけど, やっと意…