もう20年以上、細々と、しかしほぼ途切れずに、雑誌に駄文を書いてきました。ネタは、エディタのマクロだったり、コンパイラの評価だったり、コンピュータ入門だったり、XMLだったり、Webの雑感だったり、作文の書き方(これはペンネーム:-))だったり、、、、
自分が興味を持っていて書きたいネタでも、余りにマイナーなゆえに、商業誌で取り上げることができないモノもあります(当然ですね)。最近、そんなネタのひとつが日のめを見ることに …ウウウウッ(嬉泣)
「ITアーキテクト」誌から、「形式手法(formal method)の紹介を書いてくれ」との依頼が、オオッ。が、総論と各論(selected topic(s))あわせてたったの4ページとのこと。ウッ、これはキツい。いったい、何をどう書いたらいいのだ?