歴代受賞者一覧

受賞者紹介

萩谷　昌己（はぎや・まさみ）
昭和32年 9月14日生まれ
京都大学数理解析研究所　助教授

贈賞の理由

プログラムの一般化に関する研究

情報社会の進展とともにソフトウェアの需要は加速度的に増えており、ソフトウェアの生産性を高めることは時代の要請と言えます。そのための方策として、プログラム作成の自動化という研究がいろいろと行なわれています。その１つとして、部品となるモジュールをたくさん用意しておき、作りたい目的のプログラムに応じて、それらを検索し、組み合わせようという方法があります。

このようなアプローチに関連して、当然のことながら、既存のプログラムをいかに部品化するか、つまり「どのようにして一般化されたモジュールを作るか」という問題があります。もしこれに成功すれば、プログラムの再利用が促進され、ソフトウェアの生産性は飛躍的に向上するわけです。

プログラムの一般化の研究は、これまで個々の具体的なプログラムに対して議論されてきました。しかし萩谷助教授は、より一般性をもった「数学的な定式化」に挑戦し、成功を収めたのです。具体的には、マルチン・レフの高階型論理によってプログラムを表現し、プログラムと仕様（プログラムの目的の記述）を同時に一般化することを試みました。

実用化という点では、まだ解決しなければならない課題が多く残されていますが、この成果は、プログラムの一般化へ向けて大きな一歩と言えます。プロ グラムというきわめて現実的でドロくさいものを、論理というきわめて抽象的なものに明確に関連づけたわけで、その試みは高く評価されています。

※所属名および役職は、受賞時のものです。