259 followers Hokkyokuguma @hist102 http://t.co/V2HlJowbpP LamportはFloydとHaoreの功績をプログラムを「state transformer」として認識させてくれたこととしてる。関数ていうのは言い過ぎなんだろうか。 28 Nov 2013 Reply Repost Favourite