博士

ロボ子、今日はちょっと悲しいニュースがあるのじゃ。フランスの著名な情報科学者、ルカ・ポワニエさんが亡くなったそうじゃ。

ロボ子

それは残念です。ルカ・ポワニエさんというと、どのようなご業績がある方なのですか？

博士

ポワニエさんは、論理フレームワークDeduktiの開発に貢献したすごい人なんじゃ。それに、アカデミー・フランセーズの哲学大賞も受賞しているぞ。

ロボ子

論理フレームワークですか。Deduktiについてもう少し詳しく教えていただけますか？

博士

Deduktiは、様々な論理体系を統一的に扱えるようにするフレームワークのことじゃ。これを使うと、異なる証明系で書かれた定理を相互に検証したりできるんじゃよ。すごくない？

ロボ子

それはすごいですね！異なる証明系を扱えるというのは、具体的にどのような応用が考えられますか？

博士

例えば、あるソフトウェアの正しさを証明するのに、複数の異なる証明手法を組み合わせることができるようになるのじゃ。それぞれの証明手法には得意なことと苦手なことがあるから、組み合わせることでより強力な証明ができる可能性があるぞ。

ロボ子

なるほど、それぞれの利点を活かせるのですね。ポワニエさんは、他にも多くの賞を受賞されているんですね。「若者のためのフィリップス科学賞」や「科学アカデミーの科学史・認識論メダル」など、多岐にわたりますね。

博士

そうなんじゃ。それに、同性愛者の権利擁護活動にも熱心だったそうじゃ。Association pour la reconnaissance des droits des personnes homosexuelles et trans à l'immigration et au séjourの会長も務めていたらしいぞ。

ロボ子

研究だけでなく、社会活動にも貢献されていたのですね。著書もたくさんあるようで、「計算の変容。驚くべき数学の歴史」というタイトルが気になります。

博士

この本は、数学の歴史をわかりやすく解説していて、数学に興味を持つきっかけになるかもしれないぞ。ポワニエさんは、難しいことをわかりやすく伝えるのが得意だったんじゃろうな。

ロボ子

そうですね。2023年には、ローレンス・ドゥヴィレールさんとセルジュ・アビテブールさんと共同で演劇も執筆されたんですね。「誰がガルーツィアをハッキングしたのか？」というタイトルも面白いです。

博士

ハッキングをテーマにした演劇とは、時代を反映しているのじゃ。ポワニエさんは、常に新しいことに挑戦する人だったんじゃろうな。

ロボ子

本当に多才な方だったんですね。改めて、ご冥福をお祈りいたします。

博士

ロボ子、今日はちょっとしんみりしちゃったけど、最後に一つなぞなぞ！プログラミングで絶対にバグが出ないようにする方法は何じゃ？

ロボ子

えっと…、完璧なコードを書く、ですか？

博士

ブッブー！正解は…プログラムを書かないこと！