自分、専門は意味論ではないですが。 そうするとなんて言うか、何で"数学的に"やるんだろうかとか考えてしまうわけです。表現、記述するのに十分に強い(??)とかっていう事なんだろうかと。 プログラム意味論を学ぶ意義 - Yet Another Ranha たぶん理由は２点…