ヤヌシュ・ブルゾゾフスキー (コンピューター科学者)

ヤヌシュ・ブロゾフスキ
2018年のブロゾフスキー
生まれる	( 1935-05-10 )1935年5月10日 ワルシャワ、ポーランド
死亡	2019年10月24日(2019-10-24)（享年84歳） リサード ハウス、ケンブリッジ、オンタリオ州、 カナダ
母校	プリンストン大学
知られている	ブルゾゾフスキー導関数 ブルゾゾフスキーのアルゴリズム
科学者としてのキャリア
フィールド	コンピュータサイエンス
論文	順序回路のための正規表現テクニック (1962)
博士課程の指導教員	エドワード・J・マクラスキー

ヤヌシュ (ジョン) アントニ ブルゾゾフスキー (Janusz (John) Antoni Brzozowski、1935 年 5 月 10 日 – 2019 年 10 月 24 日) は、ポーランド系カナダ人のコンピューター科学者であり、ウォータールー大学デイビッド R. チェリトン コンピューターサイエンス大学院の名誉教授^[1]でした。^[2]

1962年、ブロゾフスキーはプリンストン大学でエドワード・J・マクラスキーの指導の下、電気工学の分野で博士号を取得しました。論文のテーマは、シーケンシャル回路の正規表現技術でした。1967年から1996年まで、ウォータールー大学の教授を務めました。彼は、数理論理学、回路理論、オートマトン理論への貢献で知られています。

ブロゾフスキーは正規表現と形式言語の統語的半群について研究した。^[3]その成果はイムレ・シモンと共著した「局所的にテスト可能なイベントの特徴づけ」であり、これはマルセル・ポール・シュッツェンベルガーによる星なし言語の特徴づけと^同様の影響を形式言語の代数理論の発展に与えた[4] 。

この分野では、今日少なくとも4つの概念が、彼の貢献を称えてブロゾフスキーの名を冠している。1つ目は非数えられない類の正則性に関するブロゾフスキーの予想^{[5]である。2つ目は}ブロゾフスキーのアルゴリズム^[6]、これは概念的にはDFA 最小化を実行するための単純なアルゴリズムである。3つ目は形式言語または一般化正規表現のブロゾフスキー導関数である。4つ目は、オートマトン理論に関するアイレンバーグの参考文献に、星なし言語内のいわゆるブロゾフスキー階層^{[7] （}ドット深度階層としても知られる）に関する章がある。注目すべきことに、ブロゾフスキーはドット深度階層を定義し、この階層が厳密であるかどうかという疑問を提起した論文の共著者であるだけでなく、^{[8] 、}約10年後にその問題を解決する論文の共著者でもあった。^{[9]ヴォルフガング・トーマスが}エーレンフォイヒト・フライセゲームを通じて、代数的概念の点深度と一階述語論理における量指定子の交代深度との関係を発見した後、ブロゾフスキー階層の重要性はさらに増した。^[10]

彼は以下の学術賞と栄誉を受賞しました。

• フランスへのNSERC科学交流賞（1974～1975年）
• 日本学術振興会特別研究員（1984年）
• コンピューティング研究協会 ( CRA) 理事会メンバーとしての多大な貢献と奉仕に対する感謝状 (1992 年)
• ウォータールー大学名誉教授（カナダ、1996年）^[11]
• ポーランド、ルブリン・カトリック大学功労勲章（2001年）
• IBMカナダ カナダのコンピューティングのパイオニア（2005）^[12]
• コンピュータサイエンスにおける理論の役割、ジョン・ブロゾウスキーの80歳の誕生日を記念した1日会議（2015年）^[13]
• コンピュータサイエンスにおける理論の役割：ヤヌシュ・ブロゾフスキーに捧げるエッセイ、ワールドサイエンティフィック（2017）^[14]
• 生涯功労賞、カナダコンピュータサイエンス/カナダインフォマティック（CS-CAN/INFO-CAN）（2016）^[15]
• CIAA 2017 シェン・ユー賞 最優秀論文賞J. Brzozowski と C. Sinnamon ^[16]
• CIAA 2018 Sheng Yu賞オーバーラップアセンブリの状態複雑性に関する最優秀論文賞J. Brzozowski、L. Kar i、B. Li、M. Szykula ^[17]

• JA Brzozowski:正規表現の導関数、 Journal of the ACM 11(4): 481–494 (1964)
• JA Brzozowski、I. Simon: 局所的にテスト可能なイベントの特性評価、FOCS 1971、pp. 166–176
• RS Cohen、JA Brzozowski: 星のないイベントのドット深度。コンピュータとシステム科学ジャーナル5(1): 1–16 (1971)
• JA Brzozowski、R. Knast: 星なし言語のドット深度階層は無限である。コンピュータとシステム科学ジャーナル16(1): 37–55 (1978)

• JA Brzozowski、M. Yoeli: デジタル ネットワーク。プレンティス・ホール、1976 年
• JA Brzozowski、C.-JH Seger: 非同期回路。シュプリンガー・フェルラーク、1995

• S. アイレンバーグ、『オートマタ、言語と機械』、ボリューム B。ISBN 0-12-234001-9 
• W. トーマス、「記号論理学における規則的イベントの分類」、 J. Comput. Syst. Sci. 25(3): 360–376 (1982)
• J.-É. Pin、「統語的半群」、第 10 章、「形式言語理論ハンドブック」第 1 巻、G. Rozenberg および A. Salomaa (編)、Springer Verlag、(1997) 第 1 巻、pp. 679–746
• A. de Luca と S. Varicchio、「正規性と有限性条件」、第 11 章「形式言語理論ハンドブック」第 1 巻、G. Rozenberg と A. Salomaa (編)、Springer Verlag、(1997) 第 1 巻、pp. 747–810
• V. Diekert、P. Gastin、M. Kufleitner、「有限語上の一階述語論理の小さな断片に関する調査」。Int. J. Found. Comput. Sci. 19(3): 513–548 (2008)
• J. シャリット『形式言語とオートマトン理論の第2講座』ケンブリッジ大学出版局（2009年）

• ウォータールー大学のヤヌシュ・ブロゾフスキーのプロフィール 2012-11-24 にWayback Machineでアーカイブ
• Brzozowski の個人ウェブサイト ウォータールー大学のWayback Machineに 2019-10-30 にアーカイブされました
• コンピューティング理論の殿堂 アーカイブ 2019-10-30ウェイバックマシン
• Janusz A. Brzozowski ( DBLP参考文献サーバー)
• 連結階層 by Jean-Éric Pin