カリン・リンダ・ネイビー (Caryn Linda Navy) は14歳のとき、ユークリッドの偶数の完全数に関する公式を独自に再発見した。1953年にブルックリンで生まれた彼女は、高度な集合論的位相幾何学から、不可欠な点字変換ソフトウェアの開発に至るキャリアを歩んだ。彼女の貢献は、抽象的な数学研究と、視覚障害者コミュニティのためのアクセシブルなコンピューティングツールの創出との間のギャップを埋めるものである。
学術的基盤
ネイビーは1971年から1975年までマサチューセッツ工科大学に在籍し、数学を専攻した。この時期、指導教員のジェームズ・マンクレス (James Munkres) が彼女を位相幾何学に導いた。卒業後、彼女はAMITAシニア・アカデミック賞を受賞した。彼女はウィスコンシン大学マディソン校で大学院での研究を続け、1977年に修士号を、1981年には位相幾何学者のメアリー・エレン・ルーディン (Mary Ellen Rudin) の指導の下で博士号を取得した。
位相幾何学への貢献
彼女の博士論文「Nonparacompactness in Para-Lindelöf Spaces（パラリンデレーフ空間における非パラコンパクト性）」は、可測性理論を大きく前進させた。ネイビーは、すべてのパラリンデレーフ空間がパラコンパクトであるという予想に対する反例を構成した。これらの空間は、正規ムーア空間予想に対する反例として機能した。スティーブン・ワトソン (Stephen Watson) は、ネイビーの構成手法が標準的であり、ウィリアム・フライスナー (William Fleissner) が後に正規ムーア空間予想の側面を解決することを可能にした基礎的なアプローチを提供したと指摘した。
ソフトウェア開発
1981年、ネイビーはバックネル大学で客員助教授としてのキャリアを開始した。教鞭をとる傍ら、夫であるデビッド・ホラデイ (David Holladay) が設立した会社、レイズド・ドット・コンピューティング (Raised Dot Computing) の主任コンサルタントを務めた。同社は点字変換ソフトウェアに注力していた。1984年、彼女は学界を離れ、同社にフルタイムで加わった。彼女は、BRAILLE-EDITの開発や、パーソナルコンピュータ向けの点字変換を提供した広く使用されたソフトウェアであるMegaDotsの開発に大きく貢献した。
点字の標準化
1999年にレイズド・ドット・コンピューティングの資産がダックスベリー・システムズ (Duxbury Systems) に買収された後も、ネイビーは支援技術の分野での活動を続けた。彼女は現在も北米点字局 (Braille Authority of North America) の活動的なメンバーである。この組織内で、彼女はネメスコード技術委員会 (Nemeth Code Technical Committee) のコンサルタントを務め、数学記法に使用される専門的な点字システムに関する専門知識を活かしている。
基本データ
- 生年：1953年、ブルックリン、アメリカ合衆国 - 学部学位：マサチューセッツ工科大学 - 大学院学位：ウィスコンシン大学マディソン校 - 博士号指導教官：メアリー・エレン・ルーディン - 学術的雇用：バックネル大学 - 主要なソフトウェア：BRAILLE-EDIT, MegaDots - 専門職メンバーシップ：北米点字局
読者からの質問
### ネメスコード (Nemeth Code) とは何ですか？
これは数学を書くために特別に設計された点字システムであり、ネイビーは学生時代にこれを学んだ。
### ネイビーの博士論文の重要性は何でしたか？
それは集合論的位相幾何学の分野における正規ムーア空間予想に対して重要な反例を提供した。
