スパイ・ファミリーのアニメを見ている。マンガは読んでいない。アーニャが動き回るシーンの作画が良いと感じる。かわいい。まあ声の演技は媚びすぎだが。 本作の根本的な欠陥としては、最近のアニメにありがちだが、マンガ的な表現を何も考えずそのままアニ…

ちょっと前に「チューリングラブ」という歌が流行った。 www.youtube.com 歌詞も映像も謎が多い。 コンセプトとしては理科系の言葉や発想で恋愛を歌うということなんだろうが、なんか「理系」というイメージのもといろんなものがごっちゃになっている。 アニ…

Troelstra先生の"Lectures on Linear Logic"を読んで線形論理の代数的意味論を勉強している。 Lectures on Linear Logic (Lecture Notes Book 29) (English Edition) 作者:Troelstra, A. S. Center for the Study of Language and Inf Amazon いま本では大幅…