名前: 本田 日時: 2010-02-28 10:49:38 IPアドレス: 220.147.90.*
>>54661 そうです．修正ありがとうございました． ========== 何かの空白を削除したいときに ・空白を入れてからその空白を削除する ・空白そのものが最初から入らないようにする というアプローチがあると思いますが， 前者よりも後者の方がいいのではないかというのが 私の好みです． 実際，空白がグルーである場合，同じもので打ち消したつもりでも 伸び縮みの違いがあればおかしくなりますので．
この書き込みへの返事：