window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

父親がワープロで管理していた蔵書リストを、Excel に持ってくる作業。 元が文書ファイルで、一応整形はしてあるんだけど、半角と全角のスペースが混在して位置調整してあったりするので、テキストとして持ってきたときに機械的にうまく分割できなかったりす…

本編はまあ、最近いつもながらの展開。 今回の解説は、木村美紀。結構深読みしてました。