ゲル先生の知り合いであるドイツのブレーメン大のMthias Soekenさんが，ソフトウエアなどの形式的な仕様の表現や検証方法に関する講演をしてくれました．意識の高いNGC研の学生はたくさん聴講していたはず？ですが，証拠写真を取るのを忘れていました．その日の晩ににゲル先生が彼を祇園祭に連れて行った時の写真だけが残っていました．
ゲル先生の知り合いであるドイツのブレーメン大のMthias Soekenさんが，ソフトウエアなどの形式的な仕様の表現や検証方法に関する講演をしてくれました．意識の高いNGC研の学生はたくさん聴講していたはず？ですが，証拠写真を取るのを忘れていました．その日の晩ににゲル先生が彼を祇園祭に連れて行った時の写真だけが残っていました．