キャリン・ネイビー
アメリカの数学者、コンピューター科学者

キャリン・ネイビー
生誕（1953年7月5日）1953年7月5日（72歳）
ニューヨーク州ブルックリン
配偶者デビッド・ホラディ
学歴
教育マサチューセッツ工科大学
出身校ウィスコンシン大学マディソン校
論文パラ・リンデレフ空間における非パラコンパクト性 (1981)
博士課程指導教員メアリー・エレン・ルーディン
学術研究
分野数学
コンピュータサイエンス
分野集合論的位相
幾何学　点字技術

キャリン・リンダ・ネイビー（1953年7月5日生まれ）は、アメリカの数学者であり、コンピュータ科学者です。 幼少期から視覚障害を持つ彼女は、主に集合論的位相幾何学と点字技術の研究で知られています

幼少期

ネイビーは1953年、ニューヨーク州ブルックリンで生まれました。未熟児として生まれた彼女は、未熟児網膜症により全盲と診断されました。家族はすぐに彼女が片方の目の端が見えていることを発見しましたが、10歳の時に網膜剥離により視力を完全に失いました。[1]

翌年、6年生になったネイビーは学校で点字の読み書きを学び始めました。また、数学表記のためのネメス点字システムも学び[2]、これが彼女の得意科目となりました。彼女はチーム制の数学競技を楽しんでおり、14歳の時にはユークリッドの完全数の公式を独力で再発見しました[1]。また、バト・ミツワーの儀式に備えてヘブライ語の点字も学びました[3] 。16歳の時、ネイビーはニューヨーク市でディクタフォンのタイピストとして初めての仕事に就きました。彼女はニューヨーク市地下鉄の乗り方を学ぶためのクラスを受講しました[1]。

教育

ネイビーは1971年から1975年までマサチューセッツ工科大学に通い、数学を専攻した。点字で持っていた唯一の教科書は微積分の教科書だった。他の本はすべて、視覚障害者のための録音システム（Recording for the Blind ）からオーディオブックとして入手した。MITでは、学部時代の指導教官であるジェームズ・マンクレスが彼女に位相幾何学を紹介した。1975年に数学の学士号を取得して卒業した際、[2]彼女はMIT卒業生協会からAMITAシニア学術賞を受賞した。[4]学部生時代初期に、ネイビーは電気工学の学生であるデイビッド・ホラディと出会った。彼は点字を調べ、初めて会った後に彼女に手紙を書いた。二人は卒業後に結婚した。[1]

ネイビーはウィスコンシン大学マディソン校の大学院に進学し、数学を専攻し、コンピュータサイエンスを副専攻しました。大学院在学中、彼女はオプタコンという機器を用いて、点字版やオーディオブック版が入手できない教科書を読み上げていました。[1]彼女は1977年に修士号を取得し、[2] 1981年には位相幾何学者メアリー・エレン・ルーディンの指導の下、博士号を取得しました。[5]

数学

ネイビーの博士論文「パ​​ラリンデレフ空間における非パラコンパクト性」は、計量化可能性理論の発展において重要でした。この論文は、リンデレフ空間とパラコンパクト空間の両方の一般化であるパラリンデレフ位相空間の性質を検証しています。パラリンデレフ空間では、すべての開被覆には局所可算な開細分、つまり空間の各点がその細分化の可算個数の元とのみ交わる近傍を持つような空間があります。ネイビーが構築した空間は、すべてのパラリンデレフ空間がパラコンパクトであるという予想に対する反例です。彼女の空間のいくつかは、適切な集合論的仮定の下では、通常のムーア空間ですらあります。すべての計量化可能空間はパラコンパクトであるため、これらは通常のムーア空間予想に対する反例です

スティーブン・ワトソンはネイビーの構築を「かなり一般的な、かなり広い範囲を許容する構築」と呼び、「パラリンデレフを得る他の方法は知られていない。パラリンデレフを得る他の方法はそもそも不可能だと思う。ネイビーの方法は非常に標準的なものに思える」と述べた。[6] 1983年、ウィリアム・フライスナーは、特定の被覆特性を仮定して、自身の空間の1つを通常のムーア空間に修正した。フライスナーの例は、通常のムーア空間予想が大きな基数公理を必要とすることを示して、最終的にこの予想を解決した。[6] [7]

キャリア

大学院卒業後、ネイビーは1981年にバックネル大学数学科の客員助教授に就任した。[2]ペンシルベニア州ルイスバーグに住んでいる間、ホラデーはコンピュータ点字技術に重点を置いたソフトウェア会社、Raised Dot Computingを設立した。彼は、ネイビーが数学の授業に点字翻訳を必要としていることに触発された。[8]彼女はその会社の重要なコンサルタントとなり、大学での仕事でソフトウェアのアイデア出しや製品のテストに協力した。1981年12月、Raised Dot Computingは最初の主力製品であるApple II用のワードプロセッサ兼双方向点字翻訳プログラム、BRAILLE-EDITをリリースした。[9]ネイビーは1984年に大学を辞めてその会社で働き、[2]夫婦と会社は1984年7月にウィスコンシン州マディソンに戻った。[9]

ネイビーは自身のコンピュータスキルを活かして、Raised Dot Computing社の支援ソフトウェアの改良に取り組み、BRAILLE-EDITの強化版や、教科書形式の点字やその他の特殊形式を扱うユーティリティプログラムを開発しました。1985年にはMS-DOS用ソフトウェアのラインアップを追加し、同社の最も成功した製品であるMegaDotsが誕生しました。1992年8月にリリースされ、2016年まで保守されていたMegaDotsは、PC用の点字翻訳とワードプロセッサを提供していました。Raised Dot Computing社は1998年9月にウィスコンシン州の非営利団体Braille Planet社に譲渡され、[9] 1999年8月にDuxbury Systems社に買収されました。[10]ネイビーとホラデーはマサチューセッツ州ウェストフォードに在住し、[8]現在もDuxbury社で勤務しています。[11]

ネイビーは北米点字協会の会員であり、ネメスコード技術委員会のコンサルタントを務めている。[12]

参考文献

  1. ^ abcde Verheyden-Hilliard, Mary Ellen (1988).数学者およびコンピュータ科学者、Caryn Navy . American Women in Science. The Equity Institute. ISBN 0-932469-12-4。
  2. ^ abcde 「GAMAサミットプレゼンター略歴」。全米盲人青少年科学センター。全米盲人連盟。2005年4月14日。2013年4月6日閲覧
  3. ^ Hogan, Cara (2009年2月20日). 「指先で学ぶ：特別支援団体が視覚障がい児にユダヤ教教育を提供」（PDF） . The Jewish Advocate . p. 2. 2011年2月9日閲覧。
  4. ^ 「AMITA Academic Awards」. MIT同窓会. MIT同窓会. 2021年3月10日閲覧。
  5. ^ 数学系譜プロジェクトのキャリン・L・ネイビー
  6. ^ ab ワトソン, スティーブン (1990). 「第4章 解決したい問題」(PDF) . ヴァン・ミル, ヤン; リード, ジョージ・M. (編). 『位相幾何学における未解決問題』 アムステルダム:ノースホランド出版社. pp. 52–53. ISBN 0-444-88768-72011年2月10日閲覧
  7. ^ フライスナー, ウィリアム・G. (1984). 「第16章 正規ムーア空間予想と大きな基数」.クネン, ケネス; ヴォーン, ジェリー・E. (編).集合論的位相幾何学ハンドブック. アムステルダム: ノースホランド出版社. pp.  750– 759. ISBN 0-444-86580-2。
  8. ^ ab Candela, Anthony R. (2006年9月). 「視覚支援技術の伝説と先駆者 パート2」. AccessWorld . 7 (5).アメリカ盲人財団. ISSN  1559-5781 . 2011年2月17日閲覧
  9. ^ abc 「Assistive Technology Timeline」。アメリカ盲人財団。2011年5月25日時点のオリジナルよりアーカイブ。 2011年2月17日閲覧。
  10. ^ 「会社沿革」 Duxbury Systems . 2011年2月17日閲覧。
  11. ^ “スタッフ”. Duxbury Systems . 2023年1月26日閲覧。
  12. ^ 「現在のBANAディレクトリ」北米点字協会. 2023年6月26日閲覧。
  • デビッド・ホラデイとキャリン海軍口述歴史
「https://en.wikipedia.org/w/index.php?title=Caryn_Navy&oldid=1294608924」より取得