読者です 読者をやめる 読者になる 読者になる

aj

日記

日記

書く

気づいたら10日ぶりになってしまいました。 あるものに対する、愛、こだわり、批判などを、言葉にあらわしてスラスラと並べられる人がたくさんいて、羨ましいのですが、それは当たり前のことであるようです。何でもかんでも言語化するのはよろしくない、とい…

研究、桜など

日記を書きます。 Coverage(Spectrum)-BasedなFault Localizationは、qsortのようなループや再帰を含むプログラムに対しては役に立たないような気がしていて、検証するためのプログラムを書き始めました。正しいqsortのプログラムに対して、バグを含むバージ…

年末

ぼうっとしていたらあっという間に12月です。 環境は昨年と大きく変わったものの、楽器を続ける生活は今まで通りでした。ただ日常のスピードは去年よりもずっと速くなって、週3回のリハーサル、2回のアルバイト、そして月4, 5回の本番の繰り返し。最初こそ忙…