日々の流転

λ. SFC Antenna

電波状況が改善したのか、いつの間にか電波が届くようになってるっぽい。およよ。

λ. greatest change

Perhaps the greatest change of all, though, is not in how we live but in why we live.

λ. 教科書問題

「韓国政府による修正要求内容」というのを見付けた。これで、やっと修正要求の内容らしきモノを知ったんだけど、これ空いた口が塞がらなぇな。

こういう不当な要求に対して、「前向きに検討する」なんて政府が言ってると思うと、暗澹たる気持ちにさせられるよ。(嘆息)

λ. 決定可能

命題計算(LK|LJ)が決定可能であることを示すにはどうしたら良いだろう?