アンジェイ・トリブレツ

アンジェイ・W・トリブレツ
トリブレツ 1975年頃
生まれる	( 1941-01-29 )1941年1月29日 クラクフ、ポーランド
死亡	2013年9月11日(2013-09-11)（享年72歳） ビャウィストク、ポーランド
国籍	研磨
母校	ワルシャワ大学
知られている	ミザールシステム コンピュータ指向の数学の形式化
配偶者	ジナイダ・トリブレック
子供たち	ヴォイチェフ A. トリビュレツ ミハウ J. トリビュレツ
受賞歴	ロシア自然科学アカデミーカピツァ勲章、1995年 ミザールユーザー協会 シュレシンスキ賞、1994年 金功労勲章、1988年 銀功労勲章、1978年 ワルシャワ県金功労勲章、1978年
科学者としてのキャリア
フィールド	数学 情報科学 位相幾何学 計算言語 学 意味論
機関	ビャウィストク大学 ワルシャワ大学 ワルシャワ工科大学 ポーランド科学アカデミー コネチカット大学 全ロシア科学技術情報研究所
論文	可動コンパクトのいくつかの特性について （1975）
博士課程の指導教員	カロル・ボルスク
注記
著名な家族メンバーには以下が含まれます: クリスティナ・クーペルバーグ ウウォジミェシュ・クーペルバーグ グレッグ ・クーペルバーグ

アンジェイ・ヴォイチェフ・トリブレツ（1941年1月29日、ポーランド、クラクフ生まれ- 2013年9月11日、ポーランド、ビャウィストク生まれ）は、ミザールシステムの研究で知られるポーランドの数学者、コンピュータ科学者である。^[1]

両親のヤン・W・トゥリブレツとバルバラ・H・クルスはともに薬剤師で、ポーランド南東部のタルヌフ市近郊のシュチュチンという小さな町で薬局を営み、薬を調剤していた。ルダ・シロンスカの高校に進学し、その後自らの意志でクラクフの名門高校に転校し、入学した。ワルシャワ大学で数学を学び、1964年から1966年まで幾何学科で講義し、1966年に修士号を取得。1967年までワルシャワ大学数学研究所で講義し、1967年から1971年までワルシャワ工科大学の助教授を務め、1971年以降はワルシャワ大学図書館情報学研究所で働いた。 1973年9月から10月にかけて、トリブレツは当時ソ連であったモスクワの全ロシア科学技術情報研究所（VINITI）の客員教授を務め、そこで数学テキストの機械可読性というアイデアを考案した。1974年にポーランド科学アカデミー数学研究所でカロル・ボルスクの指導の下、博士号を取得した。

トリブレツの最初の数学論文は、カロル・ボルスクが開拓したさまざまな位相空間と計量空間のトピックに関するものでした。一般的な位相研究と並行して、彼は計算言語学とプログラミング言語の意味論にも取り組みました。タルスキ-グロタンディーク集合論公理の枠組み、基本的にはすべてのオブジェクトが集合でありクラスの概念が除去されたタルスキ公理によって補足されたツェルメロ-フランケル集合論、およびゲンツェン-ヤシュコフスキ自然演繹の第1階述語論理を適用して、1973年に彼は数学的な定義と証明を書くための形式言語と、この言語で書かれた証明を機械的にチェックできる証明支援機能で構成される形式化システムMizarを設計しました。 1973年11月14日に図書館学および科学情報研究所のセミナーで行われたミザールシステムの最初の発表は、研究プロジェクトというよりも先見の明のある思索として理解されたイデオロギーであったが、彼のアイデアは後に彼自身と協力者によってミザール数学ライブラリ（MML）へと発展した。これは新しい定理の証明に使用できる形式化された数学のライブラリであり、形式化されコンピュータで検証された数学の世界最大のリポジトリである。1978年から死去するまで、彼はビャウィストク大学コンピュータサイエンス研究所の教授として講義を行い、1984年から1985年にかけてはコネチカット大学コンピュータサイエンスおよび工学部の客員教授を務めた。彼は主にMMLへの貢献を専門とする雑誌Formalized Mathematicsに多数の記事を発表した。

• Asperti, Andrea; Bancerek, Grzegorz; Trybulec, Andrzej 編 (2004)、Mathematical Knowledge Management: Proceedings of Third International Conference, MKM 2004、Białowieża、ポーランド、2004 年 9 月 19 ～ 21 日、Lecture Notes in Computer Science 3119、New York: Springer、ISBN 978-3-540-23029-8

• ミザールシステム
• ポーランドの科学技術の年表
• ポーランドの数学者一覧
• ポーランド人のリスト

• Kuperberg、Krystyna Trybulec (2015 年 9 月)、「Andrzej Trybulec – in Memoriam」、Journal of Automated Reasoning、55 (3): 187–190、doi :10.1007/s10817-015-9343-3
• Matuszewski, Roman; Zalewska, Anna 編 (2007)、「From Insight to Proof: Festschrift in Honour of Andrzej Trybulec」(PDF)、Studies in Logic, Grammar and Rhetoric、10 (23)、ISBN 978-837431128-1
• Matuszewski, Roman; Rudnicki, Piotr (2005 年 3 月)、「Mizar: 最初の 30 年間」(PDF)、機械化数学とその応用、4 (1): 3–24
• Rudnicki, Piotr (1992)、「Mizar プロジェクトの概要」、Nordström, Bengt、Petersson, Kent、Plotkin, Gordon (編)、1992 年ワークショップ「証明とプログラムの型に関する 1992 年ワークショップ議事録」、スウェーデン、ベスタッド、1992 年 6 月、ベスタッド:チャルマース工科大学、pp. 311–330

• 「アンジェイ・トリビュレツ」、ビアウィストク大学
• 数学系譜プロジェクトのアンジェイ・トリブレック
• ミザールシステム http://mizar.uwb.edu.pl
• http://math.uwb.edu.pl/~trybulec/awards.html
• https://web.archive.org/web/20060927204402/http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005(2).pdf
• http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html
• http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento
• http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf