エイダ・ラブレス
10月の第2火曜日は「エイダ・ラブレスの日」と制定されている。