sequential diagrammatic reformuration 日記 X Facebook はてブ Pocket LINE コピー 2011.09.01 sequential diagrammatic reformuration.pdf